Mathematical modal logic: A view of its evolution

This is a survey of the origins of mathematical interpretations of modal logics, and their development over the last century or so. It focuses on the interconnections between algebraic semantics using Boolean algebras with operators and relational semantics using structures often called Kripke models. It reviews the ideas of a number of people who independently contributed to the emergence of relational semantics, and compares them with the work of Kripke. It concludes with an account of several applications of modal model theory to mathematics and theoretical computer science.     

Algebraic study of Sette's maximal paraconsistent logic

The aim of this paper is to study the paraconsistent deductive systemP ¹ within the context of Algebraic Logic. It is well known due to Lewin, Mikenberg and Schwarse thatP ¹ is algebraizable in the sense of Blok and Pigozzi, the quasivariety generated by Sette's three-element algebraS being the unique quasivariety semantics forP ¹. In the present paper we prove that the mentioned quasivariety is not a variety by showing that the variety generated byS is not equivalent to any algebraizable deductive system. We also show thatP ¹ has no algebraic semantics in the sense of Czelakowski. Among other results, we study the variety generated by the algebraS. This enables us to prove in a purely algebraic way that the only proper non-trivial axiomatic extension ofP ¹ is the classical deductive systemPC. Throughout the paper we also study those abstract logics which are in a way similar toP ¹, and are called hereabstract Sette logics. We obtain for them results similar to those obtained for distributive abstract logics by Font, Verdú and the author.     

The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction

The aim of this paper is to show that the implicational fragment BKof the intuitionistic propositional calculus (IPC) without the rules of exchange and contraction has the finite model property with respect to the quasivariety of left residuation algebras (its equivalent algebraic semantics). It follows that the variety generated by all left residuation algebras is generated by the finite left residuation algebras. We also establish that BKhas the finite model property with respect to a class of structures that constitute a Kripke-style relational semantics for it. The results settle a question of Ono and Komori [OK85]. This revised version was published online in June 2006 with corrections to the Cover Date.     

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

We propose a new, rather simple and short proof of Kripke-completeness for the predicate variant of Dummett's logic. Also a family of Kripke-incomplete extensions of this logic that are complete w.r.t. Kripke frames with equality (or equivalently, w.r.t. Kripke sheaves [8]), is described.     

Three-Valued Temporal Logic <Emphasis Type="Italic">Q</Emphasis><Subscript><Emphasis Type="Italic">t</Emphasis></Subscript> and Future Contingents

Prior’s three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic Q _t and give its axiomatization and semantics. We also argue that Q _t provides a smooth solution to the problem of future contingents. Presented by Daniele Mundici     

On relative universality and Q-universality

Adams and Dziobiak proved that any finite-to-finite universal quasivariety must be Q-universal, and then asked whether a somewhat weaker hypothesis could lead to the same conclusion. We show that their original hypothesis cannot be weakened to its naturally extreme form.To Professor Ale Pultr on his 65th birthdayThe authors gratefully acknowledge the support of the NSERC of Canada, of the project LN00A056 of the Czech Ministry of Education, and also of the Grant Agency of Czech Republic under the grant 201/02/0148.Special issue of Studia Logica: Algebraic Theory of Quasivarieties Presented by M. E. Adams, K. V. Adaricheva, W. Dziobiak, and A. V. Kravchenko     

Constructive Logic with Strong Negation is a Substructural Logic. I

The goal of this two-part series of papers is to show that constructive logic with strong negation N is definitionally equivalent to a certain axiomatic extension NFL _ew of the substructural logic FL _ew . In this paper, it is shown that the equivalent variety semantics of N (namely, the variety of Nelson algebras) and the equivalent variety semantics of NFL _ew (namely, a certain variety of FL _ew -algebras) are term equivalent. This answers a longstanding question of Nelson [30]. Extensive use is made of the automated theorem-prover Prover9 in order to establish the result. The main result of this paper is exploited in Part II of this series [40] to show that the deductive systems N and NFL _ew are definitionally equivalent, and hence that constructive logic with strong negation is a substructural logic over FL _ew . Presented by Heinrich Wansing     

Proof theory and mathematical meaning of paraconsistent C-systems

A proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsistent C-systems, which are a relevant sub-class of Logics of Formal Inconsistency (LFIs) introduced by W.A. Carnielli et al. (2002, 2005) [8] and [9]. The sequent versions BC, CI, CIL of the systems bC, Ci, Cil presented in Carnielli et al. (2002, 2005) [8] and [9] are introduced and examined. BC, CI, CIL admit the cut-elimination property and, in general, a weakened sub-formula property. Moreover, a formal notion of constructive paraconsistent system is given, and the constructivity of CI is proven. Further possible developments of proof theory and provability logic of CI-based arithmetical systems are sketched, and a possible weakened Hilbert?s program is discussed. As to the semantical aspects, arithmetical semantics interprets C-system formulas into Provability Logic sentences of classical Arithmetic PA (Artemov and Beklemishev (2004) [2], Japaridze and de Jongh (1998) [19], Gentilini (1999) [15], Smorynski (1991) [22]): thus, it links the notion of truth to the notion of provability inside a classical environment. It makes true infinitely many contradictions B∧¬B and falsifies many arbitrarily complex instances of non-contradiction principle ¬(A∧¬A). Moreover, arithmetical models falsify both classical logic LK and intuitionistic logic LJ, so that a kind of metalogical completeness property of LFI-paraconsistent logic w.r.t. arithmetical semantics is proven. As a work in progress, the possibility to interpret CI-based paraconsistent Arithmetic PACI into Provability Logic of classical Arithmetic PA is discussed, showing the role that PACIarithmetical models could have in establishing new meta-mathematical properties, e.g. in breaking classical equivalences between consistency statements and reflection principles.     

