The simple consistency of naive set theory using metavaluations

DOI10.1007/S10992-012-9262-2zbMATH Open1343.03003OpenAlexW2074803005MaRDI QIDQ484104FDOQ484104

Authors: 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

Recommendations

• Metavaluations, naive set theory and inconsistency
• scientific article; zbMATH DE number 1746564
• The metatheory of sets
• scientific article; zbMATH DE number 1874098
• Naïve set theory, paraconsistency and indeterminacy. I
• The justification of set theory: between metaphysics and formal axiomatics
• Naive set theory with extensionality in partial logic and in paradoxical logic
• The difficulties in using weak relevant logics for naive set theory
• A nominalistic proof of the conservativeness of set theory
• Naive set theory and nontransitive logic

zbMATH Keywords

naive set theorymetavaluationsparadox solutionsimple consistency

Mathematics Subject Classification ID

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

Cites Work

• Universal logic
• The simple consistency of a set theory based on the logic CSQ
• Title not available (Why is that?)
• Title not available (Why is that?)
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• A metacompleteness theorem for contraction-free relevant logics
• Metacompleteness
• Relevant implication and the case for a weaker logic
• Negation in metacomplete relevant logics
• The consistency of arithmetic, based on a logic of meaning containment

Cited In (11)

• The number of logical values
• The metatheory of sets
• Logic—The Big Picture
• Paths to triviality
• Metavaluations
• Semantics for naive set theory in many-valued logics. Technique and historical account.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Revisiting Semilattice Semantics
• Blocking the routes to triviality with depth relevance
• Metavaluations, naive set theory and inconsistency

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

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