D-Conception of Inference (with an Examination ofParadoxical Reasoning)

RACLAVSKÝ, Jiří. D-Conception of Inference (with an Examination ofParadoxical Reasoning). In Cognition and Language 2017. 2017.

Základní údaje

• Originální název: D-Conception of Inference (with an Examination ofParadoxical Reasoning)
• Autoři: RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
• Vydání: Cognition and Language 2017, 2017.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Konferenční abstrakt
• Obor: 60301 Philosophy, History and Philosophy of science and technology
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• WWW: URL
• Kód RIV: RIV/00216224:14210/17:00113944
• Organizační jednotka: Filozofická fakulta
• Klíčová slova anglicky: inference; derivation; proof; reductio ad absurdum; paradox
• Štítky: rivok
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

The talk presents an elaboration and several applications of Frege's and Tichý's two-dimensional (2D) conception of inference. In contrast to ordinary (1D) conception, each inferential step is a whole deduction and thus logical truth - not a single formula that need not to be logically valid (being mere hypothesis, assumption). 2D-conception is thus more satisfactory from an epistemological point of view. As shown by Tichý and Pezlar, reductio ad absurdum proofs cannot have a satisfactory explanation on 1D-conception. I show its 2D-explanation; similarly for indirect proofs. Moreover, a solution to the Paradox of Inference is offered.

Návaznosti

• GA16-19395S, projekt VaV: Název: Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů (Akronym: Sémantické pojmy)

Investor: Grantová agentura ČR, Sémantické pojmy, paradoxy a hyperintenzionální logika založená na moderní rozvětvené teorii typů