- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Optical axiomatization of Minkowski space-time geometry
Philosophy of Science 53 (1):1-30 (1986)
Abstract
Minkowski geometry is axiomatized in terms of the asymmetric binary relation of optical connectibility, using ten first-order axioms and the second-order continuity axiom. An axiom system in terms of the symmetric binary optical connection relation is also presented. The present development is much simpler than the corresponding work of Robb, upon which it is modeledOther Versions
No versions found
My notes
Similar books and articles
Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity.Victor Pambuccian - 2002 - Synthese 133 (3):331 - 341.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic 50 (1):149-185.
The Physical Content of Minkowski Geometry.Brent Mundy - 1986 - British Journal for the Philosophy of Science 37 (1):25-54.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
The Topology of Feeling Extensive Connection in the Thought of Alfred North Whitehead: Its Development and Implications.Henry C. S. Keeton - 1984 - Dissertation, Graduate Theological Union
The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Analytics
Added to PP
2009-01-28
Downloads
111 (#192,208)
6 months
28 (#119,987)
2009-01-28
Downloads
111 (#192,208)
6 months
28 (#119,987)
Historical graph of downloads
Citations of this work
Representation and Invariance of Scientific Structures.Patrick Suppes - 2002 - CSLI Publications (distributed by Chicago University Press).
Newtonian determinism to branching space-times indeterminism in two moves.Nuel Belnap - 2012 - Synthese 188 (1):5-21.
Comparing classical and relativistic kinematics in first-order logic.Koen Lefever & Gergely Székely - unknown
A formal construction of the spacetime manifold.Thomas Benda - 2008 - Journal of Philosophical Logic 37 (5):441 - 478.
References found in this work
Causal theories of time and the conventionality of simultaneity.David Malament - 1977 - Noûs 11 (3):293-300.
The desirability of formalization in science.Patrick Suppes - 1968 - Journal of Philosophy 65 (20):651-664.
The Physical Content of Minkowski Geometry.Brent Mundy - 1986 - British Journal for the Philosophy of Science 37 (1):25-54.
Foundations of Space-Time Theories.J. S. Earman, C. N. Glymour & J. J. Stachel - 1980 - British Journal for the Philosophy of Science 31 (3):311-315.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-lxkd2 dc2