Incompatibility and Inference as Bases of Logic
Result description
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.
Keywords
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Incompatibility and Inference as Bases of Logic
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
GA13-21076S: Foundations of logic in the light of new results of philosophy and science
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The Logica Yearbook 2015
ISBN
978-1-84890-213-8
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
157-162
Publisher name
College Publications
Place of publication
London
Event location
Hejnice
Event date
Jun 15, 2015
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
000428357900010
Basic information
Result type
D - Article in proceedings
OECD FORD
Philosophy, History and Philosophy of science and technology
Year of implementation
2016