In the face of increasing religious intolerance and skirmishes in the world, it has become necessary to attempt an answer to this potent question: is religion a curse or blessing to the world? This paper using philosophical/historical analysis believes that religion is more of a curse than a blessing to human beings and the world at large. This implies that a world without religion would be better for humans, plants, and non-human animals.

Not only the direct physical experiences of deployment can severely harm soldiers’ mental health. Witnessing violations of their moral principles by the enemy, or by their fellow soldiers and superiors, can also have a devastating impact. It can cause soldiers’ moral disorientation, increasing feelings of shame, guilt, or hate, and the need for general answers on questions of right and wrong. Various attempts have been made to keep soldiers mentally sane. One is to provide convincing causes for their deployment, which (...) risks an “end justifies the means” way of thinking. The good cause can provide a moral justification for horrible atrocities. Another method, introduced in the USA, Canada, and Australia, aims to strengthen military personnel’s resistance by promoting and maintaining a happy, optimistic state of mind through the use of positive psychology. Alongside making soldiers “morally fit” for all kinds of situations, the focus could also be on moral recovery and forgiveness. Such a care-based military ethics approach, aimed at mutual understanding and interdependence, could help soldiers handle the emotional impact of moral conflicts. This demands that military units reflect on their organizational culture and rethink oaths and codes of conduct that focus mainly on efficiency and readiness, as well as the soldierly self-image with its seemingly still deeply rooted warrior ethos. Today, resilience and positive psychology in the military is apparently mainly geared to assuring its soldiers’ readiness. An appropriate set of virtues and understanding of virtue ethics that are less centered on self-perfection and autonomy could point to a different form of character-building and lead to a better understanding of others. (shrink)

You don't say much about who you are teaching, or what subject you teach, but you do seem to see a need to justify what you are doing. Perhaps you're teaching underprivileged children, opening their minds to possibilities that might otherwise never have occurred to them. Or maybe you're teaching the children of affluent families and opening their eyes to the big moral issues they will face in life — like global poverty, and climate change. If you're doing something like (...) this, then stick with it. Giving money isn't the only way to make a difference. (shrink)

For synergistic interactions between humans and artificial intelligence (AI) systems, AI outputs often need to be explainable to people. Explainable AI (XAI) systems are commonly tested in human user studies. However, whether XAI researchers consider potential cultural differences in human explanatory needs remains unexplored. We highlight psychological research that found significant differences in human explanations between many people from Western, commonly individualist countries and people from non-Western, often collectivist countries. We argue that XAI research currently overlooks these variations and that (...) many popular XAI designs implicitly and problematically assume that Western explanatory needs are shared cross-culturally. Additionally, we systematically reviewed over 200 XAI user studies and found that most studies did not consider relevant cultural variations, sampled only Western populations, but drew conclusions about human-XAI interactions more generally. We also analyzed over 30 literature reviews of XAI studies. Most reviews did not mention cultural differences in explanatory needs or flag overly broad cross-cultural extrapolations of XAI user study results. Combined, our analyses provide evidence of a cultural bias toward Western populations in XAI research, highlighting an important knowledge gap regarding how culturally diverse users may respond to widely used XAI systems that future work can and should address. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

Confirmation bias is one of the most widely discussed epistemically problematic cognitions, challenging reliable belief formation and the correction of inaccurate views. Given its problematic nature, it remains unclear why the bias evolved and is still with us today. To offer an explanation, several philosophers and scientists have argued that the bias is in fact adaptive. I critically discuss three recent proposals of this kind before developing a novel alternative, what I call the ‘reality-matching account’. According to the account, confirmation (...) bias evolved because it helps us influence people and social structures so that they come to match our beliefs about them. This can result in significant developmental and epistemic benefits for us and other people, ensuring that over time we don’t become epistemically disconnected from social reality but can navigate it more easily. While that might not be the only evolved function of confirmation bias, it is an important one that has so far been neglected in the theorizing on the bias. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents: (1) truth-conditions and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth-conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

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)

We argue that recent empirical findings and theoretical models shed new light on the nature of attention. According to the resulting amplification view, attentional phenomena can be unified at the neural level as the consequence of the amplification of certain input signals of attention-independent perceptual computations. This way of identifying the core realizer of attention evades standard criticisms often raised against sub-personal accounts of attention. Moreover, this approach also reframes our thinking about the function of attention by shifting the focus (...) from the function of selection to the function of amplification. (shrink)

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations. (shrink)

