1  20
Next
Number of results to display per page
 Pearl, Judea, author.
 First edition.  New York, NY : Basic Books, [2018]
 Description
 Book — x, 418 pages : illustrations ; 25 cm
 Summary

 Introduction : Mind over data
 The ladder of causation
 From buccaneers to guinea pigs : the genesis of causal inference
 From evidence to causes : Reverend Bayes meets Mr. Holmes
 Confounding and deconfounding : or, slaying the lurking variable
 The smokefilled debate : clearing the air
 Paradoxes galore!
 Beyond adjustment : the conquest of Mount Intervention
 Counterfactuals : mining worlds that could have been
 Mediation : the search for a mechanism
 Big data, artificial intelligence, and the big questions.
(source: Nielsen Book Data) 9780465097609 20181029
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
Q175.32 .C38 P43 2018  Unknown 
Science Library (Li and Ma)  Status 

Popular science  
Q175.32 .C38 P43 2018  Unknown 
2. 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 
3. Einstein [2017]
 Ryckman, Thomas, author.
 London ; New York : Routledge, Taylor & Francis Group, 2017.
 Description
 Book — xxii, 405 pages : illustrations ; 23 cm.
 Summary

 Chronology
 Introduction
 1. Life and Works
 Part 1: Quantum theory
 2. On the road to Planck
 1900
 3. Contributions to the old quantum theory
 4. Quantum mechanics
 Part 2: Relativity
 5. Special relativity
 6. General relativity
 Part 3: Geometry and philosophy
 7. Geometry and experience
 8. Philosophy of science  realism
 9. Philosophy of science  constructivism
 10. Philosophy of science  rationalism
 11. Influence and Legacy
 Glossary Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780415773270 20171227
 Online
 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
5. 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 
 Delo akademika Nikolai͡a Nikolaevicha Luzina. English.
 Providence, Rhode Island : American Mathematical Society, [2016]
 Description
 Book — xxxi, 375 pages, 8 unnumbered pages of plates : illustrations ; 26 cm.
 Summary

 * Introduction* The case of academician Luzin in the collective memory of the scientific community* Minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin* Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin:
 7 July Minutes of the meeting of the USSR Academy of Sciences Commission on the matter of academician Luzin*9 July Minutes of the meeting of the USSR Academy of Sciences Commission on the matter of academician Luzin*11 July Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*13 July Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*15 July Commentaries on the minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin* Commentaries on the minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*7 July
 1936 Commentary on the minutes of the USSR Academy of Sciences Commission in the matter of academician Luzin*9 July
 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*11 July
 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*13 July
 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*15 July
 1936 Literature Appendices* Appendices introduction* A pleasant disillusionment* Reply to academician N. Luzin* Enemies wearing a Soviet mask* Letter from L. Z. Mekhlis, editor of $\textit{Pravda}$, to the Central Committee,
 3 July 1936* Resolution concerning the articles "Response to academician Luzin" and "Enemies wearing a Soviet mask" in $\textit{Pravda}$* Draft of the proposal of the special session of the Presidium of the USSR Academy of Sciences,
 4 July 1936* Letter from P. L. Kapitsa to Molotov,
 6 July 1936* Excerpt from the minutes of the Presidum meeting of
 7 July 1936* Letters from V. I. Vernadski iand N. V. Nasonov to the Academy of Sciences Division of Mathematical and Natural Sciences and to academicians A. E. Fersman and N. P. Gorbunov in support of academician Luzin* Letter from academician N. N. Luzin to the Central Committee of the Communist Party
 7 July 1936* Traditions of servility* Resolution of the General Assembly of Scientists of the Department of Mechanics and Mathematics and Institute of Mathematics, Mechanics, and Astronomy at Moscow University* Letter from Luzin to an undetermined addressee,
 11 July 1936* Enemies wearing a Soviet mask* The Leningrad scholars respond* Letter from L. Z. Mekhlis, Editor of Pravda, to Stalin and Molotov,
 14 July 1936* The enemy exposed Luzin's statement to the Presidium of the Academy of Sciences,
 14 July 1936* Academician Gubkin on socalled academician Luzin* The Belarus scholars on the exposed enemy Luzin* The scholarly community condemns enemies wearing a Soviet mask* Note accompanying the draft of the findings of the Presidium of the USSR Academy of Sciences regarding academician N. N. Luzin,
 25 July 1936* Conclusion of the Commission On academician N. N. Luzin* Findings of the Presidium of the USSR Academy of Sciences,
 5 August 1936* To rid academia of Luzinism* Glossary of Soviet terms and people* Subject index* Name index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9781470426088 20160711
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
Q127 .S65 D4513 2016  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
Q127 .S65 D4513 2016  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 
8. 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 
 Zhong, Shengyang, author.
 Amsterdam : Institute for Logic, Language, and Computation, Universiteit van Amsterdam, [2015]
 Description
 Book — xiii, 246 pages : some illustrations ; 24 cm.
 Summary

