Imperialism seems to be deeply antithetical to democracy. Yet, at least one form of imperialism – what I call “hands-off imperialism" – seems to be perfectly compatible with the kind of self-governance commonly thought to be the hallmark of democracy. The solution to this puzzle is to recognize that democracy involves more than self-governance. Rather, it involves what I call self-rule. Self-rule is an example of what Philip Pettit has called a modally demanding value. Modally demanding (...) values are, roughly, values the instantiation of which depends not only on what actually happens, but on what would happen in certain non-actual circumstances. Self-rule is the modally demanding counterpart of self-governance, since it requires, not merely that the members of a state actually govern themselves, but that they would continue to do so across a range of non-actual situations. Moreover, the value of self-rule (and hence democracy) is not reducible to the value of self-governance. Understanding the modally demanding character of democracy allows us to appreciate what is democratically objectionable about occupation by a foreign power, even if there is no prospect of the foreign power intervening in the governance of the occupied state by its members. (shrink)

I develop an account of the nature and value of being supportive in interpersonal relationships. In particular, I argue that the virtue of being supportive, construed as a modally demanding value, facilitates the autonomy of one's intimate and promotes a sense of unity in one's relationship. Moreover, the practice of being supportive plays an important role with regard to the familiar need to reconcile the normative demands of one's own projects with one's responsibilities to intimates.

