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)

In the middle of the last century, it was common to explain the notion of necessity in linguistic terms. A necessary truth, it was said, is a sentence whose truth is guaranteed by linguistic rules. Quine famously argued that, on this view, de re modal claims do not make sense. “Porcupettes are porcupines” is necessarily true, but it would be a mistake to say of a particular porcupette that it is necessarily a porcupine, or that it is possibly purple. (...) Linguistic theories of necessity fell out of favour with the publication of Kripke’s Naming and Necessity, and Quine’s arguments were put aside. In her recent book, Norms and Necessity, Amie Thomasson presents her modal normativism, which is an updated version of the mid-century theories just described. Quine’s arguments are thus relevant once again. We recapitulate Quine’s central argument, in the context of modal normativism. We then criticise Amie Thomasson’s discussion of de re modality. We finish by briefly presenting an alternative account of de re modal statements, which is compatible with modal normativism. (shrink)

I argue that we can accept modal normativism—a view that the function of modal claims is to express semantic rules—while also accepting possible worlds semantics. I argue that by keeping the metaphysical insights of normativism at the level of metasemantics—i.e., at the level of accounts of what metaphysically explains facts about the meaning of modal claims—it is open to the normativist to wholeheartedly accept possible worlds semantics.

I expand modal normativism, a theory of metaphysical modality, to give a normativist account of metaphysical explanation. According to modal normativism, basic modal claims do not have a descriptive function, but instead have the normative function of enabling language users to express semantic rules that govern the use of ordinary non-modal vocabulary. However, a worry for modal normativism is that it doesn’t keep up with all of the important and interesting metaphysics we (...) can do by giving and evaluating metaphysical explanations. So, I advance modal normativism by arguing that metaphysical explanations also have a normative rather than descriptive function. In particular, non-causal explanatory claims have formal and semantic properties that make them expressively stricter than basic modal claims and so are better suited to express fine-grained aspects of semantic rules. A major payoff of my normativist account of metaphysical explanations is that it yields a plausible story about how we come to evaluate and know metaphysical explanations—we do this primarily by conceptual analysis. I also respond to a number of objections, including the objection that the epistemic payoffs of my view are not worth the metaphysical costs. (shrink)

In this paper, I argue that not only is metaphysical modal normativism an attractive view but that, as a matter of fact, many of us have, all along, been metaphysical modal normativists of a particular stripe. Namely, we have been the kinds of modal normativists, in the form of counterpart theorists, who are robust realists about possibility simpliciter. Having introduced modal normativism as Thomasson does in Norms and Necessity, I go on to recast it (...) in somewhat different terms. With this re-casting in place we can see that while the view offers a pleasingly deflationary account of metaphysical necessity and possibility it does so only against the backdrop of robust realism about possibility simpliciter. If that is right, then Lewis’ counterpart theory turns out to be a potent version of metaphysical modal normativism. So many of us have, all along, been metaphysical modal normativists, and so much the better for it. (shrink)

Counterpossibles are counterfactuals that involve some metaphysical impossibility. Modal normativism is a non-descriptivist account of metaphysical necessity and possibility according to which modal claims, e.g. ‘necessarily, all bachelors are unmarried’, do not function as descriptive claims about the modal nature of reality but function as normative illustrations of constitutive rules and permissions that govern the use of ordinary non-modal vocabulary, e.g. ‘bachelor’. In this paper, I assume modal normativism and develop a novel account (...) of counterpossibles and claims about metaphysical similarity between possible and impossible worlds. I argue that considerations of metaphysical similarity between various impossible worlds and the actual world only require us to tacitly consider how the actual constitutive rules that govern the use of our terms change in order to accommodate the description of some hypothetical impossible scenario. I then argue for my account by raising worries for alternative epistemic and realist accounts of counterpossibles and showing how my account avoids those worries. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity (...) and the substitutivity of identicals into modal contexts. (shrink)

According to one view of alethic modality, to say that something is necessary is to say that we must take that thing to be true according to rules of thinking or linguistic rules. In other words, alethic modality is reduced to deontic modality with respect to thoughts or language. This view has been argued to have many philosophical advantages over the traditional view that takes alethic modality to describe something in the world. In this paper, I argue that the deontic (...) view also enjoys a wide range of empirical supports from linguistics and psychology. (shrink)

