In this article I examine two mathematical definitions of observational equivalence, one proposed by Charlotte Werndl and based on manifest isomorphism, and the other based on Ornstein and Weiss’s ε-congruence. I argue, for two related reasons, that neither can function as a purely mathematical definition of observational equivalence. First, each definition permits of counterexamples; second, overcoming these counterexamples will introduce non-mathematical premises about the systems in question. Accordingly, the prospects for a broadly applicable and purely mathematical definition of observational (...) equivalence are unpromising. Despite this critique, I suggest that Werndl’s proposals are valuable because they clarify the distinction between provable and unprovable elements in arguments for observational equivalence. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

Among Dunn’s many important contributions to relevance logic was his work on the system RM (R-mingle). Although RM is an interesting system in its own right, it is widely considered to be too strong. In this chapter, I revisit a closely related system, RM0 (sometimes known as ‘constructive mingle’), which includes the mingle axiom while not degenerating in the way that RM itself does. My main interest will be in examining this logic from two related semantical perspectives. First, I give (...) a purely operational bisemilattice semantics for it by adapting previous work of Humberstone. Second, I examine a more conventional algebraic semantics for it and discuss how this relates to the operational semantics. A novel operational semantics for J (intuitionistic logic) as well as its conventional Heyting algebraic semantics emerge as special cases of the corresponding semantics for RM0. The results of this chapter suggest that RM0 is a more interesting logic than has been appreciated and that Humberstone’s operational semantic framework similarly deserves more attention than it has received. (shrink)

What is the role of affective experience in explaining how our desires provide us with reasons for action? When we desire that p, we are thereby disposed to feel attracted to the prospect that p, or to feel averse to the prospect that not-p. In this paper, we argue that affective experiences – including feelings of attraction and aversion – provide us with reasons for action in virtue of their phenomenal character. Moreover, we argue that desires provide us with reasons (...) for action only insofar as they are dispositions to have affective experiences. On this account, affective experience has a central role to play in explaining how desires provide reasons for action. (shrink)

What does Wittgenstein say about the learning child? In the Philosophical Investigations, he writes, ‘An important part … will consist in the teacher’s pointing to the objects, directing the child’s attention to them, and at the same time uttering a word.’ Here Wittgenstein is describing what is called ‘joint attention’ which is agreed to be a rich resource for learning in children. In this essay, I explore the developmental significance of this passage particularly with regards the learning that occurs in (...) the pre-linguistic child during joint attention. I refer to critical remarks elsewhere in the PI which can help further convey what Wittgenstein means when he talks about attentional capacities and how they develop, including the relevant ability for responsiveness required for the learning to proceed. These considerations should motivate a defence of the social initiation model of learning contra Luntley’s mentalist-individualist account, this despite conceding that certain prior capacities do play a role, though not a central one since these do not pick out the relevant ability (responsiveness) required for learning to take place in the child. (shrink)

Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, I (...) then argue that once the semantics presupposed by Brauer’s argument is reformulated in terms of truth at a world, we have good reasons to think that a crucial semantic premise in Brauer’s argument should be rejected in favour of an alternative. Brauer’s argument is, however, no longer valid with this alternative premise. Thus, plausibly Brauer’s argument against D is only valid, if it is not sound. (shrink)

Representation theorems are often taken to provide the foundations for decision theory. First, they are taken to characterize degrees of belief and utilities. Second, they are taken to justify two fundamental rules of rationality: that we should have probabilistic degrees of belief and that we should act as expected utility maximizers. We argue that representation theorems cannot serve either of these foundational purposes, and that recent attempts to defend the foundational importance of representation theorems are unsuccessful. As a result, we (...) should reject these claims, and lay the foundations of decision theory on firmer ground. (shrink)

