Repository | Book | Chapter

Mathematics as logical syntax

a method to formalize the language of a physical theory

Martin Strauss

pp. 45-52

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.

Publication details

DOI: 10.1007/978-94-010-1795-4_3

Full citation:

Strauss, M. (1975)., Mathematics as logical syntax: a method to formalize the language of a physical theory, in C. A. Hooker (ed.), The logico-algebraic approach to quantum mechanics I, Dordrecht, Springer, pp. 45-52.

This document is unfortunately not available for download at the moment.