1  20
Next
Number of results to display per page
1. Philosophy and model theory [2018]
 Button, Tim, author.
 First edition.  Oxford : Oxford University Press, 2018.
 Description
 Book — xvi, 517 pages : illustrations ; 24 cm
 Summary

 A: Reference and realism
 1: Logics and languages
 2: Permutations and referential indeterminacy
 3: Ramsey sentences and Newman's objection
 4: Compactness, infinitesimals, and the reals
 5: Sameness of structure and theory B: Categoricity
 6: Modelism and mathematical doxology
 7: Categoricity and the natural numbers
 8: Categoricity and the sets
 9: Transcendental arguments
 10: Internal categoricity and the natural numbers
 11: Internal categoricity and the sets
 12: Internal categoricity and truth
 13: Booleanvalued structures C: Indiscernibility and classification
 14: Types and Stone spaces
 15: Indiscernibility
 16: Quantifiers
 17: Classification and uncountable categoricity D: Historical appendix Wilfrid Hodges: A short history of model theory.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780198790402 20190204
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
B791 .B95 2018  Unknown 
2. Neighborhood semantics for modal logic [2017]
 Pacuit, Eric. author.
 Cham : Springer, 2017.
 Description
 Book — XII, 154 pages : illustrations ; 24 cm.
 Summary

 1. Introduction and Motivation 1.1 Subset Spaces 1.2 Language and Semantics 1.3 Why NonNormal Modal Logic? 1.4 Why Neighborhood Structures?
 2. Core Theory 2.1 Expressive Power and Invariance 2.2 Alternative Semantics for NonNormal Modal Logic 2.3 The Landscape of NonNormal Modal Logic 2.4 Computational Issues 2.5 Frame Correspondence 2.6 Translations3. Richer Languages 3.1 Universal Modality and Nominals 3.2 FirstOrder Neighborhood Structures 3.3 Common Belief on Neighborhood Structures 3.4 Dynamics with Neighborhoods: Game Logic 3.5 Dynamics on Neighborhood StructuresA. Relational Semantics for Modal Logic A.1 Definability A.2 Normal Modal Logics.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9783319671482 20180306
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC199 .M6 P33 2017  Unknown 
 Cham : Springer, [2016]
 Description
 Book — xxi, 937 pages : illustrations ; 25 cm.
 Summary

 Introduction.
 1. Agency and interaction: what we are and what we do in formal epistemology Jeffrey Helzner and Vincent F. Hendricks.
 Part 1. Bayesian Epistemology: Introduction.
 2. Truth and probability Frank P. Ramsey.
 3. Probable knowledge Richard C. Jeffrey.
 4. Finegrained opinion, probability and the logic of full belief Bas C. van Fraassen.
 5. A theory of higher order probabilities Haim Gaifman.
 6. On indeterminate probabilities Isaac Levi.
 6. On indeterminate probabilities Isaac Levi.
 7. Why I am not a Bayesian Clark Glymour.
 8. A mistake in dynamic coherence arguments? Brian Skyrms.
 9. Some problems for conditionalization and reflection Frank Arntzenius.
 10. Stopping to reflect Mark J. Schervish, Teddy Seidenfeld and Joseph B. Kadane. Part II. Belief Change: Introduction.
 11. On the logic of theory change: partial meet contraction and revision functions Carlos Alchourron, Peter Gardenfors and David Makinson.
 12. Theory contraction and base contraction unified Sven Ove Hansson.
 13. How infallible but corrigible full belief is possible Isaac Levi.
 14. Belief contraction in the context of the General Theory of Rational Choice Hans Rott.
 15. A survey of ranking theory Wolfgang Spohn. Part III. Decision Theory: Introduction.
 16. Allais's Paradox Leonard Savage.
 17. Decision theory without 'independence' or without 'ordering' Teddy Seidenfeld.
 18. Ambiguity and the Bayesian paradigm Itzhak Gilboa and Massimo Marinacci.
 19. State dependent utilities Mark J. Schervish, Teddy Seidenfeld and Joseph B. Kadane.
 20. Causal decision theory James M. Joyce and Allan Gibbard.
 21. Advances in prospect theory: cumulative representation of uncertainty Amos Tversky and Daniel Kahnemann. Part IV. Logics of Knowledge and Belief: Introduction.
 22. Epistemology without knowledge and without belief Jaakko Hintikka.
 23. Epistemic operators Fred Dretske.
 24. Elusive knowledge David Lewis.
 25. Knowledge and skepticism Robert Nozick.
 26. On logics of knowledge and belief Robert Stalnaker.
 27. Sentences, belief and logical omniscience, or what does deduction tell us? Rohit Parikh.
 28. The logic of justification Sergei Artemov.
 29. Learning theory and epistemology Kevin T. Kelly.
 30. Some computational constraints in epistemic logic Timothy Williamson. Part V. Interactive Epistemology: Introduction.
 31. Convention (an excerpt) David Lewis.
 32. Three views of common understanding Jon Barwise.
 33. The logic of public announcements, common knowledge and private suspicions Alexandru Baltag, Lawrence S. Moss and Slawomir Solecki.
 34. A qualitative theory of dynamic interactive belief revision Alexandru Baltag and Sonja Smets.
 35. Agreeing to disagree Robert J. Aumann.
 36. Epistemic conditions for Nash equilibrium Robert J. Aumann and Adam Brandenburger.
 37. Knowledge, belief and counterfactual reasoning in games Robert Stalnaker.
 38. Substantive rationality and backward induction Joseph Y. Halpern.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9783319204505 20170403
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BD161 .R433 2016  Unknown 
4. Dag Prawitz on proofs and meaning [2015]
 Cham : Springer, [2015]
 Description
 Book — xiii, 458 pages ; 24 cm.
 Summary

 Prawitz, proofs, and meaning Wansing, Heinrich. A short scientific autobiography Prawitz, Dag. Explaining deductive inference Prawitz, Dag. Necessity of Thought Cozzo, Cesare. On the Motives for Proof Theory Detlefsen, Michael. Inferential Semantics Dosen, Kosta. Cut elimination, substitution and normalization Dyckhoff, Roy. Inversion principles and introduction rules Milne, Peter. Intuitionistic Existential Instantiation and Epsilon Symbol Mints, Grigori. Meaning in Use Negri, Sara and von Plato, Jan. Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different? Pagin, Peter. On constructive fragments of Classical Logic Pereira Luiz Carlos and Haeusler, Edward Hermann. GeneralElimination Harmony and HigherLevel Rules Read, Stephen. Hypothesisdischarging rules in atomic bases Sandqvist, Tor. Harmony in prooftheoretic semantics: A reductive analysis SchroederHeister, Peter. Firstorder Logic without bound variables: Compositional Semantics Tait, William W. On Gentzen's Structural Completeness Proof Tennant, Neil. A Notion of CJustification for Empirical Statements Usberti, Gabriele.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9783319110400 20170418
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC71 .D24 2015  Unknown 
5. Alan Turing : his work and impact [2013]
 Waltham, MA : Elsevier, c2013.
 Description
 Book — xxi, 914 p. : ill. ; 29 cm.
 Summary

 Part I: How Do We Compute? What Can We Prove? 1.Alan Mathison Turing 2.On Computable Numbers, with an Application to the Entscheidungsproblem 3.On Computable Numbers, with an Application to the Entscheidungsproblem  correction 4.Review of Turing 19367 5.Computability and definability 6.The pfunction in Kconversion 7.Systems of Logic based on Ordinals 8.A Formal Theorem in Church's Theory of Types 9.The Use of Dots as Brackets in Church's System 10.Practical Forms of Type Theory 11.The Reform of Mathematical Notation Part II: Hiding and Unhiding Information: Cryptology, Complexity and Number Theory. 1.On the Gaussian Error Function 2.A Method for the Calculation of the Zetafunction 3.Some Calculations of the Riemann Zetafunction 4.On a Theorem of Littlewood 5.The Word Problem in Semigroups with Cancellation 6.Solvable and Unsolvable Problems 7.The Word Problem in Compact Groups 8.On Permutation Groups 9.Roundingoff Errors in Matrix Processes 10.A Note on Normal Numbers 11.Turing's treatise on the Enigma (Prof's Book) Report by Turing on U. S. Navy cryptanalytic work and their machinery, November 1942 Speech System 'Delilah'  report on progress,
 6 June 1944 Checking a Large Routine An early program proof by Alan Turing Programmers' Handbook for the Manchester electronic computer Local Programming Methods and Conventions Part III: Building a Brain: Intelligent Machines, Practice and Theory. 1.Lecture to the London Mathematical Society 2.Intelligent Machinery 3.Computing Machinery and Intelligence 4.Chess Solvable and Unsolvable Problems 5.Intelligent Machinery: A heretical theory Can digital computers think? Can automatic calculating machines be said to think? 6.Some Remarks on the Undecidability Results Part IV: The Mathematics of Emergence: The Mysteries of Morphogenesis. 1.The Chemical Basis of Morphogenesis 2.A Diffusion Reaction Theory of Morphogenesis in Plants 3.Morphogen Theory of Phyllotaxis Geometrical and Descriptive Phyllotaxis Chemical Theory of Morphogenesis A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry 4.Outline of the Development of the Daisy.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780123869807 20190128
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA29 .T8 A45 2013  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA29 .T8 A45 2013  Unknown 
6. Word and object [2013]
 Quine, W. V. (Willard Van Orman)
 New ed.  Cambridge, Mass. : MIT Press, c2013.
 Description
 Book — xxx, 277 p. ; 23 cm.
 Summary

