This collection of articles is almost all of the psychological writings of Mark Pettinelli.

Provides an overview of Mark Sharlow's philosophical work with summaries of his positions. Includes references and links to his writings.

Jago uses a Fitch-style argument in an attempt to demonstrate that every truth has a truthmaker. But Trueman shows that there is a parallel argument, this time to the conclusion that no truth has a truthmaker. Since we cannot accept both, we must ditch at least one Fitch. But which? Keywords: Truth, truthmaking, truthmaker maximalism, Fitch paradox, Robert Trueman.

The best writing of Mark Pettinelli, about cognitive psychology, cognitive science, etc.

Kerr coined the term ‘HARKing’ to refer to the practice of ‘hypothesizing after the results are known’. This questionable research practice has received increased attention in recent years because it is thought to have contributed to low replication rates in science. The present article discusses the concept of HARKing from a philosophical standpoint and then undertakes a critical review of Kerr’s twelve potential costs of HARKing. It is argued that these potential costs are either misconceived, misattributed to HARKing, lacking evidence, (...) or that they do not take into account pre- and post-publication peer review and public availability to research materials and data. It is concluded that it is premature to conclude that HARKing has led to low replication rates. (shrink)

This is an overview of the main themes and theses of _Reasons First_ for a book symposium, and intended to be read alongside the other contributions to that symposium.

Philosophers have tended to construe friendship as an intimate relationship involving mutual love, and have focused their discussions on this ‘true’ form of friendship. However, everyone recognizes that we use the word ‘friend’ and its cognates to refer, non-ironically, to those with whom we share various relationships that are not terribly intimate or which do not involve mutual love. I argue that there exists no general reason to restrict our philosophical focus to ‘true’ friendships, and allege that we can gain (...) important insights if we broaden our perspective to include lesser friends. I contend that friendships, in the broad sense (encompassing both ‘true’ and lesser forms), are necessarily relationships that are the product of significant collaborative norm manipulation. And I argue that understanding friendship in this way helps explain important features, including the difference between friendships and familiar relations, the non-fungibility of friends, and why friendships are often in flux. (shrink)

The purpose of this paper is to conceptualize and explore what I shall call the Common Subject Problem for ethics. The problem is that there seems to be no good answer to what property everyone who makes moral claims could be talking and thinking about. The Common Subject Problem is not a new problem; on the contrary, I will argue that it is one of the central animating concerns in the history of both metaethics and normative theory. But despite its (...) importance, the Common Subject Problem is essentially invisible on many contemporary ways of carving up the problems of metaethics and normative ethical theory. My aim, therefore, is to make progress – in part by naming the problem, but also by beginning to sketch out the contours of what gives the problem its force, by distinguishing between different paths of response to the problem and assessing some of their chief merits, and finally, by distinguishing the Common Subject Problem from another problem with which it has come to be conflated. This nearby problem is the Moral Twin Earth Problem. Whereas the Common Subject Problem is a problem about what property ‘wrong’ could refer to, the Moral Twin Earth Problem is a problem about how ‘wrong’ could refer to it. The upshot of the paper, therefore, is to rescue one of the historically significant problems in normative ethics and metaethics – a problem that is essentially about normative semantics – from the illusion that has persisted over the last twenty years that it is really, somehow, a problem about metasemantics. Once we have reclaimed this problem, we can see that it could still be a problem even if there are no distinctively metasemantic problems in metaethics at all, that it is a problem faced by a wider variety of views, and that the space of possible solutions is much wider and more interesting for normative theory, moral psychology, and moral epistemology. (shrink)

Using path-breaking discoveries of cognitive science, Mark Johnson argues that humans are fundamentally imaginative moral animals, challenging the view that morality is simply a system of universal laws dictated by reason. According to the Western moral tradition, we make ethical decisions by applying universal laws to concrete situations. But Johnson shows how research in cognitive science undermines this view and reveals that imagination has an essential role in ethical deliberation. Expanding his innovative studies of human reason in Metaphors We (...) Live By and The Body in the Mind, Johnson provides the tools for more practical, realistic, and constructive moral reflection. (shrink)

