NAIVE SET THEORY AND NONTRANSITIVE LOGIC

DOI10.1017/S1755020314000501zbMath1347.03094MaRDI QIDQ3195591

David Ripley

Publication date: 20 October 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

paradoxesnaive set theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Nonclassical and second-order set theories (03E70) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Paths to triviality, Systems for non-reflexive consequence, At the Limits of Thought, Structural weakening and paradoxes

Cites Work

• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• A note on naive set theory in LP
• Logic without contraction as based on inclusion and unrestricted abstraction
• TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
• Positive abstraction and extensionality
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Cut Elimination in the Presence of Axioms