Abstract
Mathematical practice seems to presuppose what Church has called an underlying logic. Mathematical logic proceeds in strict analogy with mathematical physics where mathematical models of physical systems are constructed and studied. Mathematical logic constructs models of underlying logics. This paper focuses on mismatches between currently accepted models and the underlying logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Bourbaki, N.: 1949., ‘Foundations of Mathematics for the Working Mathematician’, Journal of Symbolic Logic 14, 1–8.
Church, A.: 1956, Introduction to Mathematical Logic, Princeton.
Corcoran, J.: 1969, ‘Three Logical Theories’, Philosophy of Science 36, 153–77.
Corcoran, J.: 1971a, ‘Discourse Grammars and the Structure of Mathematical Reasoning I, II, III’, Journal of Structural Learning 3, No. 1,55–74; No. 2, 1–16; No. 3,1–24.
Corcoran, J.: 1971b, ‘Review of Eberle (1969)’, Mathematical Reviews 42, 31.
Corcoran, J.: ‘Review of Kreisel (1968)’, Mathematical Reviews, forthcoming.
Corcoran, J. and Herring, John: 1971, ‘Notes on a Semantic Analysis of Variable Binding Term Operators’, Logique et Analyse 55, 644–57.
Corcoran, J. and Herring, John: 1972, ‘Review of Ebbinghaus (1969)’, Journal of Symbolic Logic, 37, 617–8.
Ebbinghaus, H. D.: 1969, ‘Über eine Prädikatenlogik mit partiell definierten Prädikaten und Functionen’, Archiv für mathematische Logik und Grundlagenforschung 12, 39–53.
Eberle, R.: 1969, ‘Denotationless Terms and Predicates Expressive of Positive Qualities’, Theoria 35, 104–123.
Fitch, F.: 1952, Symbolic Logic, New York.
Halmos, P.: 1960, Naive Set Theory, Princeton.
Hasenjaeger, G.: 1972, Introduction to Basic Concepts and Problems of Modern Logic, Reidel, Dordrecht.
Huntington, E.: 1917, The Continuum, New York.
Jaskowski, S.: 1934, ‘On the Rules of Supposition in Formal Logic’, Studia Logica 1.
Kalish, D. and Montague, R.: 1964, Logic: Techniques of For mal Reasoning, New York.
Kleene, S.: 1952, Introduction to Metamathematics, Princeton.
Kneale, W. & M.: 1964, The Development of Logic, Oxford.
Kreisel, G.: 1970, ‘Principles of Proof and Ordinals Implicit in Given Concepts’, in Intuitionism and Proof Theory (Proceedings of the Summer Conference at Buffalo, 1968) (ed. by Kino, Myhill and Vesley), Amsterdam.
Maloney, M.: 1969, Logical and Axiomatic Foundations for the Study of Formal Languages and Symbolic Computation, Dissertation, University of Pennsylvania.
Scott, D.: 1970, Advice on Modal Logic’, in Philosophical Problems in Logic, (ed. by Karel Lambert), D. Reidel Publ. Co., Dordrecht-Holland, p. 143.
Shoenfield, J.: 1967, Mathematical Logic, Reading, Massachusetts.
Tarski, A.: 1953, Undecidable Theories, Amsterdam.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1973 D. Reidel Publishing Company, Dordrecht-Holland
About this chapter
Cite this chapter
Corcoran, J. (1973). Gaps between Logical Theory and Mathematical Practice. In: Bunge, M. (eds) The Methodological Unity of Science. Theory and Decision Library, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-2667-3_3
Download citation
DOI: https://doi.org/10.1007/978-94-010-2667-3_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-0404-7
Online ISBN: 978-94-010-2667-3
eBook Packages: Springer Book Archive