Paths to Triviality

Journal of Philosophical Logic 45 (3):237-276 (2016)
  Copy   BIBTEX

Abstract

This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided.

Similar books and articles

Analytics

Added to PP
2015-07-19

Downloads
162 (#76,490)

6 months
12 (#69,937)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tore Fjetland Øgaard
University of Bergen

References found in this work

Saving Truth From Paradox.Hartry Field - 2008 - Oxford, England: Oxford University Press.
Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Spandrels of Truth.J. C. Beall - 2009 - Oxford, England: Oxford University Press.

View all 50 references / Add more references