Počet záznamů: 1
A Note on Paradoxical Propositions from an Inferential Point of View
- 1.
SYSNO ASEP 0546974 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název A Note on Paradoxical Propositions from an Inferential Point of View Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. The Logica Yearbook 2020. - London : College Publications, 2021 / Blicha M. ; Sedlár I. - ISBN 978-1-84890-376-0 Rozsah stran s. 183-199 Poč.str. 17 s. Forma vydání Tištěná - P Akce Logica 2020 Datum konání 15.06.2020 - 19.06.2020 Místo konání Hejnice Země CZ - Česká republika Typ akce WRD Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova proof-theoretic semantics ; constructive type theory ; paradox ; inductive definitions ; Martin-Löf Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GA19-12420S GA ČR - Grantová agentura ČR Institucionální podpora FLU-F - RVO:67985955 Anotace In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2022
Počet záznamů: 1