Collections | Livre | Chapitre
Mathematics as logical syntax
a method to formalize the language of a physical theory
pp. 45-52
Résumé
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.
Détails de la publication
Publié dans:
Hooker Clifford A. (1975) The logico-algebraic approach to quantum mechanics I: historical evolution. Dordrecht, Springer.
Pages: 45-52
DOI: 10.1007/978-94-010-1795-4_3
Citation complète:
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 (45-52). Dordrecht, Springer.