“Counterfactual” readings of might/could have were previously analyzed using metaphysical modal bases. This paper presents examples and scenarios where the assumptions of such a branching-time semantics are not met, because there are facts at the base world that preclude the complement of the modal becoming true. Additional arguments show that counterfactual readings are context dependent. These data motivate a semantics using a circumstantial (or factual) modal base, which refers to context-dependent facts about a world and time. The analysis is (...) formulated in a version of premise semantics for modality. (shrink)

The aim of this paper is to present an explanation for the impact of normative considerations on people’s assessment of certain seemingly purely descriptive matters. The explanation is based on two main claims. First, a large category of expressions are tacitly modal: they are contextually equivalent to modal proxies. Second, the interpretation of predominantly circumstantial or teleological modals is subject to certain constraints which make certain possibilities salient at the expense of others.

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications (...) of scientific theories involves an objective modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

This paper discusses the interaction of aspect and modality, and focuses on the puzzling implicative effect that arises when perfective aspect appears on certain modals: perfective somehow seems to force the proposition expressed by the complement of the modal to hold in the actual world, and not merely in some possible world. I show that this puzzling behavior, originally discussed in Bhatt (1999, Covert modality in non-finite contexts) for the ability modal, extends to all modal auxiliaries with a (...) circumstantial modal base (i.e., root modals ), while epistemic interpretations of the same modals are immune to the effect. I propose that implicative readings are contingent on the relative position of the modal w.r.t. aspect: when aspect scopes over the modal (as I argue is the case for root modals), it forces an actual event, thereby yielding an implicative reading. When a modal element scopes over aspect, no actual event is forced. This happens (i) with epistemics, which structurally appear above tense and aspect; (ii) with imperfective on a root modal: imperfective brings in an additional layer of modality, itself responsible for removing the necessity for an actual event. This proposal enables us to solve the puzzle while maintaining a standardized semantics for aspects and modals. (shrink)

I present an exemplary Humean modal epistemology. My version takes inspiration from but incurs no commitment to both Hume’s historical position and Lewis’s Humeanism. Modal epistemology should meet two challenges: the Integration challenge of integrating metaphysics and epistemology and the Reliability challenge of giving an account of how our epistemic capacities can be reliable in detecting modal truth. According to Lewis, modal reasoning starts from certain Humean principles: there is only the vast mosaic of spatiotemporally distributed local matters of fact. (...) The facts can be arbitarily recombined. These principles cannot be taken for granted. I suggest a bottom-up approach instead: Humean principles of recombining the mosaic of facts can be retrieved from the evolutionarily instilled and empirically informed use of imagination in exploring everyday circumstantial possibilities. This use of imagination conforms to a primitive conception of matter as freely recombinable. The modal beliefs that can be obtained from generalizing the more elementary exercise of imagination have to be corrected. Recombination is limited by sortal criteria of identity. Moreover, the overall picture of a recombinable spatiotemporal mosaic must be weighed against the results of science. (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)

This paper concerns a puzzle about the interaction of epistemic modals and future tense. In cases of predictable forgetfulness, speakers cannot describe their future states of mind with epistemic modals under future tense, but promising theories of epistemic modals do not predict this. In §1, I outline the puzzle. In §2, I argue that it undermines a very general approach to epistemic modals that draws a tight connection between epistemic modality and evidence. In §3, I defend the assumption that (...) tense can indeed scope over epistemic modals. In §4, I outline a new way of determining the domain of quantification of epistemic modals: epistemic modals quantify over the worlds compatible with the information accumulated within a certain interval. Information loss can change which interval is relevant for determining the domain. In §5, I defend the view from some objections. In §6, I explore the connections between my view of epistemic modality and circumstantial modality. (shrink)

This paper concerns a distinction between circumstantial truths that hold because of the circumstances and acircumstantial truths that hold regardless of, or transcend, the circumstances. Previous discussions of the distinction tended to focus on its applications, such as to modality, logical truth, and essence. This paper focuses on developing the distinction largely, but not entirely, in abstraction from its potential applications. As such, the paper’s main contribution is to further clarify the distinction itself. An indirect contribution is to (...) help guide its future applications. (shrink)

Michael Oakeshott shared the general concerns of British idealists and leaned heavily upon their conclusions. As with any mode of understanding, historv creates its own object of inquiry. History is an activity built upon postulates and capable of generating conclusions appropriate to itself. The past in history is different from any other past. It can only be evoked by means of subscription to the historical present in which each artifact is recognized as the vestige of a performance which is transformed (...) into circumstantial evidence of a past which has not survived. A great deal of what Oakeshott has to say, especially about coherence, continuity, and identity in difference, stands in sharp contrast to Collingwood's ideas on the reenactment of the past. A living past, relevant to the present or evocative of a future state of affairs, is modally irrelevant to history. (shrink)