The paper discusses three aspects of belonging to religious systems of belief within a modern liberal society, namely (1) the sincerity and consistency of belief, (2) the possibility of exteriorization of belief through broader social interactions or transactions, and (3) the relationship between religious belief and the modern concept of affirmative tolerance, or affirmation of differences, which has become a pronounced public policy in multicultural liberal societies. The author argues that, while negative tolerance allows sincere religious belief to flourish in (...) the private sphere and for benevolence to be shown to those who are seen as mistaken in their beliefs, affirmative tolerance opens an array of logical issues. The demand to extend potential substantive validation to opposed beliefs produces the ricochet effect of de-validating one’s own beliefs. This creates difficulties for religious communities when issues at stake are beliefs that, in the respective belief-systems, are definitive of the moral goodness and moral badness. Upon a more careful examination of the logical relations between the soteriological promises characteristic of what is sometimes called the ‘substantive’ layer of religiousness, on the one hand, and the public expectation of a tolerant coexistence of religious communities on a social level, on the other hand, it becomes clear that the tolerance required can only be a negative tolerance. Any expectation of affirmative tolerance de-values the soteriological script of the respective system of religious belief, and is thus likely to lead to serious disturbances in a liberal context of multi-cultural coexistence. The author argues that the recent political announcements of a ‘failure of the multicultural experiment’ are caused by the aggressive pursuit of ‘affirmative tolerance’ rather than by any in-built intolerance of others in any of the large religious belief systems now prevalent in the liberal democratic world. (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 discusses an important puzzle about the semantics of indicative conditionals and deontic necessity modals (should, ought, etc.): the Miner Puzzle (Parfit, ms; Kolodny and MacFarlane, J Philos 107:115–143, 2010). Rejecting modus ponens for the indicative conditional, as others have proposed, seems to solve a version of the puzzle, but is actually orthogonal to the puzzle itself. In fact, I prove that the puzzle arises for a variety of sophisticated analyses of the truth-conditions of indicative conditionals. A comprehensive solution (...) requires rethinking the relationship between relevant information (what we know) and practical rankings of possibilities and actions (what to do). I argue that (i) relevant information determines whether considerations of value may be treated as reasons for actions that realize them and against actions that don’t, (ii) incorporating this normative fact requires a revision of the standard ordering semantics for weak (but not for strong) deontic necessity modals, and (iii) an off-the-shelf semantics for weak deontic necessity modals, due to von Fintel and Iatridou, which distinguishes “basic” and “higher-order” ordering sources, and interprets weak deontic necessity modals relative to both, is well-suited to this task. The prominence of normative considerations in our proposal suggests a more general methodological lesson: formal semantic analysis of natural language modals expressing normative concepts demands that close attention be paid to the nature of the underlying normative phenomena. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian (...) principle. Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

Over the last thirty years, once staunchly film history scholars such as Thomas Elsaesser, Jane Gaines, Siegfried Zielinski, André Gaudreault and Benoît Turquety (to name just a few) have abandoned history for historiography and film studies for media archaeology. Considering the heightened attention given to kulturtechnik (Siegert), the database as a dominant symbolic metaphor,1 and the decentered networked tenants of the postmodern global present, cinema is taking on the characteristics of new media, existing in increasingly intertextual space. Thus, the term (...) “post-cinema” has been co-opted as a viable intermediary that accounts for new media conditions, as cinema is no longer emblematic of our cultural climate. It was once presaged in 1992 that “[t]he end of the cinema truly sounds the death knell of the ultimate metaphysical adventure of Dasein. In the twilight of post-cinema, of which we are seeing the beginning, human quasi-existence, now stripped of any metaphysical hypostasis and deprived of any theological model, will have to seek its proper generic consistency elsewhere.” Accordingly, we are no longer “moviegoing animals” who seek images of ourselves among a collective in the dark but, rather, users interfacing within a network of moving images. By locating post-cinema within the semblance of social media, we are allocated a newfound series of theoretical interventions, the most marked of which is that of media archeology vis-à-vis dialectical materialism. This is a lens through which Brian Winston has recently deftly decried Virtual Reality’s “empathy machine” utopic illusionism, bolstered by Chris Milk and a slew of neurohumanities researchers, steadily maintaining that the fundamental myth of “technologies of seeing” is in disguising “their artifice, their cultural formation and their ideological import.” However, this approach, which illuminates the bifurcation between Max Horkheimer/Theodor Adorno and Walter Benjamin, neglects what Benjamin identified as occurring to the work of art in the age of its technological reproducibility—a shift from a technology’s “cult value,” associated with the unique work, to its “exhibition value,” associated with the social act of viewing as part of a mass. Speaking to this divarication, Benjamin Barber, in Strong Democracy, foresaw new media’s two-fold potential—as they are organized and networked, new media and communications technologies possess the possibility to both energize citizen information and political participation but, simultaneously, to supplement the deterioration of public debate. As evinced by Mark Adrejevic’s concept of Infoglut, this two-pronged possibility has only been exacerbated by the interlocking relationship between the advent of a “glut” of information, post-truth politics, the demise of symbolic efficiency, and a renewed focus on the role of affect and emotion as “alternative modalities for thinking about the role of communication in a post-referential era.” Manuel Castells qualifies Barber’s pessimism, noting that the Internet can “be an appropriate platform for informed, interactive politics, stimulating political participation.. […] beyond the closed doors of political institutions,” but that the Internet, like any technology, “is shaped by its uses and users.” Thus, if there exists a positive correlation between exposure to post-cinema media artifacts and political participation, then I seek to explore the revelatory political possibilities of “exhibition value” by way of a particular “post-cinema” case study: the Marxist-Leninist Turkish hacktivist group Redhack’s YouTube-circulated documentary RED! (2013), a project that demanded—by way of the moving-image—to galvanize cyberprotest and democratize a “hacktivist commons. (shrink)

With The Birthright Lottery: Citizenship and Global Inequality, Ayelet Shachar is the first major scholar to put the rich theory of property law theory to work in the realm of citizenship. Assessed on its own criteria, the book delivers on its promise to shake up our thinking on this question. Nevertheless, I argue in this paper that her account is not ultimately persuasive. First, Shachar takes for granted that citizenship is a valuable resource. I suggest that today legal residency is (...) more highly valued that citizenship. Also her defense of the state and the social advantages of having stable citizenship regimes does nothing to confront its decline as the central organizing principle of political life. Last but not least, the modalities of a birthright citizenship levy calls into question the underlying analysis. For instance, the current proposal looks undistinguishable from foreign aid and it would demand much more robust institutional organs of global governance that now exist. The second prong of her argument works at the domestic level as it tackles the problem of under- and over-inclusiveness of birthright citizenship. Here too I have reservations highlighted by modes of implementation. (shrink)

We introduce an expected-value theory of linguistic modality that makes reference to expected utility and a likelihood-based confirmation measure for deontics and epistemics, respectively. The account is a probabilistic semantics for deontics and epistemics, yet it proposes that deontics and epistemics share a common core modal semantics, as in traditional possible-worlds analysis of modality. We argue that this account is not only theoretically advantageous, but also has far-reaching empirical consequences. In particular, we predict modal versions of reasoning fallacies from the (...) heuristics and biases literature. Additionally, we derive the modal semantics in an entirely transparent manner, as it is based on the compositional semantics of Korean modal expressions that are morphosyntactically decomposed into a conditional and an evaluative predicate. (shrink)

An account of the nature of knowledge must explain the value of knowledge. I argue that modal conditions, such as safety and sensitivity, do not confer value on a belief and so any account of knowledge that posits a modal condition as a fundamental constituent cannot vindicate widely held claims about the value of knowledge. I explain the implications of this for epistemology: We must either eschew modal conditions as a fundamental constituent of knowledge, or retain the modal conditions but (...) concede that knowledge is not more valuable than that which falls short of knowledge. This second horn—concluding that knowledge has no distinctive value—is unappealing since it renders puzzling why so much epistemological theorising focuses on knowledge, and why knowledge seems so important. (shrink)

A primary challenge from the relativist to the contextualist about epistemic modals is to explain eavesdropping data—i.e., why the eavesdropper is inclined to judge the speaker as having uttered an epistemic modal falsehood (when she is so inclined), even though the speaker’s utterance is true according to reasonable contextualist truth conditions. The issue turns in large part on the strength and shape of the data, both of which are in dispute. One complaint is that an eavesdropper’s truth value judgments fluctuate (...) with variations of non- epistemic fact (even after the relevant epistemic/information states are determined). The project here is to strengthen and reframe this complaint in a debate-neutral way, and to show how a sober contextualism can uniformly accommodate it and the standard eavesdropping data. Along the way we reject John Hawthorne’s danger-theoretic explanation of these subtleties. (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)

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...) modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

