- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On Priest's logic of paradox
Journal of Applied Non-Classical Logics 5 (2):219-225 (1995)
Abstract
The present paper concerns a technical study of PRIEST'S logic of paradox [Pri 79], We prove that this logic has no proper paraconsistent strengthening. It is also proved that the mentioned logic is the largest paraconsistent one satisfaying TARSKI'S conditions for the classical conjunction and disjunction together with DE MORGAN'S laws for negation. Finally, we obtain for the logic of paradox an algebraic completeness result related to Kleene lattices.My notes
Similar books and articles
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
Cut-offs and their Neighbors.Achille C. Varzi - 2003 - In Jc Beall (ed.), Liars and Heaps: New Essays on Paradox. Clarendon Press. pp. 24–38.
Hyper-contradictions, generalized truth values and logics of truth and falsehood.Yaroslav Shramko & Heinrich Wansing - 2006 - Journal of Logic, Language and Information 15 (4):403-424.
Gentzen's cut-free calculus versus the logic of paradox.Alexej P. Pynko - 2010 - Bulletin of the Section of Logic 39 (1/2):35-42.
Are there true contradictions? A critical discussion of Graham Priest's, beyond the limits of thought.Jürgen Dümont & Frank Mau - 1998 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 29 (2):289-299.
On a Paradox of Hilbert and Bernays.Priest Graham - 1997 - Journal of Philosophical Logic 26 (1):45-56.
The principle of uniform solution (of the paradoxes of self-reference).Nicholas J. J. Smith - 2000 - Mind 109 (433):117-122.
The inclosure scheme and the solution to the paradoxes of self-reference.Jordi Valor Abad - 2008 - Synthese 160 (2):183 - 202.
Analytics
Added to PP
2014-01-21
Downloads
43 (#352,595)
6 months
7 (#350,235)
2014-01-21
Downloads
43 (#352,595)
6 months
7 (#350,235)
Historical graph of downloads
Citations of this work
Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.
An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.
Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - 2021 - Studia Logica 109 (5):969-994.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
References found in this work
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Paraconsistent Logic: Essays on the Inconsistent.Graham Priest, Richard Routley & Jean Norman (eds.) - 1989 - Philosophia Verlag.
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-tstkh uwo