A response to Christof Koch and Naotsugu Tsuchiya's 'Attention and Consciousness: Two Distinct Brain Processes'.

This paper discusses the logical space of alternative conceptual engineering projects, with a specific focus on (1) the processes, (2) the targets and goals, and (3) the methods of such projects. We present an overview of how these three aspects interact in the contemporary literature and discuss those alternative projects that have yet to be explored based on our suggested typology. We show how choices about each element in a conceptual engineering project constrain the possibilities for the others, thereby giving (...) rise to distinct groupings of possible projects under the banner of conceptual engineering. We conclude with a critical reflection on the potential ethical issues that arise as a result of effectively putting conceptual engineering into practice. (shrink)

Max Deutsch has recently argued that conceptual engineering is stuck in a dilemma. If it is construed as the activity of revising the semantic meanings of existing terms, then it faces an unsurmountable implementation problem. If, on the other hand, it is construed as the activity of introducing new technical terms, then it becomes trivial. According to Deutsch, this conclusion need not worry us, however, for conceptual engineering is ill-motivated to begin with. This paper responds to Deutsch by arguing, first, (...) that there is a third construal of conceptual engineering, neglected by him, which renders it both implementable and non-trivial, and second, that even the more ambitious project of changing semantic meanings is no less feasible than other normative projects we currently pursue. Lastly, the value of conceptual engineering is defended against Deutsch’s objections. (shrink)

A philosopher argues that state-sponsored cyberattacks against central military or civilian targets are always acts of war. What is this philosopher doing? According to conceptual analysts, the philosopher is making a claim about our concept of war. According to philosophical realists, the philosopher is making a claim about war per se. In a quickly developing literature, a third option is being explored: the philosopher is engineering the concept of war. On this view, the philosopher is making a proposal about which (...) concept we should have – even if it deviates from the extant concept, and even if it does not capture ‘what war really is’. The activity or method of proposing such revisionary definitions, as well as the metaphilosophical reflection on it, has become known as conceptual engineering. (shrink)

Unlike conceptual analysis, conceptual engineering does not aim to identify the content that our current concepts do have, but the content which these concepts should have. For this method to show the results that its practitioners typically aim for, being able to change meanings seems to be a crucial presupposition. However, certain branches of semantic externalism raise doubts about whether this presupposition can be met. To the extent that meanings are determined by external factors such as causal histories or microphysical (...) structures, it seems that they cannot be changed intentionally. This paper gives an extended discussion of this ‘externalist challenge’. Pace Herman Cappelen’s recent take on this issue, it argues that the viability of conceptual engineering crucially depends on our ability to bring about meaning change. Furthermore, it argues that, contrary to first appearance, causal theories of reference do allow for a sufficient degree of meaning control. To this purpose, it argues that there is a sense of what is called ‘collective long-range control’, and that popular versions of the causal theory of reference imply that people have this kind of control over meanings. (shrink)

Conceptual engineers aim to revise rather than describe our concepts. But what are concepts? And how does one engineer them? Answering these questions is of central importance for implementing and theorizing about conceptual engineering. This paper discusses and criticizes two influential views of this issue: semanticism, according to which conceptual engineers aim to change linguistic meanings, and psychologism, according to which conceptual engineers aim to change psychological structures. I argue that neither of these accounts can give us the full story. (...) Instead, I propose and defend the Dual Content View of Conceptual Engineering. On this view, conceptual engineering targets concepts, where concepts are understood as having two kinds of contents: referential content and cognitive content. I show that this view is independently plausible and that it gives us a comprehensive account of conceptual engineering that helps to make progress on some of the most difficult problems surrounding conceptual engineering. (shrink)

Conceptual engineering concerns the assessment and improvement of our concepts. But how can proposals to engineer concepts be implemented in the real world? This is known as the implementation challenge to conceptual engineering. In this paper, I am concerned with the meta-philosophical implications of the implementation challenge. Specifically, must we overcome the implementation challenge prior to undertaking conceptual engineering? Some critics have recently answered this question affirmatively. I intend to show that they are mistaken. I argue as follows. First, successful (...) implementation is not an integral part of conceptual engineering. Second, the idea that the value of conceptual engineering relies on successful implementation is in tension with widespread assumptions about normative theorizing. (shrink)