According to Amie Thomasson's Modal Normativism (MN), knowledge of metaphysical modality is to be explained in terms of a speaker’s mastery of semantic rules, as opposed to one’s epistemic grasp of independent modal facts. In this chapter, I outline (MN)'s account of modal knowledge (§1) and argue that more than semantic mastery is needed for knowledge of metaphysical modality. Specifically (§2), in reasoning aimed at gaining such knowledge, a competent speaker needs to further deploy essentialist principles (...) and information. In response, normativists might contend that a competent speaker will only need to appeal to specific independence counterfactuals, on analogy with quasi-realism about morality. These conditionals fix the meaning of our terms at the actual world, independently of the particular context in which a statement is evaluated. However, I show that this strategy causes several problems for the account (§3). While those problems might perhaps be avoided by endorsing a certain picture of modal metaphysics (Modal Monism), such a picture involves notorious issues that normativists will have to address (§4). It is thus doubtful that (MN) can explain knowledge of metaphysical modality. Still, it may explain some modal knowledge without committing to Modal Monism. As I show (§5), semantic mastery may suffice for gaining knowledge of logical-conceptual modality or analyticity. (shrink)

This paper discusses the account of alethic modality as presented by Wilfrid Sellars in his earlier work from 1947 to 1958. Its aim is twofold. First, I discuss Sellars' analysis by exploring its historical relationship to Carnap's account of modality. I argue that Carnap's early syntactic treatment of modality profoundly influenced Sellars' own so-called ‘regulist' account of modality in terms of rules of inference. Furthermore, it is suggested that Sellars' lesser-known possible worlds analysis was influenced by Carnap's later semantic account (...) of modality. The second aim of the paper is a critical one. I raise a number of objections to Sellars’ account of modality and argue that his account confronts some serious limitations. I also argue that Sellars does not provide a satisfying explanation of the relationship between his regulist account and his possible worlds analysis. I offer such an explanation by arguing that his regulist account should be understood as a pragmatic account of what is conveyed by the use of modal sentences, whereas his possible worlds analysis is a semantic account of the asserted content of modal statements. That is, the regulist account and the possible worlds analysis have different explanatory targets. (shrink)

The problem of how we could come to know modal facts has been notorious for centuries. In this paper, Theodore Locke and Amie Thomasson defend a ‘modal normativist’ approach to understanding claims about metaphysical necessity and possibility—a view that claims to be able to demystify metaphysical modal knowledge, by showing how modal knowledge may be acquired through conceptual mastery, reasoning abilities, and empirical knowledge. Antonella Mallozzi (this volume) argues that normativists cannot deflate modal knowledge in (...) that way, for they must somewhere implicitly presuppose knowledge of ‘essentialist principles and information’ to justify their claim to know metaphysical modal facts. In response, the authors argue that that is not so, by clarifying the ways in which modal normativists think we can come to acquire modal knowledge—and by showing how the account can be extended to demystify our knowledge of essentialist principles and facts as well. (shrink)

Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems (...) regarding specifically metaphysical modal truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (shrink)

The critics in this volume raise several important challenges to the modal normativist position developed in Norms and Necessity, including whether the relation I claim holds between semantic rules and necessity claims generates spurious claims of metaphysical necessity, whether the view is circular (implicitly relying on a more 'robust' form of modal realism), and whether it conflicts with truth-conditional semantics. They also raise probing questions about how it compares to other views of modality, including a Lewisian view and (...) an essentialist view. In these replies, I respond to these challenges in ways that precisify the relevant understanding of ‘semantic rules' and the forms they can take, that make clearer the direction of explanation in modal normativism in ways that show the view doesn't rely on a more ‘robust’ form of modal realism, and that give reason for thinking that there is actually no conflict between modal normativism and truth-conditional semantics. I also aim to give a fuller assessment of how it compares to other approaches to modality, including an essentialist approach. (shrink)

In recent work, Amie Thomasson has defended what she calls normativism about metaphysical modality. She claims that discourse about metaphysical modality primarily serves a non-descriptive function, and builds a theory of such discourse around this claim. In this text, I critically discuss Thomasson’s view. Chief among the problems I go on to discuss is that Thomasson’s account of the meanings of modal expressions does not solve the problems she intends it to solve (among them solving the Frege-Geach problem), (...) that there is no significant ordinary practice of making metaphysically modal claims in the first place, and that the general problem she identifies and seeks to solve goes beyond discourse about metaphysical modality so a theory focused on metaphysical modal discourse is not general enough to deal with the problem. (shrink)

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. (shrink)

