The relation between logic, set theory and topos theory as it is used by Alain Badiou

DOI10.1007/978-3-319-15368-1_7MaRDI QIDQ5350332zbMATH OpenOpenAlexFDO

Authors Régis Angot-Pellissier

Publication date 28 August 2017

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15368-1_7

zbMATH Keywords

Alain BadiouBrouwer algebracategorical dualitycategory theoryclosed cartesian categoryclosed co-Cartesian categoryclosed subsetsHeyting algebrainternal logicintuitionist logicopen subsetsparaconsistent logicset theorytopos

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Topoi (18B25)

Recommendations

• Mathematics of the transcendental. Edited, translated and with an introduction by A. J. Bartlett and Alex Ling. Translated from the French
• Badiou's logics. Math, Hamlet, Sade. Translated from the English by Jochem Berlemann and Marietta Ehret
• From (paraconsistent) topos logic to universal (topos) logic
• Does Category Theory Provide a Framework for Mathematical Structuralism?†
• Badiou's \textit{Being and event} and the mathematics of set theory

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Places of the subject. Psychoanalysis and mathematics

Cited in

(7)

• The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
• The logos categorical approach to quantum mechanics. II. Quantum superpositions and intensive values
• The law of the subject: Alain Badiou, Luitzen Brouwer and the Kripkean analysis of forcing and Heyting calculus.
• From (paraconsistent) topos logic to universal (topos) logic
• Mathematics of the transcendental. Edited, translated and with an introduction by A. J. Bartlett and Alex Ling. Translated from the French
• Badiou's \textit{Being and event} and the mathematics of set theory
• Many-valued logical hexagons in a 3-oppositional trisimplex

This page was built for publication: The relation between logic, set theory and topos theory as it is used by Alain Badiou

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