Kripke complained that counterpart theory makes modal claims be about counterparts and not about us, and that it is a misguided model of modality since we do not care about counterparts in the same way we care about ourselves. The first part of the complaint, I argue, has been met by Hazen and Lewis, while the second can be countered by observing that most of our modal concerns are about role‐fillers and that counterparts are well‐suited to such (...) concerns. The role‐filler analysis of modal concerns, however, does not seem to capture certain attitudes ‐ especially that of regret. Regret, however, I will argue, is not intrinsically modal and thus is no challenge to my general analysis of modal concerns. (shrink)

I develop a new argument for an expressivist account of epistemic modals, which starts from a puzzle about epistemic modals which Seth Yalcin recently presented. I reject Yalcin's own solution to the puzzle, and give a better explanation based on expressivism concerning epistemic modals. I also address two alleged problems for expressivism: do embeddings of epistemic modals pose a serious threat to expressivism, and how can expressivism account for disagreements about statements containing epistemic modals?

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted (...) solutions to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

I analyse Kripke’s modal argument against the mind-brain identity theories. Specifically, he argues against the identity between pain and C-fibres simulation by pointing out the difference between this identity claim and the theoretical identifications, such as ‘Water is H2O’ and ‘Lightning is a motion of electric charges’. Kripke’s argument relies on the assumption that the experience of pains is a simple and homogenous phenomenon, but scientific research shows that it is in fact a quite complex one. We can distinguish (...) at least three components: sensory-discriminative, motivational-affective and cognitive. This discovery makes it possible to reject Kripke’s argument, but it also uncovers a major flaw that is common to all modal arguments against physicalism. They proclaim to answer the fundamental question about the nature of our world by relying on our powers of imagination and without having the relevant factual knowledge. (shrink)

Available from UMI in association with The British Library. Requires signed TDF. ;Two elements in Kripke's notion of "rigid designation" are distinguished: "genuine reference", which has to do with the semantic function of a singular term, and "rigid designation", which has to do with the behaviour of a singular term in modal contexts. Accordingly, the discussion is divided into two parts. ;In Part I, arguments from functionalism against "genuine reference" are considered and rejected, but it is claimed that certain (...) Cartesian arguments constitute a formidable objection against this notion. Therefore, while descriptivism must be rejected "genuine reference" is too strong as an alternative. "Weak reference" is suggested as the required notion, and some of its characteristics are delineated. ;In Part II, the problems concerning the contingent a priori and the necessary a posteriori arising from the second element in Kripke's notion are discussed, depending on whether the names involved are ordinary proper names, or "descriptive" names. Evans' arguments concerning descriptive names are considered, and it is argued that, because of a new distinction between deep vs. superficial rigidity, Davies and Humberstone fail in formulating them more exactly; but the informal arguments, though inconclusive, are intuitive. As for ordinary proper names, and on the basis of conclusions reached in Part I, the case for contingent a priori truths involving such names is undermined. In the case of necessary a posteriori truths involving ordinary proper names, the strategies of denying the necessity or the a posteriority of the examples are discussed, and found wanting. However, since there are reasons from other areas for denying the coincidence of the necessary and the a priori, Kripke's examples do not call for a radical departure from currently held views. (shrink)

The main result is that is no effective algorithmic answer to the question:how to recognize whether arbitrary modal formula has a first-order equivalent on the class of finite frames. Besides, two known problems are solved: it is proved algorithmic undecidability of finite frame consequence between modal formulas; the difference between global and local variants of first-order definability of modal formulas on the class of transitive frames is shown.

It is well known that no consistent normal modal logic contains (as theorems) both ♦A and ♦¬A (for any formula A). Here we observe that this claim can be strengthened to the following: for any formula A, either no consistent normal modal logic contains ♦A, or else no consistent normal modal logic contains ♦¬A.

We discuss the semantic significance of a puzzle concerning ‘ought’ and conditionals recently discussed by Kolodny and MacFarlane. We argue that the puzzle is problematic for the standard Kratzer-style analysis of modality. In Kratzer’s semantics, modals are evaluated relative to a pair of conversational backgrounds. We show that there is no sensible way of assigning values to these conversational backgrounds so as to derive all of the intuitions in Kolodny and MacFarlane’s case. We show that the appropriate verdicts can be (...) derived by extending Kratzer’s framework to feature a third conversational background and claiming that the relevant reading of ‘ought’ is sensitive to this parameter. (shrink)

