Mathematics as logical syntax

a method to formalize the language of a physical theory

Martin Strauss

pp. 45-52

in: Clifford A. Hooker (ed), The logico-algebraic approach to quantum mechanics I, Berlin, Springer, 1975

Abstract

I intend to explain a method how to formalize the language of a given physical theory. The essential part of this method consists in using the mathematical formalism of the theory in question in order to get the logical syntax of the coordinated physical language.