An archive of Mark Sharlow's two blogs, "The Unfinishable Scroll" and "Religion: the Next Version." Covers Sharlow's views on metaphysics, epistemology, mind, science, religion, and politics. Includes topics and ideas not found in his papers.

We begin with a puzzle about how to intelligibly combine the active and passive elements of perception. For counsel, we turn to Augustine’s account of perception in De Trinitate. Augustine’s trinitarian account of perception offers an attractive resolution of our puzzle. Augustine’s resolution of our puzzle, however, cannot be straightforwardly adopted. It must be adapted. We end with speculation about how this might be done.

Beliefs are concrete particulars containing ideas of properties and notions of things, which also are concrete. The claim made in a belief report is that the agent has a belief (i) whose content is a specific singular proposition, and (ii) which involves certain of the agent's notions and ideas in a certain way. No words in the report stand for the notions and ideas, so they are unarticulated constituents of the report's content (like the relevant place in "it's raining"). The (...) belief puzzles (Hesperus, Cicero, Pierre) involve reports about two different notions. So the analysis gets the puzzling truth values right. (shrink)

Research notes of Mark Pettinelli about cognitive science, cognitive psychology.

In “Stakes, Withholding, and Pragmatic Encroachment on Knowledge,” I used a variety of cases, including cases of forced choice, to illustrate my explanation of how and why some pragmatic factors, but not others, can affect whether an agent knows. In his recent contribution, Andy Mueller argues that cases of forced choice actually pose a dilemma for my account. In this paper I reply.

mark schroeder University of Southern California 1 When Samuel Clarke gave his second Boyle lectures in 1705, he alleged in favor of his nonreductive, rationalist, intuitionist view that only ‘the extremest stupidity of mind, corruption of manners, or perverseness of spirit, can possibly make any man entertain the least doubt’ concerning it.1 Michael Huemer’s Ethical Intuitionism is offered in the same spirit, though he makes no assurances concerning the Truth and Certainty of the Christian Revelation.2 Not only are competing (...) metaethical views false, he alleges, those who accept them do not even do so on the basis of rational arguments (240). They are driven by bias (247), cynicism (242), and scientism (244), combined with a desire to be politically correct (albeit not in a ‘simplistic way’ (245)). Moreover, the persistence of non-intuitionist metaethical views, he suggests, has a pernicious effect on our society, encouraging vice and immorality (248). According to Huemer, what is important about intuitionism (his favored position) is that the dispute between intuitionism and ‘all other views’ is that ‘[a]nti-realist theories about value undermine our moral beliefs, our moral motivation, and even our sense of the meaning of life’ (248). He contends that ‘anti-realism really boils down to the view that nothing matters’ (249), despite explicitly acknowledging that most anti-realists would deny this, and apparently forgetting that among his targets of criticism in the book were supposed to be some realist views, as well—of the reductive variety. Although he calls his view ‘intuitionism,’ Huemer makes clear early on that what he wants to defend is not an epistemological view at all, but a metaphysical one. The main divide between metaethical views, in.. (shrink)