Recently, it has become a custom to treat questions as a game between two subjects. Unfortunately, one rarely goesbeyond the scheme of Questioner-Scientist and Answerer-Nature, althoughthe Interlocutor so conceived displays some undesirable features. This paperargues for the idea that logic of questions can be build as a logic of the gamebetween “knowledge resources” persons or theories, rather than errant Scientist and omniscient Nature. To this end the concept of epistemically-possibleworlds is discussed, which is conceived as analogous to that of possible (...) worldsin modal logic. And, furthermore, the concepts of relation of epistemic alternativeness and of epistemically-alternative worlds are introduced. On thisbasis a version of semantics for propositional, three-valued logic of questionsis offered and semantic proofs of some theses are given. (shrink)

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

Modal epistemologies aim to explicate the necessary link between belief and truth that constitutes knowledge. This strain of epistemological theorizing is typically externalist; hence, it does not require that the agent know or understand the nature of the knowledge-constituting link. A central concern of modal epistemology is to articulate conditions on knowing such that no merely lucky true belief counts as knowledge. In the effort to eliminate luck, epistemic principles are often cast modally, requiring that an agent’s belief (...) is true not only in the actual world but also in relevant possible worlds, indicating that the link between truth and belief is more than an actual world lucky coincidence. (Note, then, that this entry is not about the epistemology of modals—statements involving modal operators such as “necessarily,” “possibly,” and the like—but about the use of modal principles in characterizing the nature of knowledge in general. For purposes of disambiguation and in deference to the other topic, perhaps “modalized epistemologies” would be a better term, though it is not typically used here.) Modal epistemologies typically have antiskeptical consequences, but the strengths of the antiskeptical results vary significantly, especially between the two best-known modal principles, sensitivity and safety. (shrink)

Many familiar modal claims are clearly made against some set of background assumptions, as when making such claims, we hold fixed certain background truths, and intend to call attention to the fact that the ‘necessity’ in question is an invariable consequence of those truths. Ordinary explanations of particular phenomena that draw upon scientific theories are replete with modal concepts. Necessity plays a yet deeper role in the practice of formulating scientific theories. Alongside the ever increasing constraints of accumulating (...) empirical evidence, theories are always held to the constraint of logical and mathematical consistency. This chapter expresses common philosophical claims concerning the place of modality in scientific explanations that have nonetheless been heavily challenged, especially in the twentieth century. It also considers and criticizes a range of views that stand opposed to robust modal realism. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...) undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal (...) knowledge, modal logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

The practice of scientific modelling often resorts to hypothetical, false, idealised, targetless, partial, generalised, and other types of modelling that appear to have at least partially non-actual targets. In this paper, I will argue that we can avoid a commitment to non-actual targets by sketching a framework where models are understood as having networks of possibilities as their targets. This raises a further question: what are the truthmakers for the modal claims that we can derive from models? I propose (...) that we can find truthmakers for the modal claims derived from models in actuality, even in the case of supposedly non-actual targets. I then put this framework to use by examining a case study concerning the modelling of superheavy elements. (shrink)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the (...) normative status of semantic rules. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x (...) ⊧ ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion of (...) philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers. (shrink)

Kagan argues that human beings who are neither persons nor even potential persons — if their impairment is independent of genetic constitution — are modal persons: individuals who might have been persons. Moreover, he proposes a view according to which both personhood and modal personhood are sufficient for counting more, morally, than nonhuman animals. In response to this proposal, I raise one relatively minor concern about Kagan's reasoning — that he judges too quickly that insentient beings can have (...) interests — before engaging the appeal to modal personhood. I challenge the thesis that modal personhood is relevant to one's moral status, first, by way of analogy to a kicker who misses a field goal though he might have made it; second, by casting doubt on implications for two impaired infants ; and, finally, by examining implications for dogs who would count as modal persons when genetic enhancements are capable of transforming them into persons. (shrink)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given (...) our thesis on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (shrink)

Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show (...) that the work of both these elements can be done by a single natural generalization of the logical possibility operator. (shrink)

