The incompleteness of extensional object languages of physics and time reversal. Part 2.

Publication Year:
2003
Usage 306
Downloads 306
Repository URL:
http://philsci-archive.pitt.edu/id/eprint/1452
Author(s):
Holster, Andrew
preprint description
This continues from Part 1. It is shown how an intensional interpretation of physics object languages can be formalised, and how a syntactic compositional time reversal operator can subsequently be defined. This is applied to solve the problems used as examples in Part 1. A proof of a general theorem that such an operator must be defineable (for any general transformation) is sketched. A number of related issues about the interpretation of theories of physics, including classical and quantum mechanics and classical EM theory are discussed.