Podrobný výpis o publikaci

PEZLAR, Ivo. Tichý’s Two-Dimensional Conception of Inference. Organon F : filozofický časopis. Bratislava: Filosofický ústav SAV, 2013, roč. 20, Supplementary Issue 2, s. 54-65. ISSN 1335-0668.

Další formáty: BibTeX LaTeX RIS

Základní údaje
Originální název	Tichý’s Two-Dimensional Conception of Inference
Autoři	PEZLAR, Ivo (203 Česká republika, garant, domácí).
Vydání	Organon F : filozofický časopis, Bratislava, Filosofický ústav SAV, 2013, 1335-0668.

Další údaje
Originální jazyk	angličtina
Typ výsledku	Článek v odborném periodiku
Obor	60300 6.3 Philosophy, Ethics and Religion
Stát vydavatele	Slovensko
Utajení	není předmětem státního či obchodního tajemství
Kód RIV	RIV/00216224:14210/13:00069439
Organizační jednotka	Filozofická fakulta
UT WoS	000324280300004
Klíčová slova anglicky	deduction; Frege; Gentzen; indirect proofs; Tichý; TIL; two-dimensional inference
Štítky	rivok
Příznaky	Mezinárodní význam, Recenzováno
Změnil	Změnila: Mgr. Vendula Hromádková, učo 108933. Změněno: 21. 4. 2014 19:42.

Anotace
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.

Anotace

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.

Návaznosti
MUNI/A/0795/2012, interní kód MU	Název: Filozofie přítomnosti
MUNI/A/0795/2012, interní kód MU	Investor: Masarykova univerzita, Filozofie přítomnosti, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty