Počet záznamů: 1
The placeholder view of assumptions and the Curry–Howard correspondence
- 1.
SYSNO ASEP 0546332 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název The placeholder view of assumptions and the Curry–Howard correspondence Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. Synthese. - : Springer - ISSN 0039-7857
Roč. 198, č. 11 (2021), s. 10109-10125Poč.str. 17 s. Forma vydání Tištěná - P Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova Placeholder view of assumptions ; Assumption withdrawing ; Curry-Howard correspondence ; Natural deduction ; Intuitionistic propositional logic 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 Způsob publikování Omezený přístup Institucionální podpora FLU-F - RVO:67985955 UT WOS 000537329100001 EID SCOPUS 85085971427 DOI 10.1007/s11229-020-02706-z Anotace Proofs from assumptions are amongst the most fundamental reasoning techniques. Yet the precise nature of assumptions is still an open topic. One of the most prominent conceptions is the placeholder view of assumptions generally associated with natural deduction for intuitionistic propositional logic. It views assumptions essentially as holes in proofs, either to be filled with closed proofs of the corresponding propositions via substitution or withdrawn as a side effect of some rule, thus in effect making them an auxiliary notion subservient to proper propositions. The Curry-Howard correspondence is typically viewed as a formal counterpart of this conception. I will argue against this position and show that even though the Curry-Howard correspondence typically accommodates the placeholder view of assumptions, it is rather a matter of choice, not a necessity, and that another more assumption-friendly view can be adopted. 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 Elektronická adresa https://doi.org/10.1007/s11229-020-02706-z
Počet záznamů: 1