A major criticism of David Lewis’ counterfactual theory of causation is that it allows too many things to count as causes, especially since Lewis allows, in addition to events, absences to be causes as well. Peter Menzies has advanced this concern under the title “the problem of profligate causation.” In this paper, I argue that the problem of profligate causation provides resources for exposing a tension between Lewis’ acceptance of absence causation and his modal realism. The result is a (...) different problem of profligate causation—one that attacks the internal consistency of Lewisian metaphysics rather than employing common sense judgments or intuitions that conflict with Lewis’ extensive list of causes. (shrink)

According to the modal interpretation, the standard mathematical framework of quantum mechanics specifies the physical magnitudes of a system, which have definite values. Probabilities are assigned to the possible values that these magnitudes may adopt. The interpretation is thus concerned with physical properties rather than with measurement results: it is a realistic interpretation. One of the notable achievements of this interpretation is that it dissolves the notorious measurement problem. The papers collected here, together with the introduction and concluding critical (...) appraisal, explain the various forms of the modal interpretation, survey its achievements, and discuss those problems that have yet to be solved. Audience: Philosophers of science, theoretical physicists, and graduate students in these disciplines. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the ‘width’ of the set theoretic universe, such as Cantor’s continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the ‘Leibniz biconditionals’ stating that what is possible, in the broadest sense of _possible_, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

By “epistemic modals,” I mean epistemic uses of modal words: adverbs like “necessarily,” “possibly,” and “probably,” adjectives like “necessary,” “possible,” and “probable,” and auxiliaries like “might,” “may,” “must,” and “could.” It is hard to say exactly what makes a word modal, or what makes a use of a modal epistemic, without begging the questions that will be our concern below, but some examples should get the idea across. If I say “Goldbach’s conjecture might be true, and it (...) might be false,” I am not endorsing the Cartesian view that God could have made the truths of arithmetic come out differently. I make the claim not because I believe in the metaphysical contingency of mathematics, but because I know that Goldbach’s conjecture has not yet been proved or refuted. Similarly, if I say “Joe can’t be running,” I am not saying that Joe’s constitution prohibits him from running, or that Joe is essentially a non-runner, or that Joe isn’t allowed to run. My basis for making the claim may be nothing more than that I see Joe’s running shoes hanging on a hook. (shrink)

This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions into various classical modal systems.

This chapter focuses mainly on how possible worlds relate to the truth and falsity of modal claims (or propositions), and therefore to whether claims are necessarily true, necessarily false, possibly true, possibly false, and so on. This issue is that of modality de dicto, modality concerning propositions. But there is another type of modality, namely modality de re. This has to do with the modal status of relations between things and their properties, with whether things possess properties necessarily, (...) contingently or not even possibly. This chapter introduces the distinction between de dicto and de re necessity, and then explores different ways of making sense of de re necessity‐necessities involving particular individuals. It talks about Strong Transworld Identity, and explores how Abstractionists respond to the Leibniz's Law argument. Some metaphysicians go farther and identify what is possible with what is conceivable, or perhaps with what we are justified in believing to be possible. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

Our concerns fall into three areas: (1) Barsalou fails to make clear what simulators are (vs. what they do); (2) activation of perceptual areas of the brain during thought does not distinguish between the activation's being constitutive of concepts or a mere causal consequence (Barsalou needs the former); and (3) Barsalou's attempt to explain how modal symbols handle abstraction fails.

Gideon Rosen’s [1990 Modal fictionalism. Mind, 99, 327–354] Modal Fictionalist aims to secure the benefits of realism about possible-worlds, whilst avoiding commitment to the existence of any world other than our own. Rosen [1993 A problem for fictionalism about possible worlds. Analysis, 53, 71–81] and Stuart Brock [1993 Modal fictionalism: A response to Rosen. Mind, 102, 147–150] both argue that fictionalism is self-defeating since the fictionalist is tacitly committed to the existence of a plurality of worlds. In (...) this paper, I develop a new strategy for the fictionalist to pursue in response to the Brock–Rosen objection. I begin by arguing that modal fictionalism is best understood as a paraphrase strategy that concerns the propositions that are expressed, in a given context, by modal sentences. I go on to argue that what is interesting about paraphrastic fictionalism is that it allows the fictionalist to accept that the sentence ‘there is a plurality of worlds’ is true without thereby committing her to the existence of a plurality of worlds. I then argue that the paraphrastic fictionalist can appeal to a form of semantic contextualism in order to communicate her status as an anti-realist. Finally, I generalise my conception of fictionalism and argue that Daniel Nolan and John O’Leary-Hawthorne [1996 Reflexive fictionalisms. Analysis, 56, 26–32] are wrong to suggest that the Brock-Rosen objection reveals a structural flaw with all species of fictionalism. (shrink)

