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.
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): | Creative Commons - CC BY-ND 4.0 - Attribution-NoDerivatives 4.0 International |