Summary: The paper provides an argument for modal primitivism, the view that necessity is not defined and is therefore part of the structure of reality. It then raises the explanation-challenge for primitivists: how can modal truths be explained by hyper-intensional truths, if necessity is not defined in terms of hyper-intensional phenomena? To address the challenge, the paper introduces 'sophisticated modal primitivism' which gives a substantive analysis of the notion of a 'source of necessity'. The final (...) part of the paper offers some applications of that novel piece of ideology. (shrink)

Modal primitivism is the view that there are modal features of the world which cannot be reduced to the non-modal. Theories which embrace primitive modality are often rejected for reasons of ideological simplicity: the fewer primitive notions a theory invokes, the better. Furthermore, modal primitivism is often associated with the view that all modal features of the world are irreducibly modal, which appears unsystematic and unexplanatory. As a result, many prefer modal (...) reductionism. This work is an articulation and defense of a modal primitivist theory of modality which requires minimal ideology and is systematic and explanatory. On this version of modal primitivism, only some modal features of the world are irreducibly modal—namely, incompatibilities between certain properties or relations. Other modal features of the world are reducible to a combination of primitive incompatibilities and the non-modal features of the world. In chapter 1, I introduce various issues in the metaphysics of modality, giving appropriate background for what follows. My modal primitivist theory of modality is introduced in chapters 2 and 3. In chapter 2, I argue that a well-known modal reductionist theory of modality is not as ideologically innocent as it’s thought to be: modal primitivism has the upper hand with respect to primitive notions. I then introduce the primitive notion of incompatibility and show how this notion can be used to account for de dicto modality, which concerns purely qualitative modal claims. In chapter 3, I present a theory of de re modality, that which concerns modal claims involving particular individuals. Since on this theory the de re is reducible to the de dicto, it requires no more primitive modality than that which appears at the level of the de dicto. I end in chapter 4 by arguing against a rival modal primitivist theory, showing that the primitive notion that it countenances, dispositionality, cannot account for all modal claims. (shrink)

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also (...) available to primitivists. I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

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

Many are reluctant to accept primitive modality into their fundamental picture of the world. The worry often traces to this thought: we shouldn't adopt any more primitive - that is, unexplained - notions than we need in order to explain all the features of the world, and primitive modal notions are not needed. I examine one prominent rival to modal primitivism, combinatorialism, and show that in order to account for all the modal features of the world (...) the combinatorialist must adopt two additional primitive notions. My own modal primitivist view takes as primitive the notion of incompatibility between properties or relations. I show how the non-modal notions that the combinatorialist must adopt as primitive may be analyzed using my notion. The upshot is that with respect to the number of primitive notions, my modal primitivist theory comes out ahead. (shrink)

This paper centers on Takashi Yagisawa’s book Worlds and Individuals, Possible and Otherwise (Oxford: 2010), which provides a novel and systematic analysis of modality and time. I consider the overall structure of Yagisawa’s treatment of modality and time, and discuss in detail the following three topics: (i) Possible worlds as modal indices, (ii) Trans-world identity, (iii) The claim that existence, unlike reality, is relative. My main conclusion is that Yagisawa's view of modality is driven by a strong primitivism, (...) leading to the endorsement of possibility, actuality, and presentness, but also possible worlds and times, as irreducible. The resulting view is saddled with the typical problems of primitivism on the one hand, and modal realism on the other. I criticize the view that existence is relative. (shrink)

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

This thesis is an argument for the view that there are problems for Modal Reductionism, the thesis that modality can satisfactorily be defined in non-modal terms. -/- I proceed via a case study of David Lewis’s theory of concrete possible worlds. This theory is commonly regarded as the best and most influential candidate reductive theory of modality. Based on a detailed examination of its ontology, analysis and justification, I conclude that it does badly with respect to the following (...) four minimal conditions on a satisfactory reductive theory of modality: that it be (a) genuinely reductive, (b) materially adequate, (c) conceptually adequate and (d) that its justification provides good reason to think it true. -/- These problems for Lewis’s theory are not, I suggest, due to his idiosyncratic conception of possible worlds as concrete entities. Rather, because Lewis’s theory can be seen to represent an important class of structurally similar reductive theories of modality, the problems for Lewis’s theory generalise to problems for these other theories. This suggests that Modal Reductionism is unpromising. In the light of this, the alternative approach to understanding modality, Modal Primitivism, appears more attractive. (shrink)