We review existing strategies for bringing modal intuitions to bear against materialist theories of consciousness, and then propose a new strategy. Unlike existing strategies, which assume that imagination (suitably constrained) is a good guide to modal truth, the strategy proposed here makes no assumptions about the probative value of imagination. However, unlike traditional modal arguments, the argument developed here delivers only the conclusion that we should not believe that materialism is true, not that we should believe that it is false.

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

What does the aesthetic ask of us? What claims do the aesthetic features of the objects and events in our environment make on us? My answer in this paper is: that depends. Aesthetic reasons can only justify feelings – they cannot demand them. A corollary of this is that there are no aesthetic obligations to feel, only permissions. However, I argue, aesthetic reasons can demand actions – they do not merely justify them. A corollary of this is that there are (...) aesthetic obligations to act, not only permissions. So, I conclude, the aesthetic asks little of us as patients and much of as agents. (shrink)

Modal Meinongianism is a form of Meinongianism whose main supporters are Graham Priest and Francesco Berto. The main idea of modal Meinongianism is to restrict the logical deviance of Meinongian non-existent objects to impossible worlds and thus prevent it from “contaminating” the actual world: the round square is round and not round, but not in the actual world, only in an impossible world. In the actual world, supposedly, no contradiction is true. I will show that Priest’s semantics, as originally formulated (...) in Towards Non-being, tell us something different. According to certain models, there are true contradictions in the actual world. Berto and Priest have noticed this unexpected consequence and have suggested a solution, but I will show that their solution is highly questionable. In the last section of this paper, I will introduce a new and simpler version of modal Meinongianism that avoids the problem. (shrink)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...) propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