"This thesis is an indepth mathematical study of the nonorthogonality relation between the (pure) states of quantum systems. In Chapter 2, I define quantum Kripke frames, the protagonists of this thesis. A quantum Kripke frame is a Kripke frame in which the binary relation possesses some simple properties of the nonorthogonality relation in quantum theory. The structure of quantum Kripke frames is studied extensively from a geometric perspective. In the meantime, several kinds of projective geometries are discovered to be Kripke frames in disguise. In Chapter 3, maps between quantum Kripke frames are studied. I define continuous homomorphisms between quantum Kripke frames and study extensively their properties. Chapter 4 concerns the automated reasoning of quantum Kripke frames. I prove that the firstorder theory of quantum Kripke frames is undecidable. Moreover, I characterize the firstorder definable, biorthogonally closed subsets in a special kind of quantum Kripke frame. Chapter 5 is a pilot study of the transition probabilities between the states of quantum systems. They are the quantitative, more finegrained version of the nonorthogonality relation. I define probabilistic quantum Kripke frames and quantum transition probability spaces, whose definitions capture some essential properties of the transition probabilities in quantum theory. Some elementary but useful results about these two kinds of structures are proved."Author's summary.
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
QC174.17 .G46 Z49 2015  Unknown 
11. 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 
12. 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
13. New directions in the philosophy of science [2014]
 Cham, Switzerland ; New York : Springer, [2014]
 Description
 Book — xii, 773 pages : illustrations ; 25 cm.
 Summary

 Preface: Maria Carla Galavotti. TEAM A: FORMAL METHODS.
 Chapter 1: Things in Possible Experiments. Caseintensional Logic as a Framework for Tracing Things from Case to Case Thomas Muller.
 Chapter 2: The Proof Is in the Process. A Preamble for a Philosophy of Computerassisted Mathematics Liesbeth de Mol.
 Chapter 3: The Future Role of Computation in Science and Society Patrick Suppes.
 Chapter 4: In No Categorical Terms: A Sketch for an Alternative Route to a Humean Interpretation of Laws Kerry McKenzie.
 Chapter 5: The Undeniable Effectiveness of Mathematics in the Special Sciences Mark Colyvan.
 Chapter 6: Comment on "The Undeniable Effectiveness of Mathematics in the Special Sciences" Tim Raz. TEAM B: PHILOSOPHY OF THE NATURAL AND LIFE SCIENCES.
 Chapter 7: Explanatory Pluralism in Psychiatry: What Are We Pluralists about, and Why? Raffaella Campaner.
 Chapter 8: Pluralists about Pluralism? Different Versions of Explanatory Pluralism in Psychiatry Jeroen van Bouwel.
 Chapter 9: Shifting Attention from Theory to Practice in Philosophy of Biology C. Kenneth Waters.
 Chapter 10: Living Instruments and Theoretical Terms: Xenografts as Measurements in Cancer Research PierreLuc Germain.
 Chapter 11: Developmental Explanation VeliPekka Parkkinen.
 Chapter 12: What Counts as Causation in Physics and Biology? Jan Faye.
 Chapter 13: Challenges to Characterizing the Notion of Causation across Disciplinary Boundaries: Comment on Faye Jan Baedke.
 Chapter 14: Just Complexity Max Urchs.
 Chapter 15: Confessions of a Complexity Skeptic Raphael Scholl.
 Chapter 16: New Directions in the Philosophy of Biology: A New Taxonomy of Functions Cristian Saborido. TEAM C: PHILOSOPHY OF THE CULTURAL AND SOCIAL SCIENCES.
 Chapter 17: How Essentialism Properly Understood Might Reconcile Realism and Social Constructivism Wolfgang Spohn.
 Chapter 18: Social Construction  by Whom? Matti Sintonen.
 Chapter 19: Is Social Constructivism Soluble in Critical Naturalism? Daniel Andler.
 Chapter 20: Scientific Representation, Reflexivity, and the Possibility of Constructive Realism Tarja Knuuttila.
 Chapter 21: The Limits of Realism in the Philosophy of Social Science DavidHillel Ruben.
 Chapter 22: The Social ReConstruction of Agency Katarzyna Paprzycka.
 Chapter 23: Local Realism. An Analysis of Social Choice Theory Obdulia Torres.
 Chapter 24: Objectivity and Visual Practices in Science and Art Chiara Ambrosio.
 Chapter 25: Cultural Information: Don't Ask, Don't Tell Tim Lewens. TEAM D: PHILOSOPHY OF THE PHYSICAL SCIENCES.
 Chapter 26: Introducing QBism Christopher A. Fuchs.
 Chapter 27: A Critic Looks at QBism Guido Bacciagaluppi.
 Chapter 28: Elementary Particles and Metaphysics F.A. Muller.
 Chapter 29: Assessing the Status of the Common Cause Principle Miklos Redei.
 Chapter 30: A Note on Strong Causal Closedness and Completability of Classical Probability Spaces Leszek Wronski and Michal Marczyk.
 Chapter 31: Artificial Examples of Empirical Equivalence Pablo Acuna.
 Chapter 32: The Measurement Problem is Your Problem Too Ronnie Hermens.
 Chapter 33: Pros and Cons of Physics in Logics Petr Svarny.
 Chapter 34: How Fundamental Physics Represents Causality Andreas Bartels and Daniel Wohlfarth.
 Chapter 35: How Fundamental Physics Represents Causality. Comment Mario Hubert and Roland Poellinger.
 Chapter 36: Good Just Isn't Good Enough  Humean Chances and Boltzmannian Statistical Physics Claus Beisbart.
 Chapter 37: Unsharp Humean Chances in Statistical Physics: A Reply to Beisbart Radin Dardashti, Luke Glynn, Karim Thebault and Mathias Frisch.
 Chapter 38: Noncommutative Causality in Algebraic Quantum Field Theory Gabor HoferSzabo.
 Chapter 39: Lost in Translation. A Comment on "Noncommutative Causality in Algebraic Quantum Field Theory" Dustin Lazarovici.
 Chapter 40: Causal Probabilities in GRW Quantum Mechanics Tomasz Placek.
 Chapter 41: Physics, Metaphysics and Mathematics Dennis Dieks. TEAM E: HISTORY OF THE PHILOSOPHY OF SCIENCE.
 Chapter 42: Where Would We Be without Counterfactuals? Huw Price.
 Chapter 43: Pragmatism and European Philosophy: William James and the FrenchItalian Connection Massimo Ferrari.
 Chapter 44: European Pragmatism? Further Thoughts on the German and Austrian Reception of American Pragmatism Thomas Uebel.
 Chapter 45: New Prospects for Pragmatism: Ramsey's Constructivism Maria Carla Galavotti.
 Chapter 46: Critical Realism in Perspective  Remarks on a Neglected Current in NeoKantian Epistemology Matthias Neuber.
 Chapter 47: Realism without Mirrors Henrik Rydenfelt.
 Chapter 48: The Continuing Relevance of 19thCentury Philosophy of Psychology: Brentano and the Autonomy of Psychological Methods Uljana Feest.
 Chapter 49: On the Logical Positivists' Philosophy of Psychology: Laying a Legend to Rest Sean Crawford.
 Chapter 50: Epistemology Historicized: The French Tradition Anastasios Brenner.
 Chapter 51: Commentary on Brenner's "Epistemology Historicised" Cristina Chimisso.
 Chapter 52: History and Philosophy of Science: Between Description and Construction Friedrich Stadler.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9783319043814 20160614
 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 
