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


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 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.

Author's Profile


Added to PP

156 (#78,841)

6 months
59 (#74,877)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?