All
All

What are you looking for?

All
Projects
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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

inferenceincompatibilityclassical logicintuitionist logic

The result's identifiers

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

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

D

OECD FORD

Philosophy, History and Philosophy of science and technology

Year of implementation

2016