Repository | Series | Buch | Kapitel
Mathematics as logical syntax
a method to formalize the language of a physical theory
pp. 45-52
Abstrakt
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
Published in:
Hooker Clifford A. (1975) The logico-algebraic approach to quantum mechanics I: historical evolution. Dordrecht, Springer.
Seiten: 45-52
DOI: 10.1007/978-94-010-1795-4_3
Referenz:
Strauss Martin (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, 45–52.