Doxastic voluntarism is the thesis that our beliefs are subject to voluntary control. While there’s some controversy as to what “voluntary control” amounts to (see 1.2), it’s often understood as direct control: the ability to bring about a state of affairs “just like that,” without having to do anything else. Most of us have direct control over, for instance, bringing to mind an image of a pine tree. Can one, in like fashion, voluntarily bring it about that one believes a (...) specific proposition? Doxastic voluntarists hold that, at least in some circumstances—such as when the evidence is ambiguous—we can. Doxastic involuntarists, in contrast, maintain that we cannot. Some involuntarists hold that the concept of belief itself precludes the possibility of believing voluntarily. Others hold that the impossibility of voluntary belief is a contingent psychological fact. Historically, the issue of doxastic voluntarism has been connected to how many think about religious commitment: a prominent view of faith is that it is a voluntary decision to believe. Furthermore, the issue of voluntarism has also been viewed as having bearing on fundamental questions in epistemology. For example, are epistemic norms duties to believe in certain ways? Are there practical or moral reasons to believe? If the answer to either question is “yes,” it seems some measure of voluntary doxastic control is required. -/- In section 1, we expand on the definition of doxastic voluntarism, and survey various kinds of control (e.g. direct, indirect, long-range) and the doxastic attitudes we might control (e.g. outright belief, withholding, credences). In section 2, we discuss a number of historical views on doxastic voluntarism. In section 3, we survey motivations for rejecting doxastic voluntarism. There are two general strategies: arguments that appeal to psychological considerations, and conceptual arguments regarding the nature of belief. In section 4, we survey five approaches to defending voluntarism: those that appeal to epistemic permissivism, doxastic compatibilism, skepticism, one-off considerations, and non-standard views of belief. In section 5, we cover empirical work on doxastic voluntarism. The last two sections discuss two implications of voluntarism. In section 6, we discuss voluntarism’s implications for the ethics of belief, and in section 7, we discuss issues at the intersection of voluntarism and religious faith. (shrink)

Pantayong Pananaw: Kakaliwa, Kakanan o Didiretso?

Most philosophers find it puzzling how beliefs could wrong, and this leads them to conclude that they do not. So there is much philosophical work to be done in sorting out whether I am right to say that they do, as well as how this could be so. But in this paper I will take for granted that beliefs can wrong, and ask instead when beliefs wrong. My answer will be that beliefs wrong when they falsely diminish. This answer has (...) three parts: that beliefs wrong only when they are false, that beliefs wrong only when they diminish, and that false diminishment is sufficient for wronging. I will seek to elaborate on and defend all three of these claims, but it is the first to which I will give the most attention. (shrink)

This chapter lays out a case that with the proper perspective on the place of epistemology within normative inquiry more generally, it is possible to appreciate what was on the right track about some of the early approaches to the analysis of knowledge, and to improve on the obvious failures which led them to be rejected. Drawing on more general principles about reasons, their weight, and their relationship to justification, it offers answers to problems about defeat and the conditional fallacy (...) that plagued early defeasibility analyses of knowledge and offers a sketch of a contemporary alternative that is motivated by the idea that knowledge requires the right kind of “match” between objective and subjective factors. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

Mark Eli Kalderon presents an original study of perception, taking as its starting point a puzzle in Empedocles' theory of vision: if perception is a mode of material assimilation, how can we perceive colors at a distance? Kalderon argues that the theory of perception offered by Aristotle in answer to the puzzle is both attractive and defensible.

In “On Sense and Reference,” surrounding his discussion of how we describe what people say and think, identity is Frege’s first stop and his last. We will follow Frege’s plan here, but we will stop also in the land of make-believe.

YouTube has been implicated in the transformation of users into extremists and conspiracy theorists. The alleged mechanism for this radicalizing process is YouTube’s recommender system, which is optimized to amplify and promote clips that users are likely to watch through to the end. YouTube optimizes for watch-through for economic reasons: people who watch a video through to the end are likely to then watch the next recommended video as well, which means that more advertisements can be served to them. This (...) is a seemingly innocuous design choice, but it has a troubling side-effect. Critics of YouTube have alleged that the recommender system tends to recommend extremist content and conspiracy theories, as such videos are especially likely to capture and keep users’ attention. To date, the problem of radicalization via the YouTube recommender system has been a matter of speculation. The current study represents the first systematic, pre-registered attempt to establish whether and to what extent the recommender system tends to promote such content. We begin by contextualizing our study in the framework of technological seduction. Next, we explain our methodology. After that, we present our results, which are consistent with the radicalization hypothesis. Finally, we discuss our findings, as well as directions for future research and recommendations for users, industry, and policy-makers. (shrink)

