A Survey of Paraconsistent Logics
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Recent Work in Relevant Logic
Recent Work in Relevant Logic Mark Jago Forthcoming in Analysis. Draft of April 2013. 1 Introduction Relevant logics are a group of logics which attempt to block irrelevant conclusions being drawn from a set of premises. The following inferences are all valid in classical logic, where A and B are any sentences whatsoever: • from A, one may infer B → A, B → B and B ∨ ¬B; • from ¬A, one may infer A → B; and • from A ∧ ¬A, one may infer B. But if A and B are utterly irrelevant to one another, many feel reluctant to call these inferences acceptable. Similarly for the validity of the corresponding material implications, often called ‘paradoxes’ of material implication. Relevant logic can be seen as the attempt to avoid these ‘paradoxes’. Relevant logic has a long history. Key early works include Anderson and Belnap 1962; 1963; 1975, and many important results appear in Routley et al. 1982. Those looking for a short introduction to relevant logics might look at Mares 2012 or Priest 2008. For a more detailed but still accessible introduction, there’s Dunn and Restall 2002; Mares 2004b; Priest 2008 and Read 1988. The aim of this article is to survey some of the most important work in the eld in the past ten years, in a way that I hope will be of interest to a philosophical audience. Much of this recent work has been of a formal nature. I will try to outline these technical developments, and convey something of their importance, with the minimum of technical jargon. A good deal of this recent technical work concerns how quantiers should work in relevant logic. -
Relevant and Substructural Logics
Relevant and Substructural Logics GREG RESTALL∗ PHILOSOPHY DEPARTMENT, MACQUARIE UNIVERSITY [email protected] June 23, 2001 http://www.phil.mq.edu.au/staff/grestall/ Abstract: This is a history of relevant and substructural logics, written for the Hand- book of the History and Philosophy of Logic, edited by Dov Gabbay and John Woods.1 1 Introduction Logics tend to be viewed of in one of two ways — with an eye to proofs, or with an eye to models.2 Relevant and substructural logics are no different: you can focus on notions of proof, inference rules and structural features of deduction in these logics, or you can focus on interpretations of the language in other structures. This essay is structured around the bifurcation between proofs and mod- els: The first section discusses Proof Theory of relevant and substructural log- ics, and the second covers the Model Theory of these logics. This order is a natural one for a history of relevant and substructural logics, because much of the initial work — especially in the Anderson–Belnap tradition of relevant logics — started by developing proof theory. The model theory of relevant logic came some time later. As we will see, Dunn's algebraic models [76, 77] Urquhart's operational semantics [267, 268] and Routley and Meyer's rela- tional semantics [239, 240, 241] arrived decades after the initial burst of ac- tivity from Alan Anderson and Nuel Belnap. The same goes for work on the Lambek calculus: although inspired by a very particular application in lin- guistic typing, it was developed first proof-theoretically, and only later did model theory come to the fore. -
Deontic Logic and Meta-Ethics
Deontic Logic and Meta-Ethics • Deontic Logic as been a field in which quite apart from the questions of antinomies "paradoxes" have played a decisive roles, since the field has been invented. These paradoxes (like Ross' Paradox or the Good Samaritian) are said to show that some intuitively valid logical principles cannot be true in deontic logic, even if the same principles (like deductive closure within a modality) are valid in alethic modal logic. Paraconsistency is not concerned with solutions to these paradoxes. pp ∧¬∧¬pp • There are, however, lots of problems with ex contradictione qoudlibet Manuel Bremer in deontic logic, since systems of norms and regulations, even more so Centre for Logic, Language and if they are historically grown, have a tendency to contain conflicting Information requirements. To restrict the ensuing problems at least a weak paraconsistent logic is needed. • There may be, further on, real antinomies of deontic logic and meta- ethics (understood comprehensively as including also some basic decision and game theory). Inconsistent Obligations • It often may happen that one is confronted with inconsistent obligations. • Consider for example the rule that term papers have to be handed in at the institute's office one week before the session in question combined with the rule that one must not disturb the secretary at the institute's office if she is preparing an institute meeting. What if the date of handing in your paper falls on a day when an institute meeting is pp ∧¬∧¬pp prepared? Entering the office is now obligatory (i.e. it is obligatory that it is the Manuel Bremer case that N.N. -
Consequence and Degrees of Truth in Many-Valued Logic
Consequence and degrees of truth in many-valued logic Josep Maria Font Published as Chapter 6 (pp. 117–142) of: Peter Hájek on Mathematical Fuzzy Logic (F. Montagna, ed.) vol. 6 of Outstanding Contributions to Logic, Springer-Verlag, 2015 Abstract I argue that the definition of a logic by preservation of all degrees of truth is a better rendering of Bolzano’s idea of consequence as truth- preserving when “truth comes in degrees”, as is often said in many-valued contexts, than the usual scheme that preserves only one truth value. I review some results recently obtained in the investigation of this proposal by applying techniques of abstract algebraic logic in the framework of Łukasiewicz logics and in the broader framework of substructural logics, that is, logics defined by varieties of (commutative and integral) residuated lattices. I also review some scattered, early results, which have appeared since the 1970’s, and make some proposals for further research. Keywords: many-valued logic, mathematical fuzzy logic, truth val- ues, truth degrees, logics preserving degrees of truth, residuated lattices, substructural logics, abstract algebraic logic, Leibniz hierarchy, Frege hierarchy. Contents 6.1 Introduction .............................2 6.2 Some motivation and some history ...............3 6.3 The Łukasiewicz case ........................8 6.4 Widening the scope: fuzzy and substructural logics ....9 6.5 Abstract algebraic logic classification ............. 12 6.6 The Deduction Theorem ..................... 16 6.7 Axiomatizations ........................... 18 6.7.1 In the Gentzen style . 18 6.7.2 In the Hilbert style . 19 6.8 Conclusions .............................. 21 References .................................. 23 1 6.1 Introduction Let me begin by calling your attention to one of the main points made by Petr Hájek in the introductory, vindicating section of his influential book [34] (the italics are his): «Logic studies the notion(s) of consequence. -
Applications of Non-Classical Logic Andrew Tedder University of Connecticut - Storrs, [email protected]
University of Connecticut OpenCommons@UConn Doctoral Dissertations University of Connecticut Graduate School 8-8-2018 Applications of Non-Classical Logic Andrew Tedder University of Connecticut - Storrs, [email protected] Follow this and additional works at: https://opencommons.uconn.edu/dissertations Recommended Citation Tedder, Andrew, "Applications of Non-Classical Logic" (2018). Doctoral Dissertations. 1930. https://opencommons.uconn.edu/dissertations/1930 Applications of Non-Classical Logic Andrew Tedder University of Connecticut, 2018 ABSTRACT This dissertation is composed of three projects applying non-classical logic to problems in history of philosophy and philosophy of logic. The main component concerns Descartes’ Creation Doctrine (CD) – the doctrine that while truths concerning the essences of objects (eternal truths) are necessary, God had vol- untary control over their creation, and thus could have made them false. First, I show a flaw in a standard argument for two interpretations of CD. This argument, stated in terms of non-normal modal logics, involves a set of premises which lead to a conclusion which Descartes explicitly rejects. Following this, I develop a multimodal account of CD, ac- cording to which Descartes is committed to two kinds of modality, and that the apparent contradiction resulting from CD is the result of an ambiguity. Finally, I begin to develop two modal logics capturing the key ideas in the multi-modal interpretation, and provide some metatheoretic results concerning these logics which shore up some of my interpretive claims. The second component is a project concerning the Channel Theoretic interpretation of the ternary relation semantics of relevant and substructural logics. Following Barwise, I de- velop a representation of Channel Composition, and prove that extending the implication- conjunction fragment of B by composite channels is conservative. -
Three New Genuine Five-Valued Logics
Three new genuine five-valued logics Mauricio Osorio1 and Claudia Zepeda2 1 Universidad de las Am´ericas-Puebla, 2 Benem´eritaUniversidad At´onomade Puebla fosoriomauri,[email protected] Abstract. We introduce three 5-valued paraconsistent logics that we name FiveASP1, FiveASP2 and FiveASP3. Each of these logics is genuine and paracomplete. FiveASP3 was constructed with the help of Answer Sets Programming. The new value is called e attempting to model the notion of ineffability. If one drops e from any of these logics one obtains a well known 4-valued logic introduced by Avron. If, on the other hand one drops the \implication" connective from any of these logics, one obtains Priest logic FDEe. We present some properties of these logics. Keywords: many-valued logics, genuine paraconsistent logic, ineffabil- ity. 1 Introduction Belnap [16] claims that a 4-valued logic is a suitable framework for computer- ized reasoning. Avron in [3,2,4,1] supports this thesis. He shows that a 4-valued logic naturally express true, false, inconsistent or uncertain information. Each of these concepts is represented by a particular logical value. Furthermore in [3] he presents a sound and complete axiomatization of a family of 4-valued logics. On the other hand, Priest argues in [22] that a 4-valued logic models very well the four possibilities explained before, but here in the context of Buddhist meta-physics, see for instance [26]. This logic is called FDE, but such logic fails to satisfy the well known Modus Ponens inference rule. If one removes the im- plication connective in this logic, it corresponds to the corresponding fragment of any of the logics studied by Avron. -
Lecture 3 Relevant Logics
Lecture 3 Relevant logics Michael De [email protected] Heinrich Heine Universit¨atD¨usseldorf 22.07.2015 [1/17] Relevant logic [2/17] Relevance Witness some paradoxes of material implication: A ⊃ (B ⊃ A); A ⊃ (:A ! B); (A ^ :A) ⊃ B; A ⊃ (B _:B): Some instances seem absurd because for of lack of relevance between antecedent and consequent, as in If Peter likes pretzels, then Barcelona's in Spain or it isn't. Relevance logics originated from a desire to make right what is wrong with material implication: to formalize a conditional that does not endorse fallacies of relevance. [3/17] A brief history of relevance logic The magnum opus of relevance logic is Entailment Volumes 1 (1975) and 2 (1992) of Anderson and Belnap (and numerous coauthors). They expand on the work of Wilhelm Ackermann who, in 1956, published work on a theory of strengen Implikation. Relevance logic has grown into a rich and fascinating discipline. It has been mainly worked on by Australians and Americans, each working in their own style (Americans preferring many-valued world semantics, Australians two-valued world semantics). An introduction can be found on SEP (click here). But the introduction of Entailment Vol. 1 is an excellent|even entertaining!|read. [4/17] Anderson & Belnap on relevance We argue below that one of the principal merits of his system of strengen Implikation is that it, and its neighbors, give us for the first time a mathematically satisfactory way of grasping the elusive notion of relevance of antecedent to consequent in \if ... then|" propositions; such is the topic of this book. -
Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series
BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.) Henrique Antunes Vincenzo Ciccarelli State University of Campinas State University of Campinas Department of Philosophy Department of Philosophy Campinas, SP Campinas, SP Brazil Brazil [email protected] [email protected] Article info CDD: 160 Received: 01.12.2017; Accepted: 30.12.2017 DOI: http://dx.doi.org/10.1590/0100-6045.2018.V41N2.HV Keywords: Paraconsistent Logic LFIs ABSTRACT Review of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Carnielli and Marcelo Coniglio The principle of explosion (also known as ex contradictione sequitur quodlibet) states that a pair of contradictory formulas entails any formula whatsoever of the relevant language and, accordingly, any theory regimented on the basis of a logic for which this principle holds (such as classical and intuitionistic logic) will turn out to be trivial if it contains a pair of theorems of the form A and ¬A (where ¬ is a negation operator). A logic is paraconsistent if it rejects the principle of explosion, allowing thus for the possibility of contradictory and yet non-trivial theories. Among the several paraconsistent logics that have been proposed in the literature, there is a particular family of (propositional and quantified) systems known as Logics of Formal Inconsistency (LFIs), developed and thoroughly studied Manuscrito – Rev. Int. Fil. Campinas, v. 41, n. 2, pp. 111-122, abr.-jun. 2018. Henrique Antunes & Vincenzo Ciccarelli 112 within the Brazilian tradition on paraconsistency. A distinguishing feature of the LFIs is that although they reject the general validity of the principle of explosion, as all other paraconsistent logics do, they admit a a restrcited version of it known as principle of gentle explosion. -
Common Sense for Concurrency and Strong Paraconsistency Using Unstratified Inference and Reflection
Published in ArXiv http://arxiv.org/abs/0812.4852 http://commonsense.carlhewitt.info Common sense for concurrency and strong paraconsistency using unstratified inference and reflection Carl Hewitt http://carlhewitt.info This paper is dedicated to John McCarthy. Abstract Unstratified Reflection is the Norm....................................... 11 Abstraction and Reification .............................................. 11 This paper develops a strongly paraconsistent formalism (called Direct Logic™) that incorporates the mathematics of Diagonal Argument .......................................................... 12 Computer Science and allows unstratified inference and Logical Fixed Point Theorem ........................................... 12 reflection using mathematical induction for almost all of Disadvantages of stratified metatheories ........................... 12 classical logic to be used. Direct Logic allows mutual Reification Reflection ....................................................... 13 reflection among the mutually chock full of inconsistencies Incompleteness Theorem for Theories of Direct Logic ..... 14 code, documentation, and use cases of large software systems Inconsistency Theorem for Theories of Direct Logic ........ 15 thereby overcoming the limitations of the traditional Tarskian Consequences of Logically Necessary Inconsistency ........ 16 framework of stratified metatheories. Concurrency is the Norm ...................................................... 16 Gödel first formalized and proved that it is not possible -
Efficient Paraconsistent Reasoning with Ontologies and Rules
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) Efficient Paraconsistent Reasoning with Ontologies and Rules∗ Tobias Kaminski and Matthias Knorr and Joao˜ Leite NOVA LINCS Departamento de Informatica´ Universidade NOVA de Lisboa 2829-516 Caparica, Portugal Abstract Krotzsch¨ et al., 2011], others follow a hybrid combination of ontologies with nonmonotonic rules, either providing a Description Logic (DL) based ontologies and non- modular approach where rules and ontologies use their own monotonic rules provide complementary features semantics, and allowing limited interaction between them whose combination is crucial in many applications. [Eiter et al., 2008], or defining a unifying framework for both In hybrid knowledge bases (KBs), which combine components [Motik and Rosati, 2010; Knorr et al., 2011]. both formalisms, for large real-world applications, Equipped with semantics that are faithful to their constituting often integrating knowledge originating from dif- parts, these proposals allow for the specification of so-called ferent sources, inconsistencies can easily occur. hybrid knowledge bases (hybrid KBs) either from scratch, These commonly trivialize standard reasoning and benefiting from the added expressivity, or by combining ex- prevent us from drawing any meaningful conclu- isting ontologies and rule bases. sions. When restoring consistency by changing the The complex interactions between the ontology component KB is not possible, paraconsistent reasoning offers and the rule component of these hybrid KBs – even more so an alternative by allowing us to obtain meaningful when they result from combining existing ontologies and rule conclusions from its consistent part. bases independently developed – can easily lead to contra- In this paper, we address the problem of efficiently dictions, which, under classical semantics, trivialize standard obtaining meaningful conclusions from (possibly reasoning and prevent us from drawing any meaningful con- inconsistent) hybrid KBs. -
Gert-Jan C. LOKHORST an ALTERNATIVE INTUITIONISTIC
REPORTS ON MATHEMATICAL LOGIC 51 (2016), 35–41 doi:10.4467/20842589RM.16.003.5280 Gert-Jan C. LOKHORST AN ALTERNATIVE INTUITIONISTIC VERSION OF MALLY’S DEONTIC LOGIC A b s t r a c t. Some years ago, Lokhorst proposed an intuitionistic reformulation of Mally’s deontic logic (1926). This reformulation was unsatisfactory, because it provided a striking theorem that Mally himself did not mention. In this paper, we present an alter- native reformulation of Mally’s deontic logic that does not provide this theorem. .1 Introduction Some years ago, Lokhorst proposed an intuitionistic reformulation of Mally’s deontic logic (1926) [3]. This reformulation was unsatisfactory, because it provided a striking theorem that Mally himself did not mention, namely ⌥(A A). In this paper, we present an alternative reformulation of Mally’s _¬ deontic logic that does not provide this theorem. Received 4 October 2015 Keywords and phrases: deontic logic, intuitionistic logic. 36 GERT-JAN C. LOKHORST .2 Definitions Heyting’s system of intuitionistic propositional logic h is defined as follows [1, Ch. 2]. Axioms: (a) A (B A). ! ! (b) (A (B C)) ((A B) (A C)). ! ! ! ! ! ! (c) (A B) A;(A B) B. ^ ! ^ ! (d) A (B (A B)). ! ! ^ (e) A (A B); B (A B). ! _ ! _ (f) (A C) ((B C) ((A B) C)). ! ! ! ! _ ! (g) A. ?! Rule: A, A B/B (modus ponens, MP). ! Definitions: A = A , = , A B =(A B) (B A). ¬ !? > ¬? $ ! ^ ! The second-order intuitionistic propositional calculus with comprehension C2h is h plus [1, Ch. 9]: Axioms: Q1 ( x)A(x) A(y). 8 ! Q2 A(y) ( x)A(x). -
Problems on Philosophical Logic
Problems on Philosophical Logic For each of the five logics treated (temporal, modal, conditional, relevantistic, intuitionistic) the list below first collects verifications ‘left to the reader’ in the corresponding chapter of Philosophical Logic, then adds other problems, introducing while doing so some supplementary topics not treated in the book. In working problems ‘left to the reader’ it is appropriate to use any material up to the point in the book where the problem occurs; in working other problems, it is appropriate to use any material in the pertinent chapter. In all cases, it is appropriate to use results from earlier problems in later problems Instructors adopting the book as a text for a course may obtain solutions to these problems by e-mailing the author [email protected] 2 Temporal Logic Problems ‘left to the reader’ in chapter 2 of Philosophical Logic 1. From page 22: Show that axiom (24a) is true everywhere in every model. 2. From page 24: Do the conjunction case in the proof of the rule of replacement (Rep). 3. From page 25: The lemma needed for the proof of the rule of duality (Dual) is proved by induction on complexity. If A is an atom, then A* is just A while A' is ¬A, so ¬A' is ¬¬A and A* « ¬A' is A « ¬¬A, which is a tautology, hence a theorem; thus the lemma holds in the atomic case. Prove that: (a) show that if A is a negation ¬B and the lemma holds for B it holds for A. (b) show that if A is a conjunction B Ù C and the lemma holds for B and for C, then the lemma holds for A.