Value capture occurs when an agent’s values are rich and subtle; they enter a social environment that presents simplified — typically quantified — versions of those values; and those simplified articulations come to dominate their practical reasoning. Examples include becoming motivated by FitBit’s step counts, Twitter Likes and Re-tweets, citation rates, ranked lists of best schools, and Grade Point Averages. We are vulnerable to value capture because of the competitive advantage that such crisp and clear expressions of value have in (...) our private reasoning and our public justification. There is, however, a price. In value capture, we take a central component of our autonomy — our ongoing deliberation over the exact articulation of our values — and we outsource it. And the metrics to which we outsource usually engineered for the interests of some external force, like a large-scale institution’s interest in cross-contextual comprehensibility and quick aggregability. That outsourcing cuts off one of the key benefits to personal deliberation. In value capture, we no longer adjust our values and their articulations in light of own rich experience of the world. Our values should often be carefully tailored to our particular selves or our small-scale communities, but in value capture, we buy our values off the rack. In some cases – like decreasing CO2 emissions – the costs of non-tailored values are outweighed by the benefit of precise collective coordination. In other cases, like in our aesthetic lives, they are not. This suggests that we should want different values suited to different scales. We should want value federalism. Some values are perhaps best pursued at the largest-scale level, others at smaller scales. The problem occurs when we exhibit an excess preference for the largest-scale values – when we consistently let the universal metrics swamp our quieter interests. (shrink)

Naturalist views of persons, such as those of the philosophers Annette Baier and Marjorie Grene, emphasize that human persons are cultural animals: We are living, embodied, organic beings, embedded in nature, the product of Darwinian evolution, but dependent on culture. Such naturalist views of persons typically eschew science fiction and look askance at the philosophical fantasies and thought experiments that often populate philosophical treatments of personal identity. Marge Piercy’s dystopian, cyberpunk, science fiction novel He, She and It weaves a complex (...) tale around the debate over the status of its central character Yod, a cyborg created in a lab but humanized through the efforts of two women, Malkah Shipman and her granddaughter Shira Shipman. Is Yod a person, despite having been engineered in a lab for a specific purpose? Piercy’s tale both challenges and ultimately supports a naturalist view of persons while simultaneously forewarning us of possible new styles of persons to come. (shrink)

We commonly explain the distinctive prudential and moral status of persons in terms of our mental capacities. I draw from recent work to argue that the common explanation is incomplete. I then develop a new explanation: We are ethically important because we are the object of a pattern of self-concern. I argue that the view solves moral problems posed by permissive ontologies, such as the recent personite problem.

Let serious propositional contingentism (SPC) be the package of views which consists in (i) the thesis that propositions expressed by sentences featuring terms depend, for their existence, on the existence of the referents of those terms, (ii) serious actualism—the view that it is impossible for an object to exemplify a property and not exist—and (iii) contingentism—the view that it is at least possible that some thing might not have been something. SPC is popular and compelling. But what should we say (...) about possible worlds, if we accept SPC? Here, I first show that a natural view of possible worlds, well-represented in the literature, in conjunction with SPC is inadequate. Though I note various alternative ways of thinking about possible worlds in response to the first problem, I then outline a second more general problem—a master argument—which generally shows that any account of possible worlds meeting very minimal requirements will be inconsistent with compelling claims about _mere possibilia_ which the serious propositional contingentist should accept. (shrink)

This paper examines three accounts of the sleeping beauty case: an account proposed by Adam Elga, an account proposed by David Lewis, and a third account defended in this paper. It provides two reasons for preferring the third account. First, this account does a good job of capturing the temporal continuity of our beliefs, while the accounts favored by Elga and Lewis do not. Second, Elga’s and Lewis’ treatments of the sleeping beauty case lead to highly counterintuitive consequences. The proposed (...) account also leads to counterintuitive consequences, but they’re not as bad as those of Elga’s account, and no worse than those of Lewis’ account. (shrink)

This handbook article gives a critical overview of recent discussions of epistemic authority. It favors an account that brings into balance the dictates of rational deference with the ideals of intellectual self-governance. A plausible starting point is the conjecture that neither should rational deference to authorities collapse into total epistemic submission, nor the ideal of mature intellectual self-governance be conflated with (illusions of) epistemic autarky.

