Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ackermann, R., An introduction to many-valued logics, Dover, New York, 1967.
Belluce, L. P., and Chang, C. C., ‘A weak completeness theorem for infinite-valued first order logic’, J. Symbolic Logic 28 (1963) 43–50.
Bishop, E., Foundations of constructive analysis, McGraw-Hill, New York, 1969.
Braithwaite, R. B., Scientific explanation, Cambridge University Press, Cambridge, 1953.
Caratheodory, G, ‘Grundlagen der Thermodynamik’, Mathematische Annalen 67 (1909) 355–386.
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.
Dixmier, J., Les algèbres d’opèrateurs dans l’espace Hilbertien (second ed.), Gauthier-Villars, Paris. 1969.
Giles, R., Mathematical foundations of thermodynamics, Pergamon, Oxford, 1964.
Giles, R., ‘Foundations for quantum statistics’, Journal of Mathematical Physics 9 (1968) 359–371.
Giles, R.,’ Foundations for quantum mechanics’, Journal of Mathematical Physics 11(1970) 2139–2160.
Giles, R., ‘A nonclassical logic for physics’, Studia Logica 33 (1974) 397–415. (This is a shortened version of [12].).
Giles, R., ‘A nonclassical logic for physics’, in R. Wójcicki (ed.), Selected papers on Lukasiewicz sentential calculi, Ossolineum, Warsaw, 1977, 13–51.
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.
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.
Giles, R., ‘Lukasiewicz logic and fuzzy set theory’, Proceedings of the 1975 international symposium on multiple-valued logic, Bloomington, Indiana, pp. 197–211.
I.E.E.E. 1975. Reprinted with minor changes in International Journal of Man-Machine Studies 8 (1976), 313–327.
Giles, R., Comment on the paper by Dana Scott, in S. Körner (ed.), Philosophy of Logic, Blackwell, Oxford, 1976, 92–95.
Giles, R., unpublished.
Hintikka, J., Logic, language-games, and information, Oxford University Press, Oxford, 1973.
Jauch, J. M, Foundations of quantum mechanics, Addison-Wesley, Reading, Mass., 1968.
Klaua, D., ‘Grundbegriffe einer mehrwertigen mengenlehre’, Monatsb. Deutsch. Akad. Wiss. Berlin 8 (1966) 782–802 (and other papers).
Liddell, G. F., ‘A logic based on game theory’ (Ph.D. thesis) Queen’s University, Kingston, Canada, 1975.
Lorenzen, P., Metamathematik, Bibliographisches Institut, Mannheim, 1962.
Lubkin, E., ‘Theory of multibin tests’, Journal of Mathematical Physics 15 (1974) 663–672.
Mackey, G. W., Mathematical foundations of quantum mechanics, Benjamin, New York, 1963.
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.
Mendelson, E., Introduction to mathematical logic, Van Nostrand, Princeton, N. J., 1964.
Merzbacher, E., Quantum mechanics (second ed.), Wiley, New York 1970.
Przełecki, M., The logic of empirical theories, Routledge and Kegan Paul, London, 1969.
Rescher, N., Many-valued logic, McGraw-Hill, New York, 1969.
Robson, B. A., The theory of polarization phenomena, Clarendon Press, Oxford, 1974.
Russell, B., An enquiry into meaning and truth, Norton, New York, 1940.
Van Fraassen, B. C., Formal semantics and logic, Macmillan, New York, 1971.
Varadarajan, V. S., Geometry of quantum theory, Vol. 1, Van Nostrand, Princeton, N.J., 1968.
Von Neumann, J., Mathematical foundations of quantum mechanics, Princeton University Press, Princeton, N.J., 1955.
Zadeh, L. A., ‘Fuzzy sets’, Information and Control 8 (1965) 338–353.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1978 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Hooker, C.A. (1978). Formal Languages and the Foundations of Physics. In: Hooker, C.A. (eds) Physical Theory as Logico-Operational Structure. The University of Western Ontario Series in Philosophy of Science, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9769-1_2
Download citation
DOI: https://doi.org/10.1007/978-94-009-9769-1_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-9771-4
Online ISBN: 978-94-009-9769-1
eBook Packages: Springer Book Archive