A new edition of Quine's most important work. Willard Van Orman Quine begins this influential work by declaring, "Language is a social art. In acquiring it we have to depend entirely on intersubjectively available cues as to what to say and when." As Patricia Smith Churchland notes in her foreword to this new edition, with Word and Object Quine challenged the tradition of conceptual analysis as a way of advancing knowledge. The book signaled twentiethcentury philosophy's turn away from metaphysics and what Churchland calls the "phony precision" of conceptual analysis. In the course of his discussion of meaning and the linguistic mechanisms of objective reference, Quine considers the indeterminacy of translation, brings to light the anomalies and conflicts implicit in our language's referential apparatus, clarifies semantic problems connected with the imputation of existence, and marshals reasons for admitting or repudiating each of various categories of supposed objects. In addition to Churchland's foreword, this edition offers a new preface by Quine's student and colleague Dagfinn Follesdal that describes the neverrealized plans for a second edition of Word and Object, in which Quine would offer a more unified treatment of the public nature of meaning, modalities, and propositional attitudes.
(source: Nielsen Book Data) 9780262518314 20190204
 Benthem, Johan van, 1949
 Cambridge, UK ; New York : Cambridge University Press, 2011.
 Description
 Book — xi, 373 p. : ill. ; 26 cm.
 Summary

 Preface
 1. Logical dynamics, agency, and intelligent interaction
 2. Epistemic logic and semantic information
 3. Dynamic logic of public observation
 4. Multiagent dynamicepistemic logic
 5. Dynamics of inference and awareness
 6. Questions and issue management
 7. Soft information, correction, and belief change
 8. An encounter with probability
 9. Preference statics and dynamics
 10. Decisions, actions, and games
 11. Processes over time
 12. Epistemic group structure and collective agency
 13. Logical dynamics in philosophy
 14. Computation as conversation
 15. Rational dynamics in game theory
 16. Meeting cognitive realities
 17. Conclusion Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521765794 20160606
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9 .B3988 2011  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9 .B3988 2011  Unknown 
 London : College Publications, c2010.
 Description
 Book — x, 310 p. : ill. ; 24 cm.
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.54 .P77 2010  Unknown 
 Burgess, John P., 1948
 Cambridge ; New York : Cambridge University Press, 2008.
 Description
 Book — xiii, 301 p. : ill. ; 24 cm.
 Summary

 Introduction Part I. Mathematics:
 1. Numbers and ideas
 2. Why I am not a nominalist
 3. Mathematics and Bleak House
 4. Quine, analyticity, and philosophy of mathematics
 5. Being explained away
 6. E pluribus unum
 7. Logicism: a new look Part II. Models, Modality, and More:
 8. Tarski's tort
 9. Which modal logic is the right one?
 10. Can truth out?
 11. Quinus ab omni noevo vindicatus
 12. Translating names
 13. Relevance: a fallacy?
 14. Dummett's case for intuitionism.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521880343 20160528
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.6 .B87 2008  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QA8.6 .B87 2008  Available 
10. Computability and logic [2007]
 Boolos, George.
 5th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.  Cambridge ; New York : Cambridge University Press, 2007.
 Description
 Book — xiii, 350 p. : ill. ; 26 cm
 Summary

 Part I. Computability Theory:
 1. Enumerability
 2. Diagonalization
 3. Turing computability
 4. Uncomputability
 5. Abacus computability
 6. Recursive functions
 7. Recursive sets and relations
 8. Equivalent definitions of computability Part II. Basic Metalogic:
 9. A precis of firstorder logic: syntax
 10. A precis of firstorder logic: semantics
 11. The undecidability of firstorder logic
 12. Models
 13. The existence of models
 14. Proofs and completeness
 15. Arithmetization
 16. Representability of recursive functions
 17. Indefinability, undecidability, incompleteness
 18. The unprovability of consistency Part III. Further Topics:
 19. Normal forms
 20. The Craig interpolation theorem
 21. Monadic and dyadic logic
 22. Secondorder logic
 23. Arithmetical definability
 24. Decidability of arithmetic without multiplication
 25. Nonstandard models
 26. Ramsey's theorem
 27. Modal logic and provability.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521877527 20160612
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.59 .B66 2007  Unknown 
11. Handbook of spatial logics [2007]
 Dordrecht : Springer, c2007.
 Description
 Book — xxi, 1058 p. : ill. ; 25 cm.
 Summary

 1. What is Spatial Logic? M. Aiello, I.PrattHartmann & J.van Benthem, 
 2. FirstOrder Mereotopology.I.PrattHartmann 
 3. Axioms, Algebras and Topologies. B. Bennett and I. Duentsch
 4. Qualitative Spatial Reasoning Using Constraint Calculi.J. Renz and B. Nebel
 5. Modal Logics of Space. J.van Benthem and G. Benzhanishvili 
 6. Topology and Epistemic Logic. R. Parikh, L. Moss & C. Steinsvold
 7. Logical theories for Fragments of Elementary Geometry. P. Balbiani, V. Goranko, R. Kellerman & D. Vakarelov
 8. Locales and Toposes as Spaces. S. Vickers
 9. Spatial Logic + Temporal Logic = ?. R. Kontchakov, A. Kurucz, F. Wolter & M. Zakharyashchev
 10. Dynamic Topological Logic. P. Kremer and G. Mints 
 11. Logic of spacetime and relativity theory.H. Andr'eka, J. Madarasz & I. N'emeti 
 12. Discrete Spatial Models. M. Smyth & J. Webster
 13. Real Algebraic Geometry and Constraint Databases.F. Geerts and B. Kuijpers 
 14. Mathematical Morphology.I. Bloch, H. Heijmans & C.Ronse
 15. Spatial Reasoning and Ontonolgy: Parts, Wholes and Locations. A. Varzi.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9781402055867 20160528
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC135 .H29 2007  Unknown 
12. An introduction to Gödel's Theorems [2007]
 Smith, Peter, 1935
 Cambridge, UK ; New York : Cambridge University Press, 2007.
 Description
 Book — xiv, 361 p. ; 26 cm.
 Summary

 Preface
 1. What Godel's Theorems say
 2. Decidability and enumerability
 3. Axiomatized formal theories
 4. Capturing numerical properties
 5. The truths of arithmetic
 6. Sufficiently strong arithmetics
 7. Interlude: taking stock
 8. Two formalized arithmetics
 9. What Q can prove
 10. Firstorder Peano Arithmetic
 11. Primitive recursive functions
 12. Capturing funtions
 13. Q is p.r. adequate
 14. Interlude: a very little about Principia
 15. The arithmetization of syntax
 16. PA is incomplete
 17. Godel's First Theorem
 18. Interlude: about the First Theorem
 19. Strengthening the First Theorem
 20. The Diagonalization Lemma
 21. Using the Diagonalization Lemma
 22. Secondorder arithmetics
 23. Interlude: incompleteness and Isaacson's conjecture
 24. Godel's Second Theorem for PA
 25. The derivability conditions
 26. Deriving the derivability conditions
 27. Reflections
 28. Interlude: about the Second Theorem
 29. Recursive functions
 30. Undecidability and incompleteness
 31. Turing machines
 32. Turing machines and recursiveness
 33. Halting problems
 34. The ChurchTuring Thesis
 35. Proving the Thesis?
 36. Looking back.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521857840 20160528
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.65 .S65 2007  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9.65 .S65 2007  Unknown 
 Gentzens Problem. English
 MenzlerTrott, Eckart.
 [English ed.].  Providence, R.I. : American Mathematical Society ; [London] : London Mathematical Society, c2007.
 Description
 Book — xxii, 440 p. : ill. ; 27 cm.
 Summary

 Early youth and abitur 19281938Weimar Republic and National Socialism in peace. From the beginning of studies to the extension of the unscheduled assistantship for another year with effect from
 1 October
 1938 19391942From the beginning of the war to dismissal from the Wehrmacht and the wartime habilitation under Helmut Hasse The fight over "German logic" from
 1940 to
 1945: A battle between amateurs Recovery and docent position
 1942 to
 1944 Arrest, imprisonment, death and Nachlass Conclusion Tables of the life of Gerhard Gentzen Appendix A: Gentzen and geometry, by C. Smorynski Appendix B: Hilbert's programme, by C. Smorynski Appendix C: Three lectures, by Gerhard Gentzen Appendix D: From Hilbert's programme to Gentzen's programme, by Jan von Plato Bibliography Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780821835500 20160528
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA29 .G467 M46 2007  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QA29 .G467 M46 2007  Available 
 New York ; Oxford : Oxford University Press, 2007.
 Description
 Book — xv, 833 p. ; 25 cm.
 Summary