The COVID-19 pandemic might be regarded as an example of a risky situation that demands proper action and decision-making in the absence of full information. It is noticeable, however, that scientists have divided into two camps concerning the best way of dealing with the very situation. Some of them have relied on mathematical models and typically proposed restrictive measures, while the others opted for the evidence-based approach and typically recommended more relaxed measures. I argue in this paper that practical possibilities (...) (or impossibilities) have been considerably neglected in those debates and current decisionmaking, especially by the proponents of mathematical epidemiology. (shrink)

Research in ethical AI has made strides in quantitative expression of ethical values such as fairness, transparency, and privacy. Here we contribute to this effort by proposing a new family of metrics called “decisional value scores” (DVS). DVSs are scores assigned to a system based on whether the decisions it makes meet or fail to meet a particular standard (either individually, in total, or as a ratio or average over decisions made). Advantages of DVS include greater discrimination capacity between (...) types of ethically relevant decisions and facilitation of ethical comparisons between decisions and decision-making systems, including across different modalities (for instance: human, machine, or coupled human–machine systems). After clarifying ambiguities in the concept of “decision” itself, including the question of how to individuate the decisions made by a system, we discuss the role and meaning of “decision” in common AI and machine learning approaches such as decision trees, neural networks, SVMs, and unsupervised classifiers. We then show how DVSs may be defined for several ethical values of interest, with an extended discussion of transparency. Finally, we explore how such metrics can be applied to real decision-making systems through two case studies: evaluations of LLMs for transparency; and evaluations of criminal risk assessment tools for utility, rights violations, fairness, and transparency. (shrink)

Many metaphysicians maintain that there is a close connection between essence and modality; if an object a necessarily bears property F , then it is metaphysically necessary that Fa (or, perhaps, it is metaphysically necessary that Fa if a exists). Recently, Leech (Forthcoming) has argued that this connection lacks an adequate explanation. In particular, she argues that identity doesn't explain the link between essence and modality. In contrast, I argue that identity provides the resources to undermine Leech’s explanatory demand.

Safe-by-Design (SBD) frameworks for the development of emerging technologies have become an ever more popular means by which scholars argue that transformative emerging technologies can safely incorporate human values. One such popular SBD methodology is called Value Sensitive Design (VSD). A central tenet of this design methodology is to investigate stakeholder values and design those values into technologies during early stage research and development (R&D). To accomplish this, the VSD framework mandates that designers consult the philosophical and (...) ethical literature to best determine how to weigh moral trade-offs. However, the VSD framework also concedes the universalism of moral values, particularly the values of freedom, autonomy, equality trust and privacy justice. This paper argues that the VSD methodology, particularly applied to nano-bio-info-cogno (NBIC) technologies, has an insufficient grounding for the determination of moral values. As such, an exploration of the value-investigations of VSD are deconstructed to illustrate both its strengths and weaknesses. This paper also provides possible modalities for the strengthening of the VSD methodology, particularly through the application of moral imagination and how moral imagination exceed the boundaries of moral intuitions in the development of novel technologies. (shrink)

Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical possibility of the (...) theism struc- ture on the basis of uncontroversial facts about the physical world. This structuralist reading of theism preserves objective truth-values for theistic statements while remaining neutral on the question of ontology. Thus, it o ers a way of understanding theism to which a naturalist cannot object, and it accommodates the fact that religious belief, for many theists, is an essentially relational matter. (shrink)

