Repository URL:
http://philsci-archive.pitt.edu/id/eprint/1452
Author(s):
Andrew Holster
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.

This preprint has 0 Wikipedia mention.