In Ontology Made Easy (2015), I defend the idea that there are ‘easy’ inferences that begin from uncontroversial premises and end with answers to disputed ontological questions. But what do easy inferences really get us? Bueno and Cumpa (this journal, 2020) argue that easy inferences don’t tell us about the natures of properties—they don’t tell us what properties are. Moreover, they argue, by accepting an ontologically neutral quantifier we can also resist the conclusion that properties or numbers exist. Here I (...) address these two issues in turn—in ways that help clarify both the scope and results of easy ontology.First, it is important to see that easy inferences were never intended to address modal questions. Modal questions are addressed by a different part of the total deflationary view—modal normativism. So understood, metaphysical modal questions nonetheless do not provide a remaining area for serious metaphysical inquiry. Second, I argue that we have reason to resist adopting an ontologically neutral quantifier, if we aim to answer ontological questions (without begging the question). Addressing these issues helps to clarify both what does (and does not) follow from easy inferences, and how they form part of a larger deflationary metametaphysical view. (shrink)

Amie Thomasson's Norms and Necessity offers a non-factualist theory of the language of metaphysical necessity, centering on the idea that statements of necessity express semantic norms. This article identifies a potential problem for the view by distinguishing two kinds of conditional necessity, investigates a solution derived from a well-known parallel pair of conditional necessities in deontic logic, but finds it is not up to the job. The last part of the paper suggests a different route, largely in keeping with the (...) underlying ideas behind Thomasson's approach. (shrink)

Amie Thomasson has argued against descriptivism about modality, which starts from the idea that modal statements serve to track features of the world and that these features explain the truth-values of modal claims. Thomasson objects that descriptivists cannot satisfactorily explain how modal features fit into the naturalistic picture of the world and that they cannot account for our apparent capacity to acquire modal knowledge. On Thomasson’s alternative to descriptivism (called ‘normativism’), the function of modal (...) claims is to facilitate communication about certain semantic rules. I argue that it is not obvious that the semantic rules that Thomasson takes to be expressed by modal truths really exist. Moreover, I defend a specific version of descriptivism – essentialism – against Thomasson’s objections. Essential truths play a central role in the best explanations of many facts about the world. That includes the explanations delivered by our best scientific theories once these theories are correctly interpreted philosophically. In this way, essences earn their keep in a naturalistic view of the world. Furthermore, the abductive methods by which we confirm our explanatory theories also support certain theses about essences. This allows essentialists to explain knowledge of essences and modal knowledge. (shrink)

Review of Amie L. Thomasson's book *Norms and Necessity* (New York: Oxford University Press). - Amie Thomasson’s latest monograph, *Norms and Necessity*, defends a normativist position about metaphysical modality statements. As a deflationary approach to metaphysical modality, Thomasson’s brand of normativism is in full continuity with her previous meta-metaphysical endeavors—especially with her deflationary approach to the existence of objects, developed in *Ontology Made Easy*.

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

We consider some modal languages with a modal operator $D$ whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at.

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

What is possible and why? What is the difference between the merely possible and the actual? In Kants Modal Metaphysics Nicholas Stang examines Kants lifelong engagement with these questions and their role in his philosophical development. This is the first book to trace Kants theory of possibility all theway from the so-called pre-Critical writings of the 1750s and 1760s to the Critical system of philosophy inaugurated by the Critique of Pure Reason in 1781. Stang argues that the key to (...) understanding both the change and the continuity between Kants pre-Critical and Critical theory of possibility is his transformation of the ontological question about possibility-what is it for a being to be possible?-into a question in transcendental philosophy-what is it to represent an object as possible? (shrink)

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be (...) that different worlds are distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)

In recent years the doctrine of divine simplicity has become a topic of interest in the philosophical theological community. In particular, the modal collapse argument against divine simplicity has garnered various responses from proponents of divine simplicity. Some even claiming that the modal collapse argument is invalid. It is our contention that these responses have either misunderstood or misstated the argument, and have thus missed the force of the objection. Our main aim is to clarify what the (...) class='Hi'>modal collapse argument in fact says, and explain why the recent responses do not succeed. In order to argue our case, we will proceed in several steps. First, we aim to systematically articulate the doctrine of divine simplicity. Second, articulate the Christian conviction that God is free to create any feasible world or no world at all. Third, argue that divine simplicity suffers a modal collapse and thus undermines God's freedom. Fourth, respond to potential objections to modal collapse. Fifth, we offer some concluding remarks. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

On one classical conception of God, God has no parts, not even metaphysical parts. God is not composed of form and matter, act and potency, and he is not composed of existence and essence. God is absolutely simple. This is the doctrine of Absolute Divine Simplicity. It is claimed that ADS implies a modal collapse, i.e. that God’s creation is absolutely necessary. I argue that a proper way of understanding the modal collapse argument naturally leads the proponent of (...) ADS to reject a particular premise of the argument: namely, “the same identical cause brings about the same effect.” However, I argue that the rejection of that premise leads to a deeper problem for ADS. It leads to an explanatory gap: how can we explain the relevant type of indeterminism in an absolutely simple God? (shrink)

