Formal Languages and the Foundations of Physics

When I first began to take a serious interest in theoretical physics I was attracted by quantum field theory, a mysterious subject which — at least in the form of quantum electrodynamics — nevertheless seemed to be extraordinarily successful in predicting experimental results. It was an obvious challenge to try to develop a formulation of this theory which would be both mathematically satisfactory and, from a physical point of view, self-contained in the sense of not depending for its interpretation on prior physical theories. However, I soon found that this task was far from easy; so much so that it seemed advisable first to aim at a fully satisfactory account of ordinary quantum mechanics, a subject of which quantum electrodynamics might be described as a very sophisticated descendent.

[1]  R. Giles.  A Logic for Subjective Belief , 1976 .

[2]  R. Giles.  Foundations for Quantum Mechanics , 1970 .

[3]  J. Cooper,et al.  Les Algebres d'Operateurs dans l'Espace Hilbertien , 1958 .

[4]  R. Giles.  Łukasiewicz logic and fuzzy set theory , 1976 .

[5]  Patrick Suppes,et al.  Axiomatic Foundations of Classical Particle Mechanics , 1953 .

[6]  J. Neumann.  Mathematical Foundations of Quantum Mechanics , 1955 .

[7]  Robert John Ackermann,et al.  An Introduction to Many-Valued Logics , 2019 .

[8]  R. Morrow,et al.  Foundations of Quantum Mechanics , 1968 .

[9]  Marian Przełęcki,et al.  The logic of empirical theories , 1969 .

[10]  Willard Van Orman Quine,et al.  Philosophy of Logic. , 1988 .

[11]  R. Giles,et al.  Mathematical Foundations of Thermodynamics , 1964 .

[12]  E. Lubkin.  Theory of multibin tests: Definition and existence of extraneous tests , 1974 .

[13]  N. Rescher.  Many Valued Logic , 1969 .

[14]  E. Merzbacher.  Quantum mechanics , 1961 .

[15]  B. Robson.  The theory of polarization phenomena , 1974 .

[16]  Van Fraassen,et al.  Formal semantics and logic , 1971 .

[17]  Michael Danos,et al.  The Mathematical Foundations of Quantum Mechanics , 1964 .

[18]  C. Carathéodory.  Untersuchungen über die Grundlagen der Thermodynamik , 1909 .

[19]  R. Giles.  A non-classical logic for physics , 1974 .

[20]  V. Varadarajan.  Geometry of quantum theory , 1968 .

[21]  Foundations for Quantum Statistics , 1968 .

[22]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[23]  Jaakko Hintikka,et al.  Logic, Language-Games And Information , 1972 .

[24]  Robin Giles,et al.  A Pragmatic Approach to the Formalization of Empirical Theories , 1976 .

[25]  C. Hooker,et al.  Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science , 1976 .

[26]  Lawrence Peter Belluce,et al.  A weak completeness theorem for infinite valued first-order logic , 1963, Journal of Symbolic Logic.