This paper is about whether shifts in attention can alter what it is like to think. I begin by taking up the hypothesis that attention structures consciousness into a centre and a periphery, following Watzl's (2014; 2017) understanding of the distinction between the centre and periphery of the field of consciousness. Then I show that introspection leads to divided results about whether attention structures conscious thought into a centre and a periphery -- remarks by Martin (1997) and Phillips (2012) suggest (...) a negative answer, whereas remarks by Maher (1923) and Chudnoff (2013) suggest a positive answer. Lastly, I argue that there is behavioural evidence that lends weight to the 'yes' side of the introspective dispute. My argument makes use of Garavan's (1998) study of forming and maintaining two mental counts at once. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) they propose (...) to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

The inflation of Type I error rates is thought to be one of the causes of the replication crisis. Questionable research practices such as p-hacking are thought to inflate Type I error rates above their nominal level, leading to unexpectedly high levels of false positives in the literature and, consequently, unexpectedly low replication rates. In this article, I offer an alternative view. I argue that questionable and other research practices do not usually inflate relevant Type I error rates. I begin (...) by introducing the concept of Type I error rates and distinguishing between statistical errors and theoretical errors. I then illustrate my argument with respect to model misspecification, multiple testing, selective inference, forking paths, exploratory analyses, p-hacking, optional stopping, double dipping, and HARKing. In each case, I demonstrate that relevant Type I error rates are not usually inflated above their nominal level, and in the rare cases that they are, the inflation is easily identified and resolved. I conclude that the replication crisis may be explained, at least in part, by researchers’ misinterpretation of statistical errors and their underestimation of theoretical errors. (shrink)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...) investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

Reasons, it is often said, are king in contemporary normative theory. Some philosophers say not only that the vocabulary of reasons is useful, but that reasons play a fundamental explanatory role in normative theory—that many, most, or even all, other normative facts are grounded in facts about reasons. Even if reasons fundamentalism, the strongest version of this view, has only been wholeheartedly endorsed by a few philosophers, it has a kind of prominence in contemporary normative theory that suits it to (...) be described as orthodoxy by its critics. It is the purpose of this paper to make progress toward understanding what appeal Reasons Fundamentalism should have, and whether that appeal is deserved. I will do so by exploring and comparing two central motivations for Reasons Fundamentalism. (shrink)

The reading abilities of Filipino students have been a challenge for educators and policymakers alike. Despite government efforts to improve literacy rates in the Philippines, recent studies have shown that many students need help with reading comprehension, vocabulary development, and critical thinking skills. This research note examines the current state of reading abilities among Filipino students and potential areas for improvement. The poor reading abilities can be attributed to several factors, including a lack of resources and socioeconomic factors. However, there (...) are identified potential areas for improvement, such as promoting early literacy programs, investing in teacher training, and developing reading materials that are culturally relevant and engaging for Filipino students. These findings have important implications for education policies and practices in the Philippines and for educators and researchers seeking to improve reading abilities among Filipino students. (shrink)

_ Source: _Page Count 22 In _Unbelievable Errors_, Bart Streumer offers resourceful arguments against each of non-reductive realism, reductive realism, and non-cognitivism, in order to motivate his version of the normative error theory, according to which normative predicates ascribe properties that do not exist. In this contribution, I argue that none of the steps of this master argument succeed, and that Streumer’s arguments leave puzzles about what it means to ascribe a property at all.

Because obituaries are succinct and explicitly intended to summarize their subjects’ lives, they may be expected to include only the features that the author finds most salient but also to signal to others in the community the socially-recognized aspects of the deceased’s character. We begin by reviewing studies 1 and 2, in which obituaries were carefully read and labeled. We then report study 3, which further develops these results with a semi-automated, large-scale semantic analysis of several thousand obituaries. Geography, gender, (...) and elite status all turn out to be associated with the virtues and values associated with the deceased. (shrink)

