Logic for physical space.
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 ma...
| Publicado en: | Synthese Vol. 186; no. 3; pp. 619 - 633 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
May2012
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=76632568&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 76632568 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: May2012 vid: 186 iid: 3 pid: 237 pub: Springer Nature artinfo: ui: 76632568 10.1007/s11229-011-9913-9 ppf: 619 ppct: 14 formats: fmt: @attributes: type: P size: 222KB tig: atl: Logic for physical space. aug: au: Aiello, Marco Bezhanishvili, Guram Bloch, Isabelle Goranko, Valentin affil: University of Groningen, Groningen The Netherlands New Mexico State University, Las Cruces USA Telecom ParisTech (ENST), CNRS UMR 5141 LTCI, Paris France Technical University of Denmark, Lyngby Denmark su: Physics Philosophers Spacetime Axioms Mathematical physics Vector spaces sug: subj: Physics Philosophers Spacetime Axioms Mathematical physics Vector spaces keyword: Geometry Mathematical morphology Modal logic Topology ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2012. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2012 holdings: @attributes: islocal: N |
|---|