A phenomenological turn has occurred in contemporary philosophy of mind. Some philosophers working on the nature of intentionality and consciousness have turned away from views that construe the basic ingredients of intentionality in terms of naturalistic tracking relations that hold between thinkers and external conditions in their environment in favor of what has been called the “Phenomenal Intentionality Theory” (PIT). According to PIT, all “original” intentionality is either identical to or partly grounded in phenomenal consciousness. A central claim for PIT (...) is the inseparatism thesis, which asserts that the phenomenal and the intentional are inseparable. In this article, I will situate this thesis within a methodological context I call “analytic phenomenology” and then show why proponents of PIT should take seriously our phenomenology of temporal experience. But I am not aiming to disprove PIT or defend it against views of intentionality that reject inseparatism. Rather, I want to understand what PIT says and how to approach the view, assuming that our goal is to test the theory using the assumptions and methods endorsed by proponents of the theory. (shrink)

This paper examines the debate between permissive and impermissive forms of Bayesianism. It briefly discusses some considerations that might be offered by both sides of the debate, and then replies to some new arguments in favor of impermissivism offered by Roger White. First, it argues that White’s (Oxford studies in epistemology, vol 3. Oxford University Press, Oxford, pp 161–186, 2010) defense of Indifference Principles is unsuccessful. Second, it contends that White’s (Philos Perspect 19:445–459, 2005) arguments against permissive views do not (...) succeed. (shrink)

According to commonsense psychology, one is conscious of everything that one pays attention to, but one does not pay attention to all the things that one is conscious of. Recent lines of research purport to show that commonsense is mistaken on both of these points: Mack and Rock (1998) tell us that attention is necessary for consciousness, while Kentridge and Heywood (2001) claim that consciousness is not necessary for attention. If these lines of research were successful they would have important (...) implications regarding the prospects of using attention research to inform us about consciousness. The present essay shows that these lines of research are not successful, and that the commonsense picture of the relationship between attention and consciousness can be. (shrink)

This piece lays out the framework for a special issue on the topic of "Fits and Misfits," published as volume 7, issue 1 of Puncta: A Journal of Critical Phenomenology. We discuss the relationship between the concept of misfitting, coined by Rosemarie Garland-Thomson, and debility, coined by Jasbir Puar, in relationship to scholarship on Merleau-Ponty. We then introduce each of the eight articles in the special issue: Rosemarie Garland-Thomson's "What Misfitting Makes," Susan Bredlau's "Conversational Accessibility: Healthcare, Community, and the Ethics (...) of Everyday Encounters," Helen A. Fielding's "Being Touched by Wellness: Merleau-Ponty, Nancy, and the Intensive Care Unit," Ann Murphy's "The Spirited Interworld: Caregiving and the Liminal Phenomenology of Dementia," Rachel Elliott's "Sharing Time with Misfits: We-Experience across Bodily Difference," David Morris's "An-Archic Time: Melting the Clock as Hypernorm of the I Can -- and Philosophy," Rebecca Longtin's "Merleau-Ponty's Cézanne as Misfit Artist," and, finally, Laura McMahon's "The Politics of Vulnerability and the School for Peace: Insights from Butler, Merleau-Ponty, and Family Systems Theory.". (shrink)

The paper argues that an account of understanding should take the form of a Carnapian explication and acknowledge that understanding comes in degrees. An explication of objectual understanding is defended, which helps to make sense of the cognitive achievements and goals of science. The explication combines a necessary condition with three evaluative dimensions: an epistemic agent understands a subject matter by means of a theory only if the agent commits herself sufficiently to the theory of the subject matter, and to (...) the degree that the agent grasps the theory (i.e., is able to make use of it), the theory answers to the facts and the agent’s commitment to the theory is justified. The threshold for outright attributions of understanding is determined contextually. The explication has descriptive as well as normative facets and allows for the possibility of understanding by means of non-explanatory (e.g., purely classificatory) theories. (shrink)

Political epistemology is the intersection of political philosophy and epistemology. This paper develops a political 'hinge' epistemology. Political hinge epistemology draws on the idea that all belief systems have fundamental presuppositions which play a role in the determination of reasons for belief and other attitudes. It uses this core idea to understand and tackle political epistemological challenges, like political disagreement, polarization, political testimony, political belief, ideology, and biases, among other possibilities. I respond to two challenges facing the development of a (...) political hinge epistemology. The first is about nature and demarcation of political hinges, while the second is about rational deliberation over political hinges. I then use political hinge epistemology to analyze ideology, dealing with the challenge of how an agent's ideology 'masks' or distorts their understanding of social reality, along with the challenge of how ideology critique can change the beliefs of agents who adhere to dominant ideologies, if agents only have their own or the competing ideology to rely on (see Haslanger 2017). I then explore how political hinge epistemology might be extended to further our understanding of political belief polarization. (shrink)

