We propose a new approach to positive modal logics, hereby called anodic modal logics. Our treatment is completely positive since the language has neither negation nor any falsum or minimal particle. The elimination of the minimal particle of the language requires introducing the new concept of factual sets and factual deductions which permit us to talk about deductions in the actual world. We start from a positive fragment of the standard system K, denoted by K⊃, ∧, ◊, which is a (...) bimodal system with □ and ◊ as primitive. This system is then extended to a class of fragments of the Lemmon and Scott systems (cf. (Lemmon et al., 1977)), denoted by K⊃, ∧, ◊ + Gk;l;m;n + Gm;n;k;l. It is shown that such classes of systems are characterized with respect to the usual Kripke-style semantics. The proof is by way of a Henkin-style construction, with “possible worlds” being taken to be prime theories as introduced in the modal context by J. M. Dunn in (Dunn, 1995). We also obtain a surprising limiting result showing that the incompleteness phenomenon in modal logic is independent of negation. (shrink)

Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a way that (...) restricts its use to cases in which the premiss does not depend on assumptions. This restriction is entirely analogous to the restriction of the rule of universal generalization of first-order logic. A necessitation rule with this restriction permits a proof of the deduction theorem in its usual formulation. Other suggestions presented in the literature to deal with the problem are reviewed, and the present solution is argued to be preferable to the other alternatives. A contraction-and cut-free sequent calculus equivalent to the Hubert system for basic modal logic shows the standard failure argument untenable by proving the underivability of DA from A. (shrink)

In this paper we extend the anodic systems introduced in Bueno-Soler (J Appl Non Class Logics 19(3):291–310, 2009) by adding certain paraconsistent axioms based on the so called logics of formal inconsistency , introduced in Carnielli et al. (Handbook of philosophical logic, Springer, Amsterdam, 2007), and define the classes of systems that we call cathodic . These classes consist of modal paraconsistent systems, an approach which permits us to treat with certain kinds of conflicting situations. Our interest in this paper (...) is to show that such systems can be semantically characterized in two different ways: by Kripke-style semantics and by modal possible-translations semantics . Such results are inspired in some universal constructions in logic, in the sense that cathodic systems can be seen as a kind of fusion (a particular case of fibring) between modal logics and non-modal logics, as discussed in Carnielli et al. (Analysis and synthesis of logics, Springer, Amsterdam, 2007). The outcome is inherently within the spirit of universal logic, as our systems semantically intermingles modal logics, paraconsistent logics and many-valued logics, defining new blends of logics whose relevance we intend to show. (shrink)

This paper develops the first deontic logic in the context of paraconsistent logics.

The Logics of Deontic (In)Consistency (LDI's) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency. This paper introduces and studies new LDI's and other paraconsistent deontic logics with different properties: systems tolerant to contradictory obligations; systems in which contradictory obligations trivialize; and a bimodal paraconsistent deontic logic combining the features of previous systems. These logics are used to analyze the well-known Chisholm's paradox, taking profit of the fact that, besides contradictory obligations do (...) not trivialize in LDI's, several logical dependencies of classical logic are blocked in the context of LDI's, allowing to dissolve the paradox. (shrink)

In this paper we show how ideas coming from two areas of research in logic can reinforce each other. The first such line of inquiry concerns the "dynamic turn" in logic and especially the formalisms inspired by Propositional Dynamic Logic (PDL); while the second line concerns research into the logical foundations of Quantum Physics, and in particular the area known as Operational Quantum Logic, as developed by Jauch and Piron (Helve Phys Acta 42: 842-848, 1969), Pirón (Foundations of Quantum Physics, (...) 1976). By bringing these areas together we explain the basic ingredients of Dynamic Quantum Logic, a new direction of research in the logical foundations of physics. (shrink)

The concept of quantum logic is extended so that it covers a more general set of propositions that involve non-trivial probabilities. This structure is shown to be embedded into a multi-modal framework, which has desirable logical properties such as an axiomatization, the finite model property and decidability.