Simulation and Transfer Results in Modal Logic – A Survey

This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.     

Elementary Classes in Basic Modal Logic

Dealing with topics of definability, this paper provides some interesting insights into the expressive power of basic modal logic. After some preliminary work it presents an abstract algebraic characterization of the elementary classes of basic modal logic, that is, of the classes of models that are definable by means of (sets of) basic modal formulas. Taking that for a start, the paper further contains characterization results for modal universal classes and modal positive classes.     

A Deep Inference System for the Modal Logic S5

We present a cut-admissible system for the modal logic S5 in a formalism that makes explicit and intensive use of deep inference. Deep inference is induced by the methods applied so far in conceptually pure systems for this logic. The system enjoys systematicity and modularity, two important properties that should be satisfied by modal systems. Furthermore, it enjoys a simple and direct design: the rules are few and the modal rules are in exact correspondence to the modal axioms. Presented by Heinrich Wansing     

Van Inwagen’s modal skepticism

In this paper, the author defends Peter van Inwagen’s modal skepticism. Van Inwagen accepts that we have much basic, everyday modal knowledge, but denies that we have the capacity to justify philosophically interesting modal claims that are far removed from this basic knowledge. The author also defends the argument by means of which van Inwagen supports his modal skepticism, offering a rebuttal to an objection along the lines of that proposed by Geirrson. Van Inwagen argues that Stephen Yablo’s recent and influential account of the relationship between conceivability and possibility supports his skeptical claims. The author’s defence involves a creative interpretation and development of Yablo’s account, which results in a recursive account of modal epistemology, what the author calls the “safe explanation” theory of modal epistemology.     

Modal Fictionalism and Compositionality

Modal fictionalists propose to defuse the unwanted ontological commitments of modal realism by treating modal realism as a fictional story, and modal assertions as assertions, prefixed by a fictionalist operator, that something is true in that story. However, consideration of conditionals with modal antecedents raises the problem ofembedding, which shows that the simple prefixing strategy cannotsucceed. A compositional version of the fictionalist strategy isdeveloped and critiqued, and some general semantic morals aredrawn from the failures of both strategies.     

Norms and Necessity

Modality presents notorious philosophical problems, including the epistemic problem of how we could come to know modal facts and metaphysical problems about how to place modal facts in the natural world. These problems arise from thinking of modal claims as attempts to describe modal features of this world that explain what makes them true. Here I propose a different view of modal discourse in which talk about what is “metaphysically necessary” does not aim to describe modal features of the world, but, rather, provides a particularly useful way of expressing constitutive semantic and conceptual rules in the object language. The result is a “modal normativist” view that enables us to avoid the epistemic problems of modality and mitigate the metaphysical worries, while also leaving open the possibility of a unified account of the function of modal language. Finally, I address a serious challenge: we have the norms we do in order to track the modal facts of the world, so that the order of explanation must go in the opposite direction. I close by showing how the normativist may answer that challenge.     

Modal Frame Correspondences and Fixed-Points

Taking Löb's Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages as well as their correspondence languages. Our suggestions are backed up by some new results – while we also refer to relevant work by earlier authors. But our main aim is advertizing the perspective, showing how modal languages with fixed-point operators are a natural medium to work with.     

The Modal Logic of Bayesian Belief Revision

In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest modal companion of Medvedev’s logic of finite problems it is shown that the modal logic of belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable.

     

Reddish Green: A Challenge for Modal Claims About Phenomenal Structure1

We discuss two modal claims about the phenomenal structure of color experiences: (i) violet experiences are necessarily experiences of a color that is for the subject on that occasion phenomenally composed of red and blue (the modal claim about violet) and (ii) no subject can possibly have an experience of a color that is for it then phenomenally composed of red and green (the modal claim about reddish green). The modal claim about reddish green is undermined by empirical results. We discuss whether these empirical results cast doubt on the other modal claims as well. We argue that this not the case. Our argument is based on the thesis that the best argument for the modal claim about violet is quite different from the best argument for the modal claim about reddish green. To argue for this disanalogy we propose a reconstruction of the best available justification for both claims.     

Modal Realism with Modal Tense 1

Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism.     

Abduction and Modality

This paper introduces a modal epistemology that centers on inference to the best explanation (i.e. abduction). In introducing this abduction‐centered modal epistemology, the paper has two main goals. First, it seeks to provide reasons for pursuing an abduction‐centered modal epistemology by showing that this epistemology aids a popular stance on the mind‐body problem and allows an appealing approach to modality. Second, the paper seeks to show that an abduction‐centered modal epistemology can work by showing that abduction can establish claims about necessity/possibility (i.e. modal claims)—where ‘necessity’ and ‘possibility’ denote metaphysical necessity and possibility, ways things may or may not have been given how they actually are.     

Modal Horn Classes

This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal Horn formulas as well as a preservation result for modal universal Horn formulas. This revised version was published online in June 2006 with corrections to the Cover Date.     

基于广义谢弗竖的分析性模态公理系统

沿着安德森等人开创的方向,我们将分析性公理系统从经典逻辑推向模态逻辑,所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中,我们给出常见的正规模态逻辑的分析性公理系统及其强完全性定理和插值定理,并讨论演绎关系的性质：单调性和切割性。     

Modal skepticism and counterfactual knowledge

Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic (Reducibility). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference (counterfactual development, or CD) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known.     

The modal view of essence

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore unsuccessful.     

Modal Logic As Dialogical Logic

The title reflects my conviction that, viewed semantically,modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notably the use of nominals, special proposition symbols which name worlds) I will show how to lift the dialogical conception to modal proof theory. I argue that this shift to hybrid logic has consequences for both modal and dialogical logic, and I discuss these in detail.     

Truthmakers and modality

This paper attempts to locate, within an actualist ontology, truthmakers for modal truths: truths of the form <Possibly, p> or <Necessarily, p>. In Sect. 1 I motivate the demand for substantial truthmakers for modal truths. In Sect. 2 I criticise Armstrong’s account of truthmakers for modal truths. In Sect. 3 I examine essentialism and defend an account of what makes essentialist attributions true, but I argue that this does not solve the problem of modal truth in general. In Sect. 4 I discuss, and dismiss, a theistic account of the source of modal truth proposed by Alexander Pruss. In Sect. 5 I offer a means of (dis)solving the problem.     

Ockham and Buridan on the Ampliation of Modal Propositions

This paper explores a currently unnoticed argument used by John Buridan to defend his analysis of modal propositions and to reject the analysis of modal propositions of necessity put forward by William of Ockham. First, I explore this argument and, by considering possible responses of Ockham to Buridan, show some of the ways in which Ockham seems to be keeping closer to Aristotle's remarks about modal propositions in Prior Analytics, 18.     

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II

This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (some of them contain the universal modal operator).In Part II, we push forward the results from Part I. For Rare-logics with nominals (present at the level of formulae and at the level of modal expressions), we show that the constructions from Part I can be extended although it is technically more involved. We also characterize a class of standard modal logics for which the universal modal operator can be eliminated as far as satifiability is concerned. Although the previous results have a semantic flavour, we are also able to define proof systems for Rare-logics from existing proof systems for the corresponding standard modal logics. Last, but not least, decidability results for Rare-logics are established uniformly, in particular for information logics derived from rough set theory.Since this paper is the continuation of Part I, we do not recall here the definitions of Part I although we refer to them.