Bibliography

W. D. Hart

doi:10.1017/CBO9780511779589.012

Aczel, PeterNon-Well-Founded SetsStanfordCenter for the Study of Language and Information 1988Google Scholar

Alchourrón, Carlos E“On the Philosophical Adequacy of Set Theories.”Theoria 1986 567Google Scholar

Baldwin, J. T.Lachlan, A. H.“On Strongly Minimal Sets.”Journal of Symbolic Logic 36 1971 71CrossRef Google Scholar

Barwise, JonAdmissible Sets and Structures: An Approach to Definability TheoryBerlinSpringer 1975CrossRef Google Scholar

Barwise, JonEtchemendy, JohnThe Liar: An Essay on Truth and CircularityNew YorkOxford University Press 1987Google Scholar

Bell, J. L.Machover, M.A Course in Mathematical LogicAmsterdamNorth-Holland 1977Google Scholar

Bell, J. L.Slomson, A. B.Models and Ultraproducts: An IntroductionAmsterdamNorth-Holland 1969Google Scholar

Benacerraf, PaulPhilosophy of Mathematics: Selected ReadingsBenacerraf, PaulPutnam, HilaryCambridgeCambridge University Press 1983Google Scholar

Benacerraf, Paul“What Numbers Could Not Be.”Philosophy of Mathematics272

Beth, Evert W.The Foundations of Mathematics: A Study in the Philosophy of ScienceNew YorkHarper Torchbooks 1964Google Scholar

Birkhoff, George DavidBeatley, RalphBasic GeometryNew YorkChelsea 1959Google Scholar

Boolos, GeorgeLogic, Logic, and LogicJeffrey, RichardCambridge, Mass.Harvard University Press 1998Google Scholar

Boolos, George

Boolos, GeorgeThe Unprovability of Consistency: An Essay in Modal LogicCambridgeCambridge University Press 1979Google Scholar

Brady, GeraldineFrom Peirce to Skolem: A Neglected Chapter in the History of LogicAmsterdam and New YorkNorth-Holland/Elsevier 2000Google Scholar

Burge, TylerTruth, Thought, Reason: Essays on FregeOxfordClarendon Press 2005CrossRef Google Scholar

Burge, Tyler“Frege on Sense and Linguistic Meaning.”Truth, Thought, Reason242

Burge, Tyler

Burge, Tyler“Semantical Paradox.”Recent Essays83

Cantor, GeorgContributions to the Founding of the Theory of Transfinite NumbersJourdain, Philip E. B.New YorkDover 1952Google Scholar

Cantor, GeorgGesammelte Abhandlungen mathematischen und philosophischen InhaltsZermelo, ErnstHildesheimGeorg Olms 1962Google Scholar

Carnap, RudolfThe Philosophy of Rudolf CarnapSchilpp, Paul ArthurLa Salle, Ill.Open Court 1963Google Scholar

Carnap, RudolfDer logische Aufbau der WeltBerlin-SchlachtenseeWeltkreis-verlag 1928 George, Rolf A.Google Scholar

Chang, C. C.Jerome Keisler, H.Model TheoryAmsterdamNorth-Holland 1973Google Scholar

Chellas, Brian F.Modal Logic: An IntroductionCambridgeCambridge University Press 1980CrossRef Google Scholar

Chong, C.-T.Techniques of Admissible Recursion TheoryBerlinSpringer 1984CrossRef Google Scholar

Church, Alonzo108

Church, Alonzo89

Church, AlonzoIntroduction to Mathematical LogicPrincetonPrinceton University Press 1956Google Scholar

Cohen, Paul J.Set Theory and the Continuum HypothesisNew YorkW. A. Benjamin 1966Google Scholar

Davis, MartinComputability and UnsolvabilityNew YorkMcGraw-Hill 1958Google Scholar

Davis, MartinThe Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable FunctionsHewlett, N.Y.Raven Press 1965Google Scholar

Dedekind, RichardEssays on the Theory of NumbersNew YorkDover 1963Google Scholar