Modal arguments like the Knowledge Argument, the Conceivability Argument and the Inverted Spectrum Argument could be used to argue for experiential primitivism; the view that experiential truths aren’t entailed from nonexperiential truths. A way to resist these arguments is to follow Stoljar (Ignorance and imagination. Oxford University Press, Oxford, 2006) and plead ignorance of a type of experience-relevant nonexperiential truth. If we are ignorant of such a truth, we can’t imagine or conceive of the various sorts of scenarios (...) that are required to make these arguments sound. While I am sympathetic to this response, in this article I will argue that we have good reason to believe that this particular ignorance hypothesis is false. (shrink)

An account of modality is produced which takes as its foundation the idea that modal concepts are parasitic upon our background theoretical commitments. This position is distinguished from the majority of philosophies of modality, which are either primitivist or reductionist. It is in this sense that our account is less burdened by metaphysics. The primary purpose of the document is to demonstrate that our approach is a coherent one. It supports this claim in three stages. First, we identify the (...) historical lineage of our position and elucidate the main desiderata which must be met if the project is to succeed. Second, we provide a series of logical systems which are designed to meet our requirements. A raft of technical challenges beset this part of the project and this is where the bulk of the result in this thesis are located. Finally, we use the precise formalisation as a means to get a better understanding of what is at stake in the project and to understand the resultant position's relationship with other leading, contemporary philosophies of modality. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong (...) to any logical order, that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

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)

Could laws of nature be violated, in the sense that some proposition is both a law and false? I argue that opponents of regularity theories of laws should accept the metaphysical possibility of such genuine violations. I begin with a clarification of this claim. The main argument is then developed in three steps. I first argue that opponents of regularity theory should endorse the modal-essence view: certain modal principles are essential to the laws of nature. Second, I argue (...) that the modal-essence view entails sophisticated modal primitivism. Third, I argue from sophisticated primitivism to the metaphysical possibility of genuine violations of laws. (shrink)

The modal primitivist who takes a sentential possibility operator as her only modal resource can provide adequate representations of the familiar concepts of weak, strong and global supervenience. The primitivist representations of these concepts can be applied to provide adequate interpretations of speciflc supervenience theses which will be considered. Moreover the modal primitivist is no better and no worse placed than the genuine modal realist to present supervenience as a simple and unifled notion. Therefore, Lewis is (...) unjustified in claiming that a genuine modal realist approach to the analysis of the concept of supervenience is superior to a modal primitivist approach. (shrink)

Actualist counterpart theory replaces David Lewis’s concrete possible worlds and individuals with ersatz worlds and individuals, but retains counterpart theory about de re modality. While intuitively attractive, this view has been rejected for two main reasons: the problem of indiscernibles and the Humphrey objection. I argue that in insisting that ersatz individuals play the same role as Lewisian individuals, actualists commit the particularist fallacy. The actualist should not require stand-ins for every Lewisian individual. Ersatz individuals should instead be construed as (...) representations of actually existing qualitative ways for individuals to be, or qualitative properties individuals can instantiate. This necessitates changes elsewhere. Non-instrumental uses of Kripke semantics and standard counterpart semantics also require stand-ins for particular non-actual individuals. I argue that the actualist should instead adopt a non-standard counterpart semantics that more clearly illuminates the role that actual properties and relations play in explaining de re possibilities and necessities. The result is an intuitive and forceful reply to both the problem of indiscernibles and the Humphrey objection. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

Two approaches to elevating certain laws of nature over others have come to prominence recently. On the one hand, according to the meta-laws approach, there are meta-laws, laws which relate to laws as those laws relate to particular facts. On the other hand, according to the modal, or non-absolutist, approach, some laws are necessary in a stricter sense than others. Both approaches play an important role in current research, questioning the ‘orthodoxy’ represented by the leading philosophical theories of natural (...) laws—Humeanism, the DTA view, dispositional essentialism and primitivism. This paper clarifies the relations between these two emerging approaches, as well as their applicability to physical laws and the status of the challenges they pose for standard theories of laws of nature. We first argue that, despite some significant similarities between the two approaches (especially in the context of Lange’s counterfactual account of laws), they are in general distinct and largely independent of each other. Then, we argue that the support for meta-laws from physical theory and practice is more questionable than usually presented. (shrink)

Gordon Belot investigates the distinctive notion of geometric possibility that relationalists rely upon. He examines the prospects for adapting to the geometric case the standard philosophical accounts of the related notion of physical possibility, with particular emphasis on Humean, primitivist, and necessitarian accounts of physical and geometric possibility. This contribution to the debate concerning the nature of space will be of interest not only to philosophers and metaphysicians concerned with space and time, but also to those interested in laws of (...) nature, modal notions, or more general issues in ontology. (shrink)

