1  20
Next
Number of results to display per page
 Boston, MA : Wiley Blackwell, 2018.
 Description
 Book — 450 pages ; 23 cm.
 Summary

 Intuitions as inferential judgments / Magdalena Balcerak Jackson
 The simple argument for subclassical logic / JC Beall
 Delimiting the boundaries of inference / Paul Boghossian
 From logical expressivism to expressivist logic : sketch of a program and some implementations / Robert Brandom
 Antiobjects / Josh Dever
 Solving the problem of logical omniscience / Sinan Dogramaci
 Paradoxes and structural rules from a dialogical perspective / Catarina Dutilh Novaes and Rohan French First order logical validity and the HilbertBernays Theorem / Gary Ebbs and Warren Goldfarb
 In praise of a logic of definitions that tolerates omegainconsistency / Anil Gupta
 Dummett on indefinite extensibility / Øystein Linnebo
 Varieties of inference? / AnnaSara Malmgren
 An objectbased truthmaker semantics for models / Friederike Moltmann
 Rationally determinable conditions / Ram Neta
 Paradoxical propositions / Graham Priest
 Logical nihilism : could there be no logic? / Gillian Russell
 Is there a reliability challenge for logic? / Joshua Schechter
 On the explanatory power of truth in logic / Gila Sher
 A probabilistic epistemology of perceptual belief / Ralph Wedgwood
 Alternative logics and applied mathematics / Timothy Williamson
 Logical noncognitivism / Crispin Wright.
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC199 .I47 P47 2018  Unavailable At bindery Request 
2. 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 
3. 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 
 Cham : Springer, [2014]
 Description
 Book — lxix, 1,027 pages : illustrations ; 24 cm.
 Summary

 Preface Johan van Benthem. Introduction Alexandru Baltag and Sonja Smets. Part I. Mathematical and Computational Perspectives. The Freedoms of (Guarded) Bisimulation Erich Gradel and Martin Otto. Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective Yde Venema. Schema Mappings: A Case of Logical Dynamics in Database Theory Balder ten Cate and Phokion G. Kolaitis. On Dependence Logic Pietro Galliani, Jouko Vaananen. Intensionality, Definability and Computation Samson Abramsky. Comparing Theories: The Dynamics of Changing Vocabulary Hajnal Andreka and Istvan Nemeti. Part II. Dynamics of Knowledge and Belief Over Time. Dynamic Epistemic Logics Jan van Eijck. Belief Revision and Dynamic Logic Patrick Girard and Hans Rott. Temporal Aspects of the Dynamics of Knowledge Valentin Goranko and Eric Pacuit. Logic and Learning Nina Gierasimczuk, Vincent F. Hendricks, and Dick de Jongh. A Computational Learning Semantics for Inductive Empirical Knowledge Kevin T. Kelly. Structures for Epistemic Logic Nick Bezhanishvili and Wiebe van der Hoek. Logic and Probabilistic Update Lorenz Demey and Barteld Kooi. Belief as a Simplification of Probability, and What This Entails Hannes Leitgeb. Part III. Games. Logic and Game Theory Giacomo Bonanno and Cedric Degremont. Knowledge Games and Coalitional Abilities Thomas agotnes and Hans van Ditmarsch. On Definitive Solutions of Strategic Games Sergei Artemov.Logical Player Types for a Theory of Play Ram Ramanujam. An Alternative Analysis of Signaling Games Gabriel Sandu. Part IV. Agency. Them and Us: Autonomous Agents in Vivo and in Silico Peter Millican and Michael Wooldridge. Incorporating Action Models into the Situation Calculus Yongmei Liu and Hector J. Levesque. Roles, Rigidity, and Quantification in Epistemic Logic Wesley H. Holliday and John Perry. Stit Logics, Games, Knowledge, and Freedom Roberto Ciuni and John Horty. The Logic of Best Actions from a Deontic Perspective Olivier Roy, Albert J.J. Anglberger and Norbert Gratzl. When Are Two Arguments the Same? Equivalence in Abstract Argumentation Dov Gabbay and Davide Grossi. Part V. Language and Cognition. Three Etudes on Logical Dynamics and the Program of Natural Logic Lawrence S. Moss. From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value Sven Ove Hansson and Fenrong Liu. Arguing about Dynamic Meaning Martin Stokhof. Logic of and for Language, and Logic of and for Mind Hans Kamp. Logic and Complexity in Cognitive Science Alistair M.C. Isaac and Jakub Szymanik and Rineke Verbrugge. Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient Peter Gardenfors. Part VI. Styles of Reasoning. Dynamic vs. Classical consequence Denis Bonnay and Dag Westerstahl. Dynamic Epistemic Logic as a Substructural Logic Guillaume Aucher.Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras J. Michael Dunn. Situation Theory Reconsidered Jeremy Seligman. Unified Correspondence Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano. Conclusions. Reflections Johan van Benthem. Scientific Autobiography Johan van Benthem. Bibliography. Publications.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9783319060248 20160618
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC177 .J64 2014  Unknown 
5. 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
6. Language, proof, and logic [2011]
 BarkerPlummer, Dave.
 2nd ed. / Dave BarkerPlummer, Jon Barwise, & John Etchemendy ; in collaboration with Albert Liu, Michael Murray, Emma Pease.  Stanford, Calif. : CSLI Publications, 2011.
 Description
 Book — xiii, 606 p. : ill. ; 24 cm. + 1 CDROM (4 3/4 in.) + Software manual (vii, 56 p. ; 22 cm.)
 Summary

