Philosophy: logic Books
Cambridge University Press Logical Dynamics of Information and Interaction
a huge range and FREE tracked UK delivery on ALL orders.
£99.75
Cambridge University Press The Evolution of Reason
a huge range and FREE tracked UK delivery on ALL orders.
£71.25
Cambridge University Press The Structure of Values and Norms
a huge range and FREE tracked UK delivery on ALL orders.
£85.50
Cambridge University Press Structural Proof Theory
a huge range and FREE tracked UK delivery on ALL orders.
£85.50
Cambridge University Press Practical Rules
a huge range and FREE tracked UK delivery on ALL orders.
£55.10
Cambridge University Press The Uses of Argument
a huge range and FREE tracked UK delivery on ALL orders.
£91.19
Cambridge University Press Georg Wilhelm Friedrich Hegel The Science of Logic
Book SynopsisThis translation of Hegel's 'Greater Logic' includes the revised Book I (1832), Book II (1813) and Book III (1816). The volume's introduction presents in synoptic form the results of recent scholarship on the subject. The translation is accompanied by a full apparatus of historical and explanatory notes.Trade Review"...The Science of Logic is a very provocative and interesting book, inspiring thinking in directions not thought before." --George Lăzăroiu, PhD, Institute of Interdisciplinary Studies in Humanities and Social Sciences, New York, Analysis and MetaphysicsTable of ContentsAcknowledgments; List of abbreviations; Introduction; Notes on the translation; The Science of Logic: Preface to the first edition; Preface to the second edition; Introduction; Book I. The doctrine of being; Book II. Essence; Book III. The doctrine of the concept; Appendix. Hegel's logic in its revised and unrevised parts; Bibliography; Index.
£181.45
Cambridge University Press The Cambridge Companion to Carnap
a huge range and FREE tracked UK delivery on ALL orders.
£79.93
Cambridge University Press Grounded Consequence for Defeasible Logic
a huge range and FREE tracked UK delivery on ALL orders.
£85.50
Cambridge University Press Fallacies and Argument Appraisal
a huge range and FREE tracked UK delivery on ALL orders.
£71.25
Cambridge University Press Hegels Critique of Metaphysics
Book SynopsisBéatrice Longuenesse offers a close analysis of the core issues in Hegel's Science of Logic and discusses both Hegel's debt and his polemical reaction to Kant. This book will appeal to anyone interested in Hegel's philosophy and its influence on contemporary philosophical discussion.Table of ContentsPart I. Hegel's Critique of Metaphysics: a study of the Doctrine of Essence: Introduction; 1. Transcendental logic and dialectical logic: from Kant to Hegel, a critique of all dogmatic metaphysics; 2. Twists and turns of Hegel's contradiction; 3. Ground against Concept?; 4. What is rational is actual, what is actual is rational; Conclusion; Part II. Point of View of Man or Knowledge of God: 5. Point of view of man or knowledge of God: Kant and Hegel on concept, judgement and reason; 6. Hegel on Kant on judgment.
£85.50
Cambridge University Press A Theory of Argument
a huge range and FREE tracked UK delivery on ALL orders.
£81.00
Cambridge University Press Elements of Moral Cognition
a huge range and FREE tracked UK delivery on ALL orders.
£68.40
Cambridge University Press The Emergence of Meaning 135 Cambridge Studies in Linguistics Series Number 135
a huge range and FREE tracked UK delivery on ALL orders.
£89.87
Cambridge University Press Computability and Logic
Book SynopsisComputability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This fifth edition was first published in 2007.Trade Review'… gives an excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' American Math Monthly'The writing style is excellent: Although many explanations are formal, they are perfectly clear. Modern, elegant proofs help the reader understand the classic theorems and keep the book to a reasonable length.' Computing Reviews' … a valuable asset to those who want to enhance their knowledge and strengthen their ideas in the areas of artificial intelligence, philosophy, theory of computing, discrete structures, mathematical logic. It is also useful to teachers for improving their teaching style in these subjects.' Computer EngineeringTable of ContentsPart 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 first-order logic: syntax; 10. A precis of first-order logic: semantics; 11. The undecidability of first-order 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. Second-order logic; 23. Arithmetical definability; 24. Decidability of arithmetic without multiplication; 25. Non-standard models; 26. Ramsey's theorem; 27. Modal logic and provability.
£82.64
Cambridge University Press Informal Logic A Pragmatic Approach
Book SynopsisSecond edition of the introductory guidebook to the basic principles of constructing sound arguments and criticising bad ones. Non-technical in approach, it is based on 186 examples, which Douglas Walton, a leading authority in the field of informal logic, discusses and evaluates in clear, illustrative detail.Trade Review"Walton here updates his fine book on informal logic/critical thinking...Probably the best work on critical thinking to date, this volume would be an excellent text for courses on informal logic...Summing up: Essential. " - R. Puligandla, University of Toledo, ChoiceTable of Contents1. Argument as reasoned dialogue; 2. Questions and answers in dialogue; 3. Criticism of irrelevance; 4. Appeals to emotion; 5. Valid arguments; 6. Personal attack in argumentation; 7. Appeals to authority; 8. Inductive errors, bias, and fallacies; 9. Natural language argumentation.
£80.75
Cambridge University Press Ancient SelfRefutation
a huge range and FREE tracked UK delivery on ALL orders.
£87.00
Cambridge University Press Free Logic
Book Synopsis
£17.00
Cambridge University Press The Logic of Precedent
a huge range and FREE tracked UK delivery on ALL orders.
£81.00
Cambridge University Press The Logic of Entailment and its History
a huge range and FREE tracked UK delivery on ALL orders.
£80.75
Cambridge University Press A Theory of Truth
a huge range and FREE tracked UK delivery on ALL orders.
£114.00
Cambridge University Press An Introduction to Classical and Modal Logics
a huge range and FREE tracked UK delivery on ALL orders.
£71.24
Cambridge University Press Free Logic
a huge range and FREE tracked UK delivery on ALL orders.
£47.49
Cambridge University Press What Is Life Revisited
a huge range and FREE tracked UK delivery on ALL orders.
£52.25
Cambridge University Press The Scope of Evolutionary Thinking
a huge range and FREE tracked UK delivery on ALL orders.
£52.25
Cambridge University Press Logical Dynamics of Information and Interaction
Book SynopsisThis book develops a view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It will interest students and scholars in a wide variety of subject areas.Trade Review'Logical Dynamics [of Information and Interaction] is at the frontiers of applied logic. This is an essential book for any student of the subject, written by a master of the field.' Dov Gabbay, King's College London'… this book is the best we can have for now as a great source for the research in the field of logical dynamics of information and interaction. It can be used as a handbook of DEL as well. I think the author has succeeded in demonstrating a new view of logic as a theory of information flow in the interaction of agents.' Yanjing Wang, Studia LogicaTable of ContentsPreface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic 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.
£42.74
Cambridge University Press Axiomatic Theories of Truth
Book SynopsisVolker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the philosophical topics related to truth. His book will be indispensable reading for any graduate or professional philosopher in theories of truth.Table of ContentsPreface; 1. Foundations; 2. Typed truth; 3. Type-free truth; 4. Ways to the truth; 5. Index of systems; Bibliography; Index.
£37.04
Cambridge University Press Logical Modalities from Aristotle to Carnap
Book SynopsisThe essays in this volume examine the theories about the logical modalities (necessity and possibility) held by leading philosophers from Aristotle in ancient Greece to Rudolf Carnap in the twentieth century. The volume is intended for those with an interest in the logic and philosophy of modality.Table of ContentsIntroduction Max Cresswell, Edwin Mares and Adriane Rini; 1. Aristotle on the necessity of the consequent Adriane Rini; 2. Aristotle on one-sided possibility Marko Malink; 3. Why does Aristotle need a modal syllogistic? Robin Smith; 4. Necessity, possibility and determinism in Stoic thought Vanessa de Harven; 5. Necessity in Avicenna and the Arabic tradition Paul Thom; 6. Modality without the Prior Analytics: early twelfth-century accounts of modal propositions Chris Martin; 7. Ockham and the foundations of modal theory in the fourteenth century Calvin G. Normore; 8. Theological and scientific applications of the notion of necessity in the mediaeval and early modern periods Jack MacIntosh; 9. Locke and the problem of necessity in early modern philosophy Peter Anstey; 10. Leibniz's theories of necessity Brandon C. Look; 11. Leibniz and the lucky proof Jonathan Westphal; 12. Divine necessity and Kant's modal categories Nicholas Stang; 13. Charles Sanders Peirce on necessity Catherine Legg and Cheryl Misak; 14. The development of C. I. Lewis's philosophy of modal logic Edwin Mares; 15. Carnap's modal predicate logic Max Cresswell.
£36.87
Cambridge University Press Formal Languages in Logic A Philosophical And Cognitive Analysis
Book SynopsisFormal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.Trade Review'Since the rise of logical empiricism, formal languages have become essential tools of doing philosophy. But why does formalization work? And what are its limitations? This book fills a crucial gap in the literature by addressing these questions from a cognitive, historical, and logical point of view. I recommend it to formal philosophers, critics of formal philosophy, and everyone with an interest in the techniques of conceptual engineering per se.' Hannes Leitgeb, Ludwig Maximilians Universität MunichTable of ContentsIntroduction; 1. Two notions of formality; 2. On the very notion of a formal language; 3. The history, purposes and limitations of formal languages; 4. How we do reason, and the need for counterbalance in science; 5. Formal languages and extended cognition; 6. De-semantification; 7. The debiasing effect of formalization; Conclusion.
£31.90
Cambridge University Press The Logic in Philosophy of Science
Book SynopsisMajor figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory can be reduced to one in which all truths are analytic. This book dissects these and other arguments through in-depth investigation of the mathematical facts undergirding them. It presents a systematic, mathematically rigorous account of the key notions arising from such debates, including theory, equivalence, translation, reduction, and model. The result is a far-reaching reconceptualization of the role of formal methods in aTrade Review'This book offers a masterful and comprehensive treatment of the metalogical concepts, distinctions and theorems with which modern philosophy of science is so heavily involved. Both students and professionals in the field can expect to learn much from Halvorson's patient and lucid exposition. Any serious student of general philosophy of science will want to refer to it repeatedly.' Arif Ahmed, University of Cambridge'The book is effectively organized, interspersing formal results and helpful examples among purely textual sections containing thought-provoking discussion … scholars interested in fresh insights into past and current stances/arguments/positions in the philosophy of science, Halvorson's book will be of great value.' R. DeWitt, Choice'Hans Halvorson's The Logic in Philosophy of Science is highly impressive-technically astute and philosophically accomplished … [this] is obviously a work of technical brilliance and philosophical acumen.' T. Parent, MetascienceTable of ContentsIntroduction: 1. Invitation to metatheory; 2. The category of sets; 3. The category of propositional theories; 4. Syntactic metalogic; 5. Syntactic metalogic redux; 6. Semantic metalogic; 7. Semantic metalogic redux; 8. From metatheory to philosophy.
£29.44
Cambridge University Press The Cambridge Companion to Philosophical Methodology Cambridge Companions to Philosophy
Book SynopsisThe Cambridge Companion to Philosophical Methodology offers clear and comprehensive coverage of the main methodological debates and approaches within philosophy. The chapters in this volume approach the question of how to do philosophy from a wide range of perspectives, including conceptual analysis, critical theory, deconstruction, experimental philosophy, hermeneutics, Kantianism, methodological naturalism, phenomenology, and pragmatism. They explore general conceptions of philosophy, centred on the question of what the point of philosophising might be; the method of conceptual analysis and its recent naturalistic critics and competitors; perspectives from continental philosophy; and also a variety of methodological views that belong neither to the mainstream of analytic philosophy, nor to continental philosophy as commonly conceived. Together they will enable readers to grasp an unusually wide range of approaches to methodological debates in philosophy.Trade Review'What sets this Companion apart from other recent work on philosophical methodology is its perspective. The essays in this timely volume focus on three metaphilosophical domains - conceptual analysis in analytic philosophy, Continental methodologies, and methodologies lying at the analytic/Continental divide. … This excellent resource will be valuable to those interested in either metaphilosophy overall or one particular methodology. … Summing Up: Highly recommended. Lower-division undergraduates through faculty.' J. McBain, CHOICETable of ContentsIntroduction Søren Overgaard and Giuseppina D'Oro; Part I. Visions Of Philosophy: 1. Doing philosophy Alessandra Tanesini; 2. Philosophy as rational systematization Nicholas Rescher; 3. Sense-making from a human point of view Adrian Moore; 4. Disagreement in philosophy: an optimistic perspective Herman Cappelen; Part II. Conceptual Analysis and the Naturalistic Challenge: 5. Impure conceptual analysis Hans-Johann Glock; 6. What can we do, when we do metaphysics? Amie L. Thomasson; 7. Armchair metaphysics revisited: the three grades of involvement in conceptual analysis Frank Jackson; 8. A naturalistic methodology Hilary Kornblith; 9. What is negative experimental philosophy good for? Joanathan M. Weinberg; Part III. Between Analysis and the Continent: 10. Life-changing metaphysics: rational anthropology and its Kantian methodology Robert Hanna; 11. Collingwood's idealist metaontology: between therapy and armchair science Giuseppina D'oro; 12. Pragmatism and the limits of metaphilosophy Robert B. Talisse; 13. Metaphysical quietism and everyday life David Macarthur; 14. The metaphilosophy of the analytic-continental divide: from history to hope Robert Piercey; Part IV. Continental Perspectives: 15. Phenomenological method and the achievement of recognition: who's been waiting for phenomenology? David R. Cerbone; 16. Existentialist methodology and perspective: writing the first person Jack Reynolds and Patrick Stokes; 17. Hermeneutics and the question of method Kristin Gjesdal; 18. Critical theory's philosophy Fabian Freyenhagen; 19. An extension of deconstructionist methodology Leonard R. Lawlor; 20. Pathological experience: a challenge for transcendental constitution theory? Jean-Luc Petit.
£29.44
Cambridge University Press Elements of Logical Reasoning
Book SynopsisSome of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics and computer science.Trade Review'Elements of Logical Reasoning fills a gap by providing some much needed explanation and motivation to an otherwise dry literature.' Henry Towsner, The Mathematical IntelligencerTable of ContentsPart I. First Steps in Logical Reasoning: 1. Starting points; 2. Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search in classical logic; 7. The semantics of propositional logic; Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers; 9. Derivations in predicate logic; 10. The semantics of predicate logic; Part III. Beyond Pure Logic: 11. Equality and axiomatic theories; 12. Elements of the proof theory of arithmetic; Part IV. Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting.
£22.99
Cambridge University Press A New Law of Thought and its Logical Bearings
Book SynopsisEmily Elizabeth Constance Jones (1848â1922) was an English logician and contemporary of Bertrand Russell, as well as Mistress of Girton College, Cambridge. In this book, originally published in 1911, she argues for the existence of another fundamental law of thought to join the Law of Contradiction and the Law of Excluded Middle: the Law of Significant Assertion. This book will be of value to anyone with an interest in logic or in Jones' work.Table of ContentsIntroductory statement; Statement of the case; Fallacies; Definitions of certain terms.
£24.99
Cambridge University Press The Cambridge Companion to Medieval Logic Cambridge Companions to Philosophy
Book SynopsisAnyone interested in the history of logic, and the history of philosophy more generally, will greatly benefit from this volume which focuses on an extremely rich period in the history of logic: the medieval period. A must-read for students as well as scholars of the history of philosophy.Table of ContentsList of contributors; Introduction Catarina Dutilh Novaes and Stephen Read; Part I. Periods and Traditions: 1. The legacy of ancient logic in the Middle Ages Julie Brumberg-Chaumont; 2. Arabic logic up to Avicenna Ahmad Hasnawi and Wilfrid Hodges; 3. Arabic logic after Avicenna Khaled El-Rouayheb; 4. Latin period up to 1200 Ian Wilks; 5. Logic in the Latin thirteenth century Sara L. Uckelman and Henrik Lagerlund; 6. Logic in the Latin West in the fourteenth century Stephen Read; 7. The post-medieval period E. Jennifer Ashworth; Part II. Themes: 8. Logica vetus Margaret Cameron; 9. Supposition and properties of terms Christoph Kann; 10. Propositions: their meaning and truth Laurent Cesalli; 11. Sophisms and insolubles Mikko Yrjönsuuri and Elizabeth Coppock; 12. The syllogism and its transformations Paul Thom; 13. Consequence Gyula Klima; 14. The logic of modality Riccardo Strobino and Paul Thom; 15. Obligationes Catarina Dutilh Novaes and Sara L. Uckelman; Bibliography; Index.
£29.44
Cambridge University Press The Cambridge Companion to Ancient Logic
Book SynopsisThis state-of-the-art overview of ancient logic for students and scholars covers the development of logic in Aristotle and the Stoics, the key concepts at the heart of the ancient logical systems and the legacy of ancient logic in the later philosophical tradition, from the Middle Ages to today.Table of ContentsPart I. The Development of Logic in Antiquity: 1. The prehistory of logic Nicholas Denyer; 2. Aristotle and Theophrastus Paolo Fait; 3. Megarians and Stoics Karlheinz Hülser; 4. Late antiquity Benjamin Morison; Part II. Key Themes: 5. Truth as a logical property and the laws of being true Walter Cavini; 6. Definition Michael Ferejohn; 7. Terms and propositions Paolo Crivelli; 8. Validity and syllogism Luca Castagnoli and Paolo fait; 9. Demonstration Alexander Bown; 10. Modalities and modal logic Marko Malink; 11. Fallacies and paradoxes Luca Castagnoli; 12. Logic in ancient rhetoric Christof Rapp; 13. Ancient logic and ancient mathematics Reviel Netz; Part III. The Legacy of Ancient Logic: 14. Ancient logic in the middle ages John Marenbon; 15. Ancient logic from the Renaissance to the birth of mathematical logic Mirella Capozzi and Leila Haaparanta; 16. Ancient logic today John Woods.
£25.64
Cambridge University Press The Practice of Argumentation
Book SynopsisThis book uses different perspectives on argumentation to show how we create arguments, test them, attack and defend them, and deploy them effectively to justify beliefs and influence others. David Zarefsky uses a range of contemporary examples to show how arguments work and how they can be put together, beginning with simple individual arguments, and proceeding to the construction and analysis of complex cases incorporating different structures. Special attention is given to evaluating evidence and reasoning, the building blocks of argumentation. Zarefsky provides clear guidelines and tests for different kinds of arguments, as well as exercises that show student readers how to apply theories to arguments in everyday and public life. His comprehensive and integrated approach toward argumentation theory and practice will help readers to become more adept at critically examining everyday arguments as well as constructing arguments that will convince others.Trade Review'… Zarefsky (Northwestern Univ.) provides yet another thoroughly researched, well-written work on argumentation and persuasion … While reading through these chapters, readers are likely to feel as if they are being intellectually fed by a master teacher. One can find many well-written textbooks and secondary studies on this topic … What sets Zarefsky's book apart from other texts is his infusion of nuanced ideas, such as preemptive moves and intensity. Exercises at the end of each chapter are well suited for classroom discussions … The well-developed index will be a valuable resource.' K. L. Majocha, ChoiceTable of ContentsPreface; 1. The argumentative perspective; 2. What arguments look like; 3. The emergence of controversy; 4. Evidence in argumentation; 5. Argument schemes; 6. Fallacies; 7. Case construction; 8. Attack and defense; 9. Language, style, and presentation; 10. Where and why we argue; Appendix: learning argumentation through debate.
£23.99
Cambridge University Press The Principles of Logic Volume 2
Book SynopsisF. H. Bradley (18461924) was the most influential of the British Idealist philosophers who adopted the work of Hegel while rejecting utilitarianism. This major two-volume work was first published in 1883 and is reissued here in the 1922 second edition. Volume 2 contains further discussion of inference, and some essays.Table of ContentsBook III. Part I. Inference Continued: 1. The enquiry reopened; 2. Fresh specimens of inference; 3. General characteristics of inference; 4. The main types of inference; 5. Another feature of inference; 6. The final essence of reasoning; 7. The beginnings of inference; Book III. Part II. Inference Continued: 1. Formal and material reasoning; 2. The cause and the because; 3. The validity of inference; 4. The validity of inference continued; Terminal Essays: 1. On inference; 2. On judgment; 3. On the extensional reading of judgments; 4. Uniqueness; 5. The 'this'; 6. The negative judgment; 7. Of the impossible, the unreal, the self-contradictory, and the unmeaning; 8. Some remarks on absolute truth and on probability; 9. A note on analysis; 10. A note on implication; 11. On the possible and the actual; 12. On theoretical and practical activity; Index.
£30.99
Cambridge University Press Rational Choice Using Imprecise Probabilities and
Book SynopsisAn agent often does not have precise probabilities or utilities to guide resolution of a decision problem. I advance a principle of rationality for making decisions in such cases. To begin, I represent the doxastic and conative state of an agent with a set of pairs of a probability assignment and a utility assignment. Then I support a decision principle that allows any act that maximizes expected utility according to some pair of assignments in the set. Assuming that computation of an option''s expected utility uses comprehensive possible outcomes that include the option''s risk, no consideration supports a stricter requirement.Table of Contents1. Introduction; 2. Imprecision; 3. Rational imprecision; 4. Probabilism; 5. The expected-utility principle; 6. Norms for imprecise attitudes; 7. The permissive principle of choice; 8. Sequences of choices; 9. Choices in games of strategy; 10. Conclusion.
£17.00
Cambridge University Press Modern Mathematical Logic
Book SynopsisThis textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers'' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.Trade Review'This is an excellent introduction to mathematical logic for upper-year undergraduate students with some background in theoretical mathematics. The many wonderful examples relate mathematical logic to other areas of mathematics. Beyond the usual setup and culmination with completeness and incompleteness, Mileti gives a strong introduction to set theory, model theory, and computability. Instructors have the flexibility to suit the examples and direction to their students' backgrounds, and curious students will have an excellent reference for topics not covered in their course. Mileti's gentle prose guides the reader from topic to topic, explaining what we are doing, and why.' Barbara F. Csima, University of Waterloo'This book is a modern introduction to mathematical logic for a new generation of students. Filled to the brim with examples to motivate students and better explain the myriad topics covered, it is more detailed and complete than almost any text on the subject. Yet, amazingly, it is still quite concise and easy to read. Without a doubt, this is bound to be a new classic.' Damir Dzhafarov, University of Connecticut'Building on its author's substantial experience teaching courses in the field, this book provides a thorough and wide-ranging introduction to mathematical logic. The careful choice of topics and high level of detail, particularly in early sections covering material that is often challenging even for mathematically well-prepared students, will make it suitable both for one-course introductions to the field and for syllabuses aimed at preparing students for graduate-level courses in subfields such as set theory, model theory, computability theory, and proof theory.' Denis Hirschfeldt, University of Chicago'Mileti's Modern Mathematical Logic is an absorbing, comprehensive, and well-organized textbook. It contains clear-cut and detailed descriptions of the basic ideas and mathematical arguments, a good number of helpful examples and stimulating exercises, and lucid explanations of the modern view of mathematical logic. It is highly recommended for beginners.' Makoto Kikuchi, Kobe University'This is a great book. I've used drafts to teach mathematical logic many times in the past and students love it. They find that it is very complete, that it doesn't miss any detail, and that it is a great complement to my informal style of teaching.' Antonio Montalbán, University of California, Berkeley'I enjoyed using early versions of this text. For mathematics students, it was much better than any of the standard texts. It begins with a general mathematical approach to induction, recursion, and generation to develop both syntax and semantics. It then offers a variety of tailored routes through wide swaths of logic using real mathematical examples. I highly recommend it.' Richard A. Shore, Cornell University'This book gives a great introduction to mathematical logic for an advanced undergraduate or early graduate-level course. From propositional logic and completeness, through the basics of set theory and model theory, to the incompleteness theorem, the author skillfully presents notions and proofs without shying away from technical details. The exercises after each chapter are at the appropriate level, leading students into more in-depth explorations of various directions related to the topic at hand.' Mariya Soskova, University of Wisconsin-Madison'This is the logic book I would have written if I could write as clearly as Mileti. At last, a complete introduction to the subject from a modern mathematical perspective that proves the incompleteness theorems while also providing a gentle introduction to model theory, set theory, and computability theory along the way.' Henry Towsner, University of PennsylvaniaMileti has written a careful, rigorous treatment of a broad range of topics in mathematical logic. This is a valuable addition to the literature. Daniel J. Velleman, Amherst CollegeTable of ContentsPreface; Acknowledgements; 1. Introduction; 2. Induction and recursion; 3. Propositional logic; 4. First-order logic: languages and structures; 5. Relationships between structures; 6. Implication and compactness; 7. Model theory; 8. Axiomatic set theory; 9. Ordinals, cardinals, and choice; 10. Set-theoretic methods in model theory; 11. Computable sets and functions; 12. Logic, computation, and incompleteness; Appendix: mathematical background; References; Index.
£47.49
Cambridge University Press Gödel Tarski and the Lure of Natural Language
Book SynopsisIs mathematics ''entangled'' with its various formalisations? Or arethe central conceptsof mathematics largely insensitivetoformalisation, or ''formalism free''? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired bywhat she calls the ''natural language moves'' of Gödeland Tarski, Juliette Kennedy considers what rolesthe concepts of ''entanglement'' and ''formalism freeness'' play in a range oflogical settings, from computability and set theory to model theory and second order logic, to logicality, developing an entirely original philosophy of mathematics along the way. Thetreatment is historically, logically and set-theoretically rich, andtopics such as naturalism and foundations receive their due, but now with a new twist.Trade Review'Kennedy creatively embeds Gödel's ideal of 'formalism freeness' into myriad results in contemporary logic and foundations of mathematics, offering novel historical reconstructions of Tarski and Turing. A cutting-edge work of philosophy that synthesizes, while going beyond, our current ideas about foundations.' Juliet Floyd, Boston UniversityTable of Contents1. Introduction; 1.1 The Syntax/Semantics Distinction; 1.2 Our Logical Pluralism; 1.3 Formal vs Linguistic Semantics; 2. Formalism Freeness and Entanglement: Definitions; 2.1 Precedents; 2.2 Entanglement and Formalism Freeness: Varieties; 2.3 A Simple Preference for Semantic Methods?; 3. Computability: the Primary Example; 3.1 On Adequacy; 3.2 Different Notions of Computability Emerge in the 1930s; 3.3 The 'Scope Problem'; 3.4 Turing's Analysis of Computability; 3.5 Gödel's Reaction to Turing's Work at the Time; 3.6 Coda: a Word About Deviant Encodings; 4. Gödel and Formalism Independence; 4.1 Gödel on Formalism; 4.2 Episodes of Formalism Independence in Gödel's Writings; 4.3 Gödel's Princeton Bicentennial Lecture; 4.4 Implementation; 4.5 Logical Autonomy?; 5. Tarski and 'the Mathematical'; 5.1 'The Mathematical', Definable Sets of Reals, and Naïve Set Theory; 5.2 Tarski's Naturalism; 5.3 Squeezing First Order Definability; 5.4 Tarski and Logicality; 5.5 In Sum: Parataxis; 5.6 Coda: an Improvement of McGee's Theorem; 6. Model Theoretic Aspects; 6.1 Abstract Elementary Classes; 6.2 Patchwork Foundations, On-Again-Off-Again-Sim and Implicit Syntax; 6.3 Implicit Syntax, Implicit Logic; 6.4 A Remark on Set Theory; 6.5 Symbiosis; 6.6 Coda: Symbiosis in Detail; 7. On the Side of Natural Language.
£22.99
Cambridge University Press Logic of Statistical Inference
Book SynopsisOne of Ian Hacking''s earliest publications, this book showcases his early ideas on the central concepts and questions surrounding statistical reasoning. He explores the basic principles of statistical reasoning and tests them, both at a philosophical level and in terms of their practical consequences for statisticians. Presented in a fresh twenty-first-century series livery, and including a specially commissioned preface written by Jan-Willem Romeijn, illuminating its enduring importance and relevance to philosophical enquiry, Hacking''s influential and original work has been revived for a new generation of readers.Table of ContentsPreface to this edition Jan-Willem Romeijn; 1. Long run frequencies; 2. The chance set-up; 3. Support; 4. The long run; 5. The law of likelihood; 6. Statistical tests; 7. Theories of testing; 8. Random sampling; 9. The fiducial argument; 10. Estimation; 11. Point estimation; 12. Bayes' theory; 13. The subjective theory.
£19.99
HarperCollins Publishers Inc The Enlightenment
Book Synopsis“[Mr. Robertson] is [a] splendid writer, astoundingly versed in European letters and gifted at vividly sketching the views of the “Enlighteners.”… Robertson, armed with a prodigious knowledge of the Enlightenment’s literary output, has captured the tone and spirit of this milieu. -- Wall Street JournalNow in paperback, a magisterial history that recasts the Enlightenment as a period not solely consumed with rationale and reason, but rather as a pursuit of practical means to achieve greater human happiness.One of the formative periods of European and world history, the Enlightenment is the fountainhead of modern secular Western values: religious tolerance, freedom of thought, speech and the press, of rationality and evidence-based argument. Yet why, over three hundred years after it began, is the Enlightenment so profoundly misunderstood as controversial, the expression of soulless calculation? The answer may be that, to an extraordinary extent, we have accepted the account of the Enlightenment given by its conservative enemies: that enlightenment necessarily implied hostility to religion or support for an unfettered free market, or that this was “the best of all possible worlds”. Ritchie Robertson goes back into the “long eighteenth century,” from approximately 1680 to 1790, to reveal what this much-debated period was really about.Robertson returns to the era’s original texts to show that above all, the Enlightenment was really about increasing human happiness - in this world rather than the next - by promoting scientific inquiry and reasoned argument. In so doing Robertson chronicles the campaigns mounted by some Enlightened figures against evils like capital punishment, judicial torture, serfdom and witchcraft trials, featuring the experiences of major figures like Voltaire and Diderot alongside ordinary people who lived through this extraordinary moment.In answering the question ''What is Enlightenment?'' in 1784, Kant famously urged men and women above all to “have the courage to use your own intellect”. Robertson shows how the thinkers of the Enlightenment did just that, seeking a well-rounded understanding of humanity in which reason was balanced with emotion and sensibility. Drawing on philosophy, theology, historiography and literature across the major western European languages, The Enlightenment is a master-class in big picture history about the foundational epoch of modern times.
£22.50
Penguin Putnam Inc Arguing for a Better World
Book SynopsisIs it sexist to say that “men are trash”? Can white people be victims of racism? Do we bear any individual responsibility for climate change?We’ve all wrestled with questions like these, whether we’re shouting at a relative across the dinner table, quarreling with old classmates on social media, or chatting late into the night with friends. Many people give kneejerk answers that roughly align with their broader belief system, but flounder when asked for their reasoning, leading to a conversational stalemate—especially when faced with a political, generational, or cultural divide.The truth is that our answers to these questions almost always rely on unexamined assumptions. In Arguing for a Better World, philosopher Arianne Shahvisi shows us how to work through thorny moral questions by examining their parts in broad daylight, equipping us to not only identify our own positions but to defend them as well. This book demonstrates
£17.00
Oxford University Press Logic
Book Synopsis
£128.99
OUP India Logic
Book Synopsis
£106.99
The University of Chicago Press For the Sake of Argument Practical Reasoning
Book SynopsisEugene Garver considers the relationship between thought and character. He demonstrates how acts of deliberation and persuasion foster friendship between individuals, leading to common action and diversity.
£999.99
MIT Press Ltd Argument and Inference An Introduction to
Book SynopsisA thorough and practical introduction to inductive logic with a focus on arguments and the rules used for making inductive inferences.This textbook offers a thorough and practical introduction to inductive logic. The book covers a range of different types of inferences with an emphasis throughout on representing them as arguments. This allows the reader to see that, although the rules and guidelines for making each type of inference differ, the purpose is always to generate a probable conclusion.After explaining the basic features of an argument and the different standards for evaluating arguments, the book covers inferences that do not require precise probabilities or the probability calculus: the induction by confirmation, inference to the best explanation, and Mill's methods. The second half of the book presents arguments that do require the probability calculus, first explaining the rules of probability, and then the proportional syllogism, inductive generalization
£38.00
MIT Press Ltd On the Brink of Paradox Highlights from the
Book SynopsisAn introduction to awe-inspiring ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, and computability theory.This book introduces the reader to awe-inspiring issues at the intersection of philosophy and mathematics. It explores ideas at the brink of paradox: infinities of different sizes, time travel, probability and measure theory, computability theory, the Grandfather Paradox, Newcomb's Problem, the Principle of Countable Additivity. The goal is to present some exceptionally beautiful ideas in enough detail to enable readers to understand the ideas themselves (rather than watered-down approximations), but without supplying so much detail that they abandon the effort. The philosophical content requires a mind attuned to subtlety; the most demanding of the mathematical ideas require familiarity with college-level mathematics or mathematical proof.The book covers Cantor's revolutionary thinking about infinity,
£40.85
