David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Annals of Pure and Applied Logic 164 (3):319-348 (2013)
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this case 2.In the present work, we generalize the entire arrangement from propositional to first-order logic, using a representation result of Butz and Moerdijk. Boolean algebras are replaced by Boolean categories presented by theories in first-order logic, and spaces of models are replaced by topological groupoids of models and their isomorphisms. A duality between the resulting categories of syntax and semantics, expressed primarily in the form of a contravariant adjunction, is established by homming into a common dualizing object, now Sets, regarded once as a boolean category, and once as a groupoid equipped with an intrinsic topology.The overall framework of our investigation is provided by topos theory. Direct proofs of the main results are given, but the specialist will recognize toposophical ideas in the background. Indeed, the duality between syntax and semantics is really a manifestation of that between algebra and geometry in the two directions of the geometric morphisms that lurk behind our formal theory. Along the way, we give an elementary proof of Butz and Moerdijkʼs result in logical terms
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Henrik Forssell (2012). Topological Representation of Geometric Theories. Mathematical Logic Quarterly 58 (6):380-393.
Michael Makkai (1990). A Theorem on Barr-Exact Categories, with an Infinitary Generalization. Annals of Pure and Applied Logic 47 (3):225-268.
Michael Makkai (1988). Strong Conceptual Completeness for First-Order Logic. Annals of Pure and Applied Logic 40 (2):167-215.
Citations of this work BETA
No citations found.
Similar books and articles
Roberto Magari (1975). Representation and Duality Theory for Diagonalizable Algebras. Studia Logica 34 (4):305 - 313.
Vincenzo Marra & Luca Spada (2012). The Dual Adjunction Between MV-Algebras and Tychonoff Spaces. Studia Logica 100 (1-2):253-278.
N. G. Martínez (1990). The Priestley Duality for Wajsberg Algebras. Studia Logica 49 (1):31 - 46.
Guram Bezhanishvili (1999). Varieties of Monadic Heyting Algebras Part II: Duality Theory. Studia Logica 62 (1):21-48.
William P. Hanf & Dale Myers (1983). Boolean Sentence Algebras: Isomorphism Constructions. Journal of Symbolic Logic 48 (2):329-338.
Kosta Došen (1989). Duality Between Modal Algebras and Neighbourhood Frames. Studia Logica 48 (2):219 - 234.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Steve Awodey (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic: Topology and Modality. Review of Symbolic Logic 1 (2):146-166.
Bruno Teheux (2007). A Duality for the Algebras of a Łukasiewicz N + 1-Valued Modal System. Studia Logica 87 (1):13 - 36.
Yoshihiro Maruyama (2010). Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory. Studia Logica 94 (2):245 - 269.
Added to index2010-08-22
Total downloads27 ( #74,392 of 1,410,448 )
Recent downloads (6 months)4 ( #57,804 of 1,410,448 )
How can I increase my downloads?