This textbook/software package covers firstorder language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
(source: Nielsen Book Data) 9781575866321 20160606
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks
CD 

BC71 .B25 2011  Unknown 
7. Philosophical logic [2009]
 Burgess, John P., 1948
 Princeton, N.J. : Princeton University Press, c2009.
 Description
 Book — viii, 153 p. ; 23 cm.
 Summary

 Preface vii Acknowledgments ix CHAPTER ONE: Classical Logic
 1 CHAPTER TWO: Temporal Logic
 13 CHAPTER THREE: Modal Logic
 40 CHAPTER FOUR: Conditional Logic
 71 CHAPTER FIVE: Relevantistic Logic
 99 CHAPTER SIX: Intuitionistic Logic
 121 References
 143 Index 149.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780691137896 20190204
 Husserl, Edmund, 18591938.
 Dordrecht ; London : Springer, 2008.
 Description
 Book — xxix, 479 p. ; 24 cm.
 Summary

 The Idea of Pure Logic as a Formal Theory of Science. The Characterization of What is Logical Taking the Exact Sciences as Point Of Departure. Pure Logic as Theoretical Science. Formal and Real Logic. Noetics, Theory of Knowledge, and Phenomenology. Noetics as Theory of Justification of Knowledge. Theory of Knowledge as First Philosophy. Phenomenology as Science of Pure Consciousness. The Forms of Objectification. The Lower Forms of Objectification. The Higher Forms of Objectification.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9781402067259 20180521
 Online

 dx.doi.org SpringerLink
 Google Books (Full view)
9. 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 
 Uppsala : Uppsala Universitet, c2006.
 Description
 Book — 442 p. : ill. ; 25 cm.
 Online
