The simple consistency of naive set theory using metavaluations

DOI10.1007/s10992-012-9262-2zbMath1343.03003OpenAlexW2074803005MaRDI QIDQ484104

Ross T. Brady

Publication date: 18 December 2014

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

Full work available at URL: https://doi.org/10.1007/s10992-012-9262-2

zbMATH Keywords

naive set theorymetavaluationsparadox solutionsimple consistency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99)

Related Items (6)

Paths to triviality ⋮ METAVALUATIONS ⋮ The Number of Logical Values ⋮ Blocking the routes to triviality with depth relevance ⋮ Logic—The Big Picture ⋮ Revisiting Semilattice Semantics

Cites Work

• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• A metacompleteness theorem for contraction-free relevant logics
• The simple consistency of a set theory based on the logic CSQ
• Relevant implication and the case for a weaker logic
• Metacompleteness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The simple consistency of naive set theory using metavaluations