This dissertation answers the three value problems in epistemology. These three problems require an answer as to how knowledge is more valuable 1) than mere true belief, 2) any of the proper subsets of knowledge, and 3) in kind than that which falls short of knowledge. The methodology used to provide an answer to these problems relies on the arguments put forth in a rarely discussed paper from Ward Jones. In short, the Jonesian approach can be summed up as the (...) view that epistemic axiology and analysis ought to be kept separate. The Jonesian framework instead looks outside of the necessary and sufficient conditions of knowledge to find properties of knowledge which, though contingent, can explain the distinctive value of knowledge. Thisframework, though remarkably robust, requires going against what I consider to be the orthodox approach to the problems. This orthodox approach relies on two axiological assumptions. The first is that every component of an analysis on knowledge must provide independent value to knowledge. The second assumption is that the value of knowledge cannot be derived from factors excluded from an analysis of knowledge. Once these assumptions are appropriately discarded, the Jonesian view has a straightforward answer to the first problem. Answering the second requires assessing Jonathan Kvanvig’s claim that a satisfied Gettier condition contributes no independent value. While I agree with Kvanvig regarding a satisfied Gettier condition, I will argue that an unsatisfied Gettier condition is not likewise neutral; it contributes disvalue. With that distinction in place, a solution to the second problem follows immediately. The third value problem, however, is a different kind of problem altogether. Answering it requires not only the Jonesian framework, but also a novel account of how we determine final value. Once this account is offered, a Jonesian answer to the tertiary problem follows immediately. This dissertation closes by applying the Jonesian framework to an argument that claims there can be no modal conditions on knowledge due to such conditions failing to help answer the value problems. This claim will be found wanting. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...) all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)

According to a recent challenge to Kratzer's canonical contextualist semantics for deontic modal expressions, no contextualist view can make sense of cases in which such a modal must be information-sensitive in some way. Here I show how Kratzer's semantics is compatible with readings of the targeted sentences that fit with the data. I then outline a general account of how contexts select parameter values for modal expressions and show, in terms of that account, how the needed, contextualist-friendly readings might (...) plausibly get selected in the challenge cases. (shrink)

Many widely divergent accounts of luck have been offered or employed in discussing an equally wide range of philosophical topics. We should, then, expect to find some unified philosophical conception of luck of which moral luck, epistemic luck, and luck egalitarianism are species. One of the attempts to provide such an account is that offered by Duncan Pritchard, which he refers to as the modal account. This view commits us to calling an event lucky when it obtains in this world, (...) but fails to obtain in a wide class of nearby possible worlds. In support of this account, Pritchard argues that a theory of luck ought to capture the fact that luck comes in degrees and that luck is closely associated with risk. I argue against this claim by suggesting that an understanding of luck grounded in considerations of probability is better able to satisfy these demands, and that the probability theory better explains exemplary cases of luck like those brought up by Pritchard. (shrink)

Statements containing epistemic modals (e.g., “by spring 2023 most European countries may have the Covid-19 pandemic under control”) are common expressions of epistemic uncertainty. In this paper, previous published findings (Knobe & Yalcin, 2014; Khoo & Phillips, 2018) on the opposition between Contextualism and Relativism for epistemic modals are re-examined. It is found that these findings contain a substantial degree of individual variation. To investigate whether participants differ in their interpretation of epistemic modals, an experiment with multiple phases and sessions (...) is used to classify participants according to the three semantic theories of Relativism, Contextualism, and Objectivism. Through this study, some of the first empirical evidence for the kind of truth-value shifts postulated by semantic Relativism is presented. It is furthermore found that participants’ disagreement judgments match their truth evaluations and that participants are capable of distinguishing between truth and justification. In a second experimental session, it is investigated whether participants thus classified follow the norm of retraction which Relativism uses to account for argumentation with epistemic modals. Here the results are less favorable for Relativism. In a second experiment, these results are replicated and the normative beliefs of participants concerning the norm of retraction are investigated following work on measuring norms by Bicchieri (2017). Again, it is found that on average participants show no strong preferences concerning the norm of retraction for epistemic modals. Yet, it was found that participants who had committed to Objectivism and had training in logics applied the norm of retraction to might-statements. These results present a substantial challenge to the account of argumentation with epistemic modals presented in MacFarlane (2014), as discussed. Keywords: Epistemic Modals, Relativism, Norm Conflicts, Retraction, Semantics, Truth Conditions, Argumentation. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive (...) modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