Dehornoy, Patrick“Recent Progress on the Continuum Hypothesis (after Woodin).”www.math.unicaen.fr/~dehornoy/Surveys/DgtUS.pdf

De Morgan, AugustusOn the Syllogism, and Other Logical WritingsHeath, PeterLondonRoutledge & Kegan Paul 1966Google 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 515Google Scholar

Duhem, PierreThe Aim and Structure of Physical TheoryWiener, Philip P.PrincetonPrinceton University Press 1954Google Scholar

Ehrenfeucht, AndrzejMostowski, Andrzej“Models of Axiomatic Theories Admitting Automorphisms.”Fundamenta Mathematica 43 1956 50CrossRef Google Scholar

Feferman, Solomon“Degrees of Unsolvability Associated with Classes of Formalized Theories.”Journal of Symbolic Logic 22 1957 161CrossRef Google Scholar

Feferman, SolomonNew YorkOxford University Press 1998

Ferreirós, JoséLabyrinth of Thought: A History of Set Theory and Its Role in Modern MathematicsBaselBirkhäuser 2007Google Scholar

Field, Hartry“Tarski’s Theory of Truth.”Journal of Philosophy 64 1972 347CrossRef Google Scholar

Forster, T. E.Set Theory with a Universal Set: Exploring an Untyped UniverseOxfordClarendon Press 1995Google Scholar

Frege, GottlobThe Foundations of Arithmetic: A Logico-mathematical Enquiry into the Concept of NumberAustin, J. L.OxfordBasil Blackwell 1959Google Scholar

Frege, Gottlob

Frege, GottlobPhilosophical and Mathematical CorrespondenceGabriel, GottfriedKaal, HansOxfordBasil Blackwell 1980Google Scholar

Frege, GottlobTranslations from the Philosophical Writings of Gottlob FregeGeach, PeterBlack, MaxOxfordBasil Blackwell 1960Google Scholar

Friedberg, RichardAn Adventurer’s Guide to Number TheoryNew YorkDover 1994Google Scholar

Friedberg, Richard“Three Theorems on Recursive Enumeration: I. Decomposition; II. Maximal Set; III. Enumeration without Duplication.”Journal of Symbolic Logic 23 1958 309CrossRef Google Scholar

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 236CrossRef Google Scholar

Geach, PeterMental Acts: Their Content and Their ObjectsLondonRoutledge & Kegan Paul 1957Google Scholar

Gödel, KurtCollected WorksFeferman, SolomonNew York and OxfordOxford University Press and Clarendon Press 1986Google Scholar

Gödel, Kurt“An Interpretation of the Intuitionist Propositional Calculus.”Collected Works 1 301

Gödel, KurtThe Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set TheoryPrincetonPrinceton University Press 1940Google Scholar

Gödel, Kurt“The Consistency of the Generalized Continuum Hypothesis” 1939 Collected Works 2 27Google Scholar

Gödel, Kurt“Consistency Proof for the Generalized Continuum Hypothesis” 1939 Collected Works 2 28Google Scholar

Gödel, Kurt“On the Completeness of the Calculus of Logic” 1929 Collected Works 1 61Google Scholar

Gödel, Kurt 1931 Bauer-Mengelberg, Stefan596

Gödel, Kurt84

Gödel, Kurt“Russell’s Mathematical Logic” 1944 Collected Works 2 119Google Scholar

Gödel, Kurt“What Is Cantor’s Continuum Problem?” 1947 Collected Works 2 176Google Scholar

Goldblatt, RobertLectures on the Hyperreals: An Introduction to Nonstandard AnalysisNew YorkSpringer 1998CrossRef Google Scholar

Graham, Ronald L.Rothschild, Bruce L.Spenser, Joel H.Ramsey TheoryNew YorkWiley 1980Google Scholar

Grice, H. P.“The Causal Theory of Perception.”Proceedings of the Aristotelian Society, Supplementary Volume 35 1961 121CrossRef Google Scholar

Gupta, Anil“Remarks on Definitions and the Concept of Truth.”Proceedings of the Aristotelian Society 89 1988 227CrossRef Google Scholar

