Logics of Worlds
E1279778
UNEXPLORED
Logics of Worlds is a major philosophical work by Alain Badiou that develops his theory of being, appearance, and change as a sequel to his influential book Being and Event.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Logics of Worlds canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17633526 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Logics of Worlds Context triple: [Alain Badiou, notableWork, Logics of Worlds]
-
A.
Algebraic Methods in Philosophical Logic
Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
-
B.
Fitting semantics for modal logic
Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
-
C.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
-
D.
Logic, Language, and the Foundations of Mathematics
Logic, Language, and the Foundations of Mathematics is a scholarly work exploring the interconnections between formal logic, linguistic structure, and the philosophical and mathematical underpinnings of rigorous reasoning.
-
E.
Proof Methods for Modal and Intuitionistic Logics
"Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Logics of Worlds Target entity description: Logics of Worlds is a major philosophical work by Alain Badiou that develops his theory of being, appearance, and change as a sequel to his influential book Being and Event.
-
A.
Algebraic Methods in Philosophical Logic
Algebraic Methods in Philosophical Logic is a scholarly work that systematically applies algebraic techniques to the study and clarification of systems in philosophical logic.
-
B.
Fitting semantics for modal logic
Fitting semantics for modal logic is a framework in mathematical logic that extends Kripke-style semantics to provide a more general and often intuitionistic treatment of modal operators.
-
C.
Semantical Considerations on Modal Logic
Semantical Considerations on Modal Logic is a landmark philosophical paper by Saul Kripke that helped found possible-worlds semantics and revolutionized the study of modal logic.
-
D.
Logic, Language, and the Foundations of Mathematics
Logic, Language, and the Foundations of Mathematics is a scholarly work exploring the interconnections between formal logic, linguistic structure, and the philosophical and mathematical underpinnings of rigorous reasoning.
-
E.
Proof Methods for Modal and Intuitionistic Logics
"Proof Methods for Modal and Intuitionistic Logics" is a foundational textbook by logician Melvin Fitting that systematically develops semantic and proof-theoretic techniques for reasoning in modal and intuitionistic logic systems.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.