Hobbes emphasized that the state of nature is a state of war because it is characterized by fundamental and generalized distrust. Exiting the state of nature and the conflicts it inevitably fosters is therefore a matter of establishing trust. Extant discussions of trust in the philosophical literature, however, focus either on isolated dyads of trusting individuals or trust in large, faceless institutions. In this paper, I begin to fill the gap between these extremes by analyzing what I call the topology (...) of communities of trust. Such communities are best understood in terms of interlocking dyadic relationships that approximate the ideal of being symmetric, Euclidean, reflexive, and transitive. Few communities of trust live up to this demanding ideal, and those that do tend to be small (between three and fifteen individuals). Nevertheless, such communities of trust serve as the conditions for the possibility of various important prudential epistemic, cultural, and mental health goods. However, communities of trust also make possible various problematic phenomena. They can become insular and walled-off from the surrounding community, leading to distrust of out-groups. And they can lead their members to abandon public goods for tribal or parochial goods. These drawbacks of communities of trust arise from some of the same mecha-nisms that give them positive prudential, epistemic, cultural, and mental health value – and so can at most be mitigated, not eliminated. (shrink)

Philosophers have come to distinguish between ‘right’ and ‘wrong’ kinds of reasons for belief, intention, and other attitudes. Several theories about the nature of this distinction have been offered, by far the most prevalent of which is the idea that it is, at bottom, the distinction between what are known as ‘object-given’ and ‘state-given’ reasons. This paper argues that the object-given/state-given theory vastly overgeneralizes on a small set of data points, and in particular that any adequate account of the distinction (...) between the ‘right’ and ‘wrong’ kinds of reason must allow state-given reasons to be of the right kind. The paper has three main goals, corresponding to its three main parts. In part 1 I set up the problem by introducing the right-kind/wrong-kind distinction, the object-given/state-given distinction, and the object-given/state-given theory, according to which the former distinction simply amounts to the latter. Part 2 presents the main argument of the paper: I argue against the object-given/state-given theory by showing that all of the earmarks of the ‘right’ and ‘wrong’ kinds of reason apply to reasons not to intend and not to believe, but that these cases can’t be captured by the object-given/state-given theory. Finally, in part 3 I use these arguments to motivate and explore a more general hypothesis about the rightkind/wrong-kind distinction, and explore some of the consequences of rejecting the object-given/stategiven theory. (shrink)

Fitting Attitudes accounts of value analogize or equate being good with being desirable, on the premise that ‘desirable’ means not, ‘able to be desired’, as Mill has been accused of mistakenly assuming, but ‘ought to be desired’, or something similar. The appeal of this idea is visible in the critical reaction to Mill, which generally goes along with his equation of ‘good’ with ‘desirable’ and only balks at the second step, and it crosses broad boundaries in terms of philosophers’ other (...) commitments. For example, Fitting Attitudes accounts play a central role both in T.M. Scanlon’s [1998] case against teleology, and in Michael Smith [2003], [unpublished] and Doug Portmore’s [2007] cases for it. And of course they have a long and distinguished history. (shrink)

This is a rough draft of a critical notice of Sergio Tenenbaum’s book, Appearances of the Good, for Social Theory and Practice.