Conditionalization is a widely endorsed rule for updating one’s beliefs. But a sea of complaints have been raised about it, including worries regarding how the rule handles error correction, changing desiderata of theory choice, evidence loss, self-locating beliefs, learning about new theories, and confirmation. In light of such worries, a number of authors have suggested replacing Conditionalization with a different rule — one that appeals to what I’ll call “ur-priors”. But different authors have understood the rule in different ways, and (...) these different understandings solve different problems. In this paper, I aim to map out the terrain regarding these issues. I survey the different problems that might motivate the adoption of such a rule, flesh out the different understandings of the rule that have been proposed, and assess their pros and cons. I conclude by suggesting that one particular batch of proposals, proposals that appeal to what I’ll call “loaded evidential standards”, are especially promising. (shrink)

In Reasons and Persons, Parfit (1984) posed a challenge: provide a satisfying normative account that solves the Non-Identity Problem, avoids the Repugnant and Absurd Conclusions, and solves the Mere-Addition Paradox. In response, some have suggested that we look toward person-affecting views of morality for a solution. But the person-affecting views that have been offered so far have been unable to satisfy Parfit's four requirements, and these views have been subject to a number of independent complaints. This paper describes a person-affecting (...) account which meets Parfit's challenge. The account satisfies Parfit's four requirements, and avoids many of the criticisms that have been raised against person-affecting views. (shrink)

This article presents theories of attention that attempt to derive their answer to the question of what attention is from their answers to the question of what it is for some activity to be done attentively. Such theories provide a distinctive account of the difficulties that are faced by the attempt to locate processes in the brain by which the phenomena of attention can be explained. Their account does not share the pessimism of theories suggesting that the concept of attention (...) is defective. Instead it reconstrues the explanatory relationship between attention and the processes that constitute it, in a way that is illustrated here by considering the relationship between attention and the processes that are identified by the biased competition theory. After considering some of the ways in which an adverbialist approach might be developed, the article concludes by suggesting some possible solutions to a problem concerning distraction, by which prominent adverbialist theories of attention have been dogged. (shrink)

What is philosophy of science? Numerous manuals, anthologies or essays provide carefully reconstructed vantage points on the discipline that have been gained through expert and piecemeal historical analyses. In this paper, we address the question from a complementary perspective: we target the content of one major journal of the field—Philosophy of Science—and apply unsupervised text-mining methods to its complete corpus, from its start in 1934 until 2015. By running topic-modeling algorithms over the full-text corpus, we identified 126 key research topics (...) that span across 82 years. We also tracked their evolution and fluctuating significance over time in the journal articles. Our results concur with and document known and lesser-known episodes of the philosophy of science, including the rise and fall of logic and language-related topics, the relative stability of a metaphysical and ontological questioning (space and time, causation, natural kinds, realism), the significance of epistemological issues about the nature of scientific knowledge as well as the rise of a recent philosophy of biology and other trends. These analyses exemplify how computational text-mining methods can be used to provide an empirical large-scale and data-driven perspective on the history of philosophy of science that is complementary to other current historical approaches. (shrink)

Much of the philosophical literature on causation has focused on the concept of actual causation, sometimes called token causation. In particular, it is this notion of actual causation that many philosophical theories of causation have attempted to capture.2 In this paper, we address the question: what purpose does this concept serve? As we shall see in the next section, one does not need this concept for purposes of prediction or rational deliberation. What then could the purpose be? We will argue (...) that one can gain an important clue here by looking at the ways in which causal judgments are shaped by people‘s understanding of norms. (shrink)

