Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Books
  3. The Evolution of Logic
  • Cited by 6
Publisher:
Cambridge University Press
Online publication date:
June 2012
Print publication year:
2010
Online ISBN:
9780511779589
DOI:
https://doi.org/10.1017/CBO9780511779589
Subjects:
History of Philosophy, Logic, Philosophy
Series:
The Evolution of Modern Philosophy
Information

Book description

Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy.

Reviews

'The aim of the author is to make these achievements more accessible to philosophers and in this way to make available for them the tools necessary to renew the dialogue between logic and philosophy.'

Source: Mathematical Reviews

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

Contents

Contents
References
Bibliography
Aczel, PeterNon-Well-Founded SetsStanfordCenter for the Study of Language and Information 1988 Google Scholar
Alchourrón, Carlos E“On the Philosophical Adequacy of Set Theories.”Theoria 1986 Google Scholar 567
Baldwin, J. T.Lachlan, A. H.“On Strongly Minimal Sets.”Journal of Symbolic Logic 36 1971 CrossRef | Google Scholar 71
Barwise, JonAdmissible Sets and Structures: An Approach to Definability TheoryBerlinSpringer 1975 CrossRef | Google Scholar
Barwise, JonEtchemendy, JohnThe Liar: An Essay on Truth and CircularityNew YorkOxford University Press 1987 Google Scholar
Bell, J. L.Machover, M.A Course in Mathematical LogicAmsterdamNorth-Holland 1977 Google Scholar
Bell, J. L.Slomson, A. B.Models and Ultraproducts: An IntroductionAmsterdamNorth-Holland 1969 Google Scholar
Benacerraf, PaulPhilosophy of Mathematics: Selected ReadingsBenacerraf, PaulPutnam, HilaryCambridgeCambridge University Press 1983 Google Scholar
Benacerraf, Paul“What Numbers Could Not Be.”Philosophy of Mathematics Google Scholar272
Beth, Evert W.The Foundations of Mathematics: A Study in the Philosophy of ScienceNew YorkHarper Torchbooks 1964 Google Scholar
Birkhoff, George DavidBeatley, RalphBasic GeometryNew YorkChelsea 1959 Google Scholar
Boolos, GeorgeLogic, Logic, and LogicJeffrey, RichardCambridge, Mass.Harvard University Press 1998 Google Scholar
Boolos, George Google Scholar
Boolos, GeorgeThe Unprovability of Consistency: An Essay in Modal LogicCambridgeCambridge University Press 1979 Google Scholar
Brady, GeraldineFrom Peirce to Skolem: A Neglected Chapter in the History of LogicAmsterdam and New YorkNorth-Holland/Elsevier 2000 Google Scholar
Burge, TylerTruth, Thought, Reason: Essays on FregeOxfordClarendon Press 2005 CrossRef | Google Scholar
Burge, Tyler“Frege on Sense and Linguistic Meaning.”Truth, Thought, Reason Google Scholar242
Burge, Tyler Google Scholar
Burge, Tyler“Semantical Paradox.”Recent Essays Google Scholar83
Cantor, GeorgContributions to the Founding of the Theory of Transfinite NumbersJourdain, Philip E. B.New YorkDover 1952 Google Scholar
Cantor, GeorgGesammelte Abhandlungen mathematischen und philosophischen InhaltsZermelo, ErnstHildesheimGeorg Olms 1962 Google Scholar
Carnap, RudolfThe Philosophy of Rudolf CarnapSchilpp, Paul ArthurLa Salle, Ill.Open Court 1963 Google Scholar
Carnap, RudolfDer logische Aufbau der WeltBerlin-SchlachtenseeWeltkreis-verlag 1928 George, Rolf A. Google Scholar
Chang, C. C.Jerome Keisler, H.Model TheoryAmsterdamNorth-Holland 1973 Google Scholar
Chellas, Brian F.Modal Logic: An IntroductionCambridgeCambridge University Press 1980 CrossRef | Google Scholar
Chong, C.-T.Techniques of Admissible Recursion TheoryBerlinSpringer 1984 CrossRef | Google Scholar
Church, Alonzo Google Scholar108
Church, Alonzo Google Scholar89
Church, AlonzoIntroduction to Mathematical LogicPrincetonPrinceton University Press 1956 Google Scholar
Cohen, Paul J.Set Theory and the Continuum HypothesisNew YorkW. A. Benjamin 1966 Google Scholar
Davis, MartinComputability and UnsolvabilityNew YorkMcGraw-Hill 1958 Google Scholar
Davis, MartinThe Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable FunctionsHewlett, N.Y.Raven Press 1965 Google Scholar
Dedekind, RichardEssays on the Theory of NumbersNew YorkDover 1963 Google Scholar
Dehornoy, Patrick“Recent Progress on the Continuum Hypothesis (after Woodin).” Google Scholarwww.math.unicaen.fr/~dehornoy/Surveys/DgtUS.pdf
De Morgan, AugustusOn the Syllogism, and Other Logical WritingsHeath, PeterLondonRoutledge & Kegan Paul 1966 Google Scholar
Dipert, Randall R.“The Life and Logical Contributions of O. H. Mitchell, Peirce’s Gifted Student.”Transactions of the Charles S. Peirce Society 30 1994 Google Scholar 515
Duhem, PierreThe Aim and Structure of Physical TheoryWiener, Philip P.PrincetonPrinceton University Press 1954 Google Scholar
Ehrenfeucht, AndrzejMostowski, Andrzej“Models of Axiomatic Theories Admitting Automorphisms.”Fundamenta Mathematica 43 1956 CrossRef | Google Scholar 50
Feferman, Solomon“Degrees of Unsolvability Associated with Classes of Formalized Theories.”Journal of Symbolic Logic 22 1957 CrossRef | Google Scholar 161
Feferman, SolomonNew YorkOxford University Press 1998 Google Scholar
Ferreirós, JoséLabyrinth of Thought: A History of Set Theory and Its Role in Modern MathematicsBaselBirkhäuser 2007 Google Scholar
Field, Hartry“Tarski’s Theory of Truth.”Journal of Philosophy 64 1972 CrossRef | Google Scholar 347
Forster, T. E.Set Theory with a Universal Set: Exploring an Untyped UniverseOxfordClarendon Press 1995 Google Scholar
Frege, GottlobThe Foundations of Arithmetic: A Logico-mathematical Enquiry into the Concept of NumberAustin, J. L.OxfordBasil Blackwell 1959 Google Scholar
Frege, Gottlob Google Scholar
Frege, GottlobPhilosophical and Mathematical CorrespondenceGabriel, GottfriedKaal, HansOxfordBasil Blackwell 1980 Google Scholar
Frege, GottlobTranslations from the Philosophical Writings of Gottlob FregeGeach, PeterBlack, MaxOxfordBasil Blackwell 1960 Google Scholar
Friedberg, RichardAn Adventurer’s Guide to Number TheoryNew YorkDover 1994 Google Scholar
Friedberg, Richard“Three Theorems on Recursive Enumeration: I. Decomposition; II. Maximal Set; III. Enumeration without Duplication.”Journal of Symbolic Logic 23 1958 CrossRef | Google Scholar 309
Friedberg, Richard“Two Recursively Enumerable Sets of Incomparable Degrees of Unsolvability (Solution of Post’s Problem 1944).”Proceedings of the National Academy of Sciences 43 1957 CrossRef | Google Scholar 236
Geach, PeterMental Acts: Their Content and Their ObjectsLondonRoutledge & Kegan Paul 1957 Google Scholar
Gödel, KurtCollected WorksFeferman, SolomonNew York and OxfordOxford University Press and Clarendon Press 1986 Google Scholar
Gödel, Kurt“An Interpretation of the Intuitionist Propositional Calculus.”Collected Works 1 Google Scholar 301
Gödel, KurtThe Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set TheoryPrincetonPrinceton University Press 1940 Google Scholar
Gödel, Kurt“The Consistency of the Generalized Continuum Hypothesis” 1939 Collected Works 2 Google Scholar 27
Gödel, Kurt“Consistency Proof for the Generalized Continuum Hypothesis” 1939 Collected Works 2 Google Scholar 28
Gödel, Kurt“On the Completeness of the Calculus of Logic” 1929 Collected Works 1 Google Scholar 61
Gödel, Kurt 1931 Bauer-Mengelberg, Stefan Google Scholar596
Gödel, Kurt Google Scholar84
Gödel, Kurt“Russell’s Mathematical Logic” 1944 Collected Works 2 Google Scholar 119
Gödel, Kurt“What Is Cantor’s Continuum Problem?” 1947 Collected Works 2 Google Scholar 176
Goldblatt, RobertLectures on the Hyperreals: An Introduction to Nonstandard AnalysisNew YorkSpringer 1998 CrossRef | Google Scholar
Graham, Ronald L.Rothschild, Bruce L.Spenser, Joel H.Ramsey TheoryNew YorkWiley 1980 Google Scholar
Grice, H. P.“The Causal Theory of Perception.”Proceedings of the Aristotelian Society, Supplementary Volume 35 1961 CrossRef | Google Scholar 121
Gupta, Anil“Remarks on Definitions and the Concept of Truth.”Proceedings of the Aristotelian Society 89 1988 CrossRef | Google Scholar 227
Hájek, PetrPudlák, PavelMetamathematics of First-Order ArithmeticBerlinSpringer 1993 CrossRef | Google Scholar
Harman, Gilbert“Inference to the Best Explanation.”Philosophical Review 74 1965 CrossRef | Google Scholar 88
Harman, Gilbert“Logical Form.”Foundations of Language 9 1972 Google Scholar 38
Hart, W. D. Google Scholar
Hart, W. D.“Benacerraf’s Dilemma.”Crítica 23 1991 Google Scholar 87
Hart, W. D.The Engines of the SoulCambridgeCambridge University Press 1988 Google Scholar
Hart, W. D.“For Anil Gupta.”Proceedings of the Aristotelian Society 90 1989 CrossRef | Google Scholar 161
Hart, W. D.“Interpolación y relevancia.”Análisis filosófico 13 1993 Google Scholar 55
Hart, W. D.“Invincible Ignorance.”New Essays on the Knowability Paradox Google Scholar320
Hart, W. D.Future Pasts: The Analytic Tradition in Twentieth-Century PhilosophyFloyd, JulietShieh, SanfordOxfordOxford University Press 2001 Google Scholar
Hart, W. D.“On Non-Well-Founded Sets.”Crítica 24 1992 Google Scholar 3
Hart, W. D.The Philosophy of MathematicsOxfordOxford University Press 1996 Google Scholar
Hart, W. D.“Russell and Ramsey.”Pacific Philosophical Quarterly 64 1984 CrossRef | Google Scholar 193
Hart, W. D.“The Syntax of the World.”Crítica 28 1996 Google Scholar 13
Hart, W. D.“The Whole Sense of the Tractatus.”Journal of Philosophy 68 1971 CrossRef | Google Scholar 273
Henkin, Leon“The Completeness of the First-Order Functional Calculus.”Journal of Symbolic Logic 14 1949 CrossRef | Google Scholar 159
Herzberger, Hans G.“New Paradoxes for Old.”Proceedings of the Aristotelian Society 81 1980 CrossRef | Google Scholar 109
Hewitt, Edwin“The Rôle of Compactness in Classical Analysis.”American Mathematical Monthly 67 1960 Google Scholar 499
Hilbert, DavidThe Foundations of GeometryTownsend, E. J.ChicagoOpen Court 1902 Google Scholar
Hilbert, DavidAckermann, WilhelmGrundzüge der theoretischen LogikBerlinSpringer 1928 Google Scholar
Hinman, Peter G.Fundamentals of Mathematical LogicWellesley, Mass.A. K. Peters 2005 Google Scholar
Hodges, WilfridA Shorter Model TheoryCambridgeCambridge University Press 1997 Google Scholar
Hodges, WilfridLogicHarmondsworthPenguin 1977 Google Scholar
Holmes, M. RandallElementary Set Theory with a Universal SetLouvain-la-Neuve, Belgium Google ScholarAcademia
Hume, DavidA Treatise of Human NatureSelby-Bigge, L. A.Nidditch, P. H.OxfordClarendon Press 1978 Google Scholar
Hume, DavidDialogues Concerning Natural ReligionAiken, Henry D.New YorkHafner 1948 Google Scholar
Isaacson, Daniel“Arithmetical Truth and Hidden Higher-Order Concepts.”Philosophy of Mathematics Google Scholar203
Jech, ThomasSet TheoryBerlinSpringer 2003 Google Scholar
Jeffrey, Richard C.The Logic of DecisionChicagoUniversity of Chicago Press 1983 Google Scholar
Jonsson, Bjarni“Homogeneous Universal Relational Systems.”Mathematica Scandinavica 8 1960 CrossRef | Google Scholar 178
Jonsson, Bjarni“Universal Relational Systems.”Mathematica Scandinavica 4 1956 CrossRef | Google Scholar 193
Kanamori, Akihiro“Cohen and Set Theory.”Bulletin of Symbolic Logic 14 2008 CrossRef | Google Scholar 351
Kant, ImmanuelCritique of Pure ReasonSmith, Norman KempLondonMacmillan 1963 Google Scholar
Kant, ImmanuelProlegomenon to Any Future Metaphysics That Will Be Able to Come Forward as ScienceEllington, James W.IndianapolisHackett 1977 Google Scholar
Kleene, Stephen ColeIntroduction to MetamathematicsPrincetonD. Van Nostrand 1952 Google Scholar
Kleene, Stephen Cole Google Scholar
Kneale, WilliamKneale, MarthaThe Development of LogicOxfordClarendon Press 1962 Google Scholar
Kreisel, GeorgSacks, Gerald E.“Metarecursive Sets.”Journal of Symbolic Logic 30 1965 CrossRef | Google Scholar 318
Kripke, Saul A.Naming and NecessityCambridge, Mass.Harvard University Press 1980 Google Scholar
Kripke, Saul A. Google Scholar53
Kučera, A.Twelfth Symposium Held in Bratislava, Czechoslovakia, August 25–29, 1968Gruska, J.HeidelbergSpringer 1986 Google Scholar
Lawvere, F. WilliamProceedings of the Conference on Categorical Algebra, La JollaEilenberg, S.New YorkSpringer 1966 Google Scholar
Lipton, PeterInference to the Best ExplanationLondonRoutledge 1991 Google Scholar
Łoś, Jerzy“On the Categoricity in Power of Elementary Deductive Systems and Some Related Problems.”Colloquium Mathematicum 3 1954 CrossRef | Google Scholar 58
Löwenheim, Leopold 1915 Stefan, Bauer-Mengelberg Google Scholar
Lyndon, Roger C.Notes on LogicPrincetonVan Nostrand 1966 Google Scholar
Marker, DavidModel Theory: An IntroductionNew YorkSpringer 2002 Google Scholar
Martin, D. A.“Completeness, the Recursion Theorem, and Effectively Simple Sets.”Proceedings of the American Mathematical Society 17 1966 CrossRef | Google Scholar 838
Martin, D. A.Set Theory and Its LogicQuine, W. V.Journal of Philosophy 67 1970 CrossRef | Google Scholar 111
Martin, Robert L.Recent Essays on Truth and the Liar ParadoxOxfordClarendon Press 1984 Google Scholar
Mates, BensonElementary LogicNew YorkOxford University Press 1972 Google Scholar
Mendelson, ElliottIntroduction to Mathematical LogicNew YorkChapman & Hall 1997 Google Scholar
Monk, J. DonaldIntroduction to Set TheoryNew YorkMcGraw-Hill 1969 Google Scholar
Montague, RichardVaught, R. K.“Natural Models of Set Theory.”Fundamenta Mathematica 47 1959 CrossRef | Google Scholar 219
Moore, Gregory H.History and Philosophy of Modern MathematicsAspray, WilliamKitcher, Philip95MinneapolisUniversity of Minnesota Press 1988 Google Scholar
Moretti, AlbertoHurtado, GuillermoLa Paradoja de OrayenBuenos AiresEudeba 2003 Google Scholar
Morley, Michael“Categoricity in Power.”Transactions of the American Mathematical Society 114 1965 CrossRef | Google Scholar 514
Morley, MichaelVaught, Robert“Homogeneous Universal Models.”Mathematica Scandinavica 11 1962 CrossRef | Google Scholar 37
Muchnik, A. A.“On the Unsolvability of the Problem of Reducibility in the Theory of Algorithms.”Doklady Akademii Nauk SSSR 108 1956 Google Scholar 194
Myhill, John“The Lattice of Recursively Enumerable Sets.”Journal of Symbolic Logic 21 1956 CrossRef | Google Scholar 215
Myhill, JohnBertrand Russell’s PhilosophyNakhnikian, GeorgeNew YorkBarnes & Noble 1974 Google Scholar
Orayen, Raúl Google Scholar35
Pap, Arthur“Are All Necessary Propositions Analytic?”Philosophy Review 50 1949 Google Scholar 299
Pap, ArthurElements of Analytic PhilosophyNew YorkMacmillan 1949 Google Scholar
Pap, Arthur“Logical Nonsense.”Philosophy and Phenomenological Research 9 1948 CrossRef | Google Scholar 262
Pap, Arthur“Once More: Colors and the Synthetic A Priori.”Philosophical Review 66 1957 CrossRef | Google Scholar 94
Parsons, Charles Google Scholar9
Peckhaus, VolkerOne Hundred Years of Russell’s Paradox: Mathematics, Logic, PhilosophyLink, GodehardBerlinWalter de Gruyter 2004 Google Scholar
Poizat, BrunoA Course in Model Theory: An Introduction to Contemporary Mathematical LogicKlein, MosesNew YorkSpringer 2000 CrossRef | Google Scholar
Post, Emil Google Scholar304
Priest, GrahamIn Contradiction: A Study of the TransconsistentOxfordClarendon Press 2006 CrossRef | Google Scholar
Putnam, HilaryPhilosophy of LogicNew YorkHarper & Row 1971 Google Scholar
Putnam, Hilary“Red and Green All Over Again: A Rejoinder to Arthur Pap.”Philosophical Review 66 1957 CrossRef | Google Scholar 100
Putnam, Hilary“Reds, Greens, and Logical Analysis.”Philosophical Review 65 1956 CrossRef | Google Scholar 206
Quine, W. V.Theories and ThingsCambridge, Mass.Belknap Press of Harvard University Press 1981 Google Scholar
Quine, W. V.From a Logical Point of ViewCambridge, Mass.Harvard University Press 1961 Google Scholar
Quine, W. V.“The Inception of ‘New Foundations.’ ”Cambridge, Mass.Harvard University Press 1995 Google Scholar
Quine, W. V. Google Scholar102
Quine, W. V.Mathematical LogicNew YorkHarper Torchbooks 1962 Google Scholar
Quine, W. V.Methods of LogicNew YorkHenry Holt 1959 Google Scholar
Quine, W. V.The Ways of Paradox and Other EssaysCambridge, Mass.Harvard University Press 1976 Google Scholar
Quine, W. V. Google Scholar80
Quine, W. V. Google Scholar130
Quine, W. V. Google Scholar1
Quine, W. V. Google Scholar258
Quine, W. V.Philosophy of LogicEnglewood Cliffs, N.J.Prentice-Hall 1970 Google Scholar
Quine, W. V.Reply to Donald A. Martin’s review of Set Theory and Its Logic, revised editionJournal of Philosophy 67 1970 CrossRef | Google Scholar 247
Quine, W. V. Google Scholar177
Quine, W. V.Set Theory and Its LogicCambridge, Mass.Belknap Press of Harvard University Press 1963 Google Scholar
Quine, W. V. Google Scholar20
Quine, W. V.Word and ObjectCambridge, Mass.Technology Press of the Massachusetts Institute of Technology 1960 Google Scholar
Ramsey, F. P.The Foundations of Mathematics and Other Logical EssaysBraithwaite, R. B.Paterson, N.J.Littlefield, Adams 1960 Google Scholar
Ramsey, F. P. Google Scholar82
Robinson, Abraham“Non-Standard Analysis.”Koninklijke Nederlandse Akademie van Wetenschappen 64 1961 Google Scholar 432
Rogers, HartleyTheory of Recursive Functions and Effective ComputabilityNew YorkMcGraw-Hill 1967 Google Scholar
Rosser, J. BarkleyLogic for MathematiciansNew YorkMcGraw-Hill 1953 Google Scholar
Rosser, J. BarkleyGroningen and AmsterdamErven P. Noordhoff N.V. and North-Holland 1956 Google Scholar
Rosser, J. BarkleyWang, Hao“Non-standard Models for Formal Logic.”Journal of Symbolic Logic 15 1950 CrossRef | Google Scholar 113
Russell, BertrandIntroduction to Mathematical PhilosophyLondonGeorge Allen & Unwin 1919 Google Scholar
Russell, BertrandLondonGeorge Allen & Unwin 1956 Google Scholar
Russell, BertrandLackey, DouglasNew YorkGeorge Braziller 1973 Google Scholar
Russell, BertrandOur Knowledge of the External WorldLondonGeorge Allen & Unwin 1914 Google Scholar
Russell, BertrandThe Philosophy of LeibnizLondonRoutledge 1992 Google Scholar
Russell, Bertrand Google Scholar
Russell, BertrandThe Principles of MathematicsLondonGeorge Allen & Unwin 1937 Google Scholar
Ryll-Nardzewski, C.“The Role of the Axiom of Induction in Elementary Arithmetic.”Fundamental Mathematics 39 1952 CrossRef | Google Scholar 239
Salerno, JosephNew Essays on the Knowability ParadoxOxfordOxford University Press 2008 Google Scholar
Scott, Dana S.Axiomatic Set Theory: Proceedings of Symposia in Pure MathematicsScott, Dana S.ProvidenceAmerican Mathematical Society 1974 CrossRef | Google Scholar
Shelah, SaharonClassification Theory and the Number of Non-isomorphic ModelsAmsterdamNorth-Holland 1978 Google Scholar
Shepherdson, J. C.“Inner Models for Set Theory.”Journal of Symbolic Logic 16 1951 CrossRef | Google Scholar 161
Shoenfield, Joseph R.“A Relative Consistency Proof.”Journal of Symbolic Logic 18 1954 CrossRef | Google Scholar 21
Shoenfield, Joseph R.Degrees of UnsolvabilityAmsterdamNorth-Holland 1971 Google Scholar
Shoenfield, Joseph R.Gandy, R. O.Yates, C. E. M.AmsterdamNorth-Holland 1971 Google Scholar
Shoenfield, Joseph R.Mathematical LogicReading, Mass.Addison-Wesley 1967 Google Scholar
Simmons, George F.Introduction to Topology and Modern AnalysisNew YorkMcGraw-Hill 1963 Google Scholar
Skolem, Thoralf 1920 Bauer-Mengelberg, StefanHeijenoort, In van Google Scholar
Skolem, Thoralf Google Scholar290
Soare, Robert I.Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated SetsBerlinSpringer 1987 CrossRef | Google Scholar
Stevenson, Charles L.Logic and Art: Essays in Honor of Nelson GoodmanRudner, RichardScheffler, IsraelNew YorkBobbs-Merrill 1972 Google Scholar
Suppes, PatrickAxiomatic Set TheoryPrincetonVan Nostrand 1960 Google Scholar
Tarski, AlfredLogic, Semantics, Metamathematics: Papers from 1923 to 1938Woodger, J. H.OxfordClarendon Press 1956 Google Scholar
Tarski, Alfred Google Scholar152
Tarski, AlfredSemantics and the Philosophy of Language: A Collection of ReadingsLinsky, LeonardUrbanaUniversity of Illinois Press 1952 Google Scholar
Tarski, AlfredUndecidable TheoriesAmsterdamNorth-Holland 1953 Google Scholar
Turing, Alan M. Google Scholar116
Ullian, JosephThe Philosophy of W. V. QuineHahn, Lewis EdwinSchilpp, Paul ArthurLa Salle, Ill.Open Court 1986 Google Scholar
van Heijenoort, JeanFrom Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931Cambridge, Mass.Harvard University Press 1967 Google Scholar
Vaught, Robert L.A Löwenheim–Skolem Theorem for Cardinals Far ApartAmsterdamNorth-Holland 1977 Google Scholar
Veblen, Oswald“A System of Axioms for Geometry.”Transactions of the American Mathematical Society 5 1904 CrossRef | Google Scholar 343
von Neumann, John“Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre.”Journal für reine und angewandte Mathematik 160 1929 Google Scholar 373
von Neumann, JohnMorgenstern, OskarTheory of Games and Economic BehaviorPrincetonPrinceton University Press 1947 Google Scholar
Wang, Hao“A Formal System of Logic.”Journal of Symbolic Logic 15 1950 CrossRef | Google Scholar 25
Whitehead, Alfred NorthRussell, BertrandPrincipia MathematicaCambridgeCambridge University Press 1925 Google Scholar
Wittgenstein, LudwigTractatus Logico-PhilosophicusPears, D. F.McGuinness, B. F.LondonRoutledge & Kegan Paul 1961 Google Scholar
Yandell, Benjamin H.The Honors Class: Hilbert’s Problems and Their SolversNatick, Mass.A. K. Peters 2002 Google Scholar
Yates, C. E. M.“Three Theorems on the Degree of Recursively Enumerable Sets.”Duke Mathematical Journal 32 1965 CrossRef | Google Scholar 461
Zermelo, Ernst 1908 Bauer-Mengelberg, Stefan Google Scholar

Metrics

Usage data cannot currently be displayed.