15. Philosophy of biology [2014]
 GodfreySmith, Peter author.
 Princeton : Princeton University Press, [2014]
 Description
 Book — 187 pages : illustrations ; 23 cm.
 Summary

 Preface ix CHAPTER ONE Philosophy and Biology
 1 CHAPTER TWO Laws, Mechanisms, and Models
 11 CHAPTER THREE Evolution and Natural Selection
 28 CHAPTER FOUR Adaptation, Construction, Function
 50 CHAPTER FIVE Individuals
 66 CHAPTER SIX Genes
 81 CHAPTER SEVEN Species and the Tree of Life
 100 CHAPTER EIGHT Evolution and Social Behavior
 120 CHAPTER NINE Information
 144 References
 159 Index 179.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780691140018 20160612
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  
QH331 .G615 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  
QH331 .G615 2014  Unknown 
16. Philosophy of science : a unified approach [2014]
 Einführung in die Wissenschaftstheorie. English
 Schurz, Gerhard, 1956 author.
 New York : Routledge, 2014.
 Description
 Book — xix, 456 pages : illustrations ; 24 cm
 Summary

 Foreword
 1 Introduction: Where Do We Stand?
 2 The Question of Unity: In Search for Common Foundations of the Sciences
 3 The Conceptual Toolkit: Language, Logic and Probability
 4 A Question of Fit: Law Hypotheses and their Empirical Testing
 5 Going Beyond Experience: Theories and their Empirical Evaluation
 6 In Search of Causes: Explanation and All That Goes With It Bibliography Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780415829366 20160612
 Online
 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 
