scispace - formally typeset
Journal ArticleDOI

The logic of paradox

Graham Priest
- 01 Jan 1979 - 
- Vol. 8, Iss: 1, pp 219-241
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
Proceedings ArticleDOI

On Completeness in Languages for Attribute-Based Access Control

TL;DR: This paper considers the expressive power of the rule- and policy-combining algorithms defined by the XACML standard, and proposes a new policy authorization language PTaCL which is canonically complete and is capable of expressing any arbitrary policy in a normal form.
Journal ArticleDOI

Are there true contradictions : A critical discussion of Graham Priest's beyond the limits of thought

TL;DR: In this article, the authors examine three aspects of Graham Priest's dialetheic analysis of very important kinds of limitations (the limit of what can be expressed, described, conceived, known, or the limit of some operation or other).
Book ChapterDOI

Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories

TL;DR: In this article, a translation of two paraconsistent logics into the language of quantified Boolean formulas (QBFs) is presented, which can then be evaluated by off-the-shelf QBF solvers.

Frontiers of Conditional Logic

Yale Weiss
TL;DR: This dissertation addresses a number of underdeveloped frontiers of Conditional Logic, producing new technical insights and philosophical applications and a thorough analysis of intuitionistic conditional logic, in which it utilizes both algebraic and worlds semantics.
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

TL;DR: In this article, a vorliegende Buch soll einer eingehenden Orientierung uber den gegenwartigen Stoff der HILBERTschen Beweistheorie dienen.