Hájek, PetrPudlák, PavelMetamathematics of First-Order ArithmeticBerlinSpringer 1993CrossRef Google Scholar

Harman, Gilbert“Inference to the Best Explanation.”Philosophical Review 74 1965 88CrossRef Google Scholar

Harman, Gilbert“Logical Form.”Foundations of Language 9 1972 38Google Scholar

Hart, W. D.

Hart, W. D.“Benacerraf’s Dilemma.”Crítica 23 1991 87Google Scholar

Hart, W. D.The Engines of the SoulCambridgeCambridge University Press 1988Google Scholar

Hart, W. D.“For Anil Gupta.”Proceedings of the Aristotelian Society 90 1989 161CrossRef Google Scholar

Hart, W. D.“Interpolación y relevancia.”Análisis filosófico 13 1993 55Google Scholar

Hart, W. D.“Invincible Ignorance.”New Essays on the Knowability Paradox320

Hart, W. D.Future Pasts: The Analytic Tradition in Twentieth-Century PhilosophyFloyd, JulietShieh, SanfordOxfordOxford University Press 2001Google Scholar

Hart, W. D.“On Non-Well-Founded Sets.”Crítica 24 1992 3Google Scholar

Hart, W. D.The Philosophy of MathematicsOxfordOxford University Press 1996Google Scholar

Hart, W. D.“Russell and Ramsey.”Pacific Philosophical Quarterly 64 1984 193CrossRef Google Scholar

Hart, W. D.“The Syntax of the World.”Crítica 28 1996 13Google Scholar

Hart, W. D.“The Whole Sense of the Tractatus.”Journal of Philosophy 68 1971 273CrossRef Google Scholar

Henkin, Leon“The Completeness of the First-Order Functional Calculus.”Journal of Symbolic Logic 14 1949 159CrossRef Google Scholar

Herzberger, Hans G.“New Paradoxes for Old.”Proceedings of the Aristotelian Society 81 1980 109CrossRef Google Scholar

Hewitt, Edwin“The Rôle of Compactness in Classical Analysis.”American Mathematical Monthly 67 1960 499Google Scholar

Hilbert, DavidThe Foundations of GeometryTownsend, E. J.ChicagoOpen Court 1902Google Scholar

Hilbert, DavidAckermann, WilhelmGrundzüge der theoretischen LogikBerlinSpringer 1928Google Scholar

Hinman, Peter G.Fundamentals of Mathematical LogicWellesley, Mass.A. K. Peters 2005Google Scholar

Hodges, WilfridA Shorter Model TheoryCambridgeCambridge University Press 1997Google Scholar

Hodges, WilfridLogicHarmondsworthPenguin 1977Google Scholar

Holmes, M. RandallElementary Set Theory with a Universal SetLouvain-la-Neuve, BelgiumAcademia

Hume, DavidA Treatise of Human NatureSelby-Bigge, L. A.Nidditch, P. H.OxfordClarendon Press 1978Google Scholar

Hume, DavidDialogues Concerning Natural ReligionAiken, Henry D.New YorkHafner 1948Google Scholar

Isaacson, Daniel“Arithmetical Truth and Hidden Higher-Order Concepts.”Philosophy of Mathematics203

Jech, ThomasSet TheoryBerlinSpringer 2003Google Scholar

Jeffrey, Richard C.The Logic of DecisionChicagoUniversity of Chicago Press 1983Google Scholar

Jonsson, Bjarni“Homogeneous Universal Relational Systems.”Mathematica Scandinavica 8 1960 178CrossRef Google Scholar

Jonsson, Bjarni“Universal Relational Systems.”Mathematica Scandinavica 4 1956 193CrossRef Google Scholar

Kanamori, Akihiro“Cohen and Set Theory.”Bulletin of Symbolic Logic 14 2008 351CrossRef Google Scholar

Kant, ImmanuelCritique of Pure ReasonSmith, Norman KempLondonMacmillan 1963Google Scholar

Kant, ImmanuelProlegomenon to Any Future Metaphysics That Will Be Able to Come Forward as ScienceEllington, James W.IndianapolisHackett 1977Google Scholar