Das spezifische Ziel von Argumentationen ist nicht einfach, den Adressaten etwas glauben zu machen - dies wäre bloße Rhetorik ﷓, sondern: den Adressaten beim Erkennen der Akzeptabilität (insbesondere der Wahrheit) der These anzuleiten und ihn so zu begründetem Glauben, zu Erkenntnis zu führen. Argumentationen leiten das Erkennen an, indem sie in ihren Argumenten hinreichende Akzeptabilitätsbedingungen der These als erfüllt beurteilen und so den Adressaten implizit auffordern, diese Bedingungen zu überprüfen. Argumentationen sind gültig, wenn sie prinzipiell das Erkennen anleiten können; d. (...) h. wenn die genannten Akzeptabilitätsbedingungen hinreichend sind, wenn sie tatsächlich erfüllt (die Argumente also wahr) sind und wenn es irgendjemanden gibt, der zwar die Akzeptabilität der Argumente, nicht aber die der These erkannt hat. Eine gültige Argumentation ist adäquat, um einen bestimmten Adressaten rational zu überzeugen, wenn dieser u. a. die Akzeptabilität der Argumente, nicht aber die der These erkannt hat. Die in gültigen Argumentationen als erfüllt beurteilten Akzeptabilitätsbedingungen sind Konkretisierungen allgemeiner Erkenntnisprinzipien für die spezifische These, z. B. des deduktiven Erkenntnisprinzips: 'Eine Proposition ist wahr, wenn sie von wahren Propositionen logisch impliziert wird.' oder des erkenntnisgenetischen Erkenntnisprinzips: 'Eine Proposition ist wahr, wenn sie korrekt verifiziert worden ist.' Eine Konkretisierung des deduktiven Prinzips für eine These p wäre z. B.: 'p ist wahr, 1. wenn q und r wahr sind und 2. wenn q und r zusammen p logisch implizieren.' Sind beide Bedingungen erfüllt, so könnte 'q; r; also p.' eine gültige deduktive Argumentation sein. Die verschiedenen Argumentationstypen unterscheiden sich danach, auf welchem Erkenntnisprinzip sie basieren. Das argumentativ angeleitete Erkennen der Akzeptabilität der These funktioniert so: Der Adressat benutzt das von ihm (zumindest implizit) gewußte allgemeine Erkenntnisprinzip als Checkliste, auf der er nach dem Vorbringen der Argumente abhakt, welche Akzeptabilitätsbedingung des Erkenntnisprinzips durch das Zutreffen des Arguments jeweils erfüllt wird. Auf der Basis dieser Funktionsbestimmung werden in der "Praktischen Argumentationstheorie" (erstmalig) präzise Gültigkeitskriterien für Argumentationen allgemein und für mehrere spezielle Argumentationstypen entwickelt, erkenntnistheoretisch begründet und auf komplexe Argumentationsbeispiele aus Philosophie, Wissenschaft, Technik und Kultur angewendet. Die Analyse der erkenntnistheoretischen Grundlagen - der zugrundeliegenden Erkenntnisprinzipien - vor allem der interpretierenden und praktischen Argumentationen ist zudem von erheblicher Bedeutung weit über die Argumentationstheorie hinaus: für die Interpretationstheorie, die Handlungstheorie und die praktische Philosophie. (shrink)

Serious actualism is the view that it is metaphysically impossible for an entity to have a property, or stand in a relation, and not exist. Fine (1985) and Pollock (1985) influentially argue that this view is false. In short, there are properties like the property of nonexistence, and it is metaphysically possible that some entity both exemplifies such a property and does not exist. I argue that such arguments are indeed successful against the standard formulation of serious actualism. However, I (...) also argue that we should distinguish a weaker formulation of serious actualism using the actualist distinction between truth in, and truth at, a possible world. This weaker formulation is then shown to be consistent with the existence and possible exemplification of properties like the property of nonexistence. I end with a novel argument for the truth of the weaker formulation. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

In “Bayesianism, Infinite Decisions, and Binding”, Arntzenius et al. (Mind 113:251–283, 2004 ) present cases in which agents who cannot bind themselves are driven by standard decision theory to choose sequences of actions with disastrous consequences. They defend standard decision theory by arguing that if a decision rule leads agents to disaster only when they cannot bind themselves, this should not be taken to be a mark against the decision rule. I show that this claim has surprising implications for a (...) number of other debates in decision theory. I then assess the plausibility of this claim, and suggest that it should be rejected. (shrink)

