1  20
Next
Number of results to display per page
1. Ten great ideas about chance [2018]
 Diaconis, Persi, author.
 Princeton ; Oxford : Princeton University Press, [2018]
 Description
 Book — x, 255 pages : illustrations ; 25 cm
 Summary

 Preface ixAcknowledgments xi1 Measurement
 12 Judgment
 223 Psychology
 484 Frequency
 625 Mathematics
 796 Inverse Inference
 1007 Unification
 1228 Algorithmic Randomness
 1459 Physical Chance
 16510 Induction 190Appendix: Probability Tutorial 209Notes 225Annotated Select Bibliography 239Image Credits 247Index 249.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780691174167 20180205
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA273 .A4 D53 2018  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA273 .A4 D53 2018  Unknown 
 Silva, Jairo José da, author.
 Cham, Switzerland : Springer, [2017]
 Description
 Book — vii, 275 pages ; 25 cm.
 Summary

 1. The applicability of mathematics in science: a problem?.
 2. Form and Content. Mathematics as a formal science.
 3. Mathematical ontology: what does it mean to exist?.
 4. Mathematical structures: what are they and how do we know them?.
 5. Playing with structures: the applicability of mathematics.
 6. How to use mathematics to find out how the world is.
 7. Logical, epistemological, and philosophical conclusions.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9783319630724 20171017
 Online
3. Philosophy of mathematics [2017]
 Linnebo, Øystein, author.
 Princeton, New Jersey : Princeton University Press, [2017]
 Description
 Book — vi, 203 pages ; 23 cm.
 Summary

 Acknowledgments vii Introduction
 1
 1 Mathematics as a Philosophical Challenge
 4
 2 Frege's Logicism
 21
 3 Formalism and Deductivism
 38
 4 Hilbert's Program
 56
 5 Intuitionism
 73
 6 Empiricism about Mathematics
 88
 7 Nominalism
 101
 8 Mathematical Intuition
 116
 9 Abstraction Reconsidered
 126
 10 The Iterative Conception of Sets
 139
 11 Structuralism
 154
 12 The Quest for New Axioms
 170 Concluding Remarks
 183 Bibliography
 189 Index 199.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780691161402 20171227
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .L56 2017  Unknown 
 Cham : Springer, [2015]
 Description
 Book — ix, 561 pages : illustrations ; 24 cm
 Summary

 Preface. In Memoriam: Grigori Mints. Part I: Reflections.
 1. Reinhard Kahle: Gentzen's Consistency Proof in Context.
 2. Michael Detlefsen: Gentzen's AntiFormalist Views.
 3. Anton Setzer: The Use of Trustworthy Principles in a Revised Hilbert's Program. Part II: Gentzen's Consistency Proof.
 4. Wilfried Buchholz: On Gentzen's first consistency proof for arithmetic.
 5. Jan von Plato: From \emph{Hauptsatz} to \emph{Hilfssatz} (with an appendix by Siders/von Plato).
 6. Dag Prawitz: Extending Gentzen's 2nd consistency proof to normalization of natural deductions in 1st order arithmetic.
 7. Annika Siders: A Direct Gentzenstyle Consistency Proof for Heyting Arithmetic.
 8. W. W. Tait: Gentzen's original consistency proof and the Bar Theorem. Part III: Results.
 9. Sam Buss: Cut Elimination \emph{In Situ}.
 10. Fernando Ferreira: Spector's proof of the consistency of analysis.
 11. Herman Jervell: Climbing Mount $\varepsilon_0$.
 12. Wolfram Pohlers: Semiformal calculi and their applications. Part IV: Developments.
 13. Toshiyasu Arai: Proof Theory for Theories of Ordinals III: $\Pi_{N}$Reflection.
 14. Gerhard Jager and Dieter Probst: A prooftheoretic analysis of theories for stratified inductive definitions.
 15. Frederik Meskens and Andreas Weiermann: Classifying phase transition thresholds for Goodstein sequences and Hydra games.
 16. Grigori Mints: NonDeterministic Epsilon Substitution Method for $\mathsf{PA}$ and $\mathsf{ID}_1$.
 17. Paulo Oliva and Thomas Powell: A GameTheoretic Computational Interpretation of Proofs in Classical Analysis.
 18. Michael Rathjen and Pedro Francisco Valencia Vizcaino: Well ordering principles and Bar induction.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9783319101026 20160619
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.54 .G46 2015  Unknown 
5. Handbook of epistemic logic [2015]
 [UK] : College Publications, [2015]
 Description
 Book — xviii, 655 pages : illustrations ; 24 cm
 Summary

 An introduction to logics of knowledge and belief
 [pt.] I. Informational attitudes
 Only knowing
 Awareness
 Epistemic probabilistic logic
 [pt.] II. Dynamics of informational attitudes
 Knowledge and time
 Dynamic epistemic logic
 Dynamic logics of belief change
 [pt.] III. Applications
 Model checking temporal epistemic logic
 Epistemic foundations of game theory
 BDI logics
 Knowledge and ability
 Knowledge and security.
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA269 .H36 2015  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA269 .H36 2015  Unknown 
 Berlin : Springer, [2015]
 Description
 Book — ix, 332 pages : illustrations ; 24 cm.
 Summary

 Reasoning about games
 Dynamic models of rational deliberation in games / Eric Pacuit
 Reasoning about strategies and rational play in dynamic games / Giacomo Bonanno
 Finite reasoning procedures for dynamic games / Andrés Perea
 Formal frameworks for strategies
 Logics for reasoning about strategic abilities in multiplayer games / Nils Bulling, Valentin Goranko, and Wojciech Jamroga
 Using STIT theory to talk about strategies / Jan Broersen and Andreas Herzig
 Automata and compositional strategies in extensive form games / Soumya Paul, R. Ramanujam, and Sunil Simon
 Languages for imperfect information / Gabriel Sandu
 Strategies in social situations
 Strategies of persuasion, manipulation and propaganda: Psychological and social aspects / Michael Franke and Robert van Rooij
 Strategies in social software / Jan van Eijck
 Future perspective
 Logic of strategies: What and how? / Johan van Benthem.