In a merely verbal agreement, a misunderstanding between two parties creates the false impression of agreement: one or both parties think they agree on something, when in fact they do not. There is reason to believe that merely verbal agreements are as common as merely verbal disagreements and disputes. Unlike the latter, however, merely verbal agreements have so far been ignored by philosophers. The purpose of this paper is twofold: first, to clarify what merely verbal agreement is by considering various (...) ways of defining and refining the notion; and second, to explore the effects of merely verbal agreement on conversational common ground, collaborative action, and academic philosophy. It will be argued that merely verbal agreement is best understood in terms of divergent speaker-meanings, that it has specific negative effects on common ground, that it impedes collaborative action, and that it is likely to play a significant role in academic philosophy. (shrink)

It is often assumed that how we talk about the world matters a great deal. This is one reason why conceptual engineers seek to improve our linguistic practices by advocating novel uses of our words, or by inventing new ones altogether. A core idea shared by conceptual engineers is that by changing our language in this way, we can reap all sorts of cognitive and practical benefits, such as improving our theorizing, combating hermeneutical injustice, or promoting social emancipation. But how (...) do changes at the linguistic level translate into any of these worthwhile benefits? In this paper, we propose the nameability account as a novel answer to this question. More specifically, we argue that what linguistic resources are readily available to us directly affects our cognitive performance on various categorization-related tasks. Consequently, our performance on such tasks can be improved by making controlled changes to our linguistic resources. We argue that this finding supports and extends recent motivations for conceptual engineering, as categorization plays an important role in both theoretical and practical contexts. (shrink)

It seems natural to think that Carnapian explication and experimental philosophy can go hand in hand. But what exactly explicators can gain from the data provided by experimental philosophers remains controversial. According to an influential proposal by Shepherd and Justus, explicators should use experimental data in the process of ‘explication preparation’. Against this proposal, Mark Pinder has recently suggested that experimental data can directly assist an explicator’s search for fruitful replacements of the explicandum. In developing his argument, he also proposes (...) a novel aspect of what makes a concept fruitful, namely, that it is taken up by the relevant community. In this paper, I defend explication preparation against Pinder’s objections and argue that his uptake proposal conflates theoretical and practical success conditions of explications. Furthermore, I argue that Pinder’s suggested experimental procedure needs substantial revision. I end by distinguishing two kinds of explication projects, and showing how experimental philosophy can contribute to each of them. (shrink)

This paper argues for explanatory eliminativism about topics (and cognates, such as subject matters) relative to the domain of conceptual engineering. It has become usual to think that topics serve an important explanatory role in theories of conceptual engineering, namely, to determine the limits of revision. I argue, first, that such limits can be understood either as thenormative limitspertaining to the justification of conceptual engineering, as themetaphysical limitspertaining to the identity of the concepts in question, or as theterminological limitspertaining to (...) usage of the original terminology. Second, I argue that the metaphysical reading is disputable as a theory of concepts and inconsequential for conceptual engineers, and that neither of the two leading accounts of topics that have been presented in the literature—the samesaying account and functionalism—determine the limits of revision in either of the two remaining senses. In the absence of more promising competitors, I conclude that there is no theoretical role for topics to play in theories of conceptual engineering. An upshot of my argument is that conceptual engineers should stop worrying about things like topic (dis)continuity, and instead shift their attention to the issues that really matter for justifying conceptual revisions or replacements, making terminological choices, and underpinning conceptual engineering with a theory of concepts. (shrink)

Linguistic interventions aim to change our linguistic practices. A commonly discussed type of linguistic intervention is meaning revision, which seeks to associate existing words with new or revised meanings. But why does retaining old words matter so much? Why not instead introduce new words to express the newly defined meanings? Drawing on relevant psycholinguistic research, this paper develops an empirically motivated, general, and practically useful pro tanto reason to retain rather than replace the original word during the process of conceptual (...) improvement. (shrink)