18. 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 
19. Explaining the computational mind [2013]
 Miłkowski, Marcin.
 Cambridge, Massachusetts : The MIT Press, [2013]
 Description
 Book — x, 243 pages : illustrations ; 24 cm
 Summary

 Computation in cognitive science : four case studies and a funeral
 Computational processes
 Computational explanation
 Computation and representation
 Limits of computational explanation.
(source: Nielsen Book Data) 9780262018869 20190204
 Epperson, Michael.
 Lanham, Maryland : Lexington Books, [2013].
 Description
 Book — xx, 419 pages ; 24 cm
 Summary

 Preface Part I: Philosophical Foundations of Quantum Relational Realism
 Chapter 1: Introduction: Relational Realism: A Program in Speculative Philosophy
 Chapter 2: Substance and Logic in Quantum Mechanics
 Chapter 3: Predication in Quantum Mechanics
 Chapter 4: Logical Causality in Quantum Mechanics: A Relational Realist Ontology
 Chapter 5: Integrating Logical Relation and Extensive Relation: Mereotopology and Quantum Mechanics Interlude: Part II: Mathematical Foundations of Quantum Relational Realism
 Chapter 6: Notion of Localization Processes
 Chapter 7: Sheaves of Germs: The Topological Case
 Chapter 8: Sheaves of Boolean Germs: The Quantum Topological Case
 Chapter 9: Functorial Entanglement and Logical Classification
 Chapter 10: Quantum Localization in a Broader Conceptual Perspective
 Chapter 11: Recapitulation: A Semantic Bridge Between Process Metaphysics and Quantum Theory via Sheaves Bibliography Index About the Authors.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780739180327 20190128
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
QC174.17 .M35 E67 2013  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
QC174.17 .M35 E67 2013  Available 