Prawitz proved a theorem, formalising ‘harmony’ in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which no formula occurrence is both the consequence of an application of an introduction rule and major premise of an application of the related elimination rule. As Gentzen ordered the rules, certain rules in Classical Logic had to be excepted, but if we see the appropriate rules instead as rules for Contradiction, then we can (...) extend the theorem to the classical case. Properly arranged there is a thoroughgoing ‘harmony’, in the classical rules. Indeed, as we shall see, they are, all together, far more ‘harmonious’ in the general sense than has been commonly observed. As this paper will show, the appearance of disharmony has only arisen because of the illogical way in which natural deduction rules for Classical Logic have been presented. (shrink)

In this two-parts paper we present paranormal modal logic: a modal logic which is both paraconsistent and paracomplete. Besides using a general framework in which a wide range of logics  including normal modal logics, paranormal modal logics and classical logic can be defined and proving some key theorems about paranormal modal logic (including that it is inferentially equivalent to classical normal modal logic), we also provide a philosophical justification for the view that paranormal modal logic is a formalization of (...) the notions of skeptical and credulous plausibility. (shrink)

By weakening an inference rule satisfied by logic daC, we define a new paraconsistent logic, which is weaker than logic \ and G′ 3, enjoys properties presented in daC like the substitution theorem, and possesses a strong negation which makes it suitable to express intutionism. Besides, daC ' helps to understand the relationships among other logics, in particular daC, \ and PH1.

In 1995 Slater argued both against Priest’s paraconsistent system LP (1979) and against paraconsistency in general, invoking the fundamental opposition relations ruling the classical logical square. Around 2002 Béziau constructed a double defence of paraconsistency (logical and philosophical), relying, in its philosophical part, on Sesmat’s (1951) and Blanche’s (1953) “logical hexagon”, a geometrical, conservative extension of the logical square, and proposing a new (tridimensional) “solid of opposition”, meant to shed new light on the point raised by Slater. By using n-opposition (...) theory (NOT) we analyse Beziau’s anti-Slater move and show both its right intuitions and its technical limits. Moreover, we suggest that Slater’s criticism is much akin to a well-known one by Suszko (1975) against the conceivability of many-valued logics. This last criticism has been addressed by Malinowski (1990) and Shramko and Wansing (2005), who developed a family of tenable logical counter-examples to it: trans-Suszkian systems are radically many-valued. This family of new logics has some strange logical features, essentially: each system has more than one consequence operator. We show that a new, deeper part of the aforementioned geometry of logical oppositions (NOT), the “logical poly-simplexes of dimension m”, generates new logical-geometrical structures, essentially many-valued, which could be a very natural (and intuitive) geometrical counterpart to the “strange”, new, non-Suszkian logics of Malinowski, Shramko and Wansing. By a similar move, the geometry of opposition therefore sheds light both on the foundations of paraconsistent logics and on those of many-valued logics. (shrink)

Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential non-classical negations that live inside very natural systems of normal modal logics over complete distributive lattices; these logics are further enriched by adjustment connectives that may be used (...) for handling reasoning under uncertainty caused by inconsistency or undeterminedness. Using such straightforward semantics, we study the classes of frames characterized by seriality, reflexivity, functionality, symmetry, transitivity, and some combinations thereof, and discuss what they reveal about sub-classical properties of negation. To the logics thereby characterized we apply a general mechanism that allows one to endow them with analytic ordinary sequent systems, most of which are even cut-free. We also investigate the exact circumstances that allow for classical negation to be explicitly defined inside our logics. (shrink)

A classical paraconsistent logic, which is regarded as a modified extension of first-degree entailment logic, is introduced as a Gentzen-type sequent calculus. This logic can simulate the classical negation in classical logic by paraconsistent double negation in CP. Theorems for syntactically and semantically embedding CP into a Gentzen-type sequent calculus LK for classical logic and vice versa are proved. The cut-elimination and completeness theorems for CP are also shown using these embedding theorems. Similar results are also obtained for an intuitionistic (...) paraconsistent logic, and several versions of Glivenko and Gödel-Gentzen translation theorems are proved for CP and IP. (shrink)

Discursive (or discussive) logic, D₂, introduced by Jaśkowski, is widely recognized as a first formal approach to paraconsistency. Jaśkowski applied a quite extraordinary technique at that time to describe his logic. He neither gave a set of the axiom schemata nor presented a direct semantics for D₂ but used a translation function to express his philosophical and logical intuitions. Discursive logic was defined by an interpretation in the language of S₅ of Lewis. The aim of this paper is to present (...) a modified system of the discursive logic that allows some of the weaker versions of Duns Scotus's thesis to be valid. The initial idea is to consider a different characteristic of the connective of negation. We introduce both a direct semantics and an axiomatization of the new system, prove the key metatheorems, and describe labeled tableaux for the system. (shrink)

We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G'3. As it has already been shown in previous work, G'3 can express some non-monotonic semantics. We prove that G'3can define the same class of functions as Lukasiewicz 3 valued logic. Moreover, we identify some normal forms for this logic.

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...) system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

I argue that a compulsive seeking for just one sense of consistency is hazardous to rationality, and that observing the subtle distinctions of reasonableness between individual and groups may suggest wider, structuralistic notions of consistency, even relevant to re-assessing Gödei's Second Incompleteness Theorem and to science as a whole.

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

In this work, we investigate the relationship between paraconsistent semantics and some well-known topological spaces such as connected and continuous spaces. We also discuss homotopies as truth preserving operations in paraconsistent topological models.

Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We also present a game theoretical characterisation of a translation between Logic of Paradox/Kleene’s K3 and S5. We underline how non-classical logics require different verification games and prove (...) the correctness theorems of their respective game theoretical semantics. This allows us to observe that paraconsistent logics break the classical bidirectional connection between winning strategies and truth values. (shrink)

Paraconsistent logics are logics that, in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we take a paraconsistent view on two famous modal logics: B and S5. We use for this a well-known general method for turning modal logics to paraconsistent logics by defining a new negation as $\neg \varphi =_{Def} \sim \Box \varphi$. We show that while that makes both B and S5 members of the well-studied family of paraconsistent C-systems, they differ from (...) most other C-systems in having the important replacement property. We further show that B is a very robust C-system in the sense that almost any axiom which has been considered in the context of C-systems is either already a theorem of B or its addition to B leads to a logic that is no longer paraconsistent. There is exactly one notable exception, and the result of adding this exception to B leads to the other logic studied here, S5. (shrink)

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are negation-incomplete yet non-overcomplete. A paranormal logic (...) is simply a logic that is both paraconsistent and paracomplete. -/- Despite being perfectly consistent and complete with respect to classical negation, nearly every normal modal logic, in its ordinary language and interpretation, admits to some latent paranormality: It is paracomplete with respect to a negation defined as an impossibility operator, and paraconsistent with respect to a negation defined as non-necessity. In fact, as it will be shown here, even in languages without a primitive classical negation, normal modal logics can often be alternatively characterized directly by way of their paranormal negations and related operators. So, instead of talking about ‘necessity’, ‘possibility’, and so on, modal logics could be seen just as devices tailored for the study of (modal) negation. This paper shows how and to what extent this alternative characterization of modal logics can be realized. (shrink)