Paths to Triviality

Journal of Philosophical Logic 45 (3):237-276 (2016)
Download Edit this record How to cite View on PhilPapers
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.
Reprint years
2016
ISBN(s)
PhilPapers/Archive ID
GAAPTT
Revision history
Archival date: 2019-06-28
View upload history
References found in this work BETA

View all 50 references / Add more references

Citations of this work BETA
Prospects for a Naive Theory of Classes.Field, Hartry; Lederman, Harvey & Øgaard, Tore Fjetland

Add more citations

Added to PP index
2015-07-19

Total views
53 ( #32,450 of 41,573 )

Recent downloads (6 months)
12 ( #33,274 of 41,573 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.