This paper argues that we should replace the common classification of theories of welfare into the categories of hedonism, desire theories, and objective list theories. The tripartite classification is objectionable because it is unduly narrow and it is confusing: it excludes theories of welfare that are worthy of discussion, and it obscures important distinctions. In its place, the paper proposes two independent classifications corresponding to a distinction emphasised by Roger Crisp: a four-category classification of enumerative theories (about which items constitute (...) welfare), and a four-category classification of explanatory theories (about why these items constitute welfare). (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

This chapter surveys hybrid theories of well-being. It also discusses some criticisms, and suggests some new directions that philosophical discussion of hybrid theories might take.

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

Ecological communities are seldom, if ever, biological individuals. They lack causal boundaries as the populations that constitute communities are not congruent and rarely have persistent functional roles regulating the communities’ higher-level properties. Instead we should represent ecological communities indexically, by identifying ecological communities via the network of weak causal interactions between populations that unfurl from a starting set of populations. This precisification of ecological communities helps identify how community properties remain invariant, and why they have robust characteristics. This respects the (...) diversity and aggregational nature of these complex systems while still vindicating them as units worthy of investigation. (shrink)

This chapter examines the hypothesis that episodic memory is a mindshaped capacity. Presenting evidence from cognitive, developmental, and cross-cultural psychology, we argue that episodic memory is mindshaped for the purposes of interpersonal and social coordination. We examine how cultural influences, parental reminiscing styles, and the constructive nature of memory contribute to such mindshaping, promoting cognitive and behavioral homogeneity. We propose that epistemic norms of remembering are gradually acquired and internalized in practices of joint reminiscing between children and adult caregivers, a (...) crucial component in an extended process of normative enculturation. We also explore the close relationship between episodic memory and imagination, highlighting the ways in which simulated vicarious experiences function as socio-cognitive tools, transforming us into more easily interpretable cognitive objects. The chapter concludes by emphasizing the need for further research to elucidate the varieties and extent of memory mindshaping, shedding light on the nature of episodic memory and its role in the normative enculturation of human rememberers. (shrink)

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture the (...) right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

Common mental health disorders are rising globally, creating a strain on public healthcare systems. This has led to a renewed interest in the role that digital technologies may have for improving mental health outcomes. One result of this interest is the development and use of artificial intelligence for assessing, diagnosing, and treating mental health issues, which we refer to as ‘digital psychiatry’. This article focuses on the increasing use of digital psychiatry outside of clinical settings, in the following sectors: education, (...) employment, financial services, social media, and the digital well-being industry. We analyse the ethical risks of deploying digital psychiatry in these sectors, emphasising key problems and opportunities for public health, and offer recommendations for protecting and promoting public health and well-being in information societies. (shrink)

We argue that while digital health technologies (e.g. artificial intelligence, smartphones, and virtual reality) present significant opportunities for improving the delivery of healthcare, key concepts that are used to evaluate and understand their impact can obscure significant ethical issues related to patient engagement and experience. Specifically, we focus on the concept of empowerment and ask whether it is adequate for addressing some significant ethical concerns that relate to digital health technologies for mental healthcare. We frame these concerns using five key (...) ethical principles for AI ethics (i.e. autonomy, beneficence, non-maleficence, justice, and explicability), which have their roots in the bioethical literature, in order to critically evaluate the role that digital health technologies will have in the future of digital healthcare. (shrink)

Axel Honneth, The Struggle for Recognition: The Moral Grammer of Social Conflicts (reviewed by Christopher Zurn).

An epistemic agent A is a false epistemic authority for others iff they falsely believe A to be in a position to help them accomplish their epistemic ends. A major divide exists between what I call "epistemic quacks", who falsely believe themselves to be relevantly competent, and "epistemic charlatans", i.e., false authorities who believe or even know that they are incompetent. Both types of false authority do not cover what Lackey (2021) calls "predatory experts": experts who systematically misuse their social-epistemic (...) status as a cover for predatory behavior. Qua experts, predatory experts are competent and thus could (and maybe sometimes do) help their clients. But should we count them as genuine epistemic authorities? No, I argue, they are false epistemic authorities because, in addition to their practical and moral misconduct, such experts systematically deceive their clients, thereby thwarting the clients’ epistemic ends. (shrink)

The aim of the paper is to develop general criteria of argumentative validity and adequacy for probabilistic arguments on the basis of the epistemological approach to argumentation. In this approach, as in most other approaches to argumentation, proabilistic arguments have been neglected somewhat. Nonetheless, criteria for several special types of probabilistic arguments have been developed, in particular by Richard Feldman and Christoph Lumer. In the first part (sects. 2-5) the epistemological basis of probabilistic arguments is discussed. With regard to (...) the philosophical interpretation of probabilities a new subjectivist, epistemic interpretation is proposed, which identifies probabilities with tendencies of evidence (sect. 2). After drawing the conclusions of this interpretation with respect to the syntactic features of the probability concept, e.g. one variable referring to the data base (sect. 3), the justification of basic probabilities (priors) by judgements of relative frequency (sect. 4) and the justification of derivative probabilities by means of the probability calculus are explained (sect. 5). The core of the paper is the definition of '(argumentatively) valid derivative probabilistic arguments', which provides exact conditions for epistemically good probabilistic arguments, together with conditions for the adequate use of such arguments for the aim of rationally convincing an addressee (sect. 6). Finally, some measures for improving the applicability of probabilistic reasoning are proposed (sect. 7). (shrink)

This paper explores what a Rule Consequentialist of Brad Hooker's sort can and should say about normative rea- sons for action. I claim that they can provide a theory of reasons, but that doing so requires distinguishing dif- ferent roles of rules in the ideal code. Some rules in the ideal code specify reasons, while others perform differ- ent functions. The paper also discusses a choice that Rule Consequentialists face about how exactly to specify rea- sons. It ends by comparing (...) the theory of reasons offered by Rule Consequentialism with the theory offered by Act Consequentialism, noting that Rule Consequentialism seems better able to explain moral constraints. (shrink)

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities. (shrink)

Propositional contingentism is the thesis that there might have been propositions which might have not have been something. Serious actualism is the thesis that it is impossible for a property to be exemplified without there being something which exemplifies it. Both are popular. Likewise, the dominant view in the metaphysics of modality is that metaphysical possibility and necessity can be understood – in some sense – in terms of possible worlds, i.e. total ways the world could have been. Here, I (...) argue that, given some minimal assumptions, the conjunction of propositional contingentism and serious actualism entails that worlds are modally fragile – every world is ontologically dependent on every proposition. I then show that such a consequence is inconsistent with the claim that propositions true at all possible worlds are necessary. (shrink)

At the heart of the Bayesianism is a rule, Conditionalization, which tells us how to update our beliefs. Typical formulations of this rule are underspecified. This paper considers how, exactly, this rule should be formulated. It focuses on three issues: when a subject’s evidence is received, whether the rule prescribes sequential or interval updates, and whether the rule is narrow or wide scope. After examining these issues, it argues that there are two distinct and equally viable versions of Conditionalization to (...) choose from. And which version we choose has interesting ramifications, bearing on issues such as whether Conditionalization can handle continuous evidence, and whether Jeffrey Conditionalization is really a generalization of Conditionalization. (shrink)

Standard decision theory has trouble handling cases involving acts without finite expected values. This paper has two aims. First, building on earlier work by Colyvan (2008), Easwaran (2014), and Lauwers and Vallentyne (2016), it develops a proposal for dealing with such cases, Difference Minimizing Theory. Difference Minimizing Theory provides satisfactory verdicts in a broader range of cases than its predecessors. And it vindicates two highly plausible principles of standard decision theory, Stochastic Equivalence and Stochastic Dominance. The second aim is to (...) assess some recent arguments against Stochastic Equivalence and Stochastic Dominance. If successful, these arguments refute Difference Minimizing Theory. This paper contends that these arguments are not successful. (shrink)

This paper examines two mistakes regarding David Lewis’ Principal Principle that have appeared in the recent literature. These particular mistakes are worth looking at for several reasons: The thoughts that lead to these mistakes are natural ones, the principles that result from these mistakes are untenable, and these mistakes have led to significant misconceptions regarding the role of admissibility and time. After correcting these mistakes, the paper discusses the correct roles of time and admissibility. With these results in hand, the (...) paper concludes by showing that one way of formulating the chance–credence relation has a distinct advantage over its rivals. (shrink)