The Trivial Object and the Non-Uiviality of a Semantically Closed Theory with Descriptions

Journal of Applied Non-Classical Logics 8 (1-2):171-183 (1998)
  Copy   BIBTEX

Abstract

After indicating why this is needed, the paper proves a non-triviality result for paraconsistent theory containing arithmetic, naive truth and denotation predicates, and descriptions. The result is obtained by dualising a construction of Kroon. Its most notable feature is that there is a trivial object- one that has every property.

Categories

Keywords

Reprint years

DOI

10.1080/11663081.1998.10510937

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,839

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Semantic closure, descriptions and non-triviality.Graham Priest - 1999 - Journal of Philosophical Logic 28 (6):549--558.
Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.
A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation.Arief Daynes - 2000 - Archive for Mathematical Logic 39 (8):581-598.
Contradiction and contrariety. Priest on negation.Heinrich Wansing - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):81-93.
On a “most telling” argument for paraconsistent logic.Michaelis Michael - 2016 - Synthese 193 (10).
Grounding Entails Counterpossible Non‐Triviality.Alastair Wilson - 2018 - Philosophy and Phenomenological Research 96 (3):716-728.
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
La contrastación de teorías inconsistentes no triviales.Luis Felipe Bartolo Alegre - 2020 - Dissertation, Universidad Nacional Mayor de San Marcos
Maximal Non-trivial Sets of Instances of Your Least Favorite Logical Principle.Lucas Rosenblatt - 2020 - Journal of Philosophy 117 (1):30-54.

Analytics

Added to PP
2013-12-01

Downloads
54 (#434,153)

6 months
13 (#246,672)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Graham Priest
CUNY Graduate Center

Citations of this work

Atheism and Dialetheism; or, ‘Why I Am Not a (Paraconsistent) Christian’.Zach Weber - 2019 - Australasian Journal of Philosophy 97 (2):401-407.
Observations on the Trivial World.Zach Weber & Hitoshi Omori - 2019 - Erkenntnis 84 (5):975-994.
On a Paradox of Hilbert and Bernays.Priest Graham - 1997 - Journal of Philosophical Logic 26 (1):45-56.
Objects of thought.Graham Priest - 2000 - Australasian Journal of Philosophy 78 (4):494-502.
Semantic closure, descriptions and non-triviality.Graham Priest - 1999 - Journal of Philosophical Logic 28 (6):549--558.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Beyond the Limits of Thought.Graham Priest - 1995 - Cambridge, England: Cambridge University Press.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
The non-triviality of dialectical set theory.Ross T. Brady - 1989 - In Graham Priest, Richard Routley & Jean Norman, Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 437--470.
Boolean negation and all that.Graham Priest - 1990 - Journal of Philosophical Logic 19 (2):201 - 215.

View all 12 references / Add more references