11. A companion to philosophical logic [2002]
 Malden, Mass. ; Oxford : Blackwell Pub., 2002.
 Description
 Book — xiii, 816 p. : ill. ; 26 cm.
 Summary

 Preface.Acknowledgments.List of Contributors.Introduction: Logic, Philosophy, and Philosophical Logic: Dale Jacquette (Pennsylvania State University).Part I: Historical Development of Logic:1. Ancient Greek Philosophical Logic: Robin Smith (Texas A M University).2. History of Logic: Medieval: B.G. Sundholm (Leiden University) and E.P. Bos (Leiden University).3. The Rise of Modern Logic: Rolf George (University of Waterloo) and James Van Evra (University of Waterloo).Part II: Symbolic Logic and Ordinary Language:4. Language, Logic, and Form: Kent Bach (San Francisco State University).5. Puzzles About Intensionality: Nathan Salmon (University of California, Santa Barbara).6. Symbolic Logic and Natural Language: Emma Borg (University of Reading) and Ernest Lepore (Rutgers University).Part III: Philosophical Dimensions of Logical Paradoxes:7. Logical Paradoxes: James Cargile (University of Virginia).8. Semantical and Logical Paradox: Keith Simmons (University of North Carolina at Chapel Hill).9. Philosophical Implications of Logical Paradoxes: Roy A. Sorensen (Dartmouth College).Part IV: Truth and Definite Description in Semantic Analysis:10. Truth, the Liar, and Tarski's Semantics: Gila Sher (University of California, San Diego).11. Truth, the Liar, and Tarskian Truth Definition: Greg Ray (University of Florida).12. Descriptions and Logical Form: Gary Ostertag (New York University).13. Russell's Theory of Definite Descriptions as a Paradigm for Philosophy: Gregory Landini (University of Iowa).Part V: Concepts of Logical Consequence:14. Necessity, Meaning, and Rationality: The Notion of Logical Consequence: Stewart Shapiro (Ohio State University).15. Varieties of Consequence : B.G. Sundholm (Leiden University).16. Modality of Deductively Valid Inference : Dale Jacquette (Pennsylvania State University).Part VI Logic, Existence, and Ontology:17. Quantifiers, Being and Canonical Notation: Paul Gochet (University of Liege).18. From Logic to Ontology: Some Problems of Predication, Negation and Possibility: Herbert Hochberg (University of Texas).19. Putting Language First: The "Liberation" of Logic from Ontology: Ermanno Bencivenga (University of California, Irvine).Part VII: Metatheory and the Scope and Limits of Logic:20. Metatheory: Alasdair Urquhart (University of Toronto).21. Metatheory of Logics and the Characterization Problem: Jan Wolenski (Jagiellonian University).22. Logic in Finite Structures: Definability, Complexity, and Randomness: Scott Weinstein (University of Pennsylvania).Part VIII: Logical Foundations of Set Theory and Mathematics:23. Logic and Ontology: Numbers and Sets: Jose Benardete (Syracuse University).24. Logical Foundations of Set Theory and Mathematics: Mary Tiles (University of Hawaii) .25. PropertyTheoretic Foundations of Mathematics: Michael Jubien (University of California, Davis).Part IX: Modal Logics and Semantics:26. Modal Logic: Johan van Benthem (University of Amsterdam).27. First Order Alethic Modal Logic: Melvin Fitting (City University of New York).28. Proofs and Expressiveness in Alethic Modal Logic: Maarten de Rijke (University of Amsterdam) and Heinrich Wansing (Dresden University of Technology).29. Alethic Modal Logics and Semantics: Gerhard Schurz (University of Dusseldorf).30. Epistemic Logic: Nicholas Rescher (University of Pittsburgh).31. Deontic, Epistemic, and Temporal Modal Logics: Risto Hilpinen (University of Miami).Part X: Intuitionistic, Free, and ManyValued Logics:32. Intuitionism: Dirk van Dalen (University of Utrecht) and Mark van Atten (University of Utrecht).33. ManyValued, Free, and Intuitionistic Logics: Richard Grandy (Rice University).34. ManyValued Logic: Grzegorz Malinowski (University of Lodz).Part XI: Inductive, Fuzzy, and Quantum Probability Logics:35. Inductive Logic : Stephen Glaister (University of Washington).36. Heterodox Probability Theory: Peter Forrest (University of New England).37. Why Fuzzy Logic?: Petr Hajek (Academy of Sciences of the Czech Republic).Part XII: Relevance and Paraconsistent Logics:38. Relevance Logic: Edwin Mares (Victoria University of Wellington).39. Paraconsistency: Bryson Brown (University of Lethbridge).40. Logicians Setting Together Contradictories: A Perspective on Relevance, Paraconsistency, and Dialetheism: Graham Priest (University of Melbourne).Part XIII: Logic, Machine Theory, and Cognitive Science:41. The Logical and the Physical: Andrew W. Hodges (Wadham College, Oxford University).42. Modern Logic and its Role in the Study of Knowledge: Peter A. Flach (University of Bristol).43. Actions and Normative Positions: A ModalLogical Approach : Robert Demolombe (Toulouse Center) and Andrew J.I. Jones (University of Oslo).Part XIV: Mechanization of Logical Inference and Proof Discovery:44. The Automation of Sound Reasoning and Successful Proof Finding: Larry Wos (Argonne National Laboratory) and Branden Fitelson (San Jose State University).45. A Computational Logic for Applicative Common LISP: J. Strother Moore (University of Texas) and Matt Kaufmann (Advanced Micro Devices, Inc).46. Sampling Labelled Deductive Systems: D.M. Gabbay (King's College).Resources for Further Study.Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Green Library, Philosophy Library (Tanner)
Green Library  Status 

Find it Information Center  
B72 .B565 1991 V.22  Inlibrary use 
Find it Stacks  
B72 .B565 1991 V.22  Unknown 
Philosophy Library (Tanner)  Status 

Reference  
B72 .B565 1991 V.22  Inlibrary use 
12. Logic in action [2001]
 Benthem, Johan van, 1949
 Amsterdam : Universiteit van Amsterdam. Institute for Logic, Language and Computation [2001]
 Description
 Book — 153 p. : ill. (some col.) ; 24 cm.
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC71 .B378 2001  Unknown 
13. Language, proof and logic [1999]
 Barwise, Jon.
 Stanford, Calif. : CSLI Publications, 2000, c1999.
 Description
 Book — xi, 587 p. + 1 computer optical disk (4 3/4 in.) + manual (vii, 52 p.)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks


BC61 .B38 2000  Unknown 
Science Library (Li and Ma)  Status 

Stacks


BC61 .B38 2000  Unknown 
 Mohanty, J. N. (Jitendra Nath), 1928
 Dordrecht ; Boston : Kluwer Academic, c1999.
 Description
 Book — 231 p. ; 25 cm.
 Summary

 Preface. Introduction: The Origin of Logic.
 1. The Concept of 'Psychologism' in Frege and Husserl.
 2. Husserl's Thoughts on the Foundation of Logic.
 3. Aspects of Husserl's Philosophy of Logic a propos his Logic Lectures of 19067.
 6. In Search of the Actual Historical Frege.
 5. Dummett, Frege, and Phenomenology.
 6. Heidegger on Logic.
 7. Josef Konig's Distinction Between Theoretical and Practical Sentences.
 8. Lask's Theory of Judgment.
 9. Husserl on 'Possibility'
 10. Phenomenology and the Modalities.
 11. Husserl's 'Logic of Truth'.
 12. Kant on 'Truth'.
 13. Hegel's Concepts of Necessity. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780792355502 20160528
 Online
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks  
BC51 .M64 1999  Unknown 
SAL3 (offcampus storage)  Status 

Stacks  Request 
BC51 .M64 1999  Available 
 Netz, Reviel.
 Cambridge ; New York : Cambridge University Press, 1999.
 Description
 Book — xvii, 327 p. : ill. ; 24 cm.
 Summary

 Introduction: a specimen of Greek mathematics
 1. The lettered diagram
 2. The pragmatics of letters
 3. The mathematical lexicon
 4. Formulae
 5. The shaping of necessity
 6. The shaping of generality
 7. The historical setting Appendix: the main Greek mathematicians cited in the book.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780521622790 20190121
 Online
16. Introduction to logic [1998]
 Copi, Irving M.
 10th ed.  Upper Saddle River, NJ : Prentice Hall, c1998.
 Description
 Book — xx, 714 p. : ill. (some col.) ; 25 cm.
 Summary

 (NOTE: Each chapter concludes with a Summary.) I. REASONING.
 1. Basic Logical Concepts. What Logic Is. Propositions and Sentences. Arguments, Premisses, and Conclusions. More Complex Arguments. Recognizing Arguments. Deduction and Induction. Validity and Truth. Arguments and Explanations.
 2. Analyzing and Diagramming Arguments. Argument Diagrams. Analyzing Passages Containing More than One Argument. Analyzing Complex Argumentative Passages.
 3. Solving Problems Using Logic. Problem Solving. Problems in Reasoning. Retrograde Reasoning. II. LANGUAGE.
 4. The Uses of Language. Three Basic Functions of Language. Discourse Serving Multiple Functions. The Forms of Discourse. Emotive Words. Kinds of Agreement and Disagreement. Emotively Neutral Language.
 5. Definition. Disputes, Verbal Disputes, and Definitions. Kinds of Definition and the Resolution of Disputes. Denotation (Extension) and Connotation (Intension). Extension and Denotative Definitions. Intension and Connotative Definitions. Rules for Definition by Genus and Difference.
 6. Fallacies. What Is a Fallacy? Fallacies of Relevance. Fallacies of Presumption. Fallacies of Ambiguity. III. DEDUCTION.
 7. Categorical Propositions. The Theory of Deduction. Categorical Propositions and Classes. Quality, Quantity, and Distribution. The Traditional Square of Opposition. Further Immediate Inferences. Existential Import. Symbolism and Diagrams for Categorical Propositions.
 8. Categorical Syllogisms. StandardForm Categorical Syllogisms. The Formal Nature of Syllogistic Argument. Venn Diagram Technique for Testing Syllogisms. Syllogistic Rules and Syllogistic Fallacies. Exposition of the
 15 Valid Forms of the Categorical Syllogism.
 9. Arguments in Ordinary Language. Syllogistic Arguments in Ordinary Language. Reducing the Number of Terms in a Syllogistic Argument. Translating Categorical Propositions into Standard Form. Uniform Translation. Enthymemes. Sorites. Disjunctive and Hypothetical Syllogisms. The Dilemma.
 10. Symbolic Logic. The Symbolic Language of Modern Logic. The Symbols for Conjunction, Negation, and Disjunction. Conditional Statements and Material Implication. Argument Forms and Arguments. Statement Forms, Material Equivalence, and Logical Equivalence. The Paradoxes of Material Implication. The Three "Laws of Thought."
 11. The Method of Deduction. Formal Proof of Validity. The Rule of Replacement. Proof of Invalidity. Inconsistency.
 12. Quantification Theory. Singular Propositions. Quantification. Traditional SubjectPredicate Propositions. Proving Validity. Proving Invalidity. Asyllogistic Inference. IV. INDUCTION.
 13. Analogy and Probable Inference. Argument by Analogy. Appraising Analogical Arguments. Refutation by Logical Analogy.
 14. Causal Connections: Mill's Methods of Experimental Inquiry. Cause and Effect. Mill's Methods. Critique of Mill's Methods.
 15. Science and Hypothesis. The Values of Science. Explanations: Scientific and Unscientific. Evaluating Scientific Explanation. Seven Stages of Scientific Investigation. Scientists in Action: The Pattern of Scientific Investigation. Crucial Experiments and Ad Hoc Hypotheses. Classification as Hypothesis.
 16. Probability. Alternative Conceptions of Probability. The Probability Calculus. Probability of Joint Occurrences. Probability of Alternative Occurrences. Expected Value. Solutions to Selected Exercises. Special Symbols. Glossary and Index of Logical Terms. Index of Names and Titles.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780132425872 20160528
 Online
Philosophy Library (Tanner)
Philosophy Library (Tanner)  Status 

Stacks  
BC108 .C69 1998  Unknown 
17. Logic, logic, and logic [1998]
 Boolos, George.
 Cambridge, Mass : Harvard University Press, 1998.
 Description
 Book — ix, 443 p. ; 25 cm.
 Summary

 Part 1 Studies on set theory and the nature of logic: the iterative conception of set reply to Charles Parsons' "Sets and Classes" on secondorder logic to be is to be a value of a variable (or to be some values of some variables) nominalist platonism iteration again introductory note to Kurt Godel's "Some Basic Theorems on the Foundations of Mathematics and their Implications" must we believe in set theory?.
 Part 2 Frege studies: Gottlob Frege and the foundations of arithmetic reading the "Bergriffsschrift" saving Frege from contradiction the conspiracy of Frege's "Foundations of Arithmetic" the standard of equality of numbers whence the contradiction? 1879? the advantages of honest toil over theft on the proof of Frege's theorem Frege's theorem and the Peano Postulates is Hume's principle analytic? Die Grundlagen der Arithmetik 8283 (Richard Heck) constructing Cantorian counterexamples.
 Part 3 Various logical studies and lighter papers: zooming down the slippery slope don't eliminate cut the justification of mathematical induction a curious inference a new proof of the Godel Incompleteness theorem on "seeing" the truth of the Godel sentence quotational amibguity the hardest logical puzzle ever Godel's Second Incompleteness theorem explained in words of one syllable.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780674537668 20160527
 Online
 Grim, Patrick.
 Cambridge, Mass. : MIT Press, c1998.
 Description
 Book — viii, 321 p. : ill. ; 26 cm. + 1 computer laser optical disc (4 3/4 in.).
 Summary

 Part 1 Chaos, fractals and the semantics of paradox: from the bivalent liar to dynamical semantics the simple liar in infinitevalued logic some quasiparadoxical sentences the chaotic and logistic liars chaotic dualists and strange attractors fractals in the semantics of paradox the triplist and threedimensional attractors philosophical and metalogical applications.
 Part 2 Notes on epistemic dynamics: toward a simple model  some basic concepts selfreference and reputation the simplest cases epistemic dynamics with multiple inputs tangled reference to reputation conclusion.
 Part 3 Fractal images of formal systems: the example of tictactoe "rug" enumeration images tautology fractals the Sierpinski triangle  a paradoxical introduction a Sierpinski tautology map value solids and multivalued logics cellular automata in value space conclusion.
 Part 4 The evolution of generosity in a Hobbesian model: the prisoner's dilemma classical strategies in iteration generosity in an imperfect world spatialization of the prisoner's dilemma a note on some deeper strategies greater generosity in an imperfect spatial world conclusion.
 Part 5 Realvalued game theory  real life, cooperative chaos and discrimination: real life chaotic currents in real life realvalued prisoner's dilemmas PAVLOV and other twodimensional strategies cooperative chaos in infinitevalued logic the problem of discrimination continuity in cooperation, the "veil of ignorance" and forgiveness conclusion.
 Part 6 Computation and undecidability in the spatialized prisoner's dilemma: undecidability and the prisoner's dilemma two abstract machines computation and undecidability in competitive cellular automata computation and undecidability in the spatialized prisoner's dilemma appendix A competitive strategies adequate for a Minsky register machine appendix B  an algebraic treatment for competitive strategies.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780262071857 20190121
Philosophy Library (Tanner), SAL3 (offcampus storage)
Philosophy Library (Tanner)  Status 

Stacks


B54 .G75 1998  Unknown 
SAL3 (offcampus storage)  Status 

Stacks

Request 
B54 .G75 1998  Available 
19. The Frege reader [1997]
 Works. Selections. English. 1997
 Frege, Gottlob, 18481925.
 Oxford ; Malden, MA : Blackwell Publishers, 1997.
 Description
 Book — xv, 409 p. : ill. ; 24 cm.
 Summary

 Preface. Abbreviations of Works by Frege. Glossary. Introduction. Begriffsschrift (1879): Selections (Preface and Part I). 'Letter to Marty,
 29.
 8. 1882'. The Foundations of Arithmetic (1884): Selections (Introduction and 14, 4569, 8791, 1049 with summaries of the remaining sections). 'Function and Concept' (1891). 'Letter to Husserl,
 24.
 5. 1891': Extract. 'On Sinn and Bedeutung' (1892). 'Comments on Sinn and Bedeutung ' (1892). 'On Concept and Object' (1892). Grundgesetze der Aristmetik, Volume I (1893): Selections (Preface, Introduction, 17, 2629, 3233). 'Review of E. G. Husserl, Philosophie der Arithmetik I' (1894): Extract. 'Logic' (1897): Extract. 'On Euclidean Geometry' (c. 1900). 'Letter to Russell,
 22.
 6. 1902': Extract. 'Letter to Russell,
 28.
 12. 1902': Extract. Grundgesetze der Aristmetik, Volume II (1903): Selections (5567, 13847, Appendix). 'Letter to Russell,
 13.
 11. 1904': Extract. 'Introduction to Logic' (1906): Extract. 'A Brief Survey of my Logical Doctrines' (1906): Extract. 'Letters to Husserl, 1906'. 'Logic in Mathematics' (1914): Extract. 'Letter to Jourdain, Jan. 1914': Extract. 'My Basic Logical Insights' (c. 1915). 'Thought' (1918). 'Negation' (1918). 'Notes for Ludwig Darmstaedter' (1919). 'Sources of Knowledge of Mathematics and the Mathematical Natural Sciences' (1924/5): Extract. 'Numbers and Arithmetic' (1924/5).
 Appendix 1: Chronology of Frege's Life and Works.
 Appendix 2: Frege's Logical Notation.
 Appendix 3: Guide to Further Reading. Bibliography. Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9780631194446 20160527
 Online
Green Library, Philosophy Library (Tanner)
Green Library  Status 

Find it Bender Room  
B3245 .F22 E52 1997  Inlibrary use 
Find it Stacks  
B3245 .F22 E52 1997  Unknown 
Philosophy Library (Tanner)  Status 

Stacks  
B3245 .F22 E52 1997  Unknown 
B3245 .F22 E52 1997  Unknown 
20. Exploring logical dynamics [1996]
 Benthem, Johan van, 1949
 Stanford, Calif. : CSLI Publications, 1996.
 Description
 Book — xi, 329 p. ; 24 cm.
 Summary

 Introduction
 1. Cognitive actions
 2. Dynamification
 3. Technical tools
 4. Process simulation and definability
 5. Relational algebra of process operations
 6. Twolevel staticdynamic architecture
 7. Dynamic styles of inference
 8. Decidable remodelling: arrow logic
 9. Modal foundations for predicate logic
 10. Computational process theories
 11. Imperative aspects of logic programs
 12. Understanding natural language
 13. Philosophical repercussions Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data) 9781575860596 20160528
 Online
Green Library, Philosophy Library (Tanner)
Green Library  Status 

Find it Jonsson Social Sciences Reading Room: CSLI publications  
BC71 .B376 1996  Unknown 
Find it Stacks  
BC71 .B376 1996  Unknown 
Philosophy Library (Tanner)  Status 

Stacks  
BC71 .B376 1996  Unknown 