(source: Nielsen Book Data) 9783662485392 20180423
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA270 .M64 2015  Unknown 
7. Rigor and structure [2015]
 Burgess, John P., 1948
 1st ed.  Oxford, UK : Oxford University Press, 2015.
 Description
 Book — vii, 215 p. ; 23 cm
 Summary

 Preface
 Acknowledgments
 1. Rigor and Rigorization
 2. Rigor and Foundations
 3. Structure and Structuralism
 4. Structure and Foundations
 Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780198722229 20160618
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .B855 2015  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA8.4 .B855 2015  Unknown 
8. Logic in games [2014]
 Benthem, Johan van, 1949
 Cambridge, MA ; London, England : The MIT Press, [2014]
 Description
 Book — xvii, 547 pages : illustrations ; 24 cm
 Summary

This book draws on ideas from philosophical logic, computational logic, multiagent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games. In doing so, the book takes up the "intelligent interaction" of agents engaging in competitive or cooperative activities and examines the patterns of strategic behavior that arise. It develops modern logical systems that can analyze informationdriven changes in players' knowledge and beliefs, and introduces the "Theory of Play" that emerges from the combination of logic and game theory. This results in a new view of logic itself as an interactive rational activity based on reasoning, perception, and communication that has particular relevance for games. Logic in Games, based on a course taught by the author at Stanford University, the University of Amsterdam, and elsewhere, can be used in advanced seminars and as a resource for researchers.
(source: Nielsen Book Data) 9780262019903 20160612
 Maudlin, Tim.
 1st ed.  Oxford ; New York : Oxford University Press, 2014.
 Description
 Book — ix, 363 p. : ill. ; 24 cm
 Summary

 Acknowledgments
 Introduction
 MATHEMATICAL FOUNDATIONS
 1. Topology and Its Shortcomings
 2. Linear Structures, Neighborhoods, Open Sets
 Appendix to
 Chapter 2
 3. Closed Sets, Open Sets (Again), Connected Spaces
 4. Separation Properties, Convergence, and Extensions
 5. Properties of Functions
 6. Subspaces and Substructures Straightness and Differentiability
 7. Metrical Structure
 Appendix: A Remark about Minimal Regular Metric Spaces
 8. Product Spaces and Fiber Bundles
 9. Beyond Continua
 Axioms and Definitions
 Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780198701309 20160614
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA447 .M38 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA447 .M38 2014  Unknown 
 Hacking, Ian.
 New York : Cambridge University Press, 2014.
 Description
 Book — xv, 290 pages ; 23 cm
 Summary

 Foreword
 1. A Cartesian introduction
 2. What makes mathematics mathematics?
 3. Why is there philosophy of mathematics?
 4. Proofs
 5. Applications
 6. In Plato's name
 7. CounterPlatonisms Disclosures.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9781107658158 20160612
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .H33 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA8.4 .H33 2014  Unknown 
11. 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 
12. Model theory [1990]
 Chang, Chen Chung, 1927
 Dover ed.  Mineola, N.Y. : Dover Publications, 2012.
 Description
 Book — xvi, 650 pages : illustrations ; 24 cm
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.7 .C45 2012  Unknown 
 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 
