Journal ArticleDOI
The logic of paradox
Reads0
Chats0
TLDR
A new way of handling the logical paradoxes is suggested, where instead of trying to dissolve them, or explain what has gone wrong, the authors should accept them and learn to come to live with them.Abstract:
The purpose of the present paper is to suggest a new way of handling the logical paradoxes. Instead of trying to dissolve them, or explain what has gone wrong, we should accept them and learn to come to live with them. This is argued in Sections I and II. For obvious reasons this will require the abandonment, or at least modification, of 'classical' logic. A way to do this is suggested in Section III. Sections IV and V discuss some implications of this approach to paradoxes.read more
Citations
More filters
Book
An Introduction to Substructural Logics
TL;DR: This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural' and systematically survey the new results and the significant impact that this class oflogics has had on a wide range of fields.
Book
Paraconsistent logics
TL;DR: This chapter discusses the need to derive reasonable inferences without deriving the trivial inferences that follow the ex falso quodlibet proof rule that holds in classical logic.
Book ChapterDOI
Logics of Formal Inconsistency
TL;DR: The Logicas da Inconsistencia Formal (LIFs) as mentioned in this paper form a classe of logicas paraconsistentes particularmente expressivas, in which a nocao meta-teonca de consistencia pode ser internalizada ao nivel da linguagem obje[c]to.
Proceedings ArticleDOI
On logic of paradox
Zuoquan Lin,Wei Li +1 more
TL;DR: A minimal tableaus as a satisfactory proof theory for LP/ sub m/ is provided and the soundness and completeness theorems of the tableaux with respect to the semantics of LP and LP/sub m/ are proved.
References
More filters
Journal ArticleDOI
A calculus of antinomies.
Journal ArticleDOI
The Semantics of First Degree Entailment
Richard Routley,V. Routley +1 more
TL;DR: The semantics of the first degree paradox-free implication system FD as discussed by the authors support the claim that it is superior to strict implication as an analysis of entailment at the first-degree level, and reveal that Disjunctive Syllogism, A & (,.A v B) -AB, far from being a paradigmatic entailment, is invalid, and allows the illegitimate suppression of tautologies.