The paper aims at developing the idea that the standard operator of noncontingency, usually symbolized by Δ, is a special case of a more general operator of dyadic noncontingency Δ(−, −). Such a notion may be modally defined in different ways. The one examined in the paper is __Δ__(B, A) = df ◊B ∧ (A ⥽ B ∨ A ⥽ ¬B), where ⥽ stands for strict implication. The operator of dyadic contingency __∇__(B, A) is defined as the negation of __Δ__(B, (...) A). Possibility (◊A) may be then defined as __Δ__(A, A), necessity (□A) as __∇__(¬A, ¬A) and standard monadic noncontingency (__Δ__A) as __Δ__( \({\textsf{T}}\), A). In the second section it is proved that the deontic system KD is translationally equivalent to an axiomatic system of dyadic noncontingency named KDΔ 2, and that the minimal system KΔ of monadic contingency is a fragment of KDΔ 2. The last section suggests lines for further inquiries. (shrink)

In this paper, a suitable notion of bisimulation is proposed for the bimodal logic with contingency and accident. We obtain several van Benthem Characterization Theorems, and axiomatize the bimodal logic over the class of Eulidean frames and over some more restricted classes, showing their strong completeness via a novel strategy, thereby answering two open questions raised in the literature. With the new bisimulation notion, we also correct an error in the expressivity results in the literature.

This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in 1995. We show that Kuhn’s function is actually equal to a related function originally given by Humberstone.

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)

Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument -/- The book is devoted to the ancient logical theories, reconstruction of their semantic proprieties and possibilities of their interpretation by modern logical tools. The Ancient arguments are frequently misunderstood in modern interpretations since authors usually have tendency to ignore their historical proprieties and theoretical background what usually leads to a quite inappropriate picture of the argument’s original form and mission. Author’s primary intention was to draw attention to the (...) complexity of some historical arguments and to the theoretical context in which arguments were created, circulated, developed, and finally tuned. Four well-known ancient arguments – with a common central subject related to the future contingencies problem – are reconstructed from available historical sources: “The Sea Battle”, which is drawn from Aristotle’s treatise De Interpretatione; two arguments, usually ascribed to the Stoics, “The Lazy Argument” and “The Reaper”; “The Master Argument” of the Megarian philosopher Diodorus. Arguments are linguistically and semantically detaily analyzed, formally presented by reflecting some relevant corresponding hypotheses based on physical or logical theories of their ancient authors, and finally covered by appropriate logical tools familiar to a modern reader. Two appendices are added at the closing part of the book. One covering some assumptions relevant for understanding of rival streams in ancient theories of meaning related to the nature of names and naming; the other is devoted to the ancient understanding of logical proposition and attempts to find an adequate Latin translation of the Greek delicate philosophical term “ἀξίωμα”. (shrink)

The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.

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 offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed.

I discuss the question of when knowledge of higher order ignorance is possible and show in particular that, under quite plausible assumptions, knowledge of second order ignorance is impossible.

In this work we define contingency logic with arbitrary announcement. In contingency logic, the primitive modality contingency formalises that a proposition may be true but also may be false, so that if it is non-contingent then it is necessarily true or necessarily false. To this logic one can add dynamic operators to describe change of contingency. Our logic has operators for public announcement and operators for arbitrary public announcement, as in the dynamic epistemic logic called arbitrary public announcement logic. However, (...) our language primitive is the more suitable notion of public announcement whether, instead of the public announcement that. We compare the expressive power of our logic and its various fragments to related dynamic epistemic logics. We further present an axiomatisation and show its completeness by adapting a method to demonstrate completeness of arbitrary public announcement logic. Various extensions are also shown to be complete with respect to the corresponding frame classes. (shrink)

As shown in Fan, there are some similarities/resemblances between contingency and accident. Given this, one may naturally ask if we can unify the two operators to manifest all of their similarities/resemblances. In this article, instead of looking at the interactions between the two operators like in Fan, we turn our attention to the resemblances between the two operators. We extend the unification method in Fan to the current setting. The main results include some model-theoretical ones, such as expressivity, frame definability, (...) bisimulation, and some axiomatization ones. (shrink)