Deference principles are principles that describe when, and to what extent, it’s rational to defer to others. Recently, some authors have used such principles to argue for Evidential Uniqueness, the claim that for every batch of evidence, there’s a unique doxastic state that it’s permissible for subjects with that total evidence to have. This paper has two aims. The first aim is to assess these deference-based arguments for Evidential Uniqueness. I’ll show that these arguments only work given a particular kind (...) of deference principle, and I’ll argue that there are reasons to reject these kinds of principles. The second aim of this paper is to spell out what a plausible generalized deference principle looks like. I’ll start by offering a principled rationale for taking deference to constrain rational belief. Then I’ll flesh out the kind of deference principle suggested by this rationale. Finally, I’ll show that this principle is both more plausible and more general than the principles used in the deference-based arguments for Evidential Uniqueness. (shrink)

Ameliorative projects design and propagate new linguistic content for some expressions we use for political or social justice purposes. These projects are often driven by an anti-essentialist agenda: they aim to debunk the idea that social categories such as “woman,” “man,” or “race” are constituted by natural essences. But critics argue that nouns tend to trigger essentialist thinking. And because ameliorative projects typically retain nouns, it is argued that these projects cannot achieve their anti-essentialist goals. In response, I argue that (...) the psychological effects of noun use tend to support, rather than hinder, the anti-essentialist goals of ameliorators. (shrink)

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

This is the introduction to the Special Issue ‘Foundational Issues in Conceptual Engineering’. The issue contains contributions by James Andow, Delia Belleri, David Chalmers, Catarina Dutilh Novaes, Eugen Fischer, Viktoria Knoll, Edouard Machery and Amie Thomasson. We, the editors, provide a brief introduction to the main topics of the issue and then summarize its contributions.

Nach Reinhart Koselleck nennen Historiker die Periode der deutschen Geschichte zwischen 1770 und 1830 ‚die Sattelzeit‘. So wird diese Periode mit einem Bergsattel verglichen, der zwei Gipfel miteinander verbindet, die hier für die frühe Neuzeit und die Moderne stehen. Überall in Deutschland ist diese Periode von tiefgreifenden Reformen der Gesetze und der Verwaltung geprägt. Im Folgenden beschränke ich mich in meiner Darlegung auf Preußen, weil das Preußische Allgemeine Landrecht von 1794 wahrscheinlich das wichtigste Dokument war, durch das diese Reformen in (...) historischer Perspektive begriffen werden können. (shrink)

Although they are continually compositionally reconstituted and reconfigured, organisms nonetheless persist as ontologically unified beings over time – but in virtue of what? A common answer is: in virtue of their continued possession of the capacity for morphological invariance which persists through, and in spite of, their mereological alteration. While we acknowledge that organisms‟ capacity for the “stability of form” – homeostasis - is an important aspect of their diachronic unity, we argue that this capacity is derived from, and grounded (...) in a more primitive one – namely, the homeodynamic capacity for the “specified variation of form”. In introducing a novel type of causal power – a „structural power‟ – we claim that it is the persistence of their dynamic potential to produce a specified series of structurally adaptive morphologies which grounds organisms‟ privileged status as metaphysically “one over many” over time. (shrink)

As there is currently a neo-Aristotelian revival currently taking place within contemporary metaphysics and dispositions, or causal powers are now being routinely utilised in theories of causality and modality, more attention is beginning to be paid to a central Aristotelian concern: the metaphysics of substantial unity, and the doctrine of hylomorphism. In this paper, I distinguish two strands of hylomorphism present in the contemporary literature and argue that not only does each engender unique conceptual difficulties, but neither adequately captures the (...) metaphysics of Aristotelian hylomorphism. Thus both strands of contemporary hylomorphism, I argue, fundamentally misunderstand what substantial unity amounts to in the hylomorphic framework – namely, the metaphysical inseparability of matter and form. (shrink)