Scientists may sometimes generalize from their samples to broader populations when they have not yet sufficiently supported this generalization. Do such hasty generalizations also occur in experimental philosophy? To check, we analyzed 171 experimental philosophy studies published between 2017 and 2023. We found that most studies tested only Western populations but generalized beyond them without justification. There was also no evidence that studies with broader conclusions had larger, more diverse samples, but they nonetheless had higher citation impact. Our analyses reveal (...) important methodological limitations of many experimental philosophy studies and suggest that philosophical training may not protect against hasty generalizations. (shrink)

This paper examines a promising probabilistic theory of singular causation developed by David Lewis. I argue that Lewis' theory must be made more sophisticated to deal with certain counterexamples involving pre-emption. These counterexamples appear to show that in the usual case singular causation requires an unbroken causal process to link cause with effect. I propose a new probabilistic account of singular causation, within the framework developed by Lewis, which captures this intuition.

This is the full version of the Delphi Report on critical thinking and critical thinking instruction at the post-secondary level.

When scientists or science reporters communicate research results to the public, this often involves ethical and epistemic risks. One such risk arises when scientific claims cause cognitive or behavioural changes in the audience that contribute to the self-fulfilment of these claims. I argue that the ethical and epistemic problems that such self-fulfilment effects may pose are much broader and more common than hitherto appreciated. Moreover, these problems are often due to a specific psychological phenomenon that has been neglected in the (...) research on science communication: many people tend to conform to ‘descriptive norms’, that is, norms capturing (perceptions of) what others commonly do, think, or feel. Because of this tendency, science communication may frequently produce significant social harm. I contend that scientists have a responsibility to assess the risk of this potential harm and consider adopting strategies to mitigate it. I introduce one such strategy and argue that its implementation is independently well motivated by the fact that it helps improve scientific accuracy. (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)

Members of the field of philosophy have, just as other people, political convictions or, as psychologists call them, ideologies. How are different ideologies distributed and perceived in the field? Using the familiar distinction between the political left and right, we surveyed an international sample of 794 subjects in philosophy. We found that survey participants clearly leaned left (75%), while right-leaning individuals (14%) and moderates (11%) were underrepresented. Moreover, and strikingly, across the political spectrum, from very left-leaning individuals and moderates to (...) very right-leaning individuals, participants reported experiencing ideological hostility in the field, occasionally even from those from their own side of the political spectrum. Finally, while about half of the subjects believed that discrimination against left- or right-leaning individuals in the field is not justified, a significant minority displayed an explicit willingness to discriminate against colleagues with the opposite ideology. Our findings are both surprising and important, because a commitment to tolerance and equality is widespread in philosophy, and there is reason to think that ideological similarity, hostility, and discrimination undermine reliable belief formation in many areas of the discipline. (shrink)

We take up the challenge of developing an international network with capacity to survey the world's scientists on an ongoing basis, providing rich datasets regarding the opinions of scientists and scientific sub-communities, both at a time and also over time. The novel methodology employed sees local coordinators, at each institution in the network, sending survey invitation emails internally to scientists at their home institution. The emails link to a ‘10 second survey’, where the participant is presented with a single statement (...) to consider, and a standard five point Likert scale. In June 2023, a group of 30 philosophers and social scientists invited 20,085 scientists across 30 institutions in 12 countries to participate, gathering 6,807 responses to the statement 'Science has put it beyond reasonable doubt that COVID-19 is caused by a virus'. The study demonstrates that it is possible to establish a global network to quickly ascertain scientific opinion on a large international scale, with high response rate, low opt-out rate, and in a way that allows for significant (perhaps indefinite) repeatability. Measuring scientific opinion in this new way would be a valuable complement to currently available approaches, potentially informing policy decisions and public understanding across diverse fields. (shrink)

There has been some recent optimism that addressing the question of how we distinguish sensory modalities will help us consider whether there are limits on a scientific understanding of perceptual states. For example, Block has suggested that the way we distinguish sensory modalities indicates that perceptual states have qualia which at least resist scientific characterization. At another extreme, Keeley argues that our common-sense way of distinguishing the senses in terms of qualitative properties is misguided, and offers a scientific eliminativism about (...) common-sense modalities which avoids appeal to qualitative properties altogether. I’ll argue contrary to Keeley that qualitative properties are necessary for distinguishing senses, and contrary to Block that our common-sense distinction doesn’t indicate that perceptual states have qualia. A non-qualitative characterization of perceptual states isn’t needed to avoid the potential limit on scientific understanding imposed by qualia. (shrink)

