Formal Languages and the Foundations of Physics

Part of the The University of Western Ontario Series in Philosophy of Science book series (WONS, volume 7)


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.


Final Position Physical Theory Formal Language Classical Logic Primary Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Ackermann, R., An introduction to many-valued logics, Dover, New York, 1967.Google Scholar
  2. [2]
    Belluce, L. P., and Chang, C. C., ‘A weak completeness theorem for infinite-valued first order logic’, J. Symbolic Logic 28 (1963) 43–50.CrossRefGoogle Scholar
  3. [3]
    Bishop, E., Foundations of constructive analysis, McGraw-Hill, New York, 1969.Google Scholar
  4. [4]
    Braithwaite, R. B., Scientific explanation, Cambridge University Press, Cambridge, 1953.Google Scholar
  5. [5]
    Caratheodory, G, ‘Grundlagen der Thermodynamik’, Mathematische Annalen 67 (1909) 355–386.CrossRefGoogle Scholar
  6. [6]
    Chang, C. C., ‘Infinite-valued logic as a basis for set theory’, Proc. 1964 Int. Congress for Logic, Methodology, and Philosophy of Science, North-Holland, Amsterdam, 1965.Google Scholar
  7. [7]
    Dixmier, J., Les algèbres d’opèrateurs dans l’espace Hilbertien (second ed.), Gauthier-Villars, Paris. 1969.Google Scholar
  8. [8]
    Giles, R., Mathematical foundations of thermodynamics, Pergamon, Oxford, 1964.Google Scholar
  9. [9]
    Giles, R., ‘Foundations for quantum statistics’, Journal of Mathematical Physics 9 (1968) 359–371.CrossRefGoogle Scholar
  10. [10]
    Giles, R.,’ Foundations for quantum mechanics’, Journal of Mathematical Physics 11(1970) 2139–2160.CrossRefGoogle Scholar
  11. [11]
    Giles, R., ‘A nonclassical logic for physics’, Studia Logica 33 (1974) 397–415. (This is a shortened version of [12].).CrossRefGoogle Scholar
  12. [12]
    Giles, R., ‘A nonclassical logic for physics’, in R. Wójcicki (ed.), Selected papers on Lukasiewicz sentential calculi, Ossolineum, Warsaw, 1977, 13–51.Google Scholar
  13. [13]
    Giles, R., ‘A logic for subjective belief’, in Harper, W. L. and Hooker, C. A. (eds.), Foundations of probability theory, statistical inference, and statistical theories of science, Vol. 1, Reidel, Dordrecht, 1976, 41–70.Google Scholar
  14. [14]
    Giles, R., ‘A pragmatic approach to the formalization of empirical theories’, in Proc. conf. on formal methods in the methodology of empirical sciences, Warsaw, June 1974, Ossolineum, Warsaw, and Reidel, Dordrecht, 1976, 113–135.CrossRefGoogle Scholar
  15. [15]
    Giles, R., ‘Lukasiewicz logic and fuzzy set theory’, Proceedings of the 1975 international symposium on multiple-valued logic, Bloomington, Indiana, pp. 197–211.Google Scholar
  16. I.E.E.E. 1975. Reprinted with minor changes in International Journal of Man-Machine Studies 8 (1976), 313–327.Google Scholar
  17. [16]
    Giles, R., Comment on the paper by Dana Scott, in S. Körner (ed.), Philosophy of Logic, Blackwell, Oxford, 1976, 92–95.Google Scholar
  18. [17]
    Giles, R., unpublished.Google Scholar
  19. [18]
    Hintikka, J., Logic, language-games, and information, Oxford University Press, Oxford, 1973.Google Scholar
  20. [19]
    Jauch, J. M, Foundations of quantum mechanics, Addison-Wesley, Reading, Mass., 1968.Google Scholar
  21. [20]
    Klaua, D., ‘Grundbegriffe einer mehrwertigen mengenlehre’, Monatsb. Deutsch. Akad. Wiss. Berlin 8 (1966) 782–802 (and other papers).Google Scholar
  22. [21]
    Liddell, G. F., ‘A logic based on game theory’ (Ph.D. thesis) Queen’s University, Kingston, Canada, 1975.Google Scholar
  23. [22]
    Lorenzen, P., Metamathematik, Bibliographisches Institut, Mannheim, 1962.Google Scholar
  24. [23]
    Lubkin, E., ‘Theory of multibin tests’, Journal of Mathematical Physics 15 (1974) 663–672.CrossRefGoogle Scholar
  25. [24]
    Mackey, G. W., Mathematical foundations of quantum mechanics, Benjamin, New York, 1963.Google Scholar
  26. [25]
    McKinsey, J. C., Sugar, A. C., and Suppes, P., ‘Axiomatic foundations of classical particle mechanics’, Journal of Rational Mechanics and Analysis 2 (1953) 253–272.Google Scholar
  27. [26]
    Mendelson, E., Introduction to mathematical logic, Van Nostrand, Princeton, N. J., 1964.Google Scholar
  28. [27]
    Merzbacher, E., Quantum mechanics (second ed.), Wiley, New York 1970.Google Scholar
  29. [28]
    Przełecki, M., The logic of empirical theories, Routledge and Kegan Paul, London, 1969.Google Scholar
  30. [29]
    Rescher, N., Many-valued logic, McGraw-Hill, New York, 1969.Google Scholar
  31. [30]
    Robson, B. A., The theory of polarization phenomena, Clarendon Press, Oxford, 1974.Google Scholar
  32. [31]
    Russell, B., An enquiry into meaning and truth, Norton, New York, 1940.Google Scholar
  33. [32]
    Van Fraassen, B. C., Formal semantics and logic, Macmillan, New York, 1971.Google Scholar
  34. [33]
    Varadarajan, V. S., Geometry of quantum theory, Vol. 1, Van Nostrand, Princeton, N.J., 1968.Google Scholar
  35. [34]
    Von Neumann, J., Mathematical foundations of quantum mechanics, Princeton University Press, Princeton, N.J., 1955.Google Scholar
  36. [35]
    Zadeh, L. A., ‘Fuzzy sets’, Information and Control 8 (1965) 338–353.CrossRefGoogle Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1978

Authors and Affiliations

  1. 1.University of Western OntarioCanada

Personalised recommendations