Although contemporary metaphysics has recently undergone a neo-Aristotelian revival wherein dispositions, or capacities are now commonplace in empirically grounded ontologies, being routinely utilised in theories of causality and modality, a central Aristotelian concept has yet to be given serious attention – the doctrine of hylomorphism. The reason for this is clear: while the Aristotelian ontological distinction between actuality and potentiality has proven to be a fruitful conceptual framework with which to model the operation of the natural world, the distinction between (...) form and matter has yet to similarly earn its keep. In this chapter, I offer a first step toward showing that the hylomorphic framework is up to that task. To do so, I return to the birthplace of that doctrine - the biological realm. Utilising recent advances in developmental biology, I argue that the hylomorphic framework is an empirically adequate and conceptually rich explanatory schema with which to model the nature of organisms. (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)

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)

In his recent book, The Concept of Democracy: An Essay on Conceptual Amelioration and Abandonment (OUP, 2023) Herman Cappelen argues that we should abandon the concept of democracy, and hence stop using the words “democracy” and “democratic.” In the course of developing his arguments for this surprising claim, Cappelen also offers a more general theory of what kind of reasons count in favor of abandoning a concept. In this paper, which is part of a book symposium on Cappelen’s book, I (...) review and criticize both his theory of abandonment and his case for abandoning the concept of democracy. I argue that Cappelen’s abandonment theory is inconclusive, and that his case for abandoning the concept of democracy is unconvincing. (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)

You sit in your office and put on the latest pair of virtual reality (VR) goggles. Suddenly, you stand in the middle of Times Square. A car almost hits you. You.

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)

In this paper, I present the fundamental ideas of a new theory of justification strength. This theory is based on the epistemological approach to argumentation. Even the thesis of a valid justification can be false for various reasons. The theory outlined here identifies such possible errors. Justification strength is equated with the degree to which such possible errors are excluded. The natural expression of this kind of justification strength is the (rational) degree of certainty of the belief in the thesis.

In this paper, we present and discuss the findings of two experiments about reference change. Cases of reference change have sometimes been invoked to challenge traditional versions of semantic externalism, but the relevant cases have never been tested empirically. The experiments we have conducted use variants of the famous Twin Earth scenario to test folk intuitions about whether natural kind terms such as ‘water’ or ‘salt’ switch reference after being constantly (mis)applied to different kinds. Our results indicate that this is (...) indeed so. We argue that this finding is evidence against Saul Kripke’s causal-historical view of reference, and at least provisional evidence in favor of the causal source view of reference as suggested by Gareth Evans and Michael Devitt. (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)

Activist artists often face a difficult question: is striving to change the world undermined when pursued through difficult and experimental artistic means? Looking closely at Adrian Piper's 'Four Intruders plus Alarm Systems' (1980), I will consider why this is an important concern for activist art, and assess three different responses in relation to Piper’s work. What I call the conciliatory stance recommends that when activist artists encounter misunderstanding, they should downplay their experimental artistry in favor of fitting their work to (...) their audience's appreciative capacities. What I call the steadfast stance recommends that activist artists have reason to use their privilege of artistic exceptionalism to challenge their audience's expectations, even if this leads to misunderstanding. I claim that a middle position that I call liberal conciliation best balances the demands for actual change placed on activism and the experimental means that artists bring to activism. (shrink)

This chapter (Chapter 7) presents a reconstruction of purely doxastic states in Kant’s theory of assent, focusing on those species of assents that are distinguished solely by the strength of their psychological commitment. It is suggested that Kant held a view, according to which (i) our degreed doxastic states can be articulated as degrees of conviction, and (ii) our outright doxastic states — above all, opinion, conviction (simpliciter), and certainty — can be reduced to conviction thresholds. Moreover, it is suggested (...) that Kant’s notion of ‘assent’ (‘Fürwahrhalten’), as the most general doxastic state, comes closest to our present-day notion of ‘belief’. (NB please read Chapter 7 together with Section 2.1.). (shrink)

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