In her last known piece of work Lady Mary Shepherd’s Metaphysics (1832), Mary Shepherd writes that “mind, may inhere in definite portions of matter […] or of infinite space” (LMSM 699). Shepherd thus suggests that a mind – a “capacity for sensation in general” (e.g., EPEU 16) – may have a spatial location. This is prima facie surprising given that she is committed to the view that the mind is unextended. In this paper, we argue that Shepherd can consistently honor (...) both of these commitments. We argue, first, that even though finite minds, due to their unextendedness cannot, to use Shepherd’s term, ‘occupy’ space as material bodies do, such minds can nonetheless be said to have a spatial location in virtue of what we call their presence, or what Shepherd calls ‘inherence’, in a material body. Second, we argue that, in a similar way, the divine mind is present throughout the whole of space and is thus omnipresent. We then argue that, in contrast to finite minds, the divine mind does not require a body to be present in space. Rather, we contend, God’s omnipresence might be best understood in a ‘holenmerist’ sense, where the divine mind is wholly present in every part of creation. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Fitelson (1999) demonstrates that the validity of various arguments within Bayesian confirmation theory depends on which confirmation measure is adopted. The present paper adds to the results set out in Fitelson (1999), expanding on them in two principal respects. First, it considers more confirmation measures. Second, it shows that there are important arguments within Bayesian confirmation theory and that there is no confirmation measure that renders them all valid. Finally, the paper reviews the ramifications that this "strengthened problem of measure (...) sensitivity" has for Bayesian confirmation theory and discusses whether it points at pluralism about notions of confirmation. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.

How should we undertand the role of norms—especially epistemic norms—governing assertive speech acts? Mitchell Green (2009) has argued that these norms play the role of handicaps in the technical sense from the animal signals literature. As handicaps, they then play a large role in explaining the reliability—and so the stability (the continued prevalence)—of assertive speech acts. But though norms of assertion conceived of as social norms do indeed play this stabilizing role, these norms are best understood as deterrents and not (...) as handicaps. This paper explains the stability problem for the maintenance of animal signals, and so human communication, for we are animals too, after all; the mechanics of the handicap principle; the role of deterrents and punishments as an alternative mechanism; and the role of social norms governing assertion for the case of human communication. (shrink)

Inferentialism is the view that representational content is explained by lingual or mental states interacting according to inferential rules. Mendelovici and Bourget have argued against inferentialism that rules of inference do not sufficiently constrain content. This paper argues that their argument can be further strengthened such that its conclusion yields that content and inferential roles are strictly independent. It will then be argued that this conclusion is untenable and that the argument, rather than undermining inferentialism, corrodes the model theoretic foundations (...) of standard philosophical semantics. The paper concludes with some hints towards an alternative semantic paradigm. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

This chapter states the contrast between presumptivism about testimonial warrant (often called anti-reductionism) and strict reductionism (associated with Hume) about testimonial warrant. Presumptivism sees an analogy with modest foundationalism about perceptual warrant. Strict reductionism denies this analogy. Two theoretical frameworks for these positions are introduced to better formulate the most popular version of persumptivism, a competence reliabilist account. Seven arguments against presumptivism are then stated and critiqued: (1) The argument from reliability; (2) The argument from reasons; (3) the argument from (...) positive reasons; (4) the argument from negative reasons; (5) the argument from agency; (6) the argument from psychological force; and (7) the argument from gullibility. If presumptivm is false, it is not for any of these arguments. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...) propositions are structured, so that it does not hold for all propositions whatsoever, but only for those which are expressible using closed sentences of a given formal language. We call this restricted principle Closed Structure, and show that it is consistent in classical higher-order logic. As a schematic principle, the strength of Closed Structure is dependent on the chosen language. For its consistency to be philosophically significant, it also needs to be consistent in every extension of the language which the theorist of structured propositions is apt to accept. But, we go on to show, Closed Structure is in fact inconsistent in a very natural extension of the standard language of higher-order logic, which adds resources for plural talk of propositions. We conclude that this particular strategy of restricting the scope of the claim that propositions are structured is not a compelling response to the argument based on Russell’s result, though we note that for some applications, for instance to propositional attitudes, a restricted thesis in the vicinity may hold some promise. (shrink)