Kleene, Stephen ColeIntroduction to MetamathematicsPrincetonD. Van Nostrand 1952Google Scholar

Kleene, Stephen Cole

Kneale, WilliamKneale, MarthaThe Development of LogicOxfordClarendon Press 1962Google Scholar

Kreisel, GeorgSacks, Gerald E.“Metarecursive Sets.”Journal of Symbolic Logic 30 1965 318CrossRef Google Scholar

Kripke, Saul A.Naming and NecessityCambridge, Mass.Harvard University Press 1980Google Scholar

Kripke, Saul A.53

Kučera, A.Twelfth Symposium Held in Bratislava, Czechoslovakia, August 25–29, 1968Gruska, J.HeidelbergSpringer 1986Google Scholar

Lawvere, F. WilliamProceedings of the Conference on Categorical Algebra, La JollaEilenberg, S.New YorkSpringer 1966Google Scholar

Lipton, PeterInference to the Best ExplanationLondonRoutledge 1991Google Scholar

Łoś, Jerzy“On the Categoricity in Power of Elementary Deductive Systems and Some Related Problems.”Colloquium Mathematicum 3 1954 58CrossRef Google Scholar

Löwenheim, Leopold 1915 Stefan, Bauer-Mengelberg

Lyndon, Roger C.Notes on LogicPrincetonVan Nostrand 1966Google Scholar

Marker, DavidModel Theory: An IntroductionNew YorkSpringer 2002Google Scholar

Martin, D. A.“Completeness, the Recursion Theorem, and Effectively Simple Sets.”Proceedings of the American Mathematical Society 17 1966 838CrossRef Google Scholar

Martin, D. A.Set Theory and Its LogicQuine, W. V.Journal of Philosophy 67 1970 111CrossRef Google Scholar

Martin, Robert L.Recent Essays on Truth and the Liar ParadoxOxfordClarendon Press 1984

Mates, BensonElementary LogicNew YorkOxford University Press 1972Google Scholar

Mendelson, ElliottIntroduction to Mathematical LogicNew YorkChapman & Hall 1997Google Scholar

Monk, J. DonaldIntroduction to Set TheoryNew YorkMcGraw-Hill 1969Google Scholar

Montague, RichardVaught, R. K.“Natural Models of Set Theory.”Fundamenta Mathematica 47 1959 219CrossRef Google Scholar

Moore, Gregory H.History and Philosophy of Modern MathematicsAspray, WilliamKitcher, Philip95MinneapolisUniversity of Minnesota Press 1988Google Scholar

Moretti, AlbertoHurtado, GuillermoLa Paradoja de OrayenBuenos AiresEudeba 2003

Morley, Michael“Categoricity in Power.”Transactions of the American Mathematical Society 114 1965 514CrossRef Google Scholar

Morley, MichaelVaught, Robert“Homogeneous Universal Models.”Mathematica Scandinavica 11 1962 37CrossRef Google Scholar

Muchnik, A. A.“On the Unsolvability of the Problem of Reducibility in the Theory of Algorithms.”Doklady Akademii Nauk SSSR 108 1956 194Google Scholar

Myhill, John“The Lattice of Recursively Enumerable Sets.”Journal of Symbolic Logic 21 1956 215CrossRef Google Scholar

Myhill, JohnBertrand Russell’s PhilosophyNakhnikian, GeorgeNew YorkBarnes & Noble 1974Google Scholar

Orayen, Raúl35

Pap, Arthur“Are All Necessary Propositions Analytic?”Philosophy Review 50 1949 299Google Scholar

Pap, ArthurElements of Analytic PhilosophyNew YorkMacmillan 1949Google Scholar

Pap, Arthur“Logical Nonsense.”Philosophy and Phenomenological Research 9 1948 262CrossRef Google Scholar

Pap, Arthur“Once More: Colors and the Synthetic A Priori.”Philosophical Review 66 1957 94CrossRef Google Scholar

Parsons, Charles9

