The Relation Between Logic, Set Theory and Topos Theory as it Is Used by Alain Badiou

DOI10.1007/978-3-319-15368-1_7zbMath1371.03010OpenAlexW976025660MaRDI QIDQ5350332

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

category theoryHeyting algebraset theorytoposparaconsistent logicBrouwer algebraclosed subsetscategorical dualityopen subsetsintuitionist logicinternal logicAlain Badiouclosed cartesian categoryclosed co-Cartesian category

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: The Relation Between Logic, Set Theory and Topos Theory as it Is Used by Alain Badiou