The basis of the paper is a logic of analytical consequential implication, CI.0, which is known to be equivalent to the well-known modal system KT thanks to the definition A → B = df A ⥽ B ∧ Ξ (Α, Β), Ξ (Α, Β) being a symbol for what is called here Equimodality Property: (□A ≡ □B) ∧ (◊A ≡ ◊B). Extending CI.0 (=KT) with axioms and rules for the so-called circumstantial operator symbolized by *, one obtains a system (...) CI.0*Eq in whose language one can define an operator ↠ suitable to formalize context-dependent conditionals (so to counterfactual conditionals) via the definition (Def ↠) A ↠ B = df *A ⥽ B ∧ Ξ (Α, Β).. The central problem of the paper is to identify inside CI.0*Eq + Def ↠ a set of axioms yielding the fragment consisting of all and only theorems in which only truth-functional operators and the two operators → and ↠ occur. This system, here called CI.0, is introduced in §3. In view of the intended purpose, it is introduced a complete and tableau-decidable system KTw, which is an extension of KT with axioms for the so-called quasi-variables w(A), w(B)… Three translation functions among the three languages used in the paper are then introduced. The first, Tr, maps every wff of form *A into wffs of form w(A) ∧ A and translates theorems of CI.0*Eq into theorems of KTw. The second, t°, translates theorems of CI.0 into theorems of CI.0*Eq by applying Def↠. A third one, t, translates theorems of CI.0 into theorems of KTw. As a consequence, it follows that t°A = TrtA. In §4 it is proved that CI.0 is complete w.r.t. the class of CI.0-models of form where f is a selection function and R an access relation. It is then proved (i) that CI.0 models may be converted into KTw-models; (ii) that the truth-value of a proposition in a world of a CI.0-model is preserved in the same world of the derived KTw-model; (iii) that A is a CI.0-thesis iff its translation tA is KTw-thesis. It follows that, if A is not a CI.0-thesis, tA is not a KTw-thesis, so also that TrtA is not a CI.0*Eq-thesis. Since t°A = TrtA and t°A is a function built on Def↠, this proves that every t°-translation of a CI.0-wff that is a CI.0*Eq-theorem is a CI.0-theorem. Since the converse proposition is proved in §2, their conjunction establishes the desired result. In the final section, it is proved that CI.0 is tableau-decidable, that ↠ is not a trivial operator and that ↠ enjoys the positive and negative properties required in §1 for context-dependent conditionals. Some final remarks suggest that studying the relations between CI.0 and systems of classical conditional logic may be a promising line of investigation. (shrink)

We claim that the meaning of the adverbial almost contains both a scalar proximity measure and a modal that allows it to work sometimes when proximity fails, what we call the at-a-distance reading. Essentially, almost can hold if the proposition follows from the normal uninterrupted outcomes of adding a small enough number of premises to a selection of relevant facts. Almost at-a-distance is blocked when the temporal properties of the topic time and Davidsonian event prevent normal outcomes from coming true (...) when they need to. This approach to almost differs from the two general approaches that have emerged in the literature, by replacing the negative polar condition with a positive antecedent condition that entails not p while avoiding the numerous well-documented complications of employing a polar condition. Since this approach to almost involves a circumstantial base with a non-interrupting ordering source, almost behaves in certain ways like the progressive, and shows contextual variability of the same kinds that we see with premise sets. (shrink)

The particle ulašūma in Old Babylonian Akkadian is analyzed from a functional and syntactic point of view. In addition to its known functions as a pro-polar protasis and as a disjunctive particle, it is also concluded to function as a conditional exponent. As such it is shown to belong with other expressions of epistemic modality. Its most plausible diachronic source is determined, based on comparative as well as Akkadian material, to have been a non-verbal circumstantial expression *u lā (...) šū not’) ultimately meaning ‘it not being the case...’. In the second part of the paper, a cognate origin is proposed for the Biblical Hebrew epistemic particle ʔūlay. Two possible paths are discussed—one is internal development and the other a result of language contact. Each path is considered, paying meticulous attention to the respective sets of difficulties. The difference in the synchronic function and meaning between the Akkadian and Hebrew particles is bridged based on the syntactic and functional analysis of the Old Babylonian particle, which shows it to be an epistemic particle. (shrink)

