Logic for physical space: From antiquity to present days

Synthese 186 (3):619-632 (2012)
Download Edit this record How to cite View on PhilPapers
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
PhilPapers/Archive ID
AIELFP
Revision history
Archival date: 2018-04-20
View upload history
References found in this work BETA
Reasoning About Knowledge.Fagin, Ronald; Y. Halpern, Joseph; Moses, Yoram & Vardi, Moshe
Modal Logic.Blackburn, Patrick; de Rijke, Maarten & Venema, Yde
Modal Logic.Blackburn, Patrick; de Rijke, Maarten & Venema, Yde
Model Theory.Hodges, Wilfrid
Tarski's System of Geometry.Tarski, Alfred & Givant, Steven

View all 29 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2012-06-19

Total views
100 ( #25,987 of 42,333 )

Recent downloads (6 months)
6 ( #41,268 of 42,333 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.