On the uses of language in working and idealized logic

The interpretation of discourse covers a continuum with two extremes: on the one hand, a text considered as an ideal, distant object, and on the other hand, a conversation regarded as a real, present event. On the basis of a distinction between relatively context-invariant propositions and relatively context-dependent statements, it is argued that statements in conversational discourse are easier to interpret than statements in texts, whereas only propositions in symbolic logic can be interpreted with exactitude. In the same way, the interpretation of dialogical arguments proceeds more easily than the interpretation of arguments in texts. While dialogical argumentation requires a dialectical approach, textual argumentation necessitates an imaginative reconstruction of the argument. From this it can be concluded that for different sorts of argumentative discourse diverse sorts of interpretative activities have to be used.     

On the Referential Indeterminacy of Logical and Mathematical Concepts

Hartry Field has recently examined the question whether our logical and mathematical concepts are referentially indeterminate. In his view, (1) certain logical notions, such as second-order quantification, are indeterminate, but (2) important mathematical notions, such as the notion of finiteness, are not (they are determinate). In this paper, I assess Fields analysis, and argue that claims (1) and (2) turn out to be inconsistent. After all, given that the notion of finiteness can only be adequately characterized in pure second-order logic, if Field is right in claiming that second-order quantification is indeterminate (see (1)), it follows that finiteness is also indeterminate (contrary to (2)). After arguing that Field is committed to these claims, I provide a diagnosis of why this inconsistency emerged, and I suggest an alternative, consistent picture of the relationship between logical and mathematical indeterminacy.     

Representations of monadic <Emphasis Type="Italic">MV</Emphasis> -algebras

Representations of monadic MV -algebra, the characterization of locally finite monadic MV -algebras, with axiomatization of them, definability of non-trivial monadic operators on finitely generated free MV -algebras are given. Moreover, it is shown that finitely generated m-relatively complete subalgebra of finitely generated free MV -algebra is projective.     

On the Dao in the Commentary of the Book of Change

The existence of the Dao 道 (the Way), according to the Yizhuan 易传 (the Commentary), is something intangible. The connotation of the Dao is the law of change caused by the interaction between yin and yang. The main functions of the Dao are “to change” and “to generate”. The intangible refers to the law of change caused by the interaction between yin and yang, and the law is expressed by the divinatory symbolic system (卦爻符号, the trigrams or hexagrams). It is through the unique permutation of yin and yang lines of a trigram or hexagram that the law of change is explained as a universal model uniting celestial, terrestrial and human laws. The symbolic system is used to express the universal nature of continual generation of life. __________ Translated from Zhongguo Zhexue Shi 中国哲学史 (History of Chinese Philosophy), 2005(4) by Yun Yufen     

中国逻辑史视野下的先秦易学与名辩学

19世纪以来的中国逻辑史研究,比照西方逻辑,仅仅将先秦的名辩学看成是中国逻辑史的主要部分。其间虽有对《周易》的涉及,但也是浅尝辄止。本文从《周易》经、传产生的年代,特别是《周易》经、传所蕴涵的逻辑内容与先秦名辩逻辑的代表人物孔子、惠施、邓析等人的思想对比,说明先秦易学逻辑对名辩逻辑产生了深刻的影响。得出《周易》的经、传发轫了中国古代逻辑中的推类理论,而名辩学尤其是墨家辩学的推类理论则是对自《周易》以来的推类逻辑传统的总结和提高的结论。     

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators,and Applications to the Semantics of Non-Classical Logics II

The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete with respect to varieties of distributive lattices with certain classes of well-behaved operators for which a Priestley-style duality holds, and present a way of constructing topological and non-topological Kripke-style models for these types of logics. Moreover, we show that, under certain additional assumptions on the variety of the algerabic models of the given logics, soundness and completeness with respect to these classes of Kripke-style models follows by using entirely algebraical arguments from the soundness and completeness of the logic with respect to its algebraic models.     

On the Representation of N4-Lattices

N4-lattices provide algebraic semantics for the logic N4, the paraconsistent variant of Nelson's logic with strong negation. We obtain the representation of N4-lattices showing that the structure of an arbitrary N4-lattice is completely determined by a suitable implicative lattice with distinguished filter and ideal. We introduce also special filters on N4-lattices and prove that special filters are exactly kernels of homomorphisms. Criteria of embeddability and to be a homomorphic image are obtained for N4-lattices in terms of the above mentioned representation. Finally, subdirectly irreducible N4-lattices are described.     

Moral Conflicts between Groups of Agents

Two groups of agents, and , face a moral conflict if has a moral obligation and has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like ‘In the interest of group of agents, group of agents ought to see to it that .’ We provide a formal language and a consequentialist semantics. An illustration of our semantics with an analysis of the Prisoner’s Dilemma follows. Next, necessary and sufficient conditions are given for (1) the possibility that a single group of agents faces a moral conflict, for (2) the possibility that two groups of agents face a moral conflict within a single moral code, and for (3) the possibility that two groups of agents face a moral conflict.