The formula A (it is noncontingent whether A) is true at a point in a Kripke model just in case all points accessible to that point agree on the truth-value of A. We can think of -based modal logic as a special case of what we call the general modal logic of agreement, interpreted with the aid of models supporting a ternary relation, S, say, with OA (which we write instead of A to emphasize the generalization involved) true at a (...) point w just in case for all points x, y, with Swxy, x and y agree on the truth-value of A. The noncontingency interpretation is the special case in which Swxy if and only if Rwx and Rwy, where R is a traditional binary accessibility relation. Another application, related to work of Lewis and von Kutschera, allows us to think of OA as saying that A is entirely about a certain subject matter. (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.

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.

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)

We study a knowledge logic that assumes that to each set of agents, an indiscernibility relation is associated and the agents decide the membership of objects or states up to this indiscernibility relation. Its language contains a family of relative knowledge operators. We prove the decidability of the satisfiability problem, we show its EXPTIME-completeness and as a side-effect, we define a complete Hilbert-style axiomatization.

In a recent work, Pizzi proposes a notion of dyadic non-contingency, and then gives an axiomatic system of dyadic non-contingency named \(\text {KD}\Delta ^2\), which is shown to be translationally equivalent to the deontic system KD and has the minimal system \(\text {K}\Delta \) of monadic contingency as a fragment. However, the reason why he defines dyadic non-contingency like that is unclear. In this article, inspired by the notion of relativized knowing-value in the literature, we give a plausible explanation for (...) this. We also show that \(\text {KD}\Delta ^2\) is _not_ sound with respect to the class of serial frames, and then correct a mistake in the previous-mentioned Pizzi’s work. (shrink)

In Fan's 2019 article, “Symmetric Contingency Logic with Unlimitedly Many Modalities”, it is left as an open question in Fan (2019b) how to (completely) axiomatize contingency logic over the class of symmetric and transitive frames, and conjectured that is the desired axiomatization. In the current article, we show that the conjecture is false, and then propose a desired axiomatization, thereby answering the open question. Beyond these results, we also present a family of axiomatizations of contingency logic over Kripke frames.

In the first part of the paper it is proved that there exists a one–one mapping between a minimal contingential logic extended with a suitable axiom for a propositional constant τ, named KΔτw, and a logic of necessity ${K\square \tau{w}}$ whose language contains ${\square}$ and τ. The form of the proposed translation aims at giving a solution to a problem which was left open in a preceding paper. It is then shown that the presence of τ in the language of (...) KΔτw allows for the definition, in terms of the non-contingency operator Δ, not only of ${\square}$ but of a second necessity operator O. It is observed that this fact opens the road to an investigation of the τ-free multimodal fragments of KΔτw. (shrink)

In this paper, we investigate the family LS0.5 of many-valued modal logics LS0.5's. We prove that the modalities of necessity and possibility of the logics LS0.5's capture well-defined bivalent concepts of logical validity and logical consistency. We also show that these modalities can be used as recovery operators.

We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy.

We introduce an operator to represent the simple notion of being wrong. Read Wp to mean: the agent is wrong about p . Being wrong about p means believing p though p is false. We add this operator to the language of propositional logic and study it. We introduce a canonical model for logics of being wrong, show completeness for the minimal logic of being wrong and various other systems. En route we examine the expressiveness of the language. In conclusion, (...) we discuss an open question regarding K4. (shrink)

The paper introduces a contingential language extended with a propositional constant τ axiomatized in a system named KΔτ , which receives a semantical analysis via relational models. A definition of the necessity operator in terms of Δ and τ allows proving (i) that KΔτ is equivalent to a modal system named K□τ (ii) that both KΔτ and K□τ are tableau-decidable and complete with respect to the defined relational semantics (iii) that the modal τ -free fragment of KΔτ is exactly the (...) deontic system KD. In §4 it is proved that the modal τ -free fragment of a system KΔτw weaker than KΔτ is exactly the minimal normal system K. (shrink)

In this paper, we introduce a notion of ‘disjunctive ignorance’, which is a weak combination of two forms of ignorance in the literature. We propose a logical language with ‘disjunctive ignorance’ as a sole modality, explore the logical properties of this notion and its related notions, and axiomatize it over various frame classes. By finding suitable reduction axioms, we extend the results to the case of public announcements and apply it to Moore-like sentences.

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)

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)