PhilSci Archive

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

Holster, Andrew (2003) The incompleteness of extensional object languages of physics and time reversal. Part 2. [Preprint]

[img] Microsoft Word (.doc)
Download (261Kb)

    Abstract

    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.


    Export/Citation:EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
    Social Networking:

    Item Type: Preprint
    Keywords: time reversal, logic of physics, intensional semantics for physics
    Subjects: Specific Sciences > Physics > Classical Physics
    Specific Sciences > Physics
    Specific Sciences > Physics > Quantum Mechanics
    Depositing User: [Nil] [Nil]
    Date Deposited: 21 Oct 2003
    Last Modified: 07 Oct 2010 11:12
    Item ID: 1452
    URI: http://philsci-archive.pitt.edu/id/eprint/1452

    Actions (login required)

    View Item

    Document Downloads