We generally accept that medicine’s conceptual and ethical foundations are grounded in recognition of personhood. With patients in vegetative state, however, we’ve understood that the ethical implications of phenomenal consciousness are distinct from those of personhood. This suggests a need to reconsider medicine’s foundations. What is the role for recognition of consciousness (rather than personhood) in grounding the moral value of medicine and the specific demands of clinical ethics? I suggest that, according to holism, the moral value of medicine is (...) secured when conscious states are recognized in everyday medical science. Moreover, consciousness fully motivates traditional principles of clinical ethics if we understand respect for autonomy as respect for the dominion of an experiencer in the private, inescapable realm of bodily experience. When medicine’s foundations are grounded in recognition of consciousness, we understand how patients fully command respect even when they lack capacity to exercise their bodily dominion through decision-making. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

The epistemic value of models has traditionally been approached from a representational perspective. This paper argues that the artifactual approach evades the problem of accounting for representation and better accommodates the modal dimension of modeling. From an artifactual perspective, models are viewed as erotetic vehicles constrained by their construction and available representational tools. The modal dimension of modeling is approached through two case studies. The first portrays mathematical modeling in economics, while the other discusses the modeling practice of synthetic biology, (...) which exploits and combines models in various modes and media. Neither model intends to represent any actual target system. Rather, they are constructed to study possible mechanisms through the construction of a model system with built-in dependencies. (shrink)

Safe-by-Design (SBD) frameworks for the development of emerging technologies have become an ever more popular means by which scholars argue that transformative emerging technologies can safely incorporate human values. One such popular SBD methodology is called Value Sensitive Design (VSD). A central tenet of this design methodology is to investigate stakeholder values and design those values into technologies during early stage research and development (R&D). To accomplish this, the VSD framework mandates that designers consult the philosophical and (...) ethical literature to best determine how to weigh moral trade-offs. However, the VSD framework also concedes the universalism of moral values, particularly the values of freedom, autonomy, equality trust and privacy justice. This paper argues that the VSD methodology, particularly applied to nano-bio-info-cogno (NBIC) technologies, has an insufficient grounding for the determination of moral values. As such, an exploration of the value-investigations of VSD are deconstructed to illustrate both its strengths and weaknesses. This paper also provides possible modalities for the strengthening of the VSD methodology, particularly through the application of moral imagination and how moral imagination exceed the boundaries of moral intuitions in the development of novel technologies. (shrink)

Metaphysics-first approaches dominate the current literature in the epistemology of modality. According to metaphysics-firsters, metaphysical theses have an important role in the justification of modal epistemologies. For example, the thesis that essentialist truths constitute the metaphysical grounds of modal truths is meant to have an important role in the justification of essentialist modal epistemologies. In this article, we argue against this approach. We first pick up some of the groundwork on behalf of the metaphysics-firsters and explicitly spell out potential arguments (...) for their view. However, despite some initial plausibility, these arguments are ultimately found wanting. We conclude that the metaphysics-first approach lacks motivation and puts far too stringent demands upon modal epistemologists. (shrink)

Where does the impetus towards ethical theory come from? What drives humans to make values explicit, consistent, and discursively justifiable? This paper situates the demand for ethical theory in human life by identifying the practical needs that give rise to it. Such a practical derivation puts the demand in its place: while finding a home for it in the public decision-making of modern societies, it also imposes limitations on the demand by presenting it as scalable and context-sensitive. This differentiates (...) strong forms of the demand calling for theory from weaker forms calling for less, and contexts where it has a place from contexts where it is out of place. In light of this, subjecting personal deliberation to the demand turns out to involve a trade-off. (shrink)

