. "SK - Slovensk\u00E1 republika" . "ro\u010D. 20" . . . . . . "[A67BD38A9C40]" . "Organon F : filozofick\u00FD \u010Dasopis" . "deduction; Frege; Gentzen; indirect proofs; Tich\u00FD; TIL; two-dimensional inference"@en . . . . "RIV/00216224:14210/13:00069439!RIV14-MSM-14210___" . "Tich\u00FD\u2019s Two-Dimensional Conception of Inference" . . "000324280300004" . . . "Tich\u00FD\u2019s Two-Dimensional Conception of Inference"@en . "RIV/00216224:14210/13:00069439" . "1335-0668" . . "14210" . "Tich\u00FD\u2019s Two-Dimensional Conception of Inference" . . "1"^^ . "Pezlar, Ivo" . "12"^^ . "Supplementary Issue 2" . "Tich\u00FD\u2019s Two-Dimensional Conception of Inference"@en . . "1"^^ . . . "In this paper we revisit Pavel Tich\u00FD'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\u00FD. 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\u00FD'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\u00FD's Transparent Intensional Logic." . "111068" . . "S" . . "In this paper we revisit Pavel Tich\u00FD'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\u00FD. 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\u00FD'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\u00FD's Transparent Intensional Logic."@en .