Peckhaus, VolkerOne Hundred Years of Russell’s Paradox: Mathematics, Logic, PhilosophyLink, GodehardBerlinWalter de Gruyter 2004Google Scholar

Poizat, BrunoA Course in Model Theory: An Introduction to Contemporary Mathematical LogicKlein, MosesNew YorkSpringer 2000CrossRef Google Scholar

Post, Emil304

Priest, GrahamIn Contradiction: A Study of the TransconsistentOxfordClarendon Press 2006CrossRef Google Scholar

Putnam, HilaryPhilosophy of LogicNew YorkHarper & Row 1971Google Scholar

Putnam, Hilary“Red and Green All Over Again: A Rejoinder to Arthur Pap.”Philosophical Review 66 1957 100CrossRef Google Scholar

Putnam, Hilary“Reds, Greens, and Logical Analysis.”Philosophical Review 65 1956 206CrossRef Google Scholar

Quine, W. V.Theories and ThingsCambridge, Mass.Belknap Press of Harvard University Press 1981Google Scholar

Quine, W. V.From a Logical Point of ViewCambridge, Mass.Harvard University Press 1961Google Scholar

Quine, W. V.“The Inception of ‘New Foundations.’ ”Cambridge, Mass.Harvard University Press 1995Google Scholar

Quine, W. V.102

Quine, W. V.Mathematical LogicNew YorkHarper Torchbooks 1962Google Scholar

Quine, W. V.Methods of LogicNew YorkHenry Holt 1959Google Scholar

Quine, W. V.The Ways of Paradox and Other EssaysCambridge, Mass.Harvard University Press 1976Google Scholar

Quine, W. V.80

Quine, W. V.130

Quine, W. V.1

Quine, W. V.258

Quine, W. V.Philosophy of LogicEnglewood Cliffs, N.J.Prentice-Hall 1970Google Scholar

Quine, W. V.Reply to Donald A. Martin’s review of Set Theory and Its Logic, revised editionJournal of Philosophy 67 1970 247CrossRef Google Scholar

Quine, W. V.177

Quine, W. V.Set Theory and Its LogicCambridge, Mass.Belknap Press of Harvard University Press 1963Google Scholar

Quine, W. V.20

Quine, W. V.Word and ObjectCambridge, Mass.Technology Press of the Massachusetts Institute of Technology 1960Google Scholar

Ramsey, F. P.The Foundations of Mathematics and Other Logical EssaysBraithwaite, R. B.Paterson, N.J.Littlefield, Adams 1960Google Scholar

Ramsey, F. P.82

Robinson, Abraham“Non-Standard Analysis.”Koninklijke Nederlandse Akademie van Wetenschappen 64 1961 432Google Scholar

Rogers, HartleyTheory of Recursive Functions and Effective ComputabilityNew YorkMcGraw-Hill 1967Google Scholar

Rosser, J. BarkleyLogic for MathematiciansNew YorkMcGraw-Hill 1953Google Scholar

Rosser, J. BarkleyGroningen and AmsterdamErven P. Noordhoff N.V. and North-Holland 1956

Rosser, J. BarkleyWang, Hao“Non-standard Models for Formal Logic.”Journal of Symbolic Logic 15 1950 113CrossRef Google Scholar

Russell, BertrandIntroduction to Mathematical PhilosophyLondonGeorge Allen & Unwin 1919Google Scholar

Russell, BertrandLondonGeorge Allen & Unwin 1956

Russell, BertrandLackey, DouglasNew YorkGeorge Braziller 1973

Russell, BertrandOur Knowledge of the External WorldLondonGeorge Allen & Unwin 1914Google Scholar

Russell, BertrandThe Philosophy of LeibnizLondonRoutledge 1992Google Scholar

Russell, Bertrand

Russell, BertrandThe Principles of MathematicsLondonGeorge Allen & Unwin 1937Google Scholar

Ryll-Nardzewski, C.“The Role of the Axiom of Induction in Elementary Arithmetic.”Fundamental Mathematics 39 1952 239CrossRef Google Scholar

Salerno, JosephNew Essays on the Knowability ParadoxOxfordOxford University Press 2008