Recently developed large language models (LLMs) perform surprisingly well in many language-related tasks, ranging from text correction or authentic chat experiences to the production of entirely new texts or even essays. It is natural to get the impression that LLMs know the meaning of natural language expressions and can use them productively. Recent scholarship, however, has questioned the validity of this impression, arguing that LLMs are ultimately incapable of understanding and producing meaningful texts. This paper develops a more optimistic view. (...) Drawing on classic externalist accounts of reference, it argues that LLM-generated texts meet the conditions of successful reference. This holds at least for proper names and so-called paradigm terms. The key insight here is that the LLM may inherit reference from its training-data through a reference-sustaining training mechanism. (shrink)

Synthetic biology has immense potential to ameliorate widespread environmental damage. The promise of such technology could, however, be argued to potentially risk the public, industry, or governments not curtailing their environmentally damaging behaviour or even worse exploit the possibility of this technology to do further damage. In such cases, there is the risk of a worse outcome than if the technology was not deployed. This risk is often couched as an objection to new technologies, that the technology produces a moral (...) hazard. This paper describes how to navigate a moral hazard argument and mitigate the possibility of a moral hazard. Navigating moral hazard arguments and mitigating the possibility of a moral hazard will improve the public and environmental impact of synthetic biology. (shrink)

A central tension shaping metaethical inquiry is that normativity appears to be subjective yet real, where it’s difficult to reconcile these aspects. On the one hand, normativity pertains to our actions and attitudes. On the other, normativity appears to be real in a way that precludes it from being a mere figment of those actions and attitudes. In this paper, I argue that normativity is indeed both subjective and real. I do so by way of treating it as a special (...) sort of artifact, where artifacts are mind-dependent yet nevertheless can carve at the joints of reality. In particular, I argue that the properties of being a reason and being valuable for are grounded in attitudes yet are still absolutely structural. (shrink)

A community, for ecologists, is a unit for discussing collections of organisms. It refers to collections of populations, which consist (by definition) of individuals of a single species. This is straightforward. But communities are unusual kinds of objects, if they are objects at all. They are collections consisting of other diverse, scattered, partly-autonomous, dynamic entities (that is, animals, plants, and other organisms). They often lack obvious boundaries or stable memberships, as their constituent populations not only change but also move in (...) and out of areas, and in and out of relationships with other populations. Familiar objects have identifiable boundaries, for example, and if communities do not, maybe they are not objects. Maybe they do not exist at all. The question this possibility suggests, of what criteria there might be for identifying communities, and for determining whether such communities exist at all, has long been discussed by ecologists. This essay addresses this question as it has recently been taken up by philosophers of science, by examining answers to it which appeared a century ago and which have framed the continuing discussion. (shrink)

Ectogestation involves the gestation of a fetus in an ex utero environment. The possibility of this technology raises a significant question for the abortion debate: Does a woman’s right to end her pregnancy entail that she has a right to the death of the fetus when ectogestation is possible? Some have argued that it does not Mathison & Davis. Others claim that, while a woman alone does not possess an individual right to the death of the fetus, the genetic parents (...) have a collective right to its death Räsänen. In this paper, I argue that the possibility of ectogestation will radically transform the problem of abortion. The argument that I defend purports to show that, even if it is not a person, there is no right to the death of a fetus that could be safely removed from a human womb and gestated in an artificial womb, because there are competent people who are willing to care for and raise the fetus as it grows into a person. Thus, given the possibility of ectogestation, the moral status of the fetus plays no substantial role in determining whether there is a right to its death. (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)

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)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these interactions (...) as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (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)

I am going to argue for a robust realism about magnitudes, as irreducible elements in our ontology. This realistic attitude, I will argue, gives a better metaphysics than the alternatives. It suggests some new options in the philosophy of science. It also provides the materials for a better account of the mind’s relation to the world, in particular its perceptual relations.

An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

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)

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)