Despite its somewhat marginal occurrence, unattainability has been acknowledged as a genuine problematic element for the semantic analysis of modal constructions, particularly for those expressing desires (Heim in J Semant 9(3):183–221, 1992; Portner in Nat Lang Semant 5(2):167–211, 1997). However, considerably less attention has been given to unattainable duties. In this article, I suggest that just as worlds that are deemed desirable are not necessarily linked to worlds considered candidates for actuality, some circumstantial arrangements allow for obligational expressions the (...) semantics of which evoke worlds that are deemed obligatory yet unattainable. As I will show, a careful examination of unattainable duties constructions reveals some unexplored semantic aspects of obligational ascriptions that are particularly relevant for the development of both X-marking and modal-tense interaction theories. This article provides a philosophical and linguistic account of the meaning and use of such constructions. (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 received view of Kant’s moral philosophy is that it precludes all moral luck. But I offer a plausible interpretation according to which Kant embraces moral luck in circumstance and constitution. I interpret the unconditioned nature of transcendental freedom as a person’s ability to do the right thing no matter how she is inclined by her circumstantial and constitutive luck. I argue that various passages about degrees of difficulty relating to circumstantial and constitutive luck provide a reason to (...) accept a pro-moral luck interpretation of Kant. (shrink)

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)

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)

It is intuitive that circumstantial ignorance, even when culpable, can mitigate blameworthiness for morally wrong behavior. In this paper I suggest an explanation of why this is so. The explanation offered is that an agent’s degree of blameworthiness for some action depends at least in part upon the quality of will expressed in that action, and that an agent’s level of awareness when performing a morally wrong action can make a difference to the quality of will that is expressed (...) in it. This explanation makes use of Holly Smith’s distinction between benighting and benighted actions as well as a notion developed here called “capture.”. (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.".

This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different epistemology of possibility, (...) which does not face these problems: Williamson’s (2007: ch. 5) counterfactual-based epistemology. Two ways of motivating moderate modal skepticism within that framework are found unpromising. Nevertheless, we also find a way of vindicating an epistemological thesis that, while weaker than moderate modal skepticism, is strong enough to support the methodological moral van Inwagen wishes to draw. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...) with the compositional semantics of deontic modals. However, I reject theories that provide this probabilistic structure by claiming that the semantics of deontic modals is linked to the Bayesian notion of expectation. I offer a probabilistic premise semantics that explains all the data that create trouble for the rival theories. (shrink)

The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot (...) support Peacocke's moderate rationalism. (shrink)

The paper compares the suitability of two different epistemologies of counterfactuals—(EC) and (W)—to elucidate modal knowledge. I argue that, while both of them explain the data on our knowledge of counterfactuals, only (W)—Williamson’s epistemology—is compatible with all counterpossibles being true. This is something on which Williamson’s counterfactual-based account of modal knowledge relies. A first problem is, therefore, that, in the absence of further, disambiguating data, Williamson’s choice of (W) is objectionably biased. A second, deeper problem is that (W) cannot satisfactorily (...) elucidate modal knowledge. Third, from a naturalistic perspective, the nature of this second problem favours (EC) against (W). (shrink)

From: _Language, Mind and Logic_, edited by Jeremy Butter?eld. 123.

For a novice this book is a mathematically-oriented introduction to modal logic, the discipline within mathematical logic studying mathematical models of reasoning which involve various kinds of modal operators. It starts with very fundamental concepts and gradually proceeds to the front line of current research, introducing in full details the modern semantic and algebraic apparatus and covering practically all classical results in the field. It contains both numerous exercises and open problems, and presupposes only minimal knowledge in mathematics. A specialist (...) can use the book as a source of references. Results and methods of many directions in propositional modal logic, from completeness and duality to algorithmic problems, are collected and systematically presented in one volume. (shrink)

Lange argues that some natural phenomena can be explained by appeal to mathematical, rather than natural, facts. In these “distinctively mathematical” explanations, the core explanatory facts are either modally stronger than facts about ordinary causal law or understood to be constitutive of the physical task or arrangement at issue. Craver and Povich argue that Lange’s account of DME fails to exclude certain “reversals”. Lange has replied that his account can avoid these directionality charges. Specifically, Lange argues that in legitimate DMEs, (...) but not in their “reversals,” the empirical fact appealed to in the explanation is “understood to be constitutive of the physical task or arrangement at issue” in the explanandum. I argue that Lange’s reply is unsatisfactory because it leaves the crucial notion of being “understood to be constitutive of the physical task or arrangement” obscure in ways that fail to block “reversals” except by an apparent ad hoc stipulation or by abandoning the reliance on understanding and instead accepting a strong realism about essence. (shrink)

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are explored.

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Provisional draft, pre-production copy of my book “The Modal Future” (forthcoming with Cambridge University Press).

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (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)