Abstract
When one uses a particular logical formalism, one makes an ontological commitment to being able to interpret the symbols involved. We discuss this in a case study of geometric logic, being aided by a presentation of the logic as a sequent calculus. We also discuss the connections of geometric logic with topology and algebra.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barr, M., and C. Wells. 1984. Toposes, triples and theories. New York, NY: Springer, reissued as Barr and Wells, 2005.
Barr, M., and C. Wells. 2005. Toposes, triples and theories. Reprints in Theory and Applications of Categories, no. 12, Theory and Applications of Categories, Mount Allison University, originally published as Barr and Wells, 1984.
Johnstone, P.T. 1982. Stone spaces, Cambridge Studies in Advanced Mathematics, no. 3, Cambridge, UK: Cambridge University Press.
Johnstone, P.T. 2002a. Sketches of an elephant: A topos theory compendium, vol. 1, Oxford Logic Guides, no.44, Oxford: Oxford University Press.
Johnstone, P.T. 2002b. Sketches of an elephant: A topos theory compendium, vol. 2, Oxford Logic Guides, no. 44, Oxford: Oxford University Press.
Mac Lane, S., and I. Moerdijk. 1992. Sheaves in geometry and logic. New York, NY: Springer.
Russell, B. 1945. History of western philosophy. New York, NY: Simon and Schuster.
Sambin, G. 1987. Intuitionistic formal spaces – a first communication. In Mathematical logic and its applications, ed. D.G. Skordev, 187–204. Cambridge: Plenum.
Vickers, S. 1989. Topology via logic. New York, NY: Cambridge University Press.
Vickers, S.J. 1992. Geometric theories and databases. In Applications of categories in computer science LMS Lecture Note Series, 177, eds. M.P. Fourman, P.T. Johnstone, and A.M. Pitts, 288–314. Cambridge: Cambridge University Press.
S. Vickers. 2007. Locales and toposes as spaces. In Handbook of spatial logics, eds. M. Aiello, I.E. Pratt-Hartmann, and J.F.A.K. van Benthem, 429–496. New York, NY: Springer.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Netherlands
About this chapter
Cite this chapter
Vickers, S. (2010). Issues of Logic, Algebra and Topology in Ontology. In: Poli, R., Healy, M., Kameas, A. (eds) Theory and Applications of Ontology: Computer Applications. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-8847-5_22
Download citation
DOI: https://doi.org/10.1007/978-90-481-8847-5_22
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8846-8
Online ISBN: 978-90-481-8847-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)