Mathematics as Logical Syntax — A Method to Formalize the Language of a Physical Theory
暂无分享,去创建一个
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.
[1] R. Carnap. Logical Syntax of Language , 1937 .
[2] M. Strauss. Ungenauigkeit, Wahrfcheinlichkeit und Unbeftimmtheit , 1936 .
[3] J. Neumann,et al. The Logic of Quantum Mechanics , 1936 .