We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus (...) on frame classes that play a major role in modal correspondence theory and often correspond to typical application domains of modal logics. Classical model theoretic arguments do not apply to many of the most interesting classes–for instance, rooted frames, finite rooted frames, finite transitive frames, well-founded transitive frames, finite equivalence frames–as these are not elementary. Instead we develop and extend the game-based analysis over such classes and provide bisimulation preserving model constructions within these classes. Over most of the classes considered, we obtain finite model theory analogues of the classically expected characterisations, with new proofs also for the classical setting. The class of transitive frames is a notable exception, with a marked difference between the classical and the finite model theory of bisimulation invariant first-order properties. Over the class of all finite transitive frames in particular, we find that monadic second-order logic is no more expressive than first-order as far as bisimulation invariant properties are concerned — though both are more expressive here than basic modal logic. We obtain ramifications of the de Jongh–Sambin theorem and a new and specific analogue of the Janin–Walukiewicz characterisation of bisimulation invariant monadic second-order for finite transitive frames. (shrink)

This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dicto (...) distinction. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems, which are widely regarded as the easiest to teach and use. It also includes a diagram technique that extends the method of truth trees to modal logic. This provides a foundation for a novel method for showing completeness that is easy to extend to quantifiers. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. (shrink)

One striking contrast that Kant draws between the kind of cognitive capacities that humans have and alternative kinds of intellect concerns modal concepts. Whilst , the very distinction between possibility and actuality would not arise for an intuitive understanding. The aim of this paper is to explore in more detail how the functioning of these cognitive capacities relates to modal concepts, and to provide a model of the intuitive understanding, in order to draw some general lessons for (...) our ability to make modal judgements, and the function of such judgements. (shrink)

Modality is standardly thought to come in two varieties: de dicto and de re. De re modality concerns the attribution of modal features to things or individuals, and enshrines a commitment to Aristotelian essentialism. This chapter considers how David Lewis's conception of de re modality fits into his overall metaphysics. The hypothesis is that the driving force behind his metaphysics in general, and his adherence to counterpart theory in particular, is the distinctly Humean thought that necessary connections between (...) distinct existences are literally unintelligible. Lewis's appeal to counterpart theory in his account of truthmakers is explicitly aimed at delivering a truthmaker principle that eschews necessary connections. Lewis's attitude towards several well‐rehearsed debates in contemporary ontology and the reasons underlying that attitude closely mirror Hume's incendiary verdict on "divinity and school metaphysics." Finally, de re modality is connected with his adherence to the doctrine of "Humean supervenience". (shrink)

Essentialists hold that at least a certain range of entities can be meaningfully said to have natures, essences, or essential features independently of how these entities are described, conceptualized or otherwise placed with respect to our specifically human interests, purposes or activities. Modalists about essence, on the one hand, take the position that the essential truths are a subset of the necessary truths and the essential properties of entities are included among their necessary properties. Non-modalists about essence, on the other (...) hand, oppose the reduction of essence to modality and hold, rather, that essence is more basic than, and explanatory of, modality. This chapter begins with a brief summary of Kit Fine’s well-known challenges to the modal account of essence and considers a recent attempt by “sparse modalists” like Sam Cowling and Nathan Wildman to respond to Fine’s counterexamples by adding a sparseness constraint to the “bare” modal account of essence. A further question arises, however, as to whether and how Fine’s definitional approach can avoid his own counterexamples against the modal approach to essence. The chapter concludes with some final thoughts concerning the theoretical roles ascribed to essence by modalists and non-modalists. (shrink)