Mathematics and logic have been central topics of concern since the dawn of philosophy. Since logic is the study of correct reasoning, it is a fundamental branch of epistemology and a priority in any philosophical system. Philosophers have focused on mathematics as a case study for general philosophical issues and for its role in overall knowledge gathering. Today, philosophy of mathematics and logic remain central disciplines in contemporary philosophy, as evidenced by the regular appearance of articles on these topics in the best mainstream philosophical journals; in fact, the last decade has seen an explosion of scholarly work in these areas. This volume covers these disciplines in a comprehensive and accessible manner, giving the reader an overview of the major problems, positions, and battle lines. The 26 contributed chapters are by established experts in the field, and their articles contain both exposition and criticism as well as substantial development of their own positions. The essays, which are substantially selfcontained, serve both to introduce the reader to the subject and to engage in it at its frontiers.Certain major positions are represented by two chaptersone supportive and one critical. The Oxford Handbook of Philosophy of Math and Logic is a groundbreaking reference like no other in its field. It is a central resource to those wishing to learn about the philosophy of mathematics and the philosophy of logic, or some aspect thereof, and to those who actively engage in the discipline, from advanced undergraduates to professional philosophers, mathematicians, and historians.
(source: Nielsen Book Data) 9780195325928 20160528
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .O94 2007  Unknown 
15. Fixing Frege [2005]
 Burgess, John P., 1948
 Princeton, N.J. : Princeton University Press, c2005.
 Description
 Book — 257 p. ; 23 cm.
 Summary

 Acknowledgments ix
 CHAPTER 1: Frege, Russell, and After
 1
 CHAPTER 2: Predicative Theories
 86
 CHAPTER 3: Impredicative Theories
 146 Tables
 215 Notes
 227 References
 241 Index 249.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780691122311 20160528
 Online
 Oxford ; New York : Oxford University Press, 2005.
 Description
 Book — xv, 833 p. ; 26 cm.
 Summary

 Philosophy of mathematics and its logic : introduction / Stewart Shapiro
 Apriority and application : philosophy of mathematics in the modern period / Lisa Shabel
 Later empiricism and logical positivism / John Skorupski
 Wittgenstein on philosophy of logic and mathematics / Juliet Floyd
 The logicism of Frege, Dedekind, and Russell / William Demopoulos, Peter Clark
 Logicism in the twentyfirst century / Bob Hale, Crispin Wright
 Logicism reconsidered / Agustín Rayo
 Formalism / Michael Detlefsen
 Intuitionism and philosophy / Carl Posy
 Intuitionism in mathematics / C.C. McCarty
 Intuitionism reconsidered / Roy Cook
 Quine and the web of belief / Michael D. Resnik
 Three forms of naturalism / Penelope Maddy
 Naturalism reconsidered / Alan Weir
 Nominalism / Charles Chihara
 Nominalism reconsidered / Gideon Rosen, John P. Burgess
 Structuralism / Geoffrey Hellman
 Structuralism reconsidered / Fraser MacBride
 Predicativity / Solomon Feferman
 Mathematics  application and applicability / Mark Steiner
 Logical consequence, proof theory, and model theory / Stewart Shapiro
 Logical consequence from a constructivist point of view / Dag Prawitz
 Relevance in reasoning / Neil Tennant
 No requirement of relevance / John P. Burgess
 Higherorder logic / Stewart Shapiro
 Higherorder logic reconsidered / Ignacio Jané.
