Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-28T00:50:39.662Z Has data issue: false hasContentIssue false
  • English
  • Français

Models of logical systems

Published online by Cambridge University Press:  12 March 2014

John G. Kemeny
John G. Kemeny*
Affiliation:
Princeton University
Get access Rights & Permissions [Opens in a new window]

Extract

The purpose of this paper is to show that some of the difficulties confronting logicians are caused by too narrow an interpretation of the function of mathematical logic. I hope to show that very fruitful results can be obtained by considering a much wider range of problems than usually found in the literature.

I believe that the function of mathematical logic is to study all logical systems. The problems now considered usually concern some particular system or set of systems. Of course we would have to agree first on what a logical system is. I shall suggest a tentative definition. The rest of my paper will proceed on the assumption that we have agreed on this question. However, it is only necessary for this paper that some definition should be accepted, it is not necessary that it should be the one I suasest.

Type
Articles
Information
The Journal of Symbolic Logic , Volume 13 , Issue 1 , March 1948 , pp. 16 - 30
Copyright
Copyright © Association for Symbolic Logic 1948

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1]Church, Alonzo, The calculi of lambda-conversion, Annals of mathematics studies, 1941.Google Scholar
[2]Kleene, S. C., λ-definabiliiy and recursiveness, Duke mathematical journal, vol. 2 (1936), pp. 340–353.10.1215/S0012-7094-36-00227-2CrossRefGoogle Scholar
[3]Post, Emil L., Recursively enumerable sets of positive integers and their decision problems, Bulletin of the American Mathematical Society, vol. 50 (1944), pp. 284–316.10.1090/S0002-9904-1944-08111-1CrossRefGoogle Scholar
[4]Rosser, Barkley, Gödel theorems for non-constructive logice, this Journal, vol. 2 (1937), pp. 129–137.Google Scholar
[5]Carnap, Rudolf, Logical syntax of language, 1937.Google Scholar
[6]Church, Alonzo, A formulation of the simple theory of types, this Journal, vol. 5 (1940), pp. 56–68.Google Scholar
[7]Hilbert, D. and Ackermann, W., Grundzüge der theoretischen Logik, second revised edition, 1938.10.1007/978-3-662-41928-1CrossRefGoogle Scholar
[8]Quine, W. V., Set-theoretic foundations for logic, this Journal, vol. 1 (1936), pp. 45–57.Google Scholar
[9]Hilbert, D. and Bernays, P., Grundlagen der Mathematik, vol. 1 (1934), pp. 1–19.Google Scholar
[10]Fraenkel, A., Einleitung in die Mengenlehre, third edition, 1946, §18.Google Scholar
[11]Carnap, Rudolf, Bericht über Untersuchungen zur allgemeinen Axiomatik, Erkentniss, vol. 1 (1930–1931), pp. 303–307.10.1007/BF00208622CrossRefGoogle Scholar
[12]Carnap, Rudolf, Über Extremalaxiome, Erkentniss, vol. 6 (1936), pp. 166–188.10.1007/BF02538231CrossRefGoogle Scholar
[13]Carnap, Rudolf, Introduction to semantics, 1942.Google Scholar
[14]Carnap, Rudolf, Formalization of logic, 1943.Google Scholar
[15]Church, Alonzo, Introduction to Mathematical logic—part I, Annals of mathematics studies, 1944.Google Scholar
[16]Kemeny, John G., Equivalent logical systems, Senior thesis, Princeton University 1946.Google Scholar