Synthese 186 (3):619-632 (2012)
Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces
|Keywords||Modal logic Geometry Topology Mathematical morphology|
|Categories||categorize this paper)|
References found in this work BETA
Tarski's System of Geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Citations of this work BETA
No citations found.
Similar books and articles
On the Space-Time Ontology of Physical Theories.Kenneth L. Manders - 1982 - Philosophy of Science 49 (4):575-590.
A Note on the Physical Possibility of Transfinite Computation.W. Aitken & J. A. Barrett - 2010 - British Journal for the Philosophy of Science 61 (4):867-874.
Is Curvature Intrinsic to Physical Space?Graham Nerlich - 1979 - Philosophy of Science 46 (3):439-458.
Euclidean Hierarchy in Modal Logic.van Benthem Johan, Bezhanishvili Guram & Gehrke Mai - 2003 - Studia Logica 75 (3):327-344.
What Are Physical Objects?Ned Markosian - 2000 - Philosophy and Phenomenological Research 61 (2):375-395.
The Modal Logic of Stone Spaces: Diamond as Derivative.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2010 - Review of Symbolic Logic 3 (1):26-40.
The Structure of Gunk: Adventures in the Ontology of Space.Jeffrey Sanford Russell - 2008 - In Dean Zimmerman (ed.), Oxford Studies in Metaphysics: Volume 4. Oxford University Press. pp. 248.
Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
Space and Time in Particle and Field Physics.D. Dieks - 2001 - Studies in History and Philosophy of Science Part B 32 (2):217-241.
Time, Topology and Physical Geometry.Tim Maudlin - 2010 - Aristotelian Society Supplementary Volume 84 (1):63-78.
Essay Review:Physical RelativityandUnderstanding Space‐Time* Harvey R. Brown , Physical Relativity: Space‐Time Structure From a Dynamical Perspective . Oxford: Oxford University Press (2005), 240 Pp., $75.00 (Cloth). Robert DiSalle , Understanding Space‐Time: The Philosophical Developments of Physics From Newton to Einstein . Cambridge: Cambridge University Press (2006), 188 Pp., $90.00 (Cloth). [REVIEW]Nick Huggett - 2009 - Philosophy of Science 76 (3):404-422.
A Physicalist Reinterpretion of 'Phenomenal' Spaces.Lieven Decock - 2006 - Phenomenology and the Cognitive Sciences 5 (2):197-225.
Added to index2012-06-19
Total downloads21 ( #237,064 of 2,170,068 )
Recent downloads (6 months)1 ( #345,514 of 2,170,068 )
How can I increase my downloads?