Paths to triviality

DOI10.1007/S10992-015-9374-6MaRDI QIDQ300832zbMATH OpenOpenAlexFDO

Authors Tore Fjetland Øgaard

Publication date 29 June 2016

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10852/59328

zbMATH Keywords

contractionCurry's paradoxidentityLeibniz's lawnaïve set theorynaïve truth theoryparaconsistent logicrelevant logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Recommendations

• Routes to triviality
• Extensionality and restriction in naive set theory
• Naive set theory and nontransitive logic
• Truth without contra(di)ction
• A brief note on Béziau's ``Rather trivial theorem about LP

Cites work

• A consistent theory of attributes in a logic without contraction
• A new conditional for naive truth theory
• A revenge-immune solution to the semantic paradoxes
• A Set Theory Based on a Certain 3-Valued Logic.
• Adding the relevant restricted quantification
• Assertion, Denial and Non-classical Theories
• Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
• Comments on Martin's and Welch's comments
• Curry's paradox and \(\omega \)-inconsistency
• Entailment and relevance¹
• Extensionality and restriction in naive set theory
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 4137752 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3484054 (Why is no real title available?)
• scientific article; zbMATH DE number 2150328 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 823602 (Why is no real title available?)
• Investigations on a comprehesnion axiom without negation in the defining propositional functions
• Logical consequence and the paradoxes
• Logical paradoxes for many-valued systems
• Naive set theory and nontransitive logic
• Naive truth and restricted quantification: saving truth a whole lot better
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Outline of a Theory of Truth
• Paradoxes of logical equivalence and identity
• Positive abstraction and extensionality
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Prospects for a naive theory of classes
• Relevant restricted quantification
• Saving the truth schema from paradox
• Saving truth from paradox
• Skolem functions in non-classical logics
• Some remarks on Cantor-Łukasiewicz fuzzy set theory
• Studies on the axiom of comprehension
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• The inconsistency of certain formal logics
• The liar paradox and fuzzy logic
• The simple consistency of a set theory based on the logic CSQ
• The simple consistency of naive set theory using metavaluations

Cited in

(19)

• More triviality
• Routes to triviality
• Semantic closure, descriptions and non-triviality
• Structural weakening and paradoxes
• An incompleteness theorem for modal relevant logics
• Paraconsistent metatheory: new proofs with old tools
• Farewell to suppression-freedom
• Blocking the routes to triviality with depth relevance
• Inconsistency in natural languages
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 4010513 (Why is no real title available?)
• A paraconsistent route to semantic closure
• Metavaluations, naive set theory and inconsistency
• THE POWER OF NAIVE TRUTH
• SUBSTITUTION IN RELEVANT LOGICS
• Prospects for triviality
• A brief note on Béziau's ``Rather trivial theorem about LP
• Confused entailment
• Should the negated conditional entail its antecedent?

This page was built for publication: Paths to triviality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q300832)