Incompatibility and Inference as Bases of Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F16%3A00506960" target="_blank" >RIV/67985955:_____/16:00506960 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Incompatibility and Inference as Bases of Logic

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Incompatibility and Inference as Bases of Logic

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA13-21076S" target="_blank" >GA13-21076S: Základy logiky ve světle nových výsledků filosofie a vědy</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2016

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

The Logica Yearbook 2015

ISBN

978-1-84890-213-8

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

157-162

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Hejnice

Datum konání akce

15. 6. 2015

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

000428357900010