(source: Nielsen Book Data) 9780195148770 20160528
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .O94 2005  Unknown 
17. Alfred Tarski : life and logic [2004]
 Feferman, Anita Burdman.
 Cambridge, U.K. ; New York : Cambridge University Press, 2004.
 Description
 Book — vi, 425 p. : ill., ports. ; 24 cm.
 Summary

 1. The two Tarskis
 2. Independence and university Interlude I. The BanachTarski paradox, set theory and the axiom of choice
 3. Polot! The Polish attribute Interlude II. The completeness and decidability of algebra and geometry
 4. A wider sphere of influence Interlude III. Truth and definability
 5. How the 'Unity of Science' saved Tarski's life
 6. Berkeley is so far from Princeton
 7. Building a school Interlude IV. The publication campaigns
 8 'Papa Tarski' and his students
 9. Three meetings and two departures
 10. Logic and methodology, center stage
 11. Heydays Interlude V. Model theory and the
 1963 symposium
 12. Around the world
 13. Los Angeles and Berkeley Interlude VI. Algebras of logic
 14. A decade of honors
 15. The last times.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521802406 20160528
 Online
Green Library, Philosophy Library (Tanner), SAL3 (offcampus storage)
Green Library  Status 

Find it Stacks  
QA29 .T32 F44 2004  Unknown 
Philosophy Library (Tanner)  Status 