Over the past 50 years, there has been a great deal of philosophical interest in laws of nature, perhaps because of the essential role that laws play in the formulation of, and proposed solutions to, a number of perennial philosophical problems. For example, many have thought that a satisfactory account of laws could be used to resolve thorny issues concerning explanation, causation, free-will, probability, and counterfactual truth. Moreover, interest in laws of nature is not constrained to metaphysics or philosophy of (...) science; claims about laws play essential roles in areas as diverse as the philosophy of religion (e.g., in the argument from design) and the philosophy of mind (e.g., in the formulation of Davidson’s anomalous monism). In my dissertation, I consider and reject the widely-held thesis that the facts concerning laws can be reduced to the facts concerning the particular entities that the laws “govern,” and that the laws thus have no independent existence. I instead defend a version of nomic primitivism, according to which the facts about laws cannot be reduced to facts that are themselves non-nomic – i.e., to facts that do not fundamentally involve laws, counterfactuals, causes, etc. Insofar as the truth or falsity of reductionism about laws has implications for many of the problems mentioned above, I think that this result should be of interest even to those who who do not work in metaphysics or the philosophy of science. My methodology, which I lay out and defend in Chapter One, is a version of Carnapian explication. This method emphasizes the importance of articulating and maintaining clear distinctions between (1) the vague concept (or concepts) law of nature inherent in ordinary language and scientific practice and (2) the precise analyses of “law of nature” that philosophers have proposed as potential replacements for this concept. I argue that metaphysics-as-explication has clear advantages over rival conceptions of metaphysical methodology; in particular, it allows us to formulate evaluative criteria for metaphysical claims. In Chapter Two, I offer an example of how careful attention to concepts already in use can help resolve philosophical debate. Specifically, I argue that much recent literature has mistakenly assumed that there is only one concept of “law of nature” in use, while there are in fact at least two. Strong laws are the principles pursued by fundamental physics: they are true, objective, and bear distinctive relationships to counterfactuals and explanation. Weak laws, by contrast, lack at least one of these distinctive characteristics but play central roles in both the “special sciences” and in everyday life. In Chapters Three and Four, I offer extended arguments against the two most prominent versions of reductionism about laws – Humeanism and law necessitarianism. According to philosophical Humeans, the laws of nature supervene upon the non-modal, non-nomic facts concerning the behavior of particular things at particular times and places. Law necessitarians, by contrast, argue that the laws are in fact metaphysically necessary, and that which laws there are is determined by a class of primitive, modally loaded facts concerning the essences, natures, or dispositions. I argue that both of these views are mistaken insofar as they disagree with well-entrenched scientific practices and those in favor of reductionism have failed to provided sufficient reason for thinking that these practices should be revised. Much of my argument is focused on the role played by a number of supposed methodological principles, including appeals to intuition, parsimony, and methodological naturalism. While the conclusions of this dissertation are explicitly constrained to laws, many of the arguments should be of interest to those who are concerned about philosophical methodology (especially in the role of intuition in philosophical argument) or the appropriate relation between metaphysics, science, and the philosophy of science. (shrink)

Quantum gravity’s suggestion that spacetime may be emergent and so only exist contingently would force a radical reconception of extant analyses of laws of nature. Humeanism presupposes a spatiotemporal mosaic of particular matters of fact on which laws supervene; primitivism and dispositionalism conceive of the action of primitive laws or of dispositions as a process of ‘nomic production’ unfolding over time. We show how the Humean supervenience basis of non-modal facts and primitivist or dispositionalist accounts of nomic production (...) can be reconceived, avoiding a reliance on fundamental spacetime. However, it is unclear that naturalistic forms of Humeanism can maintain their commitment to there being no necessary connections among distinct entities. Furthermore, non-temporal conceptions of production render this central concept more elusive than before. In fact, the challenges run so deep that the survival of the investigated analyses into the era of quantum gravity is questionable. (shrink)

The main intent of this thesis is to defend that the laws of nature are better thought as transcendent universals, such as platonic governism suggests, and that they are metaphysically necessary in a strong way, such as the heterodox version of such platonism defends. With this intention, we sustain that physical symmetries are essential consequences of the laws of nature – what solves the challenge of symmetries – thus being metaphysically necessary, without being governist's necessitation laws. First, we will show (...) what laws of nature are and the reasons to reject other metaphysical theories and to accept platonic governism. Soon after, we will present the challenge of symmetries and the reasons to prefer the platonic governist answer over dispositionalist, regularist, aristotelic (governism), counterfatualist and primitivist ones. At last, we will define what is the metaphysical necessity, argue for the strong metaphysical necessity of laws and their consequences, and show why the reasons for the contingency or weak necessity of laws are bad theoretical paths. (shrink)

