Mathematical Physics and Elementary Logic

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:289 - 301 (1990)
  Copy   BIBTEX

Abstract

I outline an intrinsic (coordinate-free) formulation of classical particle mechanics, making no use of set theory or second-order logic. Physical quantities are accepted as real, but are constrained only by elementary axioms. This contrasts with the formulations of Field and Burgess, in which space-time regions are accepted as real and are assumed to satisfy second-order comprehension axioms. The present formulation is both logically simpler and physically more realistic. The theory is finitely axiomatizable, elementary, and even quantifier-free, but is provably empirically equivalent to the standard coordinate formulations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2011-05-29

Downloads
28 (#514,382)

6 months
2 (#889,309)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references