The quantified argument calculus (Quarc) is a novel logic that departs in several ways from mainstream first-order logic. In particular, its quantifiers are not sentential operators attached to variables, but attach to unary predicates to form arguments – quantified arguments – of other predicates. Furthermore, Quarc includes devices to account for anaphora, active-passive-voice distinctions, and sentence- versus predicate-negation. While this base system has already been shown to be sound and complete, modal extensions still lack such results. The present paper fills (...) this lacuna by developing a modal extension of Quarc, including identity. The semantics will invalidate the Quarc-analogues of the Barcan-formula and its converse, as well as treat identity as contingent by default. Furthermore, an unlabelled Gentzen-style natural deduction system will be presented, which includes the full expressive power of Quarc. It will be shown to be strongly sound and complete with respect to relational frames. The paper closes off with considerations on how to extend the system to cover other normal modal logics as well as extensions to suitable three-valued semantics that capture relevant types of presupposition-failure. (shrink)

When bringing philosophical attention to bear on social movement slogans in general, philosophers have often focused on their communicative nature—particularly the hermeneutical failures that arise in discourse. Some of the most popular of these failures are illustrated in ‘all lives matter’ retorts to ‘black lives matter’ pronouncements. Although highlighting and criticizing these failures provides much needed insight into social movement slogans as a communicative practice, I claim that in doing so, philosophers and slogans’ users risk placing too much importance on (...) outgroup understandings. This emphasis is misguided because gaining such uptake is not required of particular slogans to perform their functions; indeed it is an inherent risk of them. I show how such an emphasis can also be distracting to users. Since social movement slogans that express values are first and foremost for users, I argue for a shift in focus in what these slogans (such as ‘Black Is Beautiful’ and the more recent ‘Black Lives Matter’) do for users, as well as what they demand from users and enable them to express. When slogans have done these things, regardless of uptake, we can say they have performed one of their key functions. (shrink)

Epistemic consequentialism has been challenged on the grounds that it is overly demanding. According to the Epistemic Junk Problem, this view implies that we are often required to believe junk propositions such as ‘the Great Bear Lake is the largest lake entirely in Canada’ and long disjunctions of things we already believe. According to the Numerosity Problem, this view implies that we are frequently required to have an enormous number of beliefs. This paper puts forward a novel version of (...) epistemic consequentialism which avoids these twin demandingness problems. The key is to recognise, first, that the final epistemic value of a true belief depends at least in part on the duration for which it is retained by the agent and, second, that our cognitive makeup places important constraints on which beliefs are retained and for how long. (shrink)

Analyses of moral value judgements must meet a practicality requirement: moral speech acts characteristically express pro- or con-attitudes, indicate that speakers are motivated in certain ways, and exert influence on others' motivations. Nondescriptivists including Simon Blackburn and Allan Gibbard claim that no descriptivist analysis can satisfy this requirement. I argue first that while the practicality requirement is defeasible, it indeed demands a connection between value judgement and motivation that resembles a semantic or conceptual rather than merely contingent psychological link. I (...) then show how a form of descriptivism, the interest-relational theory, satisfies the requirement as a pragmatic and conversational feature of value judgement – thereby also accommodating its defeasibility. The word ``good'' is always indexed to some set of motivations: when this index is unarticulated in many contexts the speaker conversationally implicates possession of those motivations. (shrink)