Scott, Dana S.Axiomatic Set Theory: Proceedings of Symposia in Pure MathematicsScott, Dana S.ProvidenceAmerican Mathematical Society 1974CrossRef Google Scholar

Shelah, SaharonClassification Theory and the Number of Non-isomorphic ModelsAmsterdamNorth-Holland 1978Google Scholar

Shepherdson, J. C.“Inner Models for Set Theory.”Journal of Symbolic Logic 16 1951 161CrossRef Google Scholar

Shoenfield, Joseph R.“A Relative Consistency Proof.”Journal of Symbolic Logic 18 1954 21CrossRef Google Scholar

Shoenfield, Joseph R.Degrees of UnsolvabilityAmsterdamNorth-Holland 1971Google Scholar

Shoenfield, Joseph R.Gandy, R. O.Yates, C. E. M.AmsterdamNorth-Holland 1971

Shoenfield, Joseph R.Mathematical LogicReading, Mass.Addison-Wesley 1967Google Scholar

Simmons, George F.Introduction to Topology and Modern AnalysisNew YorkMcGraw-Hill 1963Google Scholar

Skolem, Thoralf 1920 Bauer-Mengelberg, StefanHeijenoort, In van

Skolem, Thoralf290

Soare, Robert I.Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated SetsBerlinSpringer 1987CrossRef Google Scholar

Stevenson, Charles L.Logic and Art: Essays in Honor of Nelson GoodmanRudner, RichardScheffler, IsraelNew YorkBobbs-Merrill 1972Google Scholar

Suppes, PatrickAxiomatic Set TheoryPrincetonVan Nostrand 1960Google Scholar

Tarski, AlfredLogic, Semantics, Metamathematics: Papers from 1923 to 1938Woodger, J. H.OxfordClarendon Press 1956Google Scholar

Tarski, Alfred152

Tarski, AlfredSemantics and the Philosophy of Language: A Collection of ReadingsLinsky, LeonardUrbanaUniversity of Illinois Press 1952Google Scholar

Tarski, AlfredUndecidable TheoriesAmsterdamNorth-Holland 1953Google Scholar

Turing, Alan M.116

Ullian, JosephThe Philosophy of W. V. QuineHahn, Lewis EdwinSchilpp, Paul ArthurLa Salle, Ill.Open Court 1986Google Scholar

van Heijenoort, JeanFrom Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931Cambridge, Mass.Harvard University Press 1967

Vaught, Robert L.A Löwenheim–Skolem Theorem for Cardinals Far ApartAmsterdamNorth-Holland 1977Google Scholar

Veblen, Oswald“A System of Axioms for Geometry.”Transactions of the American Mathematical Society 5 1904 343CrossRef Google Scholar

von Neumann, John“Über eine Widerspruchsfreiheitsfrage in der axiomatischen Mengenlehre.”Journal für reine und angewandte Mathematik 160 1929 373Google Scholar

von Neumann, JohnMorgenstern, OskarTheory of Games and Economic BehaviorPrincetonPrinceton University Press 1947Google Scholar

Wang, Hao“A Formal System of Logic.”Journal of Symbolic Logic 15 1950 25CrossRef Google Scholar

Whitehead, Alfred NorthRussell, BertrandPrincipia MathematicaCambridgeCambridge University Press 1925Google Scholar

Wittgenstein, LudwigTractatus Logico-PhilosophicusPears, D. F.McGuinness, B. F.LondonRoutledge & Kegan Paul 1961Google Scholar

Yandell, Benjamin H.The Honors Class: Hilbert’s Problems and Their SolversNatick, Mass.A. K. Peters 2002Google Scholar

Yates, C. E. M.“Three Theorems on the Degree of Recursively Enumerable Sets.”Duke Mathematical Journal 32 1965 461CrossRef Google Scholar

Zermelo, Ernst 1908 Bauer-Mengelberg, Stefan

Book contents

Bibliography

Summary

Access options

References

Book contents

Bibliography

Summary

Access options

References

Save book to Kindle

Save book to Dropbox

Save book to Google Drive