Jamin Asay's book offers a fresh and daring perspective on the age-old question 'What is truth?', with a comprehensive articulation and defence of primitivism, the view that truth is a fundamental and indefinable concept. Often associated with Frege and the early Russell and Moore, primitivism has been largely absent from the larger conversation surrounding the nature of truth. Asay defends primitivism by drawing on a range of arguments from metaphysics, philosophy of language and philosophy of logic, and (...) navigates between correspondence theory and deflationism by reviving analytic philosophy's first theory of truth. In its exploration of the role that truth plays in our cognitive and linguistic lives, The Primitivist Theory of Truth offers an account of not just the nature of truth, but the foundational role that truth plays in our conceptual scheme. It will be valuable for students and scholars of philosophy of language and of metaphysics. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it (...) can enrich our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

The typical kind of color realism is reductive: the color properties are identified with properties specified in other terms (as ways of altering light, for instance). If no reductive analysis is available — if the colors are primitive sui generis properties — this is often taken to be a convincing argument for eliminativism. That is, realist primitivism is usually thought to be untenable. The realist preference for reductive theories of color over the last few decades is particularly striking in (...) light of the generally anti-reductionist mood of recent philosophy of mind. The parallels between the mind—body problem and the case of color are substantial enough that the difference in trajectory is surprising. While dualism and non-reductive physicalism are staples, realist primitivism is by and large a recent addition to the color literature. And it remains a minority position, although one that is perhaps gaining support. In this paper, we investigate whether it should be accepted, and conclude it should not be. (shrink)

Kripke-Wittgenstein meaning skepticism appears as a serious threat to the idea that there could be meaning-constituting facts. Some people argue that the only viable response is to adopt semantic primitivism (SP). SP is the doctrine that meaning-facts are _sui generis and irreducibly semantic. The idea is that by allowing such primitive semantic facts into our ontology Kripke's skeptical paradox cannot arise. I argue that SP is untenable in spite of its apparent resourcefulness. (edited).

This essay offers an account and defense of conceptual primitivism about truth: the view that the concept of truth is a fundamental concept that cannot be analyzed or defined in terms of concepts that are more fundamental. It considers three arguments in defense of primitivism, and meets a familiar objection that fundamental concepts are by their nature obscure and mysterious. It concludes by considering the ways in which primitivism is similar to and different from other theories of (...) truth, both substantive and deflationary. (shrink)

This book presents the first study of the development of the theory of modal syllogistic in the Middle Ages.

The analogy between colors and values is strongly interlinked with the idea that these properties are by nature dispositions or response-dependent properties. Indeed, that colors are essentially visible, and values are inherently motivational, cries out for a dispositional or a response-dependent account. Recently, Primitivism has challenged the viability of the dispositional account of colors, taking the apple, for instance, to be “gloriously, perfectly, and primitively red.” Unsurprisingly, the attack on the dispositional account of colors has found a moral analogue (...) in the view that values are sui generis irreducibly primitive properties. The question this article addresses is whether given Primitivism the analogy between colors and values is preserved; or in other words, whether Primitivism breaks the bond between the dispositional account and the analogy between colors and values. (shrink)

While the inference problem is widely thought to be one of the most serious problems facing non-Humean accounts of laws, Jonathan Schaffer has argued that a primitivist response straightforwardly dissolves the problem. On this basis, he claims that the inference problem is really a pseudo-problem. Here I clarify the prospects of a primitivist response to the inference problem and their implications for the philosophical significance of the problem. I argue both that it is a substantial question whether this sort of (...) response ought to be accepted and that the inference problem, contra Schaffer, remains a significant problem with important implications for the non-Humean position. I also argue that this discussion indicates grounds to be wary about applying the Schaffer-style strategy of straightforwardly dissolving problems by stipulation to other philosophical problems. (shrink)

We present here the papers selected for the volume on the Unity of Propositions problems. After summarizing what the problems are, we locate them in a spectrum from those aiming to provide substantive, reductive explanations, to those with a more deflationary take on the problems.

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers (...) an up-to-date and reliable guide essential for the student. (shrink)

Primitivists about truth maintain that truth cannot be analysed in more fundamental terms. Defences of primitivism date back to the early years of analytic philosophy, being offered by G.E. Moore, Bertrand Russell, and Gottlob Frege. In more recent years, a number of contemporary philosophers—including Donald Davidson, Ernest Sosa, Trenton Merricks, Douglas Patterson, and Jamin Asay—have followed suit, defending their own versions of primitivism. I'll begin by offering a brief history of primitivism, situating each of these views within (...) the landscape of primitivist truth theories and detailing some of their core motivations and apparent shortcomings. To close the discussion, I'll offer a diagnosis of the prospects of primitivism, focusing on the mystery challenge, which has loomed large throughout the history of primitivist truth theories, and the methodology that should be used in evaluating primitivist (and other) truth theories going forward. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called (...) inner and outer quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics.".

Philosophy and Phenomenological Research, EarlyView.