This work introduces the framework for selecting architecture in 5G networks, considering various technological, performance, economic, and operational factors. With the emergence of 5G technology, the architecture selection process has become pivotal in meeting diverse requirements for ultra-high-speed connectivity, low latency, scalability, and diverse service demands. The evaluation comprehensively analyses different architecture options, including centralized, distributed, cloud-based, and virtualized architectures. Factors such as network performance, scalability, cost-effectiveness, security, and compatibility are considered within a multi-criteria decision-making framework. Findings reveal each architecture (...) option's diverse strengths and limitations, emphasizing the importance of aligning architectural choices with specific use cases, deployment scenarios, and business objectives. We used the concept of multi-criteria decision-making (MCDM) methodology to control the various criteria. We used the single-valued neutrosophic set (SVNS) to deal with vague and inconsistent data. The SVNS is integrated with the hyperSoft set. The proposed methodology uses a single-valued neutrosophic hyperSoft set (SVNHSS) to select the best 5G architecture. We used the VIKOR method as an MCDM method to rank the alternatives. The proposed framework provides stakeholders with a structured methodology to evaluate and prioritize architecture options, facilitating informed decision-making in the complex landscape of 5G network deployments. (shrink)

Why does institutional police brutality continue so brazenly? Criminologists and other social scientists typically theorize about the causes of such violence, but less attention is given to normative questions regarding the demands of justice. Some philosophers have taken a teleological approach, arguing that social institutions such as the police exist to realize collective ends and goods based upon the idea of collective moral responsibility. Others have approached normative questions in policing from a more explicit social-contract perspective, suggesting that legitimacy is (...) derived by adhering to (limited) authority. This article examines methodologies within political philosophy for analyzing police injustice. The methodological inquiry leads to an account of how justice constrains the police through both special (or positional) moral requirements that officers assume voluntarily, as well as general moral requirements in virtue of a polity’s commitment to moral, political and legal values beyond law enforcement and crime reduction. The upshot is a conception of a police role that is constrained by justice from multiple foundational stances. (shrink)

On Kratzer’s canonical account, modal expressions (like “might” and “must”) are represented semantically as quantifiers over possibilities. Such expressions are themselves neutral; they make a single contribution to determining the propositions expressed across a wide range of uses. What modulates the modality of the proposition expressed—as bouletic, epistemic, deontic, etc.—is context.2 This ain’t the canon for nothing. Its power lies in its ability to figure in a simple and highly unified explanation of a fairly wide range of language use. Recently, (...) though, the canon’s neat story has come under attack. The challenge cases involve the epistemic use of a modal sentence for which no single resolution of the contextual parameter appears capable of accommodating all our intuitions.3 According to these revisionaries, such cases show that the canonical story needs to be amended in some way that makes multiple bodies of information relevant to the assessment of such statements. Here I show that how the right canonical, flexibly contextualist account of modals can accommodate the full range of challenge cases. The key will be to extend Kratzer’s formal semantic account with an account of how context selects values for a modal’s.. (shrink)

ABSTRACTRecent debate over the semantics and pragmatics of epistemic modals has focused on intuitions about cross-contextual truth-value assessments. In this paper, we advocate a different approach to evaluating theories of epistemic modals. Our strategy focuses on judgments of the incompatibility of two different epistemic possibility claims, or two different truth value assessments of a single epistemic possibility claim. We subject the predictions of existing theories to empirical scrutiny, and argue that existing contextualist and relativist theories are unable to account for (...) the full pattern of observed judgments. As a way of illustrating the theoretical upshot of these results, we conclude by developing a novel theory of epistemic modals that is able to predict the results. (shrink)

Philosophers often make exotic-sounding modal claims, such as: “A timeless world is impossible”, “The laws of physics could have been different from what they are”, “There could have been an additional phenomenal colour”. Otherwise popular empiricist modal epistemologies in the contemporary literature cannot account for whatever epistemic justification we might have for making such modal claims. Those who do not, as a result of this, endorse scepticism with respect to their epistemic status typically suggest that they can be justified but (...) have yet to develop some distinct, workable theory of how. That is, they endorse a form of non-uniformism about the epistemology of modality, according to which claims about philosophically interesting modal matters need to be justified differently from e.g. everyday or scientific modal claims, but they fail to provide any more detail. This article aims to fill this gap by outlining how such a non-uniformist view could be spelled out and what story about philosophically interesting modal justification it could contain. (shrink)