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 ChapterDOI
Athanasian Creed (tr. Philip Neri Reese, O.P.)
TL;DR: Theology Philosophy of Religion Collection: Oxford Scholarship Online _________________________________________ as discussed by the authors . . . _________ . . , Theology philosophy of religion collection: Oxford scholarship online ________
Journal Article
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract).
TL;DR: In this article, the problem of dealing with inconsistent knowledge bases consisting of ontologies and non-monotonic rules is addressed, following a paraconsistent reasoning approach with a focus on efficiency.
Proceedings Article
Well-founded paraconsistent semantics for hybrid theories composed of rules and ontologies
TL;DR: This paper defines two paraconsistent semantics for hybrid KBs which, beyond their differentiating properties, are faithful to well-known paracons consistent semantics as well as the non-paraconsistent logic they extend, and tractable if reasoning in the DL component is.
Posted Content
A Paraconsistent ASP-like Language with Tractable Model Generation
TL;DR: A new \asp-like rule language, 4SP, with tractable model generation, which combines ideas of ASP and a paraconsistent rule language 4QL, and introduces trial expressions interlacing programs with hypotheses as to the truth values of default negations.
Book ChapterDOI
Variations on the Collapsing Lemma
TL;DR: The Collapsing Lemma can also be extended to other deductive calculi, such as the weak Kleene logic as mentioned in this paper, which is a generalization of the first-order logic of paradox.
References
More filters
Book ChapterDOI
The Semantic Conception of Truth and the Foundations of Semantics
TL;DR: In this article, the notion of material adequacy of a definition of truth is defined as follows: if all these equivalences follow from it, then the definition is true if, and only if, p.X is true.
Journal ArticleDOI
The Semantic Conception of Truth: and the Foundations of Semantics
TL;DR: In this article, the notion of material adequacy of a definition of truth is defined as follows: if all these equivalences follow from it, then the definition is true if, and only if, p.X is true.
Book
Grundlagen der Mathematik
David Hilbert,Paul Bernays +1 more
TL;DR: In this article, a vorliegende Buch soll einer eingehenden Orientierung uber den gegenwartigen Stoff der HILBERTschen Beweistheorie dienen.
Journal ArticleDOI