Počet záznamů: 1
Incompatibility and Inference as Bases of Logic
- 1.
SYSNO ASEP 0506960 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Incompatibility and Inference as Bases of Logic Tvůrce(i) Peregrin, Jaroslav (FLU-F) RID, ORCID, SAI Zdroj.dok. The Logica Yearbook 2015. - London : College Publications, 2016 / Arazim P. ; Dančák M. - ISBN 978-1-84890-213-8 Rozsah stran s. 157-162 Poč.str. 6 s. Forma vydání Tištěná - P Akce Logica 2015 Datum konání 15.06.2015 - 19.06.2015 Místo konání Hejnice Země CZ - Česká republika Typ akce EUR Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova inference ; incompatibility ; classical logic ; intuitionist logic Vědní obor RIV AA - Filosofie a náboženství Obor OECD Philosophy, History and Philosophy of science and technology CEP GA13-21076S GA ČR - Grantová agentura ČR Institucionální podpora FLU-F - RVO:67985955 UT WOS 000428357900010 Anotace That logic can be based merely either on the concept of inference, or on that of incompatibility has been already shown. The question is whether such austere foundations predetermine the kind of logic we reach in such a way. In this paper we show that in the case of logic based on inference the natural outcome is intuitionist logic, while we can reach also classical logic (if we sacrifice naturalness). However, in case of logic based on incompatibility the outcome is not really optional: the resulting logic is classical and there is no obvious way how to reach intuitionist logic. Pracoviště Filosofický ústav Kontakt Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360 Rok sběru 2020
Počet záznamů: 1