Semantics for Modal Logic

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).

In common treatments of deontic logic, the obligatory is what is true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference (...) rule which ensures that all tautologies are obligatory. I sketch this amended semantics to show how it invalidates the rule in a new way. (shrink)

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)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on Hintikka’s modal (...) approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect to a class of neighborhood frames called i-frames. Rosenkranz designed a specific i-frame able to invalidate a series of undesired formulas, proving that these are not theorems of the idealized logic. Nonetheless, an unwanted formula and an unwanted rule of inference are not invalidated. Invalidating the former guarantees the distinction between the two modal operators characteristic of the (...) logic, while invalidating the latter is crucial in order to deal with the problem of logical omniscience. In this paper, I present an i-frame able to invalidate all the undesired formulas already invalidated by Rosenkranz, together with the missing formula and rule of inference. (shrink)

Book Review of Impossible Worlds, by Francesco Berto and Mark Jago. Oxford: Oxford University Press, 2019.

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...) connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

En este artículo presentamos una posible vía para interpretar las nociones de posibilidad y necesidad desarrolladas en el seno de la lógica megárico-estoica como operadores modales aléticos. Se introducirá la semántica megárico-estoica como trasfondo metafísico de las definiciones de necesidad y posibilidad y se ofrecerán argumentos para abandonar las interpretaciones predominantes que incluyen variables temporales ad hoc. Tras proponer la lectura de las definiciones diodóricas desde una semántica modal relacional se señalará una serie de temas que merecen ser revisitados desde (...) esta óptica. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped to (...) the ontology of time. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the three (...) categories and evaluate their validity vis-à-vis notions of deliberative acting. On a technical note, the logic will be shown decidable via the finite model property. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.

У статті проаналізовано лексемний і семний склад мікрополя «повага», а також його системну організацію в українській мові. Компоненти значення, що функціонують у мікрополі, відбиваають семантику поваги, пошани щодо об’єкта почуття, яким для лексико-семантичного поля «патріотизм» виступають Батьківщина, власний народ, його закони, традиції, історія тощо.

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of (...) S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency. (shrink)

This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...) epistemological standpoints. (shrink)

У статті йдеться про особливості мовного віддзеркалення взаємного ставлення учасників дискусії в умовах обговорення суспільно-політичної ситуації. У ході аналізу окреслено основні психологічні прийоми маніпуляцій суспільною думкою за допомогою мовних одиниць. Встановлено екстра- та інтралінгвальні чинники, що впливають на вибір того чи того номінатива.

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types (...) of action that are abstractly prescribed, and what is ideal with respect to the specific situation in which the agent acts, and (ii) the transitions associated with actions and the results of actions, which can obtain even without the action being performed. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

The subject of this paper is the notion of similarity between the actual and impossible worlds. Many believe that this notion is governed by two rules. Ac-cording to the first rule, every non-trivial world is more similar to the actual world than the trivial world is. The second rule states that every possible world is more similar to the actual world than any impossible world is. The aim of this paper is to challenge both of these rules. We argue that (...) acceptance of the first rule leads to the claim that the rule ex contradictione sequitur quodlibet is invalid in classical logic. The second rule does not recognize the fact that objects might be similar to one an-other due to various features. (shrink)

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...) from that model theory, one of which I will find to be more plausible than the other. (shrink)

This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...) extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; (...) finally, Fitting semantics is adapted in order to present a simplified semantics for the quantified logic of essence. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...) and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

In this article I present some characteristics of logics and semantics of an uncertain world. I confront two-valued and fuzzy logic. I use Kafka’s novel Process as an example, which is designed as an uncertain context with words which are rigid designators without rigid meaning. That produces an uncertain world of logical and semantical relations. In presentation of problems I introduce basic concepts of Frege’s, Wittgenstein’s, Tarsky’s, Searle’s, Quine’s and Davidson’s philosophy of language. I differ the logical and semantical identification (...) of identity. I differ reference and inference, or representation and identification as two components which are fundamental for the identification of identity. I found this difference on the role of logical unification and granulation of predicates in the structure of thought and semantical unification and granulation of attributes in the structure of statements and their relation to ontology of context. Through the confrontation of the logical and semantical unification and granulation I find that the limits of logic are not also the limits of language. The semantical unification goes over the highest genre and below the lowest species. That enables the extra-logical, non-scientifical, con-fessional, pro-phetical, artistic, and ordinary use of language. (shrink)

A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...) logics. (shrink)

The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...) of (Q > R) is to be explained. If (P > (Q > R)) has a backtracking reading then the contingent facts that (Q > R) needs to be true in the closest P-worlds are absent. If (P > (Q > R)) has a forwardtracking reading, then the laws required by (Q > R) to be true in the closest P-worlds will be absent, because they are violated in those worlds. Solutions like lossy laws or denial of embedding won't work. The only approach to counterfactuals that explains the embedding is a pragmatic metalinguistic approach in which the whole idea that counterfactuals are about a modal reality, be it abstract or concrete, is given up. (shrink)

Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood. But a closer examination shows that such a legacy is debatable and should take into account the way in which these modalities proceeded. We argue that, while MacColl devised a modal logic in the broad sense of the word, he did not give rise to a many-valued logic in the strict sense. Rather, his logic is (...) similar to a “non-Fregean logic”: an algebraic logic that partitions the semantic classes of truth and falsehood into subclasses but does not extend the range of truth-values. (shrink)

The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...) the recursive extension of \sqema\ succeeds on the class of `recursive formulae'. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. (shrink)