Other formats:
BibTeX
LaTeX
RIS
@article{1123123,
author = {Pezlar, Ivo},
article_location = {Bratislava},
article_number = {Supplementary Issue 2},
keywords = {deduction; Frege; Gentzen; indirect proofs; Tichý; TIL; two-dimensional inference},
language = {eng},
issn = {1335-0668},
journal = {Organon F : filozofický časopis},
title = {Tichý’s Two-Dimensional Conception of Inference},
volume = {roč. 20},
year = {2013}
}
TY - JOUR
ID - 1123123
AU - Pezlar, Ivo
PY - 2013
TI - Tichý’s Two-Dimensional Conception of Inference
JF - Organon F : filozofický časopis
VL - roč. 20
IS - Supplementary Issue 2
SP - 54-65
EP - 54-65
PB - Filosofický ústav SAV
SN - 13350668
KW - deduction
KW - Frege
KW - Gentzen
KW - indirect proofs
KW - Tichý
KW - TIL
KW - two-dimensional inference
N2 - 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.
ER -
PEZLAR, Ivo. Tichý’s Two-Dimensional Conception of Inference. \textit{Organon F : filozofický časopis}. Bratislava: Filosofický ústav SAV, 2013, roč. 20, Supplementary Issue 2, p.~54-65. ISSN~1335-0668.
|