Shelly Kagan has recently defended the view that it is morally worse for a human being to suffer some harm than it is for a lower animal (such as a dog or a cow) to suffer a harm that is equally severe (ceteris paribus). In this paper, I argue that this view receives rather less support from our intuitions than one might at first suppose. According to Kagan, moreover, an individual’s moral status depends partly upon her ‘modal capacities.’ In (...) this paper, I argue that the most natural strategy for justifying Kagan’s theory faces some important challenges. More generally, I argue that philosophers who wish to defend the view that human beings have a higher moral status than that of the lower animals face a dilemma. Either their theory of moral status will imply (unacceptably) that some severely cognitively impaired human beings have a significantly lower moral status than that of typical human beings, or these philosophers will be forced to ground moral status in a set of properties so far removed from a subject’s actual capacities that it will become difficult to see why these kinds of properties should have such moral importance. (shrink)

In recent work, E. J. Lowe presents an essence-based account of our knowledge of metaphysical modality that he claims to be superior to its main competitors. I argue that knowledge of essences alone, without knowledge of a suitable bridge principle, is insufficient for knowing that something is metaphysically necessary or metaphysically possible. Yet given Lowe's other theoretical commitments, he cannot account for our knowledge of the needed bridge principle, and so his essence-based modal epistemology remains incomplete. In addition to (...) that, Lowe's account implies a psychologically unrealistic reconstruction of how we ordinarily acquire knowledge of metaphysical modalities. The discussion of Lowe's suggestive essence-based account is also intended as a case study that illustrates a more general problem in the epistemology of modality: the great difficulty of explaining our modal knowledge in terms of a single overtly nonmodal kind of knowledge. The failure of Lowe's account suggests that such a sweeping reductive explanation of our modal knowledge might simply not be available. This should be good news for those philosophers who champion less reductive or more pluralistic accounts of our modal knowledge. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

Modal collapse arguments are all the rage in certain philosophical circles as of late. The arguments purport to show that classical theism entails the absurdly fatalistic conclusion that everything exists necessarily. My first aim in this paper is bold: to put an end to action-based modal collapse arguments against classical theism. To accomplish this, I first articulate the ‘Simple Modal Collapse Argument’ and then characterize and defend Tomaszewski’s criticism thereof. Second, I critically examine Mullins’ new modal (...) collapse argument formulated in response to the aforementioned criticism. I argue that Mullins’ new argument does not succeed. Third, I critically examine a powers-based modal collapse argument against classical theism that has received much less attention in the literature. Fourth, I show why God’s being purely actual, as well God’s being identical to each of God’s acts, simply cannot entail modal collapse given indeterministic causation. This, I take it, signals the death of modal collapse arguments. But not all hope is lost for proponents of modal collapse arguments—for the death is a fruitful one insofar as it paves the way for new inquiry into at least two new potential problems for classical theism. Showing this is my paper’s second aim. (shrink)

The structure of the second, Or so-Called modal version of anselm's ontological argument is discussed in relation to various systems of alethic modal logic. It is argued that there are three current problems standing in the way of acceptance of the argument, Each related to its modal structure, And each an analogue of a traditional objection to anselm's original argument. Two of these problems can probably be solved, But the third remains recalcitrant.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's (...) and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference but otherwise stay very close to Gentzen’s sequent calculus, in particular they enjoy a subformula property in the literal sense. No semantic notions are used inside the proof systems, in particular there is no use of labels. All their rules are invertible and the rules cut, weakening (...) and contraction are admissible. All systems admit a straightforward terminating proof search procedure as well as a syntactic cut elimination procedure. (shrink)

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

I discuss in this paper a criticism of modal logic due to Donald Davidson and John Wallace. They have claimed that, to quote Wallace, “modal predicate calculus does not provide a reasonable standpoint from which to interpret a language” (1970, p. 147). The aim of this paper is to present and evaluate their argument for this claim.

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender (...) of FEMF should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever comes out true. (...) This is so even if Yagisawa accepts a paraconsistent notion of logical consequence, on which contradictions do not entail arbitrary conclusions. The second argument is independent of Yagisawa’s acceptance of impossibilia. It shows that Yagisawa’s metaphysics of possible worlds is incoherent. Using ordinary modal reasoning, I derive a contradiction from Yagisawa’s account of possible worlds. (shrink)