Varieties of negation and contra-classicality in view of Dunn semantics

  • In this paper, we discuss J. Michael Dunn's foundational work on the semantics for First Degree Entailment logic (\(\bf FDE\)), also known as Belnap-Dunn logic (or Sanjaya-Belnap-Smiley-Dunn Four-valued Logic, as suggested by Dunn himself). More specifically, by building on the framework due to Dunn, we sketch a broad picture towards a systematic understanding of contra-classicality. Our focus will be on a simple propositional language with negation, conjunction, and disjunction, and we will systematically explore variants of \(\bf FDE\), \(\bf K3\), and \(\bf LP\) by tweaking the falsity condition for negation.

Download full text files

Export metadata

Metadaten
Author:Hitoshi OmoriGND, Heinrich WansingORCiDGND
URN:urn:nbn:de:hbz:294-105197
DOI:https://doi.org/10.13154/294-10519
Parent Title (English):Relevance logics and other tools for reasoning : Essays in honour of Michael Dunn
Document Type:Article
Language:English
Date of Publication (online):2023/04/19
Date of first Publication:2022/05/19
Publishing Institution:Ruhr-Universität Bochum, Universitätsbibliothek
Tag:ConLog, Projekt ID: 101018280
Bi-lateral natural deduction; Contra-classicality; Contraposition; Dunn semantics; Negation; Uni-lateral natural deduction; Variable sharing property
First Page:309
Last Page:337
Note:
ConLog, Projekt ID: 101018280
Note:
Original-Publikation in:
Katalin Bimbó (ed.), Relevance Logics and other Tools for Reasoning. Essays in Honour of Michael Dunn, College Publications, London, 2022, S. 309-337.
Relation (DC):info:eu-repo/grantAgreement/EC/H2020/101018280
Institutes/Facilities:Institut für Philosophie I
Dewey Decimal Classification:Philosophie und Psychologie / Philosophie
OpenAIRE:OpenAIRE
faculties:Fakultät für Philosophie und Erziehungswissenschaft
Licence (English):License LogoCreative Commons - CC BY-ND 4.0 - Attribution-NoDerivatives 4.0 International

OPUS4 Logo