@article {1147,
	title = {Tichý{\textquoteright}s Two-Dimensional Conception of Inference},
	journal = {Organon F},
	volume = {20},
	number = {2},
	year = {2013},
	pages = {54-65},
	abstract = {In this paper we revisit Pavel Tichý{\textquoteright}s novel distinction between one-dimensional and two-dimensional conception of inference, which he presented in his book <i>Foundations of Frege{\textquoteright}s Logic</i> (1988), and later in <i>On Inference</i> (1999), which was prepared from his manuscript by his co-author Jindra Tichý. We shall focus our inquiry not only on the motivation behind the introduction of this non-classical concept of inference, but also on further inspection of selected Tichý{\textquoteright}s arguments, which we see as the most compelling or simply most effective in providing support for his two-dimensional account of inference. Main attention will be given to exposing the failure of one-dimensional theory of inference in its explanation of indirect (reductio ad absurdum) proofs. Lastly, we discuss shortly the link between two-dimensional inference and deduction apparatus of Tichý{\textquoteright}s Transparent Intensional Logic.},
	keywords = {Deduction, Frege, Gentzen, indirect proofs, Tichý, TIL, two-dimensional inference},
	url = {http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/54-65.pdf},
	author = {Pezlar, Ivo}
}