The basic idea of expressivism is that for some sentences ‘P’, believing that P is not just a matter of having an ordinary descriptive belief. This is a way of capturing the idea that the meaning of some sentences either exceeds their factual/descriptive content or doesn’t consist in any particular factual/descriptive content at all, even in context. The paradigmatic application for expressivism is within metaethics, and holds that believing that stealing is wrong involves having some kind of desire-like attitude, with (...) world-tomind direction of fit, either in place of, or in addition to, being in a representational state of mind with mind-to-world direction of fit. Because expressivists refer to the state of believing that P as the state of mind ‘expressed’ by ‘P’, this view can also be described as the view that ‘stealing is wrong’ expresses a state of mind that involves a desire-like attitude instead of, or in addition to, a representational state of mind. According to some expressivists - unrestrained expressivists, as I’ll call them - there need be no special relationship among the different kinds of state of mind that can be expressed by sentences. Pick your favorite state of mind, the unrestrained expressivist allows, and there could, at least in principle, be a sentence that expressed it. Expressivists who seem to have been unrestrained plausibly include Ayer in Language, Truth, and Logic, and Simon Blackburn in many of his writings, including his [1984], [1993], and.. (shrink)

Several authors have recently endorsed the thesis that there is what has been called pragmatic encroachment on knowledge—in other words, that two people who are in the same situation with respect to truth-related factors may differ in whether they know something, due to a difference in their practical circumstances. This paper aims not to defend this thesis, but to explore how it could be true. What I aim to do, is to show how practical factors could play a role in (...) defeating knowledge by defeating epistemic rationality—the very kind of rationality that is entailed by knowledge, and in which Pascalian considerations do not play any role—even though epistemic rationality consists in having adequate evidence. (shrink)

Quietist Moral Realists accept that there are moral facts and properties, while aiming to avoid many of the explanatory burdens thought to fall on traditional moral realists. This chapter examines the forms that Quietist Moral Realism has taken and the challenges it has faced, in order to better assess its prospects. The best hope, this chapter argues, lies in a pragmatist approach that distinguishes the different functions of diverse areas of discourse. This paves the way for a form of Quietism (...) that does not simply remain quiet about the explanatory demands of metaethics, but rather is able to diagnose where they go wrong. By combining a neopragmatic analysis of the discourse with an easy approach to ontology, , we can develop a form of Quietist Moral Realism that is far stronger than critics of quietism have appreciated. (shrink)

What is it to have a reason? According to one common idea, the "Factoring Account", you have a reason to do A when there is a reason for you to do A which you have--which is somehow in your possession or grasp. In this paper, I argue that this common idea is false. But though my arguments are based on the practical case, the implications of this are likely to be greatest in epistemology: for the pitfalls we fall into when (...) trying to defend the Factoring Account reflect very well the major developments in empiricist epistemology during the 20th century. I conjecture that this is because epistemologists have been--wrongly--wedded to the Factoring Account about evidence, which I conjecture is a certain kind of reason to believe. (shrink)

In this paper, I explore the role for anticipated regret in major life decision-making, focusing on how it is employed by realistic decision-makers in a variety of realistic cases. I argue that the most obvious answers to how regret might matter in decision do not make these cases intelligible, but that we can make them intelligible through consideration of the significance of narrative in our own self-understanding.

There are many different kinds of libertarianism. The first is right libertarianism, which received its most powerful expression in Robert Nozick’s Anarchy, State and Utopia (1974), a book that still sets the baseline for discussions of libertarianism today. The second, I will call faux libertarianism. For reasons I will explain in this paper, most ‘man-on-the-street’ libertarians and most politicians who claim to be libertarians are actually this kind of libertarian. And third, there is left libertarianism, which is what I shall (...) spend most of this paper explicating. But I will not simply be surveying the views of those who identify as left libertarians and put this forth as if I were engaged in an exegetical exercise. Instead, what I shall set forth is a kind of manifesto, a statement of why I consider myself a left libertarian, one that takes this approach to political morality well beyond where it was left around the end of the last century by the previous generation of left libertarians. My hope is to provide those who find certain left libertarian ideas attractive a guide by which they can explain and harmonise their own views, recognise left libertarianism as a distinct comprehensive political doctrine, and feel more open to identify themselves as left libertarian too. (shrink)

Michael Ridge claims to have ‘finessed’ the Frege-Geach Problem ‘on the cheap’. In this short paper I explain a couple of the reasons why this thought is premature.

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