Philosophy: logic Books
College Publications Handbook of Epistemic Logic
£22.35
College Publications Aristotle's Earlier Logic
£16.72
College Publications Introduction to Deontic Logic and Normative Systems
£14.00
College Publications Kreisel's Interests: On the Foundations of Logic and Mathematics
£16.29
College Publications Model Theory for Beginners. 15 Lectures
£15.42
College Publications Welt und Logik
£19.76
College Publications Classification Theory. Second Edition with a new introduction
£25.38
College Publications A Lambda Calculus Satellite
£31.50
College Publications The Foundations of Mathematics
£18.50
College Publications Hugh MacColl: An Overview of His Logical Work with Anthology
£20.42
College Publications Gottlob Frege. Une Introduccion
£15.50
College Publications Alternatives to Set Theory
£17.50
College Publications Lecture De Quine
£18.00
College Publications Knowledge in Flux
£20.00
College Publications The International Directory of Logicians: Who's Who in Logic
£20.42
College Publications Fiction Et Metaphysique
£17.50
College Publications The Logic of Fiction
£18.00
Logic Matters An Introduction to Formal Logic
£21.38
Logic Matters Gödel Without (Too Many) Tears
£15.00
Calvin College Press The Little Logic Book
£14.24
Advanced Reasoning Forum Stoic Logic
£20.85
Amazon Digital Services LLC - Kdp Filosofía y los Pensadores que han Impactado el Proceso de la Comunicación
£19.58
Amazon Digital Services LLC - Kdp The Narration of the Invisible
£14.07
Z & L Barnes Publishing The Problems of Philosophy
£10.63
Createspace Independent Publishing Platform Logical Fallacy Monsters: An illustrated guide to logical fallacies
£10.16
£21.93
£21.93
Hachette Livre - BNF de l'Origine Du Langage (2e Édition, Revue Et Considérablement Augmentée) (Éd.1858)
£15.00
Hachette Livre - BNF La Logique de Leibniz: d'Après Des Documents Inédits
£25.00
Books on Demand Discours de la méthode - Méditations
Book Synopsis
£18.50
Springer Nature Switzerland AG LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science
Book SynopsisThis textbook is a logic manual which includes an elementary course and an advanced course. It covers more than most introductory logic textbooks, while maintaining a comfortable pace that students can follow. The technical exposition is clear, precise and follows a paced increase in complexity, allowing the reader to get comfortable with previous definitions and procedures before facing more difficult material. The book also presents an interesting overall balance between formal and philosophical discussion, making it suitable for both philosophy and more formal/science oriented students. This textbook is of great use to undergraduate philosophy students, graduate philosophy students, logic teachers, undergraduates and graduates in mathematics, computer science or related fields in which logic is required. Table of Contents1 Basic notion.- 2 Validity.- 3 Formality.- 4 The symbols of propositional logic.- 5 The language L.- 6 Logical consequence in L.- 7 The system Sn.- 8 Derivability in Sn.- 9 The system Sa.- 10 Consistency, soundness, completeness.- 11 Quantification.- 12 The symbols of predicate logic.
£37.49
Springer Nature Switzerland AG Symbolic Logic
Book SynopsisThis book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include: · The characteristic nature and scope of logic as a discipline · The construction of a series of distinctly named formal languages suitable for formal translation · Semantic models · The construction of decision procedures · The execution of proof-theoretic arrangements like natural deduction and proof-sequent systems The book covers both the semantics and proof theory of the standard sentential (propositional) logic and predicate (first-order) logic. Other topics covered include: parsing trees, extraction of alternative notations (for instance, Polish notation), Fitch-style proof-theory, sequent and ‘tree’ proof systems, comparisons and contrasts with intuitionistic logic, and presentations of predicate logic models. An ancillary chapter on elements of set theory is conveniently placed at the end and includes insights into the Zermelo-Fraenkel systematization of set theory. The philosophy of logic is also explored. Exercises in the text provide instruction on mathematical induction for the construction of formula, tests for the well-formedness of Polish notation, and functional completeness. Symbolic Logic is essential reading for all philosophy students taking intermediate level formal logic courses and will also appeal to diligent first year students of logic. The text is replete with exercises on both the formal machinery and the philosophical aspects of logic.Table of Contents1. What Logic Studies.- 2. Concepts of Deductive Reasoning.- 3. Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic).- 4. Sentential Logic Languages ∑.- 5. Formal Predicate Logic (also called First-Order Logic) ∏.- 6. Translations from English into ∏πφ= (also called Symbolizations, Formalizations).- 7. Semantic Models for ∏: ∏⧉.- 8. Proof-Theoretical System for Predicate Logic: ∏πφ=.- 9. Definite Descriptions: ∏πφ=⍳.- 10. Basics of Set Theory.
£44.99
Springer Nature Switzerland AG The Logical Writings of Karl Popper
Book SynopsisThis open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics.This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.Table of Contents Part I: Articles.- Chapter 1. Introduction to Popper’s Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper).- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper).- Chapter 4. New Foundations for Logic (1947) (Karl R. Popper).- Chapter 5. Functional Logic without Axioms or Primitive Rules of Inference (1947)(Karl R. Popper).- Chapter 6. On the Theory of Deduction, Part I. Derivation and its Generalizations (1948) (Karl R. Popper).- Chapter 7. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948) (Karl R. Popper).- Chapter 8. The Trivialization of Mathematical Logic (1949) (Karl R. Popper).- Chapter 9. A Note on Tarski’s Definition of Truth (1955) (Karl R. Popper).-Chapter 10. On a Proposed Solution of the Paradox of the Liar (1955) (Karl R. Popper).- Chapter 11. On Subjunctive Conditionals with Impossible Antecedents (1959) (Karl R. Popper).- Chapter 12. Lejewski’s Axiomatization of My Theory of Deducibility (1974) (Karl R. Popper).- Chapter 13. Reviews of Popper’s Articles on Logic (Wilhelm Ackermann et.al).- Part II: Manuscripts.- Chapter 14. Introduction to Popper’s Manuscripts on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 15. On Systems of Rules of Inference (Karl R. Popper and Paul Bernays).- Chapter 16. A General Theory of Inference (Karl R. Popper).- Chapter 17. On the Logic of Negation (Karl R. Popper).- Chapter 18. A Note on the Classical Conditional (Karl R. Popper).- Part III: Correspondence.- Chapter 19. Introduction to Popper’s Correspondence on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister).- Chapter 20. Popper’s Correspondence with Paul Bernays (Karl R. Popper and Paul Bernays).- Chapter 21. Popper’s Correspondence with Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer).- Chapter 22. Popper’s Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf Carnap).- Chapter 23. Popper’s Correspondence with Alonzo Church (Karl R. Popper and Alonzo Church).- Chapter 24. Popper’s Correspondence with Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen).- Chapter 25. Popper’s Correspondence with Henry George Forder (Karl R. Popper and Henry George Forder).- Chapter 26. Popper’s Correspondence with Harold Jeffreys (Karl R. Popper and Harold Jeffreys).- Chapter 27. Popper’s Correspondence with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene).- Chapter 28. Popper’s Correspondence with William Calvert Kneale (Karl R. Popper and William C. Kneale).- Chapter 29. Popper’s Correspondence with Willard Van Orman Quine (Karl R. Popper and Willard V. O. Quine).- Chapter 30. Popper’s Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz).- Chapter 31. Popper’s Correspondence with Peter Schroeder-Heister (Karl R. Popper and Peter Schroeder-Heister).- Concordances.- Bibliography.- Index.
£44.99
Springer Harmony and Paradox
Book SynopsisPart 1. Harmony. Chapter 1. Harmony via reductions and expansions.- Chapter 2. Identity of proofs.- Chapter 3. Towards an intensional notion of harmony.- Part 2. Paradox.- Chapter 4. Paradoxes: a natural deduction approach.- Chapter 5. Validity, sense and denotation in the face of paradoxes.- Chapter 6. Two kinds of difficulties.- Conclusion.
£44.99
£123.49
Springer Saul Kripke on Modal Logic
£123.49
Springer New Directions in Relevant Logic
Book SynopsisIntroduction.- Part I: Philosophical Foundations.- Chapter 1. A Hierarchy of Relevance Properties.- Chapter 2. A Topic-Theoretic Perspective on Variable-Sharing (from the Black Sheep of the Family).- Chapter 3. Withered Relevance.- Chapter 4. Variable-Sharing as Relevance.- Part II: Model Theory.- Chapter 5. Algorithmic Corre spondence for Relevance Logics II, Inductive Formulae in Flat Languages for Relevance Logics.- Chapter 6. Quantified Modal Rele vant Logics II, Welcome to the Neighbourhood.- Chapter 7. Semantics for Second Order Relevant Logics.- Chapter 8. Implying and Containing in Truthmaker Semantics.- Chapter 9. The Only 3-valued Logic which is a Natural Implication Expansion with the Variable Sharing Property of Kleene's Strong Logic.- Part III: Proof Theory.- Chapter 10. A Conceptual Approach to Restricted Quan tification in Relevant Logics.- Chapter 11. Fusion, Fission, and Ackermann's Truth Constant in Relevant Logics, A Proof-Theoretic Investigation.- Chapter 12. Entailment Generalized.- Chapter 13. Proofs with Star and Perp.- Chapter 14. Morphing Rules of Evaluation into Rules of Deduction: Preserving Relevance and Epistemic Gain.- Part IV: Applications.- Chapter 15. Frege meets Belnap: Basic Law V in a Relevant Logic.- Chapter 16. Explicit and Implicit Belief in First Degree Entailment With Strict Implication.- Chapter 17. Relevant Rational Arithmetic.
£113.99
Springer The Theory of Plane Area at the Crossroads
Book SynopsisChapter 1. From Euclidean to Hilbertean Practice: The Theory of Plane Area.- Chapter 2. De Zolt's Postulate: The Geometrical Path.- Chapter 3. De Zolt's Postulate: The Abstract Approach.- Chapter 4. De Zolt's Postulate in Three-Dimensions.
£104.49
Springer Adequate Connections
Book SynopsisConnection Adequacy and the Concept of Warrant.- Identifying the Warrant of an Argument.- What Types of Warrants Are There?.- Conclusive A Priori Warrants.- Defeasible Warrants and Probability.- Defeasible A Posteriori Warrants I: Empirical Warrants.- Defeasible A Posteriori Warrants II: Personal Warrants.- Defeasible A Posteriori Warrants III: Institutional Warrants.- Defeasible A Priori Warrants.- Virtually Conclusive A Posteriori Warrants.- Determining Whether a Particular Connection is Adequate.
£104.49
Springer The Method of Socratic Proofs
Book SynopsisChapter 1: Between the logic of questions and proof theory. An overview.- Chapter 2: Erotetic calculi for classical logic.- Chapter 3: Erotetic calculi for intuitionistic and modal logics.- Chapter 4: Erotetic calculi are calculi of questions.- Chapter 5: From erotetic calculi to proofs. The classical case.- Chapter 6: From erotetic calculi to proofs.
£113.99
Springer An Intellectual History of Science in the Renaissance
Book SynopsisVolume II: An Intellectual History of Science in the Renaissance - Part II: Cultural, Fundamental & Technological Frameworks.- Acknowledgments.- Remarks for the Reader.- Editor & Contributors.- Part I: An Overview.- Chapter 1: Introducing the Essays in An Intellectual History of Science in the Renaissance: Cultural, Fundamental & Technological Frameworks, Two Vols. (Raffaele Pisano).- Part II: Selected Essays.- Chapter 2. Institutionalization of Technology in Renaissance Europe (Luciano Boschiero).- Chapter 3. Human Thought and Creativity: Machine Design in the Renaissance (Marco Ceccarelli).- Chapter 4. Information and Communications in the Renaissance (Lewin C. G.).- Chapter 5. Trade & Transport in the Renaissance (Agamenon R. E. Oliveira).- Chapter 6. An Intellectual Review: History and Historiography of Science & Technology in the Renaissance (Raffaele Pisano).- Chapter 7. An Intellectual Culture of Machines in the Renaissance: Open Key Points (Raffaele Pisano).- Index.
£113.99
Springer An Intellectual History of Science in the Renaissance
Book SynopsisVolume I: An Intellectual History of Science in the Renaissance - Part I: Cultural & Fundamental Frameworks.- Acknowledgments.- Remarks for the Reader.- Editor & Contributors.- Part I: An Overview.- Chapter 1. Introducing the Essays in An Intellectual History of Science in the Renaissance: Cultural, Fundamental & Technological Frameworks, Two Vols. (Raffaele Pisano).- Part II: Selected Essays.- Chapter 2. Renaissance Architecture: The Rise of the City (Luciano Boschiero and Raffaele Pisano).- Chapter 3. Households in the Renaissance (Lewin C. G.).- Chapter 4. Food: From the Mechanics to the Process of Cooking in the Renaissance (Katherine A. McIver).- Chapter 5. Health and Medicine the Renaissance (Francesca Ricci).- Part III: An Invited Essay on a Recent Discovery.- Chapter 6. Astrology & Astronomy in the Early Renaissance: A Discovery of a Rare Polychrome Italian Zodiac (Stefaan Missinne).- Index.
£104.49
Springer Model Theory The Algebraic Basics
Book Synopsis1 Some concrete structures.- 2 Languages and Structures.- 3 Theories and models.- 4 Morphisms, substructures and extensions.- 5 Ultraproducts.- 6 Essential field theory.- 7 Complete theories.- 8 Model-completeness and quantifier elimination.- 9 Types.- 10 Algebraically closed fields and algebraic geometry.- 11 Real closed fields.- 12 Fraisse limits and measurement scales.- Further Reading.- Appendix A. Set-theoretic background.- Appendix B. Solutions to Exercises.- Bibliography.- Index.
£66.49
De Gruyter Commentary on Husserl's Ideas I
Book SynopsisHusserl's Ideas for a Pure Phenomenology and Phenomenological Philosophy (1913) is one of the key texts of twentieth century philosophy. It is the first of Husserl's published works to present his distinctive version of transcendental philosophy and to put forward the ambitious claim that phenomenology is the fundamental science of philosophy. In Ideas, Husserl introduces for the first time the conceptual arsenal of his mature phenomenology: the principle of all principles, the phenomenological epoché and reduction, pure consciousness, and the noema. All these difficult notions have been influential and controversial in subsequent philosophy, both analytic and Continental. In this commentary, thirteen leading scholars of Husserlian phenomenology set out to clarify and defend Husserl's views, connecting them to the vast corpus of his published and unpublished writings, and discussing the main available interpretations in the existing scholarship. The result is a detailed and comprehensive account of the most original form of transcendental philosophy since Kant's Critique of Pure Reason.
£26.60
De Gruyter Frege: Aufsätze zur Logik und Sprachphilosophie
Book Synopsis
£21.38
De Gruyter The 1903 Lowell Lectures
Book SynopsisIn three comprehensive volumes, Logic of the Future presents a fullpanorama of Charles S. Peirce’s important late writings. Among themost influential American thinkers, Peirce took his existential graphs tobe his greatest contribution to human thought. The manuscriptsfrom 1895—1913, most of which are published here for the first time, testify therichness and open-endedness of his theory of logic and its applications.They also invite us to reconsider our ordinary conceptions of reasoning aswell as the conventional stories told about the evolution of modern logic. This second volume collects Peirce’s writings on existential graphs related to his Lowell Lectures of 1903, the annus mirabilis of his that became decisive in the development of the mature theory of the graphical method of logic.
£21.85
De Gruyter Eugenio Coseriu: Past, Present and Future
Book Synopsis The volume is published on the occasion of the birth centennial of Eugenio Coseriu (1921–2002). It is the first collective volume to appear in English in which various scholars present a variety of perspectives on Coseriu’s scholarly work and discuss its continuing relevance for the language sciences. Coseriu’s international reputation has suffered from his commitment to publish in languages such as Spanish, German, French, Italian, Romanian and Portuguese, to the detriment of English. As a consequence, his work is less well-known outside Romance and German linguistics. The volume aims to raise the general awareness of Coseriu’s work among linguists around the world, in accordance with Coseriu’s own adage that it takes a constructive mindset (acknowledging "accomplishments and limitations") to do justice to all scholarly work in the humanities. The articles are organized into three major thematic clusters: 1) philosophy of language, 2) history of the language sciences and 3) theory and practice of "Integral Linguistics". The volume is essential reading for anyone working in these fields and for those seeking to gain deeper understanding of Coseriu’s goal to develop a unitary approach to language which takes as its point of departure the "activity of speaking".
£21.85
Springer International Publishing AG Dag Prawitz on Proofs and Meaning
Book SynopsisThis volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence.Trade Review“Swedish logician and philosopher Dag Prawitz and his distinguished contributions to philosophical and mathematical logic are the focus of this book. … This is an excellent book, celebrating not only Prawitz’s career, but also a movement in the contrary direction of W. V. O Quine’s views against the so-called (somehow prejudicially) ‘deviant’ logics, and I cannot forbear from congratulating the editor for the distinctive choice of topics and for the general tone of the book.” (Walter Carnielli, Computing Reviews, May, 2015)Table of ContentsPrawitz, 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; Došen, 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.- General-Elimination Harmony and Higher-Level Rules; Read, Stephen.- Hypothesis-discharging rules in atomic bases; Sandqvist, Tor.- Harmony in proof-theoretic semantics: A reductive analysis; Schroeder-Heister, Peter.- First-order Logic without bound variables: Compositional Semantics; Tait, William W.- On Gentzen’s Structural Completeness Proof; Tennant, Neil.- A Notion of C-Justification for Empirical Statements; Usberti, Gabriele.
£85.49