15. Descriptive set theory [2009]
 Moschovakis, Yiannis N.
 2nd ed.  Providence, R.I. : American Mathematical Society, 2009.
 Description
 Book — xiv, 502 p. : ill. ; 27 cm.
 Summary

Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary pointsets. This subject was started by the French analysts at the turn of the 20th century, most prominently Lebesgue, and, initially, was concerned primarily with establishing regularity properties of Borel and Lebesgue measurable functions, and analytic, coanalytic, and projective sets. Its rapid development came to a halt in the late 1930s, primarily because it bumped against problems which were independent of classical axiomatic set theory. The field became very active again in the 1960s, with the introduction of strong settheoretic hypotheses and methods from logic (especially recursion theory), which revolutionized it. This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern 'effective' theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics. The book includes all the necessary background from (advanced) set theory, logic and recursion theory.
(source: Nielsen Book Data) 9780821848135 20160528
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA248 .M66 2009  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA3 .A4 V.155  Unknown 
 Graham, Loren R.
 Cambridge, Mass. : Belknap Press of Harvard University Press, 2009.
 Description
 Book — x, 239 p. : ill., ports. ; 22 cm.
 Summary

 Storming a monastery
 A crisis in mathematics
 The French trio : Borel, Lebesgue, Baire
 The Russian trio : Egorov, Luzin, Florensky
 Russian mathematics and mysticism
 The legendary Lusitania
 Fates of the Russian trio
 Lusitania and after
 The human in mathematics, then and now.
(source: Nielsen Book Data) 9780674032934 20160528
 Priest, Graham.
 2nd ed.  Cambridge ; New York : Cambridge University Press, 2008.
 Description
 Book — xxxii, 613 pages ; 25 cm.
 Summary

 Preface to the first edition Preface to the second edition Mathematical prolegomenon Part I. Propositional Logic:
 1. Classical logic and the material conditional
 2. Basic modal logic
 3. Normal modal logics
 4. Nonnormal modal logics strict conditionals
 5. Conditional logics
 6. Intuitionist logic
 7. Manyvalued logics
 8. First degree entailment
 9. Logics with gaps, gluts, and worlds
 10. Relevant logics
 11. Fuzzy logics 11a. Appendix: many valued modal logics Postscript: an historical perspective on conditionals Part II. Qualification and Identity:
 12. Classical logic
 13. Free logic
 14. Constant domain modal logics
 15. Variable domain modal logics
 16. Necessary identity in modal logic
 17. Contingent identity in modal logic
 18. Nonnormal modal logics
 19. Conditional logics
 20. Intuitionist logic
 21. Manyvalued logics
 22. First degree entailment
 23. Logics with gaps, gluts, and worlds
 24. Relevant logics
 25. Fuzzy logics Postscript: a methodological coda.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521854337 20160618
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA9.4 .P75 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA9.4 .P75 2008  Unknown 
18. Mathematical thought and its objects [2008]
 Parsons, Charles, 1933
 Cambridge ; New York : Cambridge University Press, 2008.
 Description
 Book — xx, 378 p. ; 24 cm.
 Summary

 Preface
 1. Objects and logic
 2. Structuralism and nominalism
 3. Modality and structuralism
 4. A problem about sets
 5. Intuition
 6. Numbers as objects
 7. Intuitive arithmetic and its limits
 8. Mathematical induction
 9. Reason.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521452793 20160528
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .P366 2008  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QA8.4 .P366 2008  Available 
 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 
20. Philosophy of mathematics : a contemporary introduction to the world of proofs and pictures [2008]
 Brown, James Robert.
 2nd ed.  New York : Routledge, 2008.
 Description
 Book — xiv, 245 p. : ill. ; 24 cm.
 Summary

 Contents Preface and Acknowledgements
 Chapter 1: Introduction: The Mathematical Image
 Chapter 2: Platonism
 Chapter 3: Pictureproofs and Platonism
 Chapter 4: What is Applied Mathematics?
 Chapter 5: Hilbert and Godel
 Chapter 6: Knots and Notation
 Chapter 7: What is a Definition?
 Chapter 8: Constructive Approaches
 Chapter 9: Proofs, Pictures and Procedures in Wittgenstein
 Chapter 10: Computation, Proof and Conjecture
 Chapter 11: How to Refute the Continuum Hypothesis
 Chapter 12: Calling the Bluff Notes Bibliography Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780415960472 20160527
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QA8.4 .B76 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QA8.4 .B76 2008  Unknown 