The point of the present paper is to draw attention to some interesting similarities, as well as differences, between the approaches to the logic of noncontingency of Evgeni Zolin and of Claudio Pizzi. Though neither of them refers to the work of the other, each is concerned with the definability of a (normally behaving, though not in general truth-implying) notion of necessity in terms of noncontingency, standard boolean connectives and additional but non-modal expressive resources. The notion of definability involved is (...) different in the two cases (‘external’ for Zolin, ‘internal’ for Pizzi), as are the additional resources: infinitary conjunction in the case of Zolin, and for Pizzi, first, propositional quantification, and then, later, most ingeniously, the use of a propositional constant. As well as surveying and comparing of the work of these authors, the discussion includes some some novelties, such as the confirmation of a conjecture of Zolin’s (Theorem 2.7). (shrink)

Hilbert-style axiomatic systems are presented for versions of the modal logics K, where {D, 4, 5}, with noncontingency as the sole modal primitive. The classes of frames characterized by the axioms of these systems are shown to be first-order definable, though not equal to the classes of serial, transitive, or euclidean frames. The canonical frame of the noncontingency logic of any logic containing the seriality axiom is proved to be nonserial. It is also shown that any class of frames definable (...) in the noncontingency language contains the class of functional frames, and dually, there exists a greatest consistent normal noncontingency logic. (shrink)

We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency , by comparison with the usual language based on necessity.

A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, ‘a proposition is noncontingent’ means that you know whether the proposition is true. In this paper, we study contingency logic with the noncontingency operator? but without the necessity operator 2. This logic is not a normal modal logic, because?→ is not valid. Contingency logic cannot define many usual frame properties, and its expressive power is weaker than that of basic modal logic over (...) classes of models without reflexivity. These features make axiomatizing contingency logics nontrivial, especially for the axiomatization over symmetric frames. In this paper, we axiomatize contingency logics over various frame classes using a novel method other than the methods provided in the literature, based on the ‘almost-definability’ schema AD proposed in our previous work. We also present extensions of contingency logic with dynamic operators. Finally, we compare our work to the related work in the fields of contingency logic and ignorance logic, where the two research communities have similar results but are apparently unaware of each other’s work. One goal of our paper is to bridge this gap. (shrink)

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed up sometimes, in both daily life and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this (...) logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences. (shrink)

We present and show topological completeness for LB, the logic of the topological border. LB is also a logic of epistemic ignorance. Also, we present and show completeness for LUT, the logic of unknown truths. A simple topological completeness proof for S4 is also presented using a T1 space.

The completeness of the axiomatization of contingency logic over symmetric frames has been thought of as a nontrivial job, the unimodal case of which cannot be generalized to the finitely multimodal case, which in turn cannot be generalized to the infinitely multimodal case. This paper deals with the completeness of symmetric contingency logic with unlimitedly many modalities, no matter whether the set of modalities is finite or infinite.

This work concerns the use of operators for past and future contingency in Priorean temporal logic. We will develop a system named C_t, whose language includes a propositional constant and prove that (I) C_t is complete with respect to a certain class of general frames and (II) the usual operators for past and future necessity are definable in such system. Furthermore, we will introduce the extension C_t(lin) that can be interpreted on linear and transitive general frames. The theoretical result of (...) the current work is that contingency can be treated as a primitive notion in reasoning about temporal modalities. (shrink)

Simple finite axiomatizations are given for versions of the modal logics K and K4 with non-contingency (or contingency) as the sole modal primitive. This answers two questions of I. L. Humberstone.

The paper considers the question of when the operator L of necessity in modal logic can be expressed in terms of the operator meaning it is non-contingent that.

Operators can be compared in at least two respects: expressive strength and deductive strength. Inspired by Hintikka’s treatment of question embedding verbs, the variations of noncontingency operator, and also the various combinations of modal operators and Boolean connectives, we propose a logic with strong noncontingency operator as the only primitive modality. The novel operator is deductively but not expressively stronger than both noncontingency operator and essence operator, and expressively but not deductively weaker than the necessity operator. The frame-definability power of (...) this new logic is in between standard modal logic and noncontingency logic. A notion of bisimulation is proposed to characterize this logic within standard modal logic and first-order logic. Axiomatizations over various frame classes are presented, among which the minimal logic is related to the treatment of an alternative semantics of the agreement operator proposed by Lloyd Humberstone. (shrink)

The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. Anderson’s (...) solution has not received much attention in the literature, despite reflecting a typical feature of ordinary deontic reasoning, where non-contingent propositions are rarely, if ever, taken into account. In the present article we explore some of its formal consequences, providing a taxonomy of the properties of the Andersonian operators of obligation and permission for contingent propositions, O′ and P′, in the class of normal alethic systems. (shrink)