Accounts of the concepts of function and dysfunction have not adequately explained what factors determine the line between low‐normal function and dysfunction. I call the challenge of doing so the line‐drawing problem. Previous approaches emphasize facts involving the action of natural selection (Wakefield 1992a, 1999a, 1999b) or the statistical distribution of levels of functioning in the current population (Boorse 1977, 1997). I point out limitations of these two approaches and present a solution to the line‐drawing problem that builds on the (...) second one. (shrink)

Big decisions in a person’s life often affect the preferences and standards of a good life which that person’s future self will develop after implementing her decision. This paper argues that in such cases the person might lack any reasons to choose one way rather than the other. Neither preference-based views nor happiness-based views of justified choice offer sufficient help here. The available options are not comparable in the relevant sense and there is no rational choice to make. Thus, ironically, (...) in many of a person’s most important decisions the idea of that person’s good seems to have no application. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

This entry provides an opinionated overview of central debates surrounding doxastic disagreement, focusing on doxastic states or attitudes such as beliefs and credences. It differentiates between various types of epistemologically significant disagreement based on the agents involved and the source of the disagreement. It also examines and evaluates current accounts of how peers should (rationally) address disagreement and highlights the fundamental principles that support these accounts.

War is almost always conducted with various restrictions in the form of rules, rituals, and taboos. Many of the norms that regulate warfare can be found in the tradition of just war. This tradition seeks to provide a middle ground between an unrealistic (at least for politicians) pacifism that does not even allow war in self-defence and a too realistic realism that claims there is no place for ethics in war. The tradition of just war does not have the force (...) of law; it provides, above all, a vocabulary to discuss war in moral terms. At the same time, the tradition does have an impact: it forms the basis of humanitarian law and the Geneva Conventions. Just like with laws, it is recognised here that imperfect adherence to these principles does not necessarily diminish their validity. Most proponents of the tradition believe that the principles of just war, even though some date back centuries, are sufficiently general to be applicable to contemporary conflicts, such as the Russo-Ukrainian War. If we apply the norms of the just war tradition to the current situation in Ukraine, we see that Russia is waging an unjust war in an unjust manner. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

A proper function of an entity is a beneficial effect that helps explain the persistence of the entity. Proper functions thereby arise through feedback mechanisms with beneficial effects as inputs and persistence as outputs. We continue to make assertions because they benefit speakers by benefiting speakers. Hearers benefit from true information. Speakers benefit by influencing hearer belief. If hearers do not benefit, they will not form beliefs in response to assertions. Speakers can then only maintain influence by providing true information, (...) often enough. The function of assertion is then inducing true hearer belief. When interests conflict, however, some mechanism must ensure that speakers provide true information often enough, instead of deceiving, or providing information regardless of quality. In humans, a core mechanism stabilizing true assertion involves social norms for truth telling. We tell the truth partly because we prescribe and enforce telling the truth. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

Do perceptual states necessarily constitute evidence epistemically supporting corresponding perceptual beliefs? Susanna Schellenberg thinks so. She argues that perceptual states, veridical or not, necessarily provide (or constitute) a kind of evidence (for the existence of the truth-maker) supporting corresponding perceptual beliefs. She uses “phenomenal evidence” as a label for this kind of evidence and calls her argument “The Phenomenal Evidence Argument.” Having introduced her project, we offer a reconstruction of Schellenberg’s argument. A key premise has it that, necessarily, for items (...) with a function, fulfillment of the function (the good case) is explanatorily and metaphysically prior to function failure (the bad case). We suggest that the etiological theory of functions renders this key premise plausible. However, Schellenberg rejects the etiological theory of functions and likewise the idea that the epistemic or warranting force of perceptual states is grounded in their being reliably linked to veridical perception. But then what supports the key premise? Schellenberg argues that accurate perception is a part of the nature of perceptual capacities because the nature of perceptual capacities is explained in terms of their function, and their function is to represent accurately. We suggest that Schellenberg is committed to an understanding of priority which doesn’t require any actual good cases—just possible ones. This reading, we argue, is too weak to support the key premise. Given Schellenberg’s commitments, it is not necessarily the case that perceptual states are evidence for a corresponding perceptual belief. Before concluding we discuss an overgeneralization objection. (shrink)