Logic Column 18: Alternative Logics: a Book Review
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Universal Logic and the Geography of Thought – Reflections on Logical
Universal Logic and the Geography of Thought – Reflections on logical pluralism in the light of culture Tzu-Keng Fu Dissertation zur Erlangung des Grades eines Doktors der Ingenieurwissenschaften –Dr.-Ing.– Vorgelegt im Fachbereich 3 (Mathematik und Informatik) der Universit¨at Bremen Bremen, Dezember, 2012 PhD Committee Supervisor: Dr. Oliver Kutz (Spatial Cognition Re- search Center (SFB/TR 8), University of Bremen, Germany) External Referee : Prof. Dr. Jean-Yves B´eziau (Depart- ment of Philosophy, University of Rio de Janeiro, Brazil) Committee Member : Prof. Dr. Till Mossakowski (German re- search center for artificial intelligence (DFKI), Germany) Committee Member : Prof. Dr. Frieder Nake (Fachbereich 3, Faculty of Mathematics and Informatics, the University of Bremen, Germany) Committee Member : Dr. Mehul Bhatt (Cognitive Systems (CoSy) group, Faculty of Mathematics and Informatics, University of Bremen, Germany) Committee Member : Minqian Huang (Cognitive Systems (CoSy) group, Faculty of Mathematics and Informatics, University of Bremen, Germany) Sponsoring Institution The Chiang Ching-kuo Foundation for International Scholarly Exchange, Taipei, Taiwan. To my Parents. 獻給我的 父母。 Acknowledgment I owe many thanks to many people for their help and encouragement, without which I may never have finished this dissertation, and their constructive criticism, without which I would certainly have finished too soon. I would like to thank Dr. Oliver Kutz, Prof. Dr. Till Mossakowski, and Prof. Dr. Jean- Yves B´eziau for assisting me with this dissertation. Warmest and sincere thanks are also due to Prof. Dale Jacquette of the Philosophy Department, the University of Bern, Switzerland, and to Prof. Dr. Stephen Bloom of the Computer Science Department, Stevens Institute of Technology, Hoboken, New Jersey, USA, who provided me with valuable original typescripts on abstract logic. -
Form and Content: an Introduction to Formal Logic
Connecticut College Digital Commons @ Connecticut College Open Educational Resources 2020 Form and Content: An Introduction to Formal Logic Derek D. Turner Connecticut College, [email protected] Follow this and additional works at: https://digitalcommons.conncoll.edu/oer Recommended Citation Turner, Derek D., "Form and Content: An Introduction to Formal Logic" (2020). Open Educational Resources. 1. https://digitalcommons.conncoll.edu/oer/1 This Book is brought to you for free and open access by Digital Commons @ Connecticut College. It has been accepted for inclusion in Open Educational Resources by an authorized administrator of Digital Commons @ Connecticut College. For more information, please contact [email protected]. The views expressed in this paper are solely those of the author. Form & Content Form and Content An Introduction to Formal Logic Derek Turner Connecticut College 2020 Susanne K. Langer. This bust is in Shain Library at Connecticut College, New London, CT. Photo by the author. 1 Form & Content ©2020 Derek D. Turner This work is published in 2020 under a Creative Commons Attribution- NonCommercial-NoDerivatives 4.0 International License. You may share this text in any format or medium. You may not use it for commercial purposes. If you share it, you must give appropriate credit. If you remix, transform, add to, or modify the text in any way, you may not then redistribute the modified text. 2 Form & Content A Note to Students For many years, I had relied on one of the standard popular logic textbooks for my introductory formal logic course at Connecticut College. It is a perfectly good book, used in countless logic classes across the country. -
Williamson Traces the History of the Problem from Discussions of the Heap Paradox in Ancient Greece to Modern Formal Approaches, Such As Fuzzy Logic
Vagueness If you keep removing single grains of sand from aheap,when is it no longer a heap? This question, and many others like it, soon lead us to the problem of vagueness. Timothy Williamson traces the history of the problem from discussions of the heap paradox in ancient Greece to modern formal approaches, such as fuzzy logic. He discusses the view that classical logic and formal semantics do not apply to vague languages and shows that none of the alternative approaches can give a satisfying account of vagueness without falling back on classical logic. Against this historical and critical background, Williamson then develops his own epistemicist position. Vagueness, he argues, is an epistemic phenomenon, a kind of ignorance: there really is a specific grain of sand whose removal turns the heap into a non-heap, but we cannot know which one it is. Williamson’s argument has ramifications far beyond the study of vagueness. It reasserts the validity of classical logic and semantics; more generally, it makes the thoroughly realist point that even the truth about the boundaries of our concepts can be beyond our capacity to know it. The approach throughout keeps technicalities to a minimum; this is partly to counter the illusion, encouraged by the emphasis on formal systems, that vagueness can be studied in a precise metalanguage. For the technically minded, an appendix shows how the epistemic view can be formalised within the framework of epistemic logic. Timothy Williamson is Professor of Logic and Metaphysics at the University of Edinburgh. He is the author of Identity and Discrimination. -
Remarks on the Applications of Paraconsistent Logic to Physics∗
Remarks on the applications of paraconsistent logic to physics¤ Newton C. A. da Costa D´ecioKrause Research Group on Logic and Foundations of Science Department of Philosophy Federal University of Santa Catarina [email protected]; [email protected] Dedicated to Michel Paty, scholar, philosopher, and friend. Abstract In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P. -D. F´evrier’s’logic of complementarity’ as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed ’para- classical logic’. ”He utters his opinions like one perpetually groping and never like one who believes he is in possession of definite truth.” Einstein on Bohr, apud A. Pais [37] ”Whoever writes a purely mathematical work can be considered as the author of a novel. He has the same privileges that are conceded pictoribus atque poetis. I can, v.g., invent a new curve and prove various of its properties. I can write a treatise on optics, where I take as an hypothesis that the light does not propagate according to a straight line, but according to a circular curve, or according to any curve whatsoever. And if my theorems and my solutions of the problems were legitimately derived from the principles I have proposed, no one can attribute to me any mistake.” J. Anast´acioda Cunha (Portuguese mathematician, 1744-1787) [14] ¤Partially supported by CNPq. -
Relevant Logic a Philosophical Examination of Inference
Relevant Logic A Philosophical Examination of Inference Stephen Read February 21, 2012 i c Stephen Read First published by Basil Blackwell 1988 Corrected edition (incorporating all errata noted since 1988) c Stephen Read 2010 ii To my wife, Gill, without whose encouragement and support it could not have been completed Contents Acknowledgements vi Introduction1 1 Scepticism and Logic6 1.1 Scepticism.............................6 1.2 Fallacy...............................9 1.3 Descartes' Test.......................... 11 1.4 Defeasibility............................ 12 1.5 Demonstrativism......................... 13 1.6 Fallibilism............................. 15 2 Classical Logic 19 2.1 The Classical Account of Validity................ 19 2.2 The Deduction Equivalence................... 20 2.3 Material Implication....................... 22 2.4 Truth and Assertibility...................... 24 2.5 Three Morals........................... 28 2.6 The Lewis Argument....................... 31 2.7 Three Senses of Disjunction................... 32 2.8 Conclusion............................ 34 3 An Intensional Conjunction 36 3.1 Conjunction............................ 36 3.2 The Deduction Equivalence................... 38 3.3 Bunches.............................. 40 3.4 Consequence........................... 41 3.5 Relevant Logic.......................... 44 3.6 Distribution............................ 46 3.7 Antilogism............................. 48 iii CONTENTS iv 3.8 Conclusion............................ 50 4 Proof-Theory for Relevant Logic -
Intuitionistic Logic Considered As an Extension of Classical Logic: Some Critical Remarks∗
Intuitionistic Logic Considered As An Extension of Classical Logic: Some Critical Remarks∗ Javier Legris University of Buenos Aires and CONICET, Argentina and Jorge A. Molina University of Santa Cruz do Sul, Brazil Résumé. Dans cet article, nous analysons la conception de la logique intui- tionniste comme une extension de la logique classique. Ce point de vue — surprenant au premier abord — a été explicitement soutenu par Jan Łukasie- wicz sur la base d’une projection de la logique propositionnelle classique dans la logique propositionnelle intuitionniste, réalisée par Kurt Gödel en 1933. Au même moment, Gerhard Gentzen proposait une autre projection de l’arith- métique de Peano dans l’arithmétique de Heyting. Nous discutons ces pro- jections en lien avec le problème de la détermination des symboles logiques qui expriment adéquatement les idiosyncrasies de la logique intuitionniste. De nombreux philosophes et logiciens ne semblent pas suffisamment conscients des difficultés soulevées par le fait de considérer la logique classique comme un sous-système de logique intuitionniste. Un résultat de cette discussion sera de faire ressortir ces difficultés. La notion de traduction logique jouera un rôle ∗. We dedicate this paper to the memory of Carlos E. Alchourrón who — shortly before his death — proposed us the problems discussed here. We are deeply indebted to Ignacio Angelelli, Franz von Kutschera, Wolfgang Lenzen and the anonymous referee of Philosophia Scientiæ for helpful comments and corrections. In addition we would like to thank Michael Wrigley for his aid in preparing the English version of this paper. The first author is also indebted to Antorchas Foundation (Argentina) for further financial support. -
Logical Instrumentalism
Logical Instrumentalism Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Teresa Kouri ∼6 6 Graduate Program in Philosophy The Ohio State University 2016 Dissertation Committee: Professor Stewart Shapiro, Advisor Professor Chris Pincock Professor Craige Roberts Professor Kevin Scharp Professor Neil Tennant c Teresa Kouri, 2016 Abstract Logic and reasoning go hand in hand. So often, we hear that someone has reasoned poorly about something if they have not reasoned logically, or that an argument is bad because it is not logically valid. To date, research has been devoted to exactly just what types of logical systems are appropriate for guiding our reasoning. Traditionally, classical logic has been the logic suggested as the ideal for this purpose. More recently, non-classical logics have been suggested as alternatives. Even more recently, it has been suggested that multiple logics are reasoning guiding, or none are. So far, no one has addressed the impact that natural language has on our ability to reason well. My project fills this gap. I focus on the relationship between the meaning of the connectives (\and", \or", \not", etc.) in natural language and logic. By assessing what these connectives mean in natural language, we can figure out what they must mean in the formal language in order to guide our reasoning. I show that the connectives do not have a single meaning across all contexts in natural language, and thus there can be no single meaning to the connectives in the formal language which guides our reasoning. -
Technical and Philosophical Developments∗
Paraconsistent Logics and Paraconsistency: Technical and Philosophical Developments∗ Newton C. A. da Costa D´ecio Krause Ot´avioBueno May 24, 2004 “I predict a time when there will be mathematical inves- tigations of calculi containing contradictions, and people will actually be proud of having emancipated themselves from contradictions.” L. Wittgenstein “As a lightning clears the air of unpalatable vapors, so an incisive paradox frees the human intelligence from the lethargic influence of latent and unsuspected assump- tions. Paradox is the slayer of Prejudice.” J. J. Sylvester Newton C. A. da Costa Department of Philosophy Federal University of Santa Catarina [email protected] Decio´ Krause Department of Philosophy Federal University of Santa Catarina [email protected] Otavio Bueno Department of Philosophy University of South Carolina [email protected] ∗The philosophical counterpart of this paper is not included in this first draft. Criticisms are welcome. Contents 1 Introduction 1 1.1 The origins . 1 1.2 On the nature of logic . 3 2 C-logics 5 2.1 The propositional calculi Cn ............................... 5 2.2 The hierarchy Cn, 0 ≤ n ≤ ω .............................. 14 2.3 Theories . 15 2.4 Quantification . 17 2.5 Equality . 21 2.6 Descriptions . 23 2.7 Semantics . 26 2.7.1 The decidability of C1............................... 27 = 2.7.2 Semantics for C1 ................................ 30 2.8 Syllogism and paraconsistency . 32 3 Paraconsistent set theory 33 3.1 The systems NF n, 1 ≤ n ≤ ω ............................. 34 3.2 Zermelo-Fraenkel like systems . 36 3.3 Russell sets and relations . 39 3.3.1 Russell relations . 40 3.4 Paraconsistent Boolean algebra . -
Alternative Logics and Applied Mathematics [Draft of 5 March 2018]
1 Alternative Logics and Applied Mathematics [draft of 5 March 2018] Timothy Williamson 1. Internal and external motivations for deviance The hardest test of deviant logic is mathematics, which constitutes by far the most sustained and successful deductive enterprise in human history. With only minor exceptions, mathematicians have freely relied on classical logic, including principles such as the law of excluded middle, A ¬A. They unquestioningly accept classical reasoning in proofs. When deviant logicians reject a classical principle, they face an obvious challenge: what does that mean for mathematics? Where does it leave theorems whose proofs rely on the principle? Absent a good response, the deviant logic has not earned the right to be taken seriously. How the dialectic goes from there depends on what motivates the rejection of the classical principle. Some motivations are internal to mathematics. The standard example is the intuitionistic rejection of excluded middle, motivated by a constructivist conception of mathematics in general and infinity in particular. The rejection of classical mathematics is the point of intuitionism, not a grudgingly accepted incidental cost. Intuitionists willingly accepted the burden of building mathematics anew using only intuitionistically acceptable reasoning. The result may be no adequate substitute for classical mathematics, but that is a further issue. A more recent example of logical deviance with a motivation at least partly internal to mathematics is paraconsistent logic. Dialetheists such as Graham Priest endorse an unrestricted comprehension principle for sets, including the inconsistent instance that generates Russell’s paradox, while revising the logic to avoid the total collapse classically implicit in the claim that the Russell set is self-membered if and only if it is not self-membered (Priest 1995: 123-94). -
Andrew Aberdein 'Classical Recapture'
Andrew Aberdein ‘Classical recapture’ from Logica e filosofia delle scienze: Atti del sesto convegno triennale, V. Fano, M. Stanzione & G. Tarozzi, edd. (Catanzaro: Rubettino, 2001). Andrew Aberdein CLASSICAL RECAPTURE The recapture relationship is an important element to any understanding of the connexion between different systems of logic. Loosely speaking, one system of logic recaptures another if it is possible to specify a subsystem of the former sys- tem which exhibits the same patterns of inference as the latter system.1 In par- ticular if a relationship of this kind can be shown to exist between a non-classical logic and classical logic (henceforth K), the non-classical system is said to exhibit classical recapture. This has been invoked by several proponents of non-classical logics to argue that their system retains K as a limit case, and is therefore a methodologically progressive successor to K. In this paper I shall advance and defend a new and more precise account of recapture and the character of its reception by the proponents of the recapturing system. I shall then indicate some of the applications of classical recapture which this account makes possible. Logics can be presented in many different ways—natural deduction presen- tations, sequent calculi, various axiom systems, and so forth—but three basic types of presentation may be distinguished: logistic systems, which codify logical truths; consequence systems, which codify valid arguments; and deductive sys- tems, which codify proofs.2 My concern is with substantive