Designed for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion (...) of philosophical issues concerning the development of modal logic is woven into the text. The book uses natural deduction systems and also includes a diagram technique that extends the method of truth trees to modal logic. This feature provides a foundation for a novel method for showing completeness, one that is easy to extend to systems that include quantifiers. (shrink)

This book addresses two related questions that have first arisen in Toulmin’s seminal book on the uses of argument. The first question is the one of the relationship between the semantic analysis of modality and the structure of arguments. The second question is the one of the distinctive place, or role, of modality in the fundamental structure of arguments. These two questions concern how modality, as a semantic category, relates to the fundamental structure of arguments. The book addresses modality and (...) argumentation also according to another perspective by looking at how different linguistic modal expressions may be taken as argumentative indicators. It explores the role of modal expressions as argumentative indicators by using the Italian modal system as a case study. At the same time, it uses predictions/forecasts in the business-financial daily press to investigate the relation between modality and the context of argumentation. (shrink)

This is a book about the concept of a physical thing and about how the names of things relate to the things they name. It questions the prevalent view that names 'refer to' or 'denote' the things they name. Instead it presents a new theory of proper names, according to which names express certain special properties that the things they name exhibit. This theory leads to some important conclusions about whether things have any of their properties as a matter of (...) necessity. This will be an important book for philosophers in metaphysics and the philosophy of language, though it will also interest linguists concerned with the semantics of natural language. (shrink)

According to Svein Eng there are propositions concerning the law which are descriptive as well as normative, but cannot be separated into one descriptive and one normative proposition. Eng calls these propositions “fused” (“sammensmeltede”). In Eng's theory a proposition with “fused modality” is partly descriptive and partly normative, but cannot be classified as a separable combination of a claim about what the law “is” and a claim about what the law “ought to be.” In a “fused” proposition modality is a (...) question of “degree.” The purpose of this article is to show why Eng's theory should be rejected. The introduction of “fused modality” adds nothing of value to legal theory. Eng claims to have discovered a class of propositions not previously accounted for, but this is not the case. The lawyer Eng talks about as making a “fused” proposition is simply a lawyer logically confused. (shrink)

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold (...) for definite descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results. (shrink)

This is a book about the concept of a physical thing and about how the names of things relate to the things they name. It questions the prevalent view that names 'refer to' or 'denote' the things they name. Instead it presents a new theory of proper names, according to which names express certain special properties that the things they name exhibit. This theory leads to some important conclusions about whether things have any of their properties as a matter of (...) necessity. This will be an important book for philosophers in metaphysics and the philosophy of language, though it will also interest linguists concerned with the semantics of natural language. (shrink)

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics (...) broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support. (shrink)

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. (...) To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science Written by internationally leading researchers in the field of pure and applied logic Combines mathematical theory of modal logic and applications in artificial intelligence and computer science Numerous open problems for further research Well illustrated with pictures and tables. (shrink)

The paper defends causal explanationism concerning our modal intuitions and judgments, and, in particular, the following claims. If a causally explainable mirroring or “pre-established harmony” between our mind and modal reality obtains, we are justified in believing it does. We do not hold our modal beliefs compulsively and blindly but with full subjective and objective justification. Therefore, causal explanation of our modal beliefs does not undermine rational trust in them. Explanation and trust support each other. In (...) contrast, anti-explanationists, claim that causal explanation of intuitions and judgments undermines rational trust in them. They especially target causal explanation in terms of pre-established harmony between our mind, shaped by causal processes, and the underlying modal structure of reality. The paper argues against them. The argument builds upon the claim that the appeal to modal facts is indispensable for systematization and explanation of non-modal ones. Therefore, we should assume that modal facts exist and are not disjoint and isolated from actual facts. The modal structure of the universe intervenes in the non-modal reality. Causal processes indirectly carry information about deep modal structure. Any causal explanation of our intuitional modal beliefs should start from this indirect contact with and information about modal facts. Therefore, if our intuitional modal beliefs are true and causally explainable, they are true in virtue of the deep underlying modal structure. They are sensitive to modal reality and track it. We can come to know this fact, and thus strengthen our spontaneous trust in our modal intuitions. (shrink)