Stacks  
QA29 .T32 F44 2004  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QA29 .T32 F44 2004  Available 
 Franzén, Torkel.
 Urbana, Ill. : Association for Symbolic Logic ; Wellesley, Mass. : A K Peters, c2004.
 Description
 Book — xi, 251 p. ; 23 cm.
 Summary

Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results necessary to understand the arguments are introduced as needed, making the presentation selfcontained and thorough.
(source: Nielsen Book Data) 9781568811758 20160528
Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results necessary to understand the arguments are introduced as needed, making the presentation selfcontained and thorough.
(source: Nielsen Book Data) 9781568811741 20160528
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.56 .F73 2004  Unknown 
19. Games, logic, and constructive sets [2003]
 Stanford, Calif. : CSLI Publications, c2003.
 Description
 Book — xii, 128 p. ; 24 cm.
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC135 .G26 2003  Unknown 
 Zadachi po teorii mnozhestv, matematicheskoĭ logike i teorii algoritmov. English
 Lavrov, I. A. (Igorʹ Andreevich)
 New York : Kluwer Academic/Plenum Publishers, 2003.
 Description
 Book — xii, 282 p. : ill. ; 24 cm.
 Summary

"Problems in Set Theory, Mathematical Logic and the Theory of Algorithms" by I. Lavrov and L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 12 pages of terminology and definitions that make the book selfcontained. Solutions are provided. The book is likely to become an essential part of curricula in logic.
(source: Nielsen Book Data) 9780306477126 20160528
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA248 .L2713 2003  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QA248 .L2713 2003  Available 