Logic for physical space

Synthese 186 (3):619-632 (2012)
Abstract
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)
DOI 10.1007/s11229-011-9913-9
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,678
External links

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
Reasoning About Knowledge.Ronald Fagin (ed.) - 2003 - MIT Press.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Tarski's System of Geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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.
What Are Physical Objects?Ned Markosian - 2000 - Philosophy and Phenomenological Research 61 (2):375-395.
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.
A Physicalist Reinterpretion of 'Phenomenal' Spaces.Lieven Decock - 2006 - Phenomenology and the Cognitive Sciences 5 (2):197-225.

Monthly downloads

Added to index

2012-06-19

Total downloads

21 ( #237,064 of 2,170,068 )

Recent downloads (6 months)

1 ( #345,514 of 2,170,068 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums