%0 Journal Article
%J Organon F
%D 2013
%T Tichý’s Two-Dimensional Conception of Inference
%A Pezlar, Ivo
%K Deduction
%K Frege
%K Gentzen
%K indirect proofs
%K Tichý
%K TIL
%K two-dimensional inference
%X In this paper we revisit Pavel Tichý’s novel distinction between one-dimensional and two-dimensional conception of inference, which he presented in his book *Foundations of Frege’s Logic* (1988), and later in *On Inference* (1999), which was prepared from his manuscript by his co-author Jindra Tichý. 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 Tichý’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 Tichý’s Transparent Intensional Logic.
%B Organon F
%V 20
%P 54-65
%G English
%U http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/54-65.pdf
%3 5465
%# 1