Dysmenorrhea, or menstrual pain, is regularly suffered by 45 to 95% of menstruating women. Despite its prevalence, and despite the philosophical importance of pain as a general phenomenon, dysmenorrhea has been all but completely overlooked in contemporary analytic philosophy of mind. This paper aims at rectifying this situation. We single out three properties of what is often considered the paradigmatic case of painful experience, what we call injury-centered pains, and argue that dysmenorrhea does not have any of them, and hence (...) that it does not neatly conform to the injury-centered model of pain. This calls into question the centrality of the injury-centered model, and suggests novel research avenues within theoretical debates on affectivity. (shrink)

On the standard interpretation, if a person holds cyclical preferences, the person is prone to acting irrationally. I provide a different interpretation, tying cyclical preferences not to irrationality, but to indecision. According to this alternative understanding – coined the indecision interpretation – top cycles in a person’s preferences can be associated with a difficulty in justifying one’s choice. If an agent’s justificatory impasse persists despite attempts to resolve the cycle, the agent can be deemed undecided. The indecision interpretation is compatible (...) with the standard interpretation of such cycles as instances of irrationality. Yet indecision corresponds to a first-person, non-instrumental perspective on the problem, whereas irrationality usually corresponds to a third-person, instrumental perspective. Due to these differences, interpreting cycles in terms of indecision offers a novel conceptual perspective, pertinent both for explanatory purposes and for the aim of normative theorizing. (shrink)

Following Talia Mae Bettcher, many philosophers distinguish between ethical and epistemic conceptions of the first-person authority that we have over our gender identities. Rather than construing this authority as explained by our superior epistemic access to our own gender identities, many have argued that we should view this authority as explained by ethical obligations that we have towards others. But such views remain silent on what we ought to believe about others’ gender identities: when someone avows their gender identity, should (...) we believe them? Or is it enough to merely act as though we do? In this paper, I argue that mere action is not enough: we ought to believe what others say about their gender identities. I present several cases that motivate the claim that there is something distinctively wrong with merely ‘playing along’ with what another person says about their gender identity. I offer several answers for what explains why such cases involve wrongs. I argue that an adequate account of FPA cannot remain silent on belief but must instead take on an epistemic norm of FPA in addition to an ethical norm of FPA. (shrink)

Vice epistemology studies how character traits, attitudes, or thinking styles systematically get in the way of knowledge, while doxastic responsibility is concerned with what kinds of responses are appropriate towards agents who believe badly. This paper identifies a new connection between these two fields, arguing that our propensity to take responsibility for our doxastic failures is directly relevant for vice epistemology, and in particular, understanding the social obstacles to knowledge that epistemic vices can create. This is because responses to norm (...) violations are an important mechanism by which norms are upheld, and maintaining epistemic norms is crucial for our collective epistemic successes. This paper then identifies a new kind of vice, one which is bad precisely because of the way it undermines the epistemic norms that our blaming practices help maintain, and thus the benefits that said norms create. I call this vice epistemic evasiveness, and it concerns the attitude that one takes towards their own performance as an epistemic agent. Evasiveness is bad because it creates uncertainty about which agents are reliable, it prevents holders of this attitude from learning from their mistakes, and it signals to third parties that the norm is not being upheld, making them less likely to follow the norm. (shrink)

Those in the Gricean tradition take it that successful human communication features an audience who not only arrives at the intended content of the signal, but also recognizes the speaker’s intention that they do so. Some in this tradition have also argued that there are yet further conditions on communicative success, which rule out the possibility of communicating by luck. Supposing that both intention-recognition and some sort of anti-luck condition are correctly included in an analysis of human communication, this article (...) asks what the value of events satisfying these conditions is. I present a puzzle concerning the value of intention-recognition which is analogous to the Meno Problem in epistemology, but ultimately argue that this puzzle is solveable: the signaling-relevant value of intention recognition can be vindicated. However, I argue that the version of this puzzle that concerns the further proposed luck-proofing conditions on communication can not be answered. I argue therefore that communication, as analyzed by many, is no more valuable qua signal than a proper subset of its conditions. Human communication is thennot a uniquely valuable signaling event. (shrink)

The practice of scientific modelling often resorts to hypothetical, false, idealised, targetless, partial, generalised, and other types of modelling that appear to have at least partially non-actual targets. In this paper, I will argue that we can avoid a commitment to non-actual targets by sketching a framework where models are understood as having networks of possibilities as their targets. This raises a further question: what are the truthmakers for the modal claims that we can derive from models? I propose that (...) we can find truthmakers for the modal claims derived from models in actuality, even in the case of supposedly non-actual targets. I then put this framework to use by examining a case study concerning the modelling of superheavy elements. (shrink)

In this paper, we consider how the notion of metalinguistic negotiation interacts with various theories of generics. The notion of metalinguistic negotiation we discuss stems from previous work from two of us (Plunkett and Sundell). Metalinguistic negotiations are disputes in which speakers disagree about normative issues concerning language, such as issues about what a given word should mean in the relevant context, or which of a range of related concepts a word should express. In a metalinguistic negotiation, speakers argue about (...) such issues implicitly, via competing “metalinguistic” usages of terms. Here, we argue that some disputes involving generics are best thought of as metalinguistic negotiations, and that these cases can be illuminating for our more general theorizing about generics. Specifically, we argue that the “contextualist” theory of generics that one of us (Sterken) has developed in other work is best equipped to account for these metalinguistic negotiations, relative to other leading views of generics. We thus argue for a “package deal” view of generics: a view that combines Plunkett and Sundell’s account of metalinguistic negotiation with Sterken’s contextualist view of generics. (shrink)

Cognitive scientist Donald Hoffman and others have recently advanced an evolutionary debunking argument aimed at our perceptual beliefs in ordinary objects, based on the Interface Theory of Perception. In contrast with most recent criticisms of Interface Theory, which have targeted its characterizations of perception and veridicality, I raise a broad dialectical problem for Hoffman’s debunking argument. I show that the argument is self-defeating, and that responding to this problem by appealing to Universal Darwinism leads to a fatal dilemma for the (...) view. (shrink)

We argue that subjective Bayesians face a dilemma: they must offend against the spirit of their permissivism about rational credence or reject the principle that one should avoid accuracy dominance.

A sensibility is, on a rough first pass, an emotional orientation to the world. It shapes how things appear to us, evaluatively speaking. By transfiguring things’ evaluative appearances, a change in sensibility can profoundly alter one’s overall experience of the world. I argue that some forms of sensibility change entail (1) risking one’s knowledge of what experiences imbued with one’s prior sensibility were like, and (2) surrendering one’s grasp on the intelligibility of one’s prior emotional apprehensions. These costs have consequences (...) for Laurie Paul’s ‘problem of transformative experience.’ Paul has argued that when we are poised to become someone new, our inexperience generates problems for authentic choice about our own futures. By reckoning with the epistemic losses involved in sensibility change, I show that this problem must not be confined to novel transformations. Prior experience does not guarantee the knowledge or understanding necessary for choosing authentically (in Paul’s sense). If the problem Paul highlights is indeed a problem _at all,_ then, it is a still more pervasive and intractable one than it has been taken to be. (shrink)

Wilhelm (Forthcom Synth 199:6357–6369, 2021) has recently defended a criterion for comparing structure of mathematical objects, which he calls Subgroup. He argues that Subgroup is better than SYM \(^*\), another widely adopted criterion. We argue that this is mistaken; Subgroup is strictly worse than SYM \(^*\). We then formulate a new criterion that improves on both SYM \(^*\) and Subgroup, answering Wilhelm’s criticisms of SYM \(^*\) along the way. We conclude by arguing that no criterion that looks only to the (...) automorphisms of mathematical objects to compare their structure can be fully satisfactory. (shrink)

Quassim Cassam (Cassam, Extremism, Routledge, 2022a) and Paul Katsafanas (Katsafanas, Philosopher’s Imprint 19:1–20, 2019) have argued that fanaticism and extremism are morally and epistemically vicious. I suggest an alternative approach that: (i) explains what makes fanaticism and extremism vicious in the very many cases in which they are; but also (ii) allows for cases in which fanaticism and extremism aren’t vices and may even be liberatory-virtues. My hope is that this approach might serve as a resource for those in liberatory (...) struggles. (shrink)

Inductive reasoning aims at constructing rules and models of general applicability from a restricted set of observations. Induction is a keystone in natural sciences, and it influences diverse application fields such as engineering, medicine and economics. More generally, induction plays a major role in the way humans learn and operate in their everyday life. The level of reliability that a model achieves depends on how informative the observations are relative to the flexibility of the process by which the model is (...) constructed. When the process is articulated so that the model can incorporate descriptive details and subtleties, a large set of informative observations are required to reliably tune the model, whereas models obtained from simple procedures can be tuned with fewer observations. This article introduces the concept of “dominance”, which refers to the situation in which a reduced subset of observations suffices to reconstruct the model. A mathematical framework is presented to quantify the reliability of learning procedures as a function of the size of the subset of dominant observations. Although limited in scope, we believe that our study can contribute to the understanding of some fundamental mechanisms by which knowledge is generated from observations in inductive reasoning. (shrink)

This paper sets out to unpack the pragmatic structure of refusal—its illocutionary nature, success conditions, and normative effects. I argue that our ordinary concept of refusal captures a whole family of illocutions, comprising acts such as rejecting, declining, and the like, which share the property of being ‘negative second-turn illocutions’. Only _proper refusals_ (i.e. negative replies to permission requests), I submit, require speaker authority. I construe the ‘refusal family’ as a subclass of the directives-commissives intersection. After defending my view against (...) a number of potential objections, I highlight how a theoretically grounded analysis of refusal is not only of intrinsic value, but may also have significant moral and legal implications. (shrink)

Quassim Cassam distinguishes between trivial and substantial cases of self-knowledge. At first sight, trivial cases are epistemically distinctive insofar as the agent needn't provide any sort of evidence to ground her claim to knowledge. Substantial cases of self-knowledge such as ‘I know I want to have a second child’ do not seem to bear this distinctive relation to evidence. I will argue, however, that substantial cases of self-knowledge are often epistemically distinctive and, to this end, I will challenge a crucial (...) assumption in the current debate about self-knowledge, namely: if a piece of self-knowledge is based on evidence, it must have been delivered by a detached, theoretical attitude toward oneself (_The Detachment Assumption_). My case against the Detachment Assumption combines a negative and a positive programme. Regarding the negative aspect, I will first present Cassam's case for Inferentialism; second, I will argue that this view about self-knowledge is at odds with the sort of self-improvement that he vindicates in his analysis of epistemic vices and, third, I will conclude that only by allowing for an engaged relation to evidence, can we make sense of that sort of self-improvement. Regarding the positive programme, I will first examine the sensitivity to the music that is specific of a graceful dancer and, on this basis, outline an attitude toward oneself that, despite involving evidence, is not detached or theoretical but engaged, so that it gives rise to a kind of substantial self-knowledge that is both transformative and epistemically distinctive. (shrink)

In the 1940s, Gilbert Ryle argued that knowing how to do something is not just a matter of being well-regulated but also a matter of self-regulation. Ryle appears to have thought that know-how requires self-regulation in both a backward-looking and forward-looking sense, but both ideas run counter to ordinary intuitions about know-how. The basic idea behind self-regulation, undertaking trials and adjusting to feedback, is captured by the “law of effect.” Daniel Dennett has argued that the “law of effect will not (...) go away”. After updating Dennett’s “Tower of Generate-and-Test” through a broad survey of the empirical literature on learning, I identify a Rylean intuition about intelligence and argue that self-regulation in a forward-looking sense is necessary for know-how. (shrink)

It is argued that understanding is the norm of political discourse, and it is shown why political assertions can be epistemically problematic within a liberal democracy even when asserted knowledgeably.

I argue for the viability of one neglected way of developing supervenience-based objections to metaethical non-naturalism. This way goes through a principle known as ‘Hume’s Dictum’, according to which there are no necessary connections between distinct existences. I challenge several objections to the Hume’s Dictum-based argument. In the course of doing so, I formulate and motivate modest and precise versions of Hume’s Dictum, illustrate how arguments employing these principles might proceed, and argue that the Hume’s Dictum argument enjoys some advantages (...) relative to other supervenience-based objections to non-naturalism. (shrink)

This paper argues against a particular version of the inference from the success of a scientific theory to the claim that the theory must be approximately true to some extent. The kind of success at issue is comparative, where one theory is more empirically successful than its rival if that theory predicts phenomena that are inexplicable or anomalous according to its rival. A theory that exhibits this kind of comparative success can be seen as thereby achieving empirical progress over its (...) rival. David Harker has developed a form of selective scientific realism based on the idea that this kind of success is evidence for the approximate truth of the parts of theories responsible for such success. Counterexamples to Harker’s position are cases in which a theory is more successful than its rival in virtue of containing parts that are not even approximately true. In order to identify some counterexamples to Harker’s position, this paper considers four historical cases that Greg Frost-Arnold has recently used to motivate a novel historical challenge to realism called the Problem of Misleading Evidence. This paper argues that these four cases are counterexamples to Harker’s position, and that they provide a strong reason to doubt his position and the kind of success-to-truth inference that he defends. (shrink)

Naturalized metaphysics aims to establish justified metaphysical claims, where metaphysics is meant to carry its usual significance, while avoiding the traditional methods of metaphysics—a priori reasoning, conceptual analysis, intuitions, and common sense—which naturalized metaphysics argues are not epistemically probative. After offering an explication of what it means to do metaphysics, this paper argues that naturalized metaphysics, at the outset, is hospitable to doing metaphysics. The underdetermination of metaphysics by science, however, changes the picture. Naturalized metaphysics has to break this underdetermination, (...) but the criticism of the traditional methods of metaphysics leaves no resources with which to do so. Naturalized metaphysics must therefore be more restrictive than originally intended to ensure that some metaphysical features avoid underdetermination. In this restrictive naturalized metaphysics, however, metaphysicians are only left the task of surveying the opinions of scientists which, it is argued, does not qualify as doing metaphysics. Thus, to fulfill its promise to save metaphysics, naturalized metaphysics displaces the metaphysician. Furthermore, the attempt to re-employ them via the principle of naturalistic closure is argued to fail. Metaphysicians should therefore not be happier with naturalized metaphysics than they are with the more explicitly eliminative trends in contemporary metametaphysics, such as neo-Carnapian deflationism, despite the promise of naturalized metaphysics, likely to Carnap’s dismay, to deliver justified claims about ultimate reality. (shrink)

Uncontroversially, individuals exercise agency in acting; can we say the same about believing? This paper argues that subjects do indeed exercise agency over their beliefs and provides an account by which this is possible. On my picture, self-awareness is fundamental to the nature of doxastic agency. Drawing on work in the philosophy of action, I argue that subjects exercise agency in performing mental actions that form and sustain their beliefs, where they are aware of these actions as part of reasoning (...) and exercising agency over their beliefs. (shrink)

The omnipresence of the same basic equations, function forms, algorithms, and quantitative methods is one of the most spectacular characteristics of contemporary modeling practice. Recently, the emergence of the discussion of templates and template transfer has addressed this striking cross-disciplinary reach of certain mathematical forms and computational algorithms. In this paper, we develop a notion of a model template, consisting of its mathematical structure, ontology, prototypical properties and behaviors, focal conceptualizations, and the paradigmatic questions it addresses. We apply this notion (...) to three widely disseminated and powerful model templates: the Sherrington-Kirkpatrick model of spin glasses, scale-free networks, and the Kuramoto model of synchronization. We argue that what appears to be an interdisciplinary model transfer between different domains turns out, from a broader perspective, to be the application of transdisciplinary model templates across a multitude of domains. We also point out a further feature of template-based modeling that so far has not been discussed: template entanglement. Such entanglement enhances and makes manifest the conceptual side of model templates. (shrink)

Several recent accounts of modeling have focused on the modal dimension of scientific inquiry. More precisely, it has been suggested that there are specific models and modeling practices that are best understood as being geared towards possibilities, a view recently dubbed modal modeling. But modalities encompass much more than mere possibility claims. Besides possibilities, modal modeling can also be used to investigate contingencies, necessities or impossibilities. Although these modal concepts are logically connected to the notion of possibility, not all models (...) are equal in their affordances for these richer modal inferences. This paper investigates the modal extent of selected models and argues that analyzing singular model-target pairings by themselves is typically not enough to explain their modal aptness or to identify the kinds of modalities they can be used to reason about. Furthermore, it is argued that some important concepts that are not explicitly modal - like biological robustness - can be understood modally through their relational nature to a background space of possibilities. In conclusion, it is suggested that the strategy of modal modeling is contrastive, situating particular possibilities in larger modal spaces and studying the structural relations within them. (shrink)

Trust and monitoring are traditionally antithetical concepts. Describing trust as a property of a relationship of reliance, we introduce a theory of trust and monitoring, which uses mathematical models based on two classes of functions, including _q_-exponentials, and relates the levels of trust to the costs of monitoring. As opposed to several accounts of trust that attempt to identify the special ingredient of reliance and trust relationships, our theory characterizes trust as a quantitative property of certain relations of reliance that (...) can be quantified and expressed as a scalar quantity. Our theory is applicable to both human–human and human–artificial agent interactions, as it is agnostic with respect to the concrete realization of trustworthiness properties, and is compatible with many views differing on which properties contribute to trust and trustworthiness. Finally, as our mathematical models make the quantitative features of trust measurable, they provide empirical studies on trust with a rigorous methodology for its measurement. (shrink)

Perceptual processes differ from cognitive, this paper argues, in functioning to be causally controlled by proximal stimuli, and being modular, at least in a modest sense that excludes their being isotropic in Jerry Fodor's sense. This claim agrees with such theorists as Jacob Beck and Ben Phillips that a function of stimulus-control is needed for perceptual status. In support of this necessity claim, I argue, inter alia, that E.J. Green's recent architectural account misclassifies processes deploying knowledge of grammar as perceptual. (...) _Pace_ Beck and Phillips, however, I argue a function of stimulus-control is insufficient for perceptual as opposed to cognitive status. One consideration in favour of such insufficiency, noted but (I argue) not convincingly rebutted by these theorists, concerns perpetually grounded demonstrative thought. Two other considerations trade on the fact that a function of stimulus-control can arise not from blind nature but intentional design or social institutions, where so-functioning processes may but need not be perceptual. I offer two cases where such processes are cognitive, viz. skilful play-by-play announcing of ongoing events, and voluntary visualizing of ongoing events under the guidance of apt play-by-play announcements, dubbed announcement-driven visualizing (ADV). The cognitive status of these three diverse phenomena cannot be explained by an absence of a perception-like representational format or content (for ADV has such) or by a presence of personal-level mental states causally mediating between stimuli and outputs (for perception has such). A bettter explanation invokes, I argue, the non-modular character of the generating process. (shrink)

Critical social ontology is any study of social ontology that is done in order to critique ideology or end social injustice. The goal of this paper is to outline what I call the fundamentality approach to critical social ontology. On the fundamentality approach, social ontologists are in the business of distinguishing between appearances and (fundamental) reality. Social reality is often obscured by the acceptance of ideology, where an ideology is a distorted system of beliefs that leads people to promote or (...) accept widespread social injustices. Social reality is also obscured in cases where ordinary thought and language simply is not perspicuous enough to represent the social objects, kinds, and structures that are central to understanding social injustice. In both cases, I argue that the critical social ontologist will benefit from using the tools and concepts of fundamental metaphysics. (shrink)

The traditional conception of lying, according to which to lie is to make an assertion with an intention to deceive the hearer, has recently been put under pressure by the phenomenon of bald-faced lies i.e. utterances that _prima facie_ look like lies but because of their blatancy allegedly lack the accompanying intention to deceive. In this paper we propose an intuitive way of reconciling the phenomenon of bald-faced lies with the traditional conception by suggesting that the existing analyses of the (...) phenomenon overlook a non-obvious category of hearers whom the speakers of bald-faced lies intend to deceive. Those hearers are institutions represented by the people involved, such as courts or secret police. We also criticize two recent rival accounts (Jessica Keiser’s and Daniel Harris’s) that attempt to save the traditional conception by saying that some bald-faced lies are not assertions, because they are conventional—rather than illocutionary—speech acts. (shrink)

In this article, I try to shed new light on Frege’s envisaged definitional introduction of real and complex numbers in _Die Grundlagen der Arithmetik_ (1884) and the status of cross-sortal identity claims with side glances at _Grundgesetze der Arithmetik_ (vol. I 1893, vol. II 1903). As far as I can see, this topic has not yet been discussed in the context of _Grundlagen_. I show why Frege’s strategy in the case of the projected definitions of real and complex numbers in (...) _Grundlagen_ is modelled on his definitional introduction of cardinal numbers in two steps, tentatively via a contextual definition and finally and definitively via an explicit definition. I argue that the strategy leaves a few important questions open, in particular one relating to the status of the envisioned abstraction principles for the real and complex numbers and another concerning the proper handling of cross-sortal identity claims. (shrink)

_Longtermists_ claim that what we ought to do is mainly determined by how our actions might affect the very long-run future. A natural objection to longtermism is that these effects may be nearly impossible to predict—perhaps so close to impossible that, despite the astronomical importance of the far future, the expected value of our present actions is mainly determined by near-term considerations. This paper aims to precisify and evaluate one version of this epistemic objection to longtermism. To that end, I (...) develop two simple models for comparing ‘longtermist’ and ‘neartermist’ interventions, incorporating the idea that it is harder to make a predictable difference to the further future. These models yield mixed conclusions: if we simply aim to maximize expected value, and don’t mind premising our choices on minuscule probabilities of astronomical payoffs, the case for longtermism looks robust. But on some _prima facie_ plausible empirical worldviews, the expectational superiority of longtermist interventions depends heavily on these ‘Pascalian’ probabilities. So the case for longtermism may depend either on plausible but non-obvious empirical claims or on a tolerance for Pascalian fanaticism. (shrink)

Incorporating normality ascriptions into counterfactual theories of causation was supposed to handle isomorphs. It doesn’t—conjoining isomorphs can produce cases that such ascriptions cannot resolve.

In this article we set out to understand the significance of the process matrix formalism and the quantum causal modelling programme for ongoing disputes about the role of causation in fundamental physics. We argue that the process matrix programme has correctly identified a notion of ‘causal order’ which plays an important role in fundamental physics, but this notion is weaker than the common-sense conception of causation because it does not involve asymmetry. We argue that causal order plays an important role (...) in grounding more familiar causal phenomena. Then we apply these conclusions to the causal modelling programme within quantum foundations, arguing that since no-signalling quantum correlations cannot exhibit causal order, they should not be analysed using classical causal models. This resolves an open question about how to interpret fine-tuning in classical causal models of no-signalling correlations. Finally we observe that a quantum generalization of causal modelling can play a similar functional role to standard causal reasoning, but we emphasize that this functional characterisation does not entail that quantum causal models offer novel explanations of quantum processes. (shrink)

The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents a therapeutical interpretation (...) of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

When we see or hear a spontaneous emotional expression, we usually immediately, effortlessly, and often correctly interpret it to mean happiness, sadness, or some other emotion as well as what this emotion is about. How do we do that? In this article, I evaluate how useful the concepts of natural meaning and probabilistic meaning are when it comes to explaining how we and other animals interpret emotional signs displayed without communicative intentions. I argue that Grice’s notion of natural meaning, because (...) it is a factive relation, is too restrictive for this purpose. I then present the notion of probabilistic meaning. The latter seems adequate for analyzing our ability to interpret non-communicative emotional signs, but it faces several difficulties when it comes to analyzing how we and other animals interpret emotional _signals_, i.e. signs that have the function to communicate emotional information. I present three of these difficulties. En passant, I suggest that a teleosemantic notion may be better suited for these challenges. (shrink)

We define two maps, one map from the set of conditional probability systems (CPS’s) onto the set of lexicographic probability systems (LPS’s), and another map from the set of LPS’s with full support onto the set of CPS’s. We use these maps to establish a relationship between strong belief (defined on CPS’s) and assumption (defined on LPS’s). This establishes a relationship at the abstract level between these two widely used notions of belief in an extended probability-theoretic setting.

In his “Common knowledge” (2016) and _The Transmission of Knowledge_ (2021), John Greco proposes a novel account of hinge propositions. Central to it is the idea that they are items of common knowledge – that is, of knowledge that is already present in the system, freely available to anyone, without having to figure it out by oneself or having to be taught it by others. As such, they are not subject to any quality control at all. Furthermore, they figure in (...) a subject’s cognitive economy as items of procedural, mostly tacit knowledge, which is operative in the execution of actions and various cognitive tasks. After introducing the basics of Greco’s account, I consider it from a systematic and historical perspective and argue that, while instructive, it is wanting in several respects. Whereas some, among the myriad hinges Wittgenstein considers in _On Certainty_ (1969), may be known, there is no need to make them the content of a different kind of knowledge. Furthermore, we cannot have (evidential) justification and, _a fortiori_, knowledge of at least some other propositions that Wittgenstein considered as hinges. In passing, I also show that Greco’s account aligns much more with G. E. Moore’s ideas about the epistemic status of his truisms in “A defence of common sense” (1925) and the premises of his celebrated “Proof of an external world” (1939), than with Wittgenstein’s account of hinges and their epistemic significance in _On Certainty_. (shrink)

Counterfactual reasoning has been used to account for many aspects of scientific reasoning. More recently, it has also been used to account for the scientific practice of modeling. Truth in a model is truth in a situation considered as counterfactual. When we reason with models, we reason with counterfactuals. Focusing on selected models like Bohr’s atom model or models of population dynamics, I present an account of how the imaginative development of a counterfactual supposition leads us from reality to interesting (...) model assumptions; how it guides our reasoning from these assumptions to interesting consequences for the model scenario via counterfactual entailment; and how it leads us back to conclusions on real target phenomena. (shrink)

As an object of philosophical study, language is typically considered as an abstract object rather than a lived phenomenon that comes with rich and varied phenomenology. And yet our modes of engaging with language are complex and many. The first goal of this paper is to illustrate this variety by looking at some of the linguistic modalities and forms of communication. The second goal is to suggest that at least in some specific philosophical debates, language and communication should be investigated (...) in the context of the various linguistic modalities and forms of communication. This will be done by considering how attention to some of the linguistic modalities and forms of communication may affect philosophical debates concerning: the nature of words, language and linguistic understanding, as well as the relation between linguistic utterances and their sources. (shrink)

The standard principle of expert deference says that conditional on the expert’s credence in a proposition _A_ being _x_, your credence in _A_ ought to be _x_. The so-called Adams conditionalization is an attractive update rule in situations when learning experience prompts a shift in your conditional credences. In this paper, I show that, except in some trivial situations, when your prior conditional credence in _A_ obeys the standard principle of expert deference and then is revised by Adams conditionalization in (...) response to a shift in your conditional credence for a proposition _B_ given _A_, your posterior conditional credence in _A_ cannot continue to obey that principle, on pain of inconsistency. I explain why this tension between Adams conditionalization and the standard principle of expert deference is puzzling and why the option of rejecting the update rule appears problematic. Finally, I suggest that in order to avoid this inconsistency, we should abandon the standard principle of expert deference and think of an expert’s probabilistic opinion as a constraint on your posterior credence distribution rather than your prior one. (shrink)

The paper proposes a dialectical approach to our understanding of the relation between teleology and mechanism. This approach is dialectical both in form and content. In _form_, it proposes a contemporary interpretation of Hegel’s metaphysical account of teleology. This account is grounded in a dialectical methodology, which consists in scrutinizing the inherent limitations of a theoretical position that lead it to suppress itself and evolve into a better one. I apply the same methodology to the function debate. For Hegel, teleology (...) can be understood in three main variants, which can be fruitfully mapped onto the three main positions in the function debate, the key conceptual distinction being whether teleological principles are understood as extrinsic or intrinsic. When it comes to autonomous systems, i.e. systems that embody the regime of _Geist_, extrinsic functionality must be grounded in intrinsic functionality. My approach is dialectical also in _content_, insofar as it concludes that intrinsic functional ascriptions rely on the relation of co-determination between the parts and the whole of a system, as well as between the system and its environment. (shrink)

This is the introduction of the Synthese Topical Collection Epistemological Issues in Neurodivergence and Atypical Cognition written by the guest editors. In order to justify the relevance of the topic, a minimum context is given on the notions of neurodivergence as well as some brief remarks on the neurodiversity advocacy movement. This serves as a basis to establish the importance of increasing the scope of epistemology to include issues that do not fit in the descriptions of typical subjects and cognitive (...) processes. (shrink)

I argue that ontologies of words should engage with the emergence of lexical communication in the deep history of our line. It may seem that the evolutionary origins of words are orthogonal to the analytical project of establishing the defining features of wordhood, and that an adequate ontology of words requires nothing more than an observation of the properties of modern languages. I suggest instead that models of the initial stages of language evolution can offer valuable insights into the matter. (...) There is consensus that lexical communication was an early achievement in the phylogeny of our language capacities, and that words became available to our ancestors before the maturation of other components of the grammar. At the beginning of their evolutionary trajectory, words are thus likely to have been significantly different from the vocabulary items of contemporary languages. Careful appreciation of such differences could be instrumental to a complete theory of the hallmarks of wordhood. (shrink)

Capacitism is the view that capacities come first in epistemological theorising: they are explanatorily basic and key epistemic phenomena are to be analysed in terms of capacities. This paper develops a problem for capacitism and outlines a motivated way of solving it.

The paper defends an account of the context-sensitivity of norms that draws on the resources of counterfactual conditionals. The account combines two assumptions: the assumption that permission is rule-abiding performance in some contextually relevant situations; and the assumption that the contextually relevant situations are picked out by the mechanism that selects the possible worlds relevant for the evaluation of counterfactual conditionals. The account explains the non-monotonicity of permissions and solves a puzzle, raised by Timothy Williamson, about the seeming failure of (...) permissions to distribute over conjunction. In the domain of epistemic norms, the account solves an analogous puzzle and deals successfully with so-called blindspot propositions. (shrink)

Moral realism is often taken to have common sense and initial appearances on its side. Indeed, by some lights, common sense and initial appearances underlie all the central positive arguments for moral realism. We offer a kind of debunking argument, taking aim at realism’s common sense standing. Our argument differs from familiar debunking moves both in its empirical assumptions and in how it targets the realist position. We argue that if natural selection explains the objective phenomenology of moral deliberation and (...) judgement, then this undermines arguments from that phenomenology. This results in a simpler, and in some ways more direct, challenge to realism. It is also less vulnerable to the main objections that have been leveled against such arguments. If accepted, our conclusion should make a real difference to the dialectic in this area. It means that neither realism nor its denial is the default, to-be-refuted, position. (shrink)

Ad hoc concepts feature prominently in lexical pragmatics. A speaker can use a word or phrase to communicate an ad hoc concept that is different from the lexically encoded concept and the hearer can construct the intended ad hoc concept pragmatically during utterance comprehension. I argue that some philosophical concepts have origins as ad hoc concepts, and such concepts pose a challenge for experimental philosophy regarding these concepts. To illustrate this, I consider philosophers’ ‘what-it’s-like’-concepts and experimental philosophy of consciousness.

The conventional wisdom declares that evolution is not goal directed, that teleological considerations play no part in our understanding of evolutionary trends. Here I argue that, to the contrary, under a current view of teleology, field theory, most evolutionary trends would have to be considered goal directed to some degree. Further, this view is consistent with a modern scientific outlook, and more particularly with evolutionary theory today. Field theory argues that goal directedness is produced by higher-level fields that direct entities (...) contained within them to behave persistently and plastically, that is, returning them to a goal-directed trajectory following perturbations (persistence) and directing them to a goal-directed trajectory from a large range of alternative starting points (plasticity). The behavior of a bacterium climbing a chemical food gradient is persistent and plastic, with guidance provided by the external “food field,” the chemical gradient. Likewise, an evolutionary trend that is produced by natural selection is a lineage behaving persistently and plastically under the direction of its local ecology, an “ecological field.” Trends directed by selection-generated boundaries, thermodynamic gradients, and certain internal constraints, would also count as goal directed. In other words, most of the causes of evolutionary trends that have been proposed imply goal directedness. However, under field theory, not all trends are goal directed. Examples are discussed. Importantly, nothing in this view suggests that evolution is guided by intentionality, at least none at the level of animal intentionality. Finally, possible implications for our thinking about evolutionary directionality in the history of life are discussed. (shrink)

Vice epistemology studies the qualities of individuals and collectives that undermine the creation, sharing, and storing of knowledge. There is no settled understanding of which epistemic vices exist at the collective level. Yet understanding which collective epistemic vices exist is important, both to facilitate research on the antecedents and effects of collective epistemic vice, and to advance philosophical discussions such as whether some collective epistemic vices are genuinely collective. I propose an empirical approach to identifying epistemic vices in corporations, analyzing (...) a large dataset of online employee reviews. The approach has parallels to the methodology for identifying the big-five personality traits. It surfaces epistemic vices that are attributed to corporations by its own members and reduces the number of vices to the minimum required to describe differences between corporations. This approach yields a new taxonomy of epistemic vices for corporations. While two vices identified have close correlates in the existing literature, four others have not been identified at all or only in aspects. Two of these vices are ‘genuinely’ collective in the sense that they can only be attributed to collectives. (shrink)

John Greco (2020) sets out to create a unified virtue-theoretic account of knowledge generation and transmission in his book The Transmission of Knowledge. One of the advantages of his view is that it can defend the achievement view from a known strand of counterexamples. To accomplish that, he relies on joint agency being essential to knowledge transmission. Joint agency can be characterized as a sort of interdependent and interactive cooperation between speaker and hearer that share an intention to transmit knowledge. (...) This paper introduces the phenomenon of unwanted knowledge transmission which shows that joint agency, as Greco presents it, is not essential to knowledge transmission. Four types of unwanted knowledge transmissions will be introduced that pose threats to Greco’s account by showing that shared intention, a key characteristic of joint agency, is not present in all instances of knowledge transmission. Finally, some potential ways to defend Greco’s view will be considered and discussed. (shrink)

Recalcitrant emotions, such as fear of flying, are emotions that persist even though they are in tension with the emoter’s considered belief. A widely accepted argument against cognitivist theories of emotion holds that recalcitrant emotions show that emotions are more like sensory states than like thoughts or beliefs. I show that this argument does not succeed: Emotions are usually sensitive to our changing beliefs in a way that is more akin to cognitive states than to sensations. Moreover, empirical evidence strongly (...) suggests that beliefs sometimes behave much like recalcitrant emotions do. (shrink)

Philosophers of science have argued that epistemic diversity is an asset for the production of scientific knowledge, guarding against the effects of biases, among other advantages. The growing privatization of scientific research, on the contrary, has raised important concerns for philosophers of science, especially with respect to the growing sources of biases in research that it seems to promote. Recently, Holman and Bruner ( 2017 ) have shown, using a modified version of Zollman ( 2010 ) social network model, that (...) an industrial selection bias can emerge in a scientific community, without corrupting any individual scientist, if the community is epistemically diverse. In this paper, we examine the strength of industrial selection using a reinforcement learning model, which simulates the process of industrial decision-making when allocating funding to scientific projects. Contrary to Holman and Bruner’s model, in which the probability of success of the agents when performing an action is given a priori, in our model the industry learns about the success rate of individual scientists and updates the probability of success on each round. The results of our simulations show that even without previous knowledge of the probability of success of an individual scientist, the industry is still able to disrupt scientific consensus. In fact, the more epistemically diverse the scientific community, the easier it is for the industry to move scientific consensus to the opposite conclusion. Interestingly, our model also shows that having a random funding agent seems to effectively counteract industrial selection bias. Accordingly, we consider the random allocation of funding for research projects as a strategy to counteract industrial selection bias, avoiding commercial exploitation of epistemically diverse communities. (shrink)

Scoring rules measure the deviation between a credence assignment and reality. Probabilism holds that only those credence assignments that satisfy the axioms of probability are rationally admissible. Accuracy-based arguments for probabilism observe that given certain conditions on a scoring rule, the score of any non-probability is dominated by the score of a probability. The conditions in the arguments we will consider include propriety: the claim that the expected accuracy of _p_ is not beaten by the expected accuracy of any other (...) credence _c_ by the lights of _p_ if _p_ is a probability. I argue that if we think through how a non-probabilist can respond to pragmatic arguments for probabilism, we will expect the non-probabilist to accept a condition _stronger_ than propriety for the same reasons that the probabilist gives for propriety, but this stronger condition is incompatible with the other conditions that the probabilist needs to run the accuracy argument. This makes it unlikely for the probabilist’s argument to be compelling. (shrink)

Reasoning about equilibria in normal form games involves the study of players’ incentives to deviate unilaterally from any profile. In the case of large anonymous games, the pattern of reasoning is different. Payoffs are determined by strategy distributions rather than strategy profiles. In such a game each player would strategise based on expectations of what fraction of the population makes some choice, rather than respond to individual choices by other players. A player may not even know how many players there (...) are in the game. Logicising such strategisation involves many challenges as the set of players is potentially unbounded. This suggests a logic of quantification over player variables and modalities for player deviation, but such a logic is easily seen to be undecidable. Instead, we propose a propositional modal logic using player types as names and implicit quantification over players. With modalities for player deviation and transitive closure, the logic can be used to specify game equilibrium and interesting patterns of reasoning in large games. We show that the logic is decidable and present a complete axiomatisation of the valid formulas. (shrink)

Some Kant scholars argue that appearances and things in themselves are distinct things (Two Objects View). Others argue that they are the same things (One Object View). This last view is often understood as the claim that appearances and things in themselves are numerically identical (Numerical Identity). However, Walker (2010) and Stang (2014) show that Numerical Identity clashes against Kant’s claim that we lack knowledge of things in themselves (Noumenal Ignorance). I propose a weaker version of the One Object View (...) that is not couched in terms of Numerical Identity and, consequently, avoids the problem raised by Walker and Stang. My case is based on a sustained analogy with perceptual experience that aims at showing that appearances and things in themselves are the same things in the following sense: the very same things can be presented under the mode of sensory intuition or (possibly) under the mode of intellectual intuition. Those things presented under the mode of sensory intuition are appearances; presented under the (possible) mode of intellectual intuition are things in themselves. This way of construing appearances and things in themselves preserves the core insight of the One Object View. At the same time, as it does not entail any isomorphism between appearances and things in themselves, it does not clash against Noumenal Ignorance. (shrink)

In his paper ‘The logic of temporal discourse’, Pavel Tichý pointed out that contemporary systems of logic were unable to sufficiently formalise tenses. He therefore suggested temporal specification in transparent intensional logic (TIL), a system of logic that he developed. Discussing contemporary systems of logic, Tichý also took into account the system of Arthur N. Prior, who developed the first systems of modern temporal logic, and his criticism was also addressed to Prior. Tichý only focused, however, on Prior’s early systems (...) of temporal logic. Patrick Blackburn recently raised the awareness that Prior also developed systems of hybrid logic in his latest periods. From the point of view of temporal specification, this system is particularly interesting as the system has greater expressive power than Prior’s early systems of temporal logic. It could also consequently deal with the problematic specifications of tenses that Pavel Tichý pointed out. It is not only the formal criterion that make Tichý and Prior’s approach suitable for comparison. Both logicians shared similar views on time and logic. All these convictions also influenced their systems of logic. The aim of this paper is to demonstrate that the temporal propositions that Tichý introduced as problematic could be formalised in Prior’s hybrid temporal logic. I will also compare formalisations in TIL and hybrid logic and Tichý and Prior’s views that influenced their systems of logic. (shrink)

Prima facie, accounts of scientific representation should illuminate how models support justified surrogative reasoning while remaining neutral on the nature of inductive inference. We argue that doing both at once is harder than it first appears. Accounts like “DEKI,” which distinguish justified and unjustified surrogative inferences by appealing to a distinction between derivational and factual correctness, cannot accommodate non-formal, non-rule-based accounts of inference such as John Norton’s material theory of induction. In contrast, a recent expressivist-inferentialist account appears compatible with material (...) inference, but at the cost of abandoning inductive neutrality. (shrink)

In a recent paper in this journal Duncan Pritchard responds to an objection to the modal account of risk pressed by Ebert, Smith and Durbach ( 2020 ). In this paper, I expand upon the objection and argue that it still stands. I go on to consider a more general question raised by this exchange – whether risk is ‘objective’, or whether it is something that varies from one perspective to another.

Two recent contributions have discussed, and disagreed, over whether so-called toy models that attempt to represent dispositions have the power to explain. In this paper, I argue that neither of these positions is completely correct. Toy models may accurately represent, satisfy the veridicality condition, yet fail to provide how-actually explanations. This is because some dispositions remain unmanifested. Instead, the models provide how-possibly explanations; they _possibly_ explain.

Empirically-informed philosophy of mind (EIPM) has become a dominant research style in the twenty-first century. EIPM relies on empirical results in various ways. However, the extant literature lacks an empirical description of how EIPM philosophers rely on empirical results. Moreover, though EIPM is essentially a form of cross-disciplinary research, it has not been analyzed as cross-disciplinary research so far. We aim to fill the above two gaps in the literature by producing quantitative and qualitative descriptions of EIPM as a kind (...) of cross-disciplinary research. Our descriptions aim to enable metaphilosophers to evaluate EIPM methodologically and epistemically. Our analyses use co-citation and categorization analyses informed by the literature on interdisciplinarity. We present five sets of descriptions and identify the three most common types of cross-disciplinary interactions in EIPM. The resulting descriptions enable us to locate two metaphilosophical challenges for EIPM philosophers. One concerns how they should incorporate empirical results in different disciplinary contexts, and the other concerns which theoretical virtue(s) they should aim for when tinkering with scientific theories. (shrink)

There’s a general assumption that teleology and function do not exist in inanimate nature. Throughout biology, it is generally taken as granted that teleology (or teleonomy) and functions are not only unique to life, but perhaps even a defining quality of life. For many, it’s obvious that rocks, water, and the like, are not teleological, nor could they possibly have stand-alone functions. This idea - that teleology and function are unique to life - is the target of this paper. I (...) begin with an overview of McShea’s field theoretic account of teleology. I start with the field theoretic account because it presents a promising analysis of teleological systems. It is promising because, in not making any assumptions about life’s special status in teleological systems, it avoids counterexamples that have problematized other accounts. I then consider some of the prominent efforts that have been made to attempt to avoid ascribing functions or teleology to some form of inanimate nature. In my assessment, none of the efforts are successful. I conclude by offering mineral evolution as a case study to show how inanimate nature can be both teleological and functional. The evolution of mineral species reveals that teleology and function extend to inanimate nature, and that teleology and function come in degrees. (shrink)

The bridges of Königsberg case has been widely cited in recent philosophical discussions on scientific explanation as a potential example of a structural explanation of a physical phenomenon. However, when discussing this case, different authors have focused on two different versions, depending on what they take the explanandum to be. In one version, the explanandum is the _failure_ of a given individual in performing an Eulerian walk over the bridge system. In the other version, the explanandum is the _impossibility_ of (...) performing an Eulerian walk over the bridges. The goal of this paper is to show that only the latter version amounts to a real case of a structural explanation. I will also suggest how to fix the first version, and show how my remarks apply to other purported cases of structural explanations. (shrink)

This essay tackles head on the argument that sees an inherent paradox in the autonomy of the will as the ground for the authority of the fundamental practical norms. It points out that only on reductive understandings of the autonomy of the will can this idea be qualified as paradoxical, thereby yielding outcomes that either contradict their premises or present autonomy under a false guise. With that done, it will proceed to offer a conception of the autonomy of the will (...) which is not vulnerable to the paradox, and which may therefore be equipped to rest the fundamental practical norms on solid ground. Throughout this discussion, I will rely on constitutivism about practical reasons to specifically defend the twofold conclusion that (a) the paradox of autonomy can be avoided and that, relatedly, (b) if autonomy is properly conceptualised, it is fully equipped and well positioned to ground the authority of the fundamental practical norms. (shrink)

Templates travel because they offer a tractable format that can be used for model-building in a variety of domains. It is often because of this quality that a particular template is chosen. But one cannot assume that there are always templates ready to model a new phenomenon, and moreover, templates have also been designed at some point. A critical aspect of this designing process is the choice of the mathematical objects with which one hopes to capture this phenomenon. This means (...) that one has to assess which of the properties of different kinds of mathematical objects and which combinations of them are most appropriate. The selection of these objects is based on whether their properties enable the model to perform its function. This selection of mathematical objects is similar to the selection of materials in mechanical design. (shrink)

In the autumn of 1959, Arne Naess and J. L. Austin, both pioneers of empirical study in the philosophy of language, discussed their points of agreement and disagreement at a meeting in Oslo. This article considers the fragmentary record that has survived of that meeting, and investigates what light it can shed on the question of why the two philosophers apparently found so little common ground, given their shared commitment to the importance of data in the study of language. Naess (...) and Austin held different views about two significant aspects of the relationship between scientific method and philosophical investigation. The first aspect concerns the nature of experimental data; Naess used the statistical analysis of data collected from non-philosophical informants while Austin advocated deliberation leading to agreement over usage by a few skilled experts. The second aspect relates to their respective attitudes to the role of theory in philosophical inquiry, attitudes which drew on discussions of scientific method, and its relevance to philosophy, from the early decades of the twentieth century. This article traces the evidence for these views on scientific method in Naess’s and Austin’s respective published work, and in the record of their Oslo meeting. It concludes with a brief overview of opinions about scientific method manifest in the decades since that meeting in various branches of linguistics. These opinions speak to the enduring importance of attitudes to scientific method in relation to our study and understanding of human language. (shrink)

This paper argues that much of the literature on interpreting scientific theories presupposes a certain picture of what interpretation involves: a picture according to which interpreting a theory is like translating from one language to another. In place of this “external” approach to interpretation, this paper proposes an “internal” approach, according to which interpretation is more concerned with delineating a theory’s internal semantic architecture.

There are norms for asking questions. Inquirers should not ask questions to which they know the answer. The literature on the norms of asking has focused on such speaker-centered norms. But, as I argue, there are addressee-centered norms as well: inquirers should not ask addressees who fall short of a certain epistemic status. That epistemic status, I argue here, is knowledge.

We propose a bridge-builder perspective on social ontology. Our point of departure is that an important task of philosophy is to provide the bigger picture. To this end, it should investigate folk views and determine whether and how they can be preserved once scrutinized from the perspective of the sciences. However, the sciences typically present us with a fragmented picture of reality. Thus, an important intermediate step is to integrate the most promising social scientific theories with one another. In addition (...) to this, social ontology can provide input to and benefit from other philosophical disciplines that engage in normative theorizing. Thus, we propose that social ontology connects not only with folk ontology and scientific ontology but also with fields such as ethics and political philosophy. Building bridges between them serves to formulate a credible and encompassing worldview that is of theoretical and practical significance. (shrink)

This paper will argue that intellectualism about skill—the contention that skilled performance is without exception guided by proposition knowledge—is fundamentally flawed. It exposes that intellectualists about skill run into intractable theoretical problems in explicating a role for their novel theoretical conceit of practical modes of presentation. It then examines a proposed solution by Carlotta Pavese which seeks to identify practical modes of presentation with motor representations that guide skilled sensorimotor action. We argue that this proposed identification is problematic on empirical (...) and theoretical grounds, and—as such—it fails to deliver on its explanatory ambitions. In the final analysis, it will be argued that intellectualism about skill is, in any case, superfluous when it comes to accounting for the aspects of skilled performance it purports to explain. (shrink)

I show that the assumption of highly structured propositions can be leveraged to provide a unified semantics for various propositional logics of impure ground in a very expressive and flexible way. It is shown, in particular, that the induced models are capable of capturing an infinitude of grounding facts that follow from unrestricted logics of ground, but, due to certain artificial restrictions, are left unaccounted for by the existing semantics in the literature. It is also shown that our models, unlike (...) the ones in the literature, are easily extendable to capture certain distinct views about iterated as well as identity grounding. (shrink)

The English language has adopted the word Tardis for something that looks simple from the outside but is much more complicated when inspected from the inside. The word comes from a BBC science fiction series, in which the Tardis is a machine for traveling in time and space, that looks like a phone booth from the outside. This paper claims that simulation models are a Tardis in a way that calls into question their transferability. The argument is developed taking Molecular (...) Modeling and Simulation as an example. There, simulation models are force fields that describe the molecular interactions and that look like simple and highly modular mathematical expressions. To make them work, they contain parameters that are adjusted to match certain data. The role of these parameters and the way they are obtained is seriously under-appreciated. It is constitutive for the model and central for its applicability and performance. Hence, the model is more than it seems so that working with adjustable parameters deeply affects the ontology of simulation models. This is particularly crucial for the transferability of the models: the information on how a model was trained is like luggage the model must carry on its voyage. (shrink)

In this paper, we propose a dynamic epistemic framework to capture the knowledge evolution in multi-agent systems where agents are not able to observe. We formalize multi-agent conformant planning with group knowledge, and reduce planning problems to model checking problems. We prove that multi-agent conformant planning with group knowledge is Pspace -complete on the size of dynamic epistemic models. We also consider the alternative Kripke semantics, and show that for each Kripke model with perfect recall and no miracles, there is (...) an equivalent dynamic epistemic model and vice versa. (shrink)

Early moderns such as Locke and Descartes thought we could guarantee the justification of our beliefs, even in worlds most hostile to their truth, if only we form those beliefs with sufficient care. That is, they thought it possible for us to be impeccable with respect to justification. This principle has traditionally been used to argue for internalism. By placing all of the normatively relevant conditions in our minds, we ensure reflective access to what those norms require of us and (...) so sustain the possibility of impeccability (unlike externalism). However, recent challenges to transparency leave this reasoning vulnerable. In response, I show how impeccability can be sustained without requiring transparency. The account only works if we define internal states as those directly accessible to our rational belief forming systems. I argue that this sort of causal internalism, while somewhat revisionary, preserves traditional motivations for internalism while avoiding problems faced by other varieties. The result is a renewed argument for internalism that simultaneously moves us away from access internalism and towards a species of mentalism. (shrink)

Over the past decades psychological theories have made significant headway into economics, culminating in the 2002 (partially) and 2017 Nobel prizes awarded for work in the field of Behavioral Economics. Many of the insights imported from psychology into economics share a common trait: the presumption that decision makers use shortcuts that lead to deviations from rational behaviour (the Heuristics-and-Biases program). Many economists seem unaware that this viewpoint has long been contested in cognitive psychology. Proponents of an alternative program (the Ecological-Rationality (...) program) argue that heuristics need not be irrational, particularly when judged relative to characteristics of the environment. We sketch out the historical context of the antagonism between these two research programs and then review more recent work in the Ecological-Rationality tradition. While the heuristics-and-biases program is now well-established in (mainstream neo-classical) economics via Behavioral Economics, we show there is considerable scope for the Ecological-Rationality program to interact with economics. In fact, we argue that there are many existing, yet overlooked, bridges between the two, based on independently derived research in economics that can be construed as being aligned with the tradition of the Ecological-Rationality program. We close the paper with a discussion of the open challenges and difficulties of integrating the Ecological Rationality program with economics. (shrink)

It is common to characterise phenomenal consciousness as _what it is like_ to be in a mental state. This paper argues that the ‘what-it’s-like’-phrase in this context has a technical meaning, i.e. a meaning for which the association to the relevant expression is peculiar to a theoretical community. The relevant theoretical community is philosophy and some parts of cognitive science, so on this view, only philosophers and cognitive scientists use the ‘what-it’s-like’-phrase in the way that is characteristic in the literature (...) on phenomenal consciousness. This claim has important consequences. Firstly, I argue that the phrase says nothing informative about phenomenal consciousness. Secondly, I argue that the fact that non-philosophers use the phrase is not compelling evidence that they believe in phenomenal consciousness. These claims have further consequences for debates about phenomenal consciousness. (shrink)

This paper presents a novel account of what motivates internalism about justification in light of recent attempts to undermine the intuitions long thought to favour it (Srinivasan in Philos Rev 129:395–431, 2020). On the account I propose, internalist intuitions are sensitive to epistemic agency. Internalist intuitions track a desire to acknowledge the epistemic agency one has in virtue of being in a position to meet the standards one is accountable to.

The paper discusses how research on embodied cognition in cognitive science can contribute to the naturalization of rationality. The investigation takes place in two steps. First, we provide a conceptual map of possible new ideas of rationality inspired by embodied cognition. Given the plurality of theories of embodied cognition, we distinguish different approaches according to their increasing degree of radicalism. We consider ecological rationality as currently the best candidate for naturalizing rationality, and, after identifying its descriptive and normative building blocks, (...) we provide an increasingly radical embodied interpretation of them. The outcome is four new concepts of rationality, in increasing order of embodied radicalism: _embodied bounded rationality_, _body rationality_, _extended rationality_, and _radical embodied rationality_. We emphasize that while less radical concepts currently align better with the idea of methodological naturalism, radical concepts are best conceived of as instances of ontological naturalism. The second step of our investigation concerns comparing the four embodied rationality concepts in light of three meta-criteria: internal epistemic values, empirical success, and intertheoretic compatibility. While empirical success currently favors less radical concepts, intertheoretic compatibility demonstrates the promises of rationality’s embodied radicalism. (shrink)

In this paper, by means of a novel use of insights from the literature on scientific modelling, I will argue in favour of an instrumentalist approach to the models that are crucially involved in the study of adaptive systems within the Free-Energy Principle (FEP) framework. I will begin (§2) by offering a general, informal characterisation of FEP. Then (§3), I will argue that the models involved in FEP-theorising are plausibly intended to be isomorphic to their targets. This will allow (§4) (...) to turn the criticisms moved against isomorphism-based accounts of representation towards the FEP modelling practice. Since failure to establish an isomorphism between model and target would result in the former’s failure to represent the latter, and given that it is highly unlikely that FEP-models are ever isomorphic to their targets, maintaining that FEP-models represent their targets as they are, in a realist sense, is unwarranted. Finally (§5), I will consider what implications my argument in favour of an instrumentalist reading of FEP-models has for attempts at making use of the FEP to elaborate an account of what cognition exactly is. My conclusion is that we should not dismiss FEP-based accounts of cognition, as they would still be informative and would further our understanding of the nature of cognition. Nonetheless, the prospects of settling the philosophical debates that sparked the interest in having a “mark of the cognitive” are not good. (shrink)

Recent accounts of teleological naturalism hold that organisms are intrinsically goaldirected entities. We argue that supporters and critics of this view have ignored the ways in which it is used to address quite different problems. One problem is about biology and concerns whether an organism-centered account of teleological ascriptions would improve our descriptions and explanations of biological phenomena. This is different from the philosophical problem of how naturalized teleology would affect our conception of nature, and of ourselves as natural beings. (...) The neglect of this metatheoretic distinction has made it difficult to understand the criteria we should use for evaluating proposals to naturalize teleology. We argue that a clearer distinction between scientific and philosophical contexts shows that we need more than one set of criteria for evaluating proposals to naturalize teleology, and that taking these into account might advance or dissolve recurring debates in the literature. (shrink)

The Maximum Entropy Production Principle (MEPP) stands out as an overarching principle that rules life phenomena in Nature. However, its explanatory power beyond heuristics remains controversial. On the one hand, the MEPP has been successfully applied principally to non-living systems far from thermodynamic equilibrium. On the other hand, the underlying assumptions to lay the MEPP’s theoretical foundations and range of applicability increase the possibilities of conflicting interpretations. More interestingly, from a metaphysical stance, the MEPP’s philosophical status is hotly debated: does (...) the MEPP passively translate physical information into macroscopic predictions or actively select the physical solution in multistable systems, granting the connection between scientific models and reality? This paper deals directly with this dilemma by discussing natural determination from three angles: (1) Heuristics help natural philosophers to build an ontology. (2) The MEPP’s ontological status may stem from its selection of new forms of causation beyond physicalism. (3) The MEPP’s ontology ultimately depends on the much-discussed question of the ontology of probabilities in an information-theoretic approach and the ontology of macrostates according to the Boltzmannian definition of entropy. (shrink)

Can the evidence provided by software systems meet the standard of proof for civil or criminal cases, and is it individualized evidence? Or, to the contrary, do software systems exclusively provide bare statistical evidence? In this paper, we argue that there are cases in which evidence in the form of probabilities computed by software systems is not bare statistical evidence, and is thus able to meet the standard of proof. First, based on the case of State v. Loomis, we investigate (...) recidivism predictions provided by software systems used in the courtroom. Here, we raise problems for software systems that provide predictions that are based on bare statistical evidence. Second, by examining the case of People v. Chubbs, we argue that the statistical evidence provided by software systems in cold hit DNA cases may in some cases suffice for individualized evidence, on a view on which individualized evidence is evidence that normically supports the relevant proposition (Smith, in Mind 127:1193–1218, 2018). (shrink)

Discussions on the status of definitions of life have long been dominated by a position known as definitional pessimism. Per the definitional pessimist, there is no point in trying to define life. This claim is defended in different ways, but one of the shared assumptions of all definitional pessimists is that our attempts to define life are attempts to provide a list of all necessary and sufficient conditions for something to count as alive. In other words, a definition of life (...) is a strict, descriptive definition. Against this, several pragmatic alternatives have been put forward. On these pragmatic accounts, definitions of life are not strictly, but rather loosely descriptive. Their purpose is not to be true, but to be useful to scientists by guiding scientific practice. More recently, this position has come under attack for not being able to explain how our attempts to define life are connected to scientific progress within the biological sciences. Here, I argue to the contrary by showing how pragmatic definitions of life can be, and in fact are, conducive to scientific progress. Additionally, I show how the pragmatic account of definitions of life can be brought to bear upon our normative discussions involving definitions of life. (shrink)

Epistemic instrumentalism is often thought to face an insurmountable barrier, the ‘too few reasons’ problem. This has prompted some epistemologists to turn to a rival social kind of epistemic instrumentalism that claims epistemic normativity is instrumental to the goals of communities rather than individuals. This paper argues that this is a mistake as regular epistemic instrumentalism is better able to address the too few reasons problem than its social counterpart. In Sect. 2, I outline the two few reasons objection, highlighting (...) that it contains two separate problems: The problem of indifference and the problem of avoidance. I offer a dual strategy for the instrumentalist that appeals to doxastic non-voluntarism, and show how this improves upon standard instrumentalist defences. In Sect. 3, I argue that social instrumentalism does not improve upon the regular kind. It fails to capture instrumentalist motivations, and also fails to offer a compelling solution to the too few reasons problem. Insights from social epistemology can, however, be used to strengthen regular instrumentalism. I conclude that epistemic instrumentalists should not be motivated to take the social turn. (shrink)

As for many other properties, to understand the nature of truth attention should be paid to the kind of entities that are apt to bear it. In particular, I argue that different kinds of truth bearers tend to support different properties of truth. After that, I show that there are reasons to admit a plurality of truth bearers. As a consequence of these two results, a plurality of truth properties may be naturally admitted. The general upshot of the paper is (...) a new way to motivate alethic pluralism, which stems from considerations on the nature of representations rather than from considerations on what is represented. This new version of truth pluralism—truth (bearers) pluralism—is shown to be theoretically fertile and promising against some standard criticisms. (shrink)

Tracking technology has been heralded as transformative for animal ecology. In this paper I examine what changes are taking place, showing how current animal movement research is a field ripe for philosophical investigation. I focus first on how the devices alter the limitations and biases of traditional field observation, making observation of animal movement and behaviour possible in more detail, for more varied species, and under a broader variety of conditions, as well as restricting the influence of human presence and (...) observer bias. I reconstruct these as shifts in scope, objectivity, accuracy and fruitfulness. The second transformation is slightly less obvious but equally significant for animal ecology. Tracking devices generate complex data that demands both statistical and biological expertise, which has led to increasingly frequent and intensive collaborations between statisticians and biologists. Based on interviews, I examine how researchers in these interdisciplinary collaborations negotiate the collection, analysis and interpretation of movement data, integrating research interests, methodological constraints, previous field observations, and background theory. Tracking technology is therefore also shifting which disciplinary considerations are brought to bear on research into animal movement and behaviour and how this research is conducted. (shrink)

This paper expands upon the work by Wang (Proceedings of TARK, pp. 493–512, 2017) who proposes a new framework based on quantifier-free predicate language extended by a new bundled modality \(\exists x\Box \) and axiomatizes the logic over S5 frames. This paper first gives complete axiomatizations of the logics over K, D, T, 4, S4 frames with increasing domains and constant domains, respectively. The systems w.r.t. constant domains feature infinitely many additional rules defined inductively than systems w.r.t. increasing domains. In (...) the second part of the paper, we show that these rules are admissible in the systems without them by providing a general strategy for proving completeness theorems for the logics without these rules over constant domain models (also increasing domain models). (shrink)

We defend deflationism about truth against a pressing challenge, which is to explain how deflationists can understand the role that the _concept_ of truth appears to play in accounts of several other philosophically important concepts. We provide three strategies that deflationists can employ in response to the specific challenge regarding assertion that has been raised in several recent articles, viz., that the truth concept plays an ineliminable explanatory role in an account of assertion. We then show how to extend our (...) strategies to accounts of other central philosophical concepts, by applying them to accounts of belief, knowledge, and logical validity. The result is a set of recipes for deflationists about truth to employ in developing responses to worries that might be raised about the explanatory role of the truth concept. (shrink)

In this paper, I argue that art can help us imagine what it would be like to have experiences we have never had before. I begin by surveying a few of the things we are after when we ask what an experience is like. I maintain that it is easy for art to provide some of them. For example, it can relay facts about what the experience involves or what responses the experience might engender. The tricky case is the phenomenal (...) quality of the experience or what it feels like from the inside. Thus, in the main part of the paper, I discuss how art can provide us with this as well. I conclude by situating my view in the context of the broader debate over transformative experiences. I maintain that art can solve some but not all of the problems that arise when deciding whether to undergo a transformation. (shrink)

A widely debated issue in contemporary metaphysics is whether the modal profile of ordinary objects has to be explained in non-modal terms (that is, Thesis 1). However, how to solve such an issue with respect to occurrences – namely, processes and events – is a question that has been largely neglected in the current metaphysical debate. The general goal of this article is to start filling this gap. As a first result of the article, we make it plausible that, if (...) Thesis 1 holds for objects, then it also holds for processes and events. Then, we develop a metaphysical account of processes derived from Fine’s (1999, 2022) suggestions, according to which a process is a variable embodiment that is manifested by different events at the different times it goes on – namely, Thesis 2. We raised the challenge from the completion of a process that asks the Finean account of processes to explain relevant modal features of processes in non-modal terms. As a second result, we argue that four initially plausible strategies for solving such a challenge fall short of solving it. As a third result, we show that the theory of variable embodiments Fine formulates for objects must differ from the theory of variable embodiments that aims to model processes. We conclude by investigating some revisions to a theory of variable embodiments that aims to model processes. (shrink)

Hinge epistemology is a family of views that offers a novel approach to avoiding skeptical conclusions about the possibility of a posteriori justification of our empirical beliefs. They claim that at the basis of our empirical beliefs lie certain commitments whose rational status is not determined by our evidence. These are called hinge commitments. Prominent hinge epistemologists have claimed that hinge commitments are either rational or arational but yet not beliefs. I argue that such views are subject to decisive objections. (...) I then offer what I consider to be the best version of hinge epistemology. On this view, hinge commitments are best understood as arational beliefs that contingently inform our worldview. I call this view the Arational Beliefs View. (shrink)

I start with some of the early challenges to the widely-employed philosophical method of cases—the very challenges that originally prompted the new movement of experimental philosophy—and with some fundamental questions about the method that are yet to have been given satisfying answers. I then propose that what has allowed both ‘armchair’ and ‘experimental’ participants in the ongoing debates concerning the method to ignore or repress those early challenges—and in particular Robert Cummins’s ‘calibration objection’—and to discount fundamental disagreements about those questions, (...) is in large part ‘the claim of continuity’, which is the claim, or assumption, that there is no philosophically significant difference between whatever it is that we do when we give our answer to the theorist’s question of whether some philosophically interesting word ‘applies’ (positively or negatively) to some theoretically significant case, and our use of that same word in the course of ordinary, non-philosophical discourse. I then summarize the ordinary language philosophy (OLP) argument against the claim of continuity, and explain why answers to the theorist’s questions are vulnerable to the calibration objection in a way that our non-philosophical, everyday employment of the same words is not. This then leads me to question another widespread assumption, which is the assumption that the theorist’s questions—as raised in the theorist’s context—have clear enough sense and correct answers. I end by responding to a series of objections to my argument and to OLP more generally. (shrink)

According to Greco’s early explanatory salience contextualism, _S_ knows that _p_ if and only if _S_’s cognitive abilities are the salient factor in a causal explanation of why _S_ holds a true belief rather than a false belief or no belief at all. Greco abandoned this view because it cannot handle fake barn cases and because it proves impossible to analyze knowledge in terms of a quantitative characterization of explanatory salience. The paper argues that the core idea of explanatory salience (...) contextualism could have been saved if only the causal notion of explanation had been replaced by an abductive notion. (shrink)

Methods of machine learning (ML) are gradually complementing and sometimes even replacing methods of classical statistics in science. This raises the question whether ML faces the same methodological problems as classical statistics. This paper sheds light on this question by investigating a long-standing challenge to classical statistics: the reference class problem (RCP). It arises whenever statistical evidence is applied to an individual object, since the individual belongs to several reference classes and evidence might vary across them. Thus, the problem consists (...) in choosing a suitable reference class for the individual. I argue that deep neural networks (DNNs) are able to overcome specific instantiations of the RCP. Whereas the criteria of narrowness, reliability, and homogeneity, that have been proposed to determine a suitable reference class, pose an inextricable tradeoff to classical statistics, DNNs are able to satisfy them in some situations. On the one hand, they can exploit the high dimensionality in big-data settings. I argue that this corresponds to the criteria of narrowness and reliability. On the other hand, ML research indicates that DNNs are generally not susceptible to overfitting. I argue that this property is related to a particular form of homogeneity. Taking both aspects together reveals that there are specific settings in which DNNs can overcome the RCP. (shrink)

We present a new notion of mereological sum that is inequivalent to extant ones in the literature and does not fall prey to reasonable complaints that can be raised against some such notions. In light of this notion, we then revisit the relation between mereological universalism and extensionalism. In particular we argue that Varzi’s claim to the point that universalism entails extensionalism is justified only insofar as one sticks to Varzi’s notion of sum. In effect, we distinguish different versions of (...) extensionalism and argue that universalism—when cashed out in terms of our new notion of sum—entails some versions but not others. Most significantly it does not entail extensionality of proper parthood. In the light of the above we set forth a new mereological system, Universalist Quasi-Supplemented Mereology, that can be considered a worthy alternative to different mereological systems in the literature. (shrink)

Words appear to be denizens of the external world or, at any rate, not wholly mental, unlike our pains. It is the norm for philosophical accounts of words to reflect this appearance by offering various socio-cultural conditions to which an adequate account of wordhood must cleave. The paper argues, to the contrary, that an adequate account of word phenomena need avert to nothing other than individual psychology along with potential external factors that in-themselves do not count as linguistic. My principal (...) leverage will be that, by everyone’s lights, whatever words are, they are syntactically combinable and possess structural properties. But such conditions cannot be externally realised; instead, they are aspects of our internally realised cognitive capacity. It will also be argued, however, that the position is consistent with much of our common lore about words, albeit sans an externalist linguistic ontology. (shrink)

I propose a way to accommodate plausible examples of cyclic grounding chains that have been proposed in the literature while preserving a good measure of the metaphysical foundationalist’s grounding hierarchy with a foundational level. This precludes the need to adopt a strong form of coherentism, such as the view that everything grounds everything, or even the view that everything grounds everything other than itself. I do this by developing axiomatizations of grounding which allow for localized cycles of ground at the (...) non-foundational and foundational levels, but which still place certain foundationalism-like constraints on the grounds that grounded facts must have. In addition, I point to considerations, previously put forth in favor of foundationalism and a strong form of coherentism, that also help support the views I develop. (shrink)

This paper illuminates primary epistemic functions of teleological characterizations in ecology through discussion of the historical and conceptual origins of the theoretical branch of ecology (§§1–2). I subsequently defuse enduring confusions about the use of teleological characterizations in ecology; with a focus on recent critical arguments by Sagoff in this journal (Sagoff, Synthese 193:3003–3024, 2016) and some other places (e.g., his Sagoff, Ethics, Policy, and Environment 16:239–257, 2013 and Sagoff, Studies in History and Philosophy of Science Part C, 2017) (§3). (...) The paper then culminates by collecting five generalizable novel insights attained through the forgoing discussion and outlining avenues for follow-up work that can build on the arguments laid out in this paper (§4). (shrink)

Many philosophical debates take for granted that there is such a thing as ‘the’ common-sense conception of the phenomenon of interest. Debates about the nature of perception tend to take for granted that there is a single, coherent common-sense conception of vision, consistent with Direct Realism. This conception is often accorded an epistemic default status. We draw on philosophical and psychological literature on naïve theories and belief fragmentation to motivate the hypothesis that untutored common sense encompasses conflicting Direct Realist and (...) Indirect Realist conceptions: there is no such thing as ‘the’ common-sense conception of vision that could enjoy epistemic default status. To examine this hypothesis, a survey administered an agreement rating task with verbal and pictorial stimuli to lay participants. We found many laypeople simultaneously hold conflicting Direct Realist and Indirect Realist beliefs about vision. Against common assumptions, Direct Realist beliefs are not clearly dominant, and consistent adherence to Direct Realism is not the norm, but the exception. These findings are consistent with recent accounts of belief fragmentation. They forcefully challenge common methodology in philosophical debates about the nature of perception and beyond. (shrink)

Major proponents of both Distributed Cognition and Predictive Processing have argued that the two theoretical frameworks are strongly compatible. An important conjecture supporting the union of the two frameworks is that cultural practices tend to reduce entropy —that is, to increase predictability— at all scales in a cultural cognitive ecosystem. This conjecture connects Distributed Cognition with Predictive Processing because it shows how cultural practices facilitate prediction. The present contribution introduces the following challenge to the union of Distributed Cognition and Predictive (...) Processing: the problem of entropic cultural practices. The problem lies in the existence of multiple cultural practices that tend to increase entropy instead of reducing it. This paper discusses these entropic cultural practices and the nature of the problem at hand. Finally, the paper advances an expanded conception of cultural practices that could unite the two frameworks and explores the difficulties of committing to such a conception. (shrink)

Several important philosophical problems (including the problems of perception, free will, and scepticism) arise from antinomies that are developed through philosophical paradoxes. The critical strand of ordinary language philosophy (OLP), as practiced by J.L. Austin, provides an approach to such ‘antinomic problems’ that proceeds from an examination of ‘ordinary language’ (how people ordinarily talk about the phenomenon of interest) and ‘common sense’ (what they commonly think about it), and deploys findings to show that the problems at issue are artefacts of (...) fallacious reasoning. The approach is capable, and in need of, empirical development. Proceeding from a case-study on Austin’s paradigmatic treatment of the problem of perception, this paper identifies the key empirical assumptions informing the approach, assesses them in the light of empirical findings about default inferences, contextualisation failures, and belief fragmentation, and explores how these findings can be deployed to address the problem of perception. This facilitates a novel resolution of the problem of perception. Proceeding from this paradigm, the paper proposes ‘experimental critical OLP’ as a new research program in experimental philosophy that avoids apparent non-sequiturs of OLP, extends and transforms experimental philosophy’s ‘sources program’, and provides a promising new strategy for deploying empirical findings about how people ordinarily talk and think about phenomena, to address longstanding philosophical problems. (shrink)

It is a plausible and compelling theoretical assumption that epistemic rationality is just a matter of having doxastic attitudes that are the correct responses to one’s epistemic reasons, or that all requirements of epistemic rationality reduce to requirements on doxastic attitudes. According to this idea, all instances of epistemic rationality are instances of rational belief. Call this assumption, and any theory working under it, _belief-centered_. In what follows, I argue that we should not accept belief-centered theories of epistemic rationality. This (...) is an argument in three acts. In the first, I present counterexamples that problematize the belief-centered assumption: cases whose protagonists (i) fail to meet any plausible requirements on belief but (ii) nevertheless appear epistemically rational. In the second act, I consider alternative explanations of the counterexamples, friendly to the belief-centered theorist, and find them wanting. In the third and final act, I show that there are significant theoretical benefits to acknowledging a distinct agent-centered dimension of epistemic rationality and sketch a candidate agent-centered approach: a view that grounds an agent’s epistemic rationality in the possession of _good epistemic policies_. In the end, we see that a complete theory of epistemic rationality is as much of a theory of rational _agents_ as it is of rational _belief_. (shrink)

The traditional No-Miracles Argument (TNMA) asserts that the novel predictive success of science would be a miracle, and thus too implausible to believe, if successful theories were not at least approximately true. The TNMA has come under fire in multiple ways, challenging each of its premises and its general argumentative structure. While the TNMA relies on explaining novel predictive success via the truth of the theories, we put forth a deductive version of the No-Miracles argument (DNMA) that avoids inference to (...) the best explanation entirely. Instead, a relatively simple empirical framework and a probabilistic analysis can accomplish the ambitious goals of the TNMA while entirely sidestepping its problems. This close-but-distinct argument has many independent strengths and comparatively few weaknesses. Indeed, objections tailored specifically to the DNMA reveal surprising insights into how exactly NMAs are neither circular nor question-begging, as has been widely speculated. (shrink)

Statistical criteria of fairness are formal measures of how an algorithm performs that aim to help us determine whether an algorithm would be fair to use in decision-making. In this paper, I introduce a new version of the criterion known as “Equalized Odds,” argue that it is a requirement of procedural fairness, and show that it is immune to a number of objections to the standard version.

It is widely thought that deepfake videos are a significant and unprecedented threat to our epistemic practices. In some writing about deepfakes, manipulated videos appear as the harbingers of an unprecedented _epistemic apocalypse_. In this paper I want to take a critical look at some of the more catastrophic predictions about deepfake videos. I will argue for three claims: (1) that once we recognise the role of social norms in the epistemology of recordings, deepfakes are much less concerning, (2) that (...) the history of photographic manipulation reveals some important precedents, correcting claims about the novelty of deepfakes, and (3) that proposed solutions to deepfakes have been overly focused on technological interventions. My overall goal is not so much to argue that deepfakes are not a problem, but to argue that behind concerns around deepfakes lie a more general class of social problems about the organisation of our epistemic practices. (shrink)

In this paper, I develop a template-based analysis to include several elements of _processes_ through which templates are transferred between fields of inquiry. The analysis builds on Justin Price’s identification of the importance of a “landing zone” in the recipient domain, from which “conceptual pressure” may be created. I will argue that conceptual pressure is a characteristic feature of the process of template transfer; that this means that there are costs to the process of transfer as well as benefits; and (...) that it would be reasonable if modelers try to mitigate these costs. I will discuss two such mitigation strategies: ‘conceptual embedding’ and ‘customization’. I illustrate the claims, focusing on the mitigation strategies, with a case study: that of pioneering applications of reaction–diffusion equations in mathematical ecology. (shrink)

As concerns the explication of the intuitive notion of truthmaking, Barry Smith has an insight that deserves more attention. Basically, in his view, an object x makes a proposition true iff (i) x necessitates and (ii) is representationally closely tied with x. To be more specific, he suggests that (ii) is fulfilled only if x is among ’s ontological commitments. I appreciate his basic insight but reject his specific suggestion. I argue that we can make a more attractive proposal from (...) his basic insight if we take into consideration that the close tie can also be realized by ’s being about x. (shrink)

John Bengson holds that an intellectual seeming is sufficient for a priori justification, whereas Elijah Chudnoff disagrees and holds that a priori justification also requires an intuitive awareness of the abstract entities that are the subject matter of the proposition to be justified. I distinguish between substantive and non-substantive a priori claims about the world, and argue that Chudnoff is correct about the justification required for the former kind of claim, and Bengson is correct about the justification required for the (...) latter. In brief, substantive a priori claims about the world require for justification a process of reflection that takes as input states of awareness of the abstract entities in the world that are the subject matter of the claim, and yields as output an intellectual seeming that the claim is true. Whereas non-substantive a priori claims about the world (merely conceptual claims) can be justified merely by an intellectual seeming that the claim is true, so long as the seeming is a manifestation of conceptual competence. (shrink)

Empirical evidence shows that people have multiple time-biases. One is near-bias; another is future-bias. Philosophical theorising about these biases often proceeds on two assumptions. First, that the two biases are _independent_: that they are explained by different factors (the independence assumption). Second, that there is a normative asymmetry between the two biases: one is rationally impermissible (near-bias) and the other rationally permissible (future-bias). The former assumption at least partly feeds into the latter: if the two biases were not explained by (...) different factors, then it would be less plausible that their normative statuses differ. This paper investigates the independence assumption and finds it unwarranted. In light of this, we argue, there is reason to question the normative asymmetry assumption. (shrink)

A commonly held background assumption about the sciences is that they connect along borders characterized by ontological or explanatory relationships, usually given in the order of mathematics, physics, chemistry, biology, psychology, and the social sciences. Interdisciplinary work, in this picture, arises in the connecting regions of adjacent disciplines. Philosophical research into interdisciplinary model transfer has increasingly complicated this picture by highlighting additional connections orthogonal to it. But most of these works have been done through case studies, which due to their (...) strong focus struggle to provide foundations for claims about large-scale relations between multiple scientific disciplines. As a supplement, in this contribution, we propose to philosophers of science the use of modern science mapping techniques to trace connections between modeling techniques in large literature samples. We explain in detail how these techniques work, and apply them to a large, contemporary, and multidisciplinary data set (n=383.961 articles). Through the comparison of textual to mathematical representations, we suggest formulaic structures that are particularly common among different disciplines and produce first results indicating the general strength and commonality of such relationships. (shrink)

The article studies preferences of agents in a setting with imperfect information. For such a setting, the authors propose a new class of preferences. It is said that an agent prefers one statement over another if, among all indistinguishable worlds, the agent prefers the worlds where the first statement is true to those where the second one is true. The main technical result is a sound and complete logical system describing the interplay between a binary modality capturing preferences and the (...) knowledge modality. The proof of completeness is using a newly proposed “tumbled pairs” technique. (shrink)

In this paper, I present an analysis of the depictive properties of deepfakes. These are videos and pictures produced by deep learning algorithms that automatically modify existing videos and photographs or generate new ones. I argue that deepfakes have an intentional standard of correctness. That is, a deepfake depicts its subject only insofar as its creator intends it to. This is due to the way in which these images are produced, which involves a degree of intentional control similar to that (...) involved in the production of other intentional pictures such as drawings and paintings. This aspect distinguishes deepfakes from real videos and photographs, which instead have a non-intentional standard: their correct interpretation corresponds to the scenes that were recorded by the mechanisms that produced them, and not to what their producers intended them to represent. I show that these depictive properties make deepfakes fit for communicating information in the same way as language and other intentional pictures. That is, they do not provide direct access to the communicated information like non-intentional pictures (e.g., videos and photographs) do. Rather, they convey information indirectly, relying only on the viewer's assumptions about the communicative intentions of the creator of the deepfake. Indirect communication is indeed a prominent function of such media in our society, but it is often overlooked in the philosophical literature. This analysis also explains what is epistemically worrying about deepfakes. With the introduction of this technology, viewers interpreting photorealistic videos and pictures can no longer be sure of which standard to select (i.e., intentional or non-intentional), which makes misinterpretation likely (i.e., they can take an image to have a standard of correctness that it does not have). (shrink)

Expertise, authority, and testimony refer to aspects of one of the most important elements of communication and cognition. Argumentation theory recognises various forms of what we call the argumentum ad alia pattern, in which speakers appeal to what others have said, including Position to Know scheme, Witness Testimony scheme, Expert Opinion scheme and the classical ad verecundiam. In this paper we show that ad alia involves more than merely an inferential step from what others (a person in position to know, (...) a witness, an expert) have said, and that studying this type of argumentation requires going beyond the argument structure of propositional contents to account for different speech activities. We also demonstrate that using the words of others, attacking what has been said, and reasoning from how others reason constitute a rich repertoire of communication strategies which we need to model in order to be able to analyse them manually and to process them computationally. (shrink)

Concept formation has recently become a widely discussed topic in philosophy under the headings of “conceptual engineering”, “conceptual ethics”, and “ameliorative analysis”. Much of this work has been inspired either by the method of explication or by ameliorative projects. In the former case, concept formation is usually seen as a tool of the sciences, of formal disciplines, and of philosophy. In the latter case, concept formation is seen as a tool in the service of social progress. While recent philosophical discussions (...) on concept formation have addressed natural sciences such as physics as well as various life sciences, so far there is only little direct engagement with the social sciences. To address this shortcoming is important because many debates about socially relevant concepts such as power, gender, democracy, risk, justice, or rationality, may best be understood as engaging in conceptual engineering. This topical collection addresses the nature and structure of concept formation in the natural, the life, and the social sciences alike, both as a process taking place within science and as an activity that aims at a broader impact in society. This helps to understand how concept formation proceeds not only in the natural sciences but also in disciplines such as psychology, cognitive science, political science, sociology and economics. (shrink)

Social ontological inquiry has been pursued in analytic philosophy as well as in the social scientific tradition of critical realism. These traditions have remained largely separate despite partly overlapping concerns and similar underlying strategies of argumentation. They have also both been the subject of similar criticisms based on naturalistic approaches to the philosophy of science, which have addressed their apparent reliance on a transcendental mode of reasoning, their seeming distance from social scientific practice, and their (erroneous?) tendency to advocate global (...) solutions to local and pragmatic problems. Two approaches aiming to naturalize these two traditions of social ontology have been proposed in recent years: one drawing on a Gierean, model-based approach to scientific practice, the other drawing on inference to the best explanation. In our paper, we compare and contrast these naturalistic approaches to social ontology in terms of their capacity to respond to the aforementioned challenges. We also defend a form of methodological pluralism, according to which there are multiple different naturalistically acceptable approaches to social ontology, which emphasize contrasting procedural continuities between social scientific research and philosophical practice. (shrink)

I consider a generalizarion of Vanderschraaf's correlated conventions to Quasi-Conventions, using the concept of coarse correlated equilibria. I discuss the possibility of improved payoffs and the question of learnability by simple uncoupled learning dynamics. Laboratory experiments are surveyed. The generalization introduces strains of commitment, which can be see from different points of view. I conclude that the strains of commitment preclude using the generalization as a stand-alone definition of convention, but that in certain settings Quasi-Conventions can be important modules within (...) larger true conventions. (shrink)

In this paper, I argue that a realist account of the modality of moral supervenience is superior to a non-cognitivist account. According to the recommended realist account, moral supervenience amounts to strong supervenience where the outer ‘necessary’ is conceptual and the inner metaphysical. It is argued that non-cognitivism faces a critical choice between weak and strong supervenience where both options are implausible on this view. However, non-cognitivism seems to have an important advantage: It can explain why the outer ‘necessary’ is (...) conceptual by reference to the function of moral language to influence behaviour. In the main part of the paper, I argue that realism is able to explain why ‘necessary’ in moral supervenience needs to be understood in the recommended manner by reference to the connection between moral properties and moral reasons. Moreover, I argue that the realist account has other attractive features. In contrast to non-cognitivism, it can unify the normative sphere by being generalizable to other normative notions. In addition, it can be part of an explanation of why moral language can have the function to influence behaviour. (shrink)

The epistemic subject of collective scientific knowledge has been a matter of dispute in recent philosophy of science and epistemology. Following the distributed cognition framework, both collective-subject accounts (most notably by Knorr-Cetina, in _Epistemic Cultures_, Harvard University Press, 1999) as well as no-subject accounts of collective scientific knowledge (most notably by Giere, Social Epistemology 21:313–320, 2007; in Carruthers, Stich, Siegal (eds), _The Cognitive Basis of Science_, Cambridge University Press, 2002a) have been offered. Both strategies of accounting for collective knowledge are (...) problematic from the perspective of mainstream epistemology. Postulating genuinely collective epistemic subjects is a high-commitment strategy with little clear benefit. On the other hand, eliminating the epistemic subject radically severs the link between knowledge and knowers. Most importantly, both strategies lead to the undesirable outcome that in some cases of scientific knowledge there might be no individual knower that we can identify. I argue that distributed cognition offers us a fertile framework for analyzing complex socio-technical processes of contemporary scientific knowledge production, but scientific knowledge should nonetheless be located in individual knowers. I distinguish between the production and possession of knowledge, and argue that collective knowledge is collectively produced knowledge, not collectively possessed knowledge. I then propose an account of non-testimonial, expert scientific knowledge which allows for collectively produced knowledge to be known by individuals. (shrink)

Recent developments in AI-research suggest that an AI-driven science might not be that far off. The research of for Melnikov et al. (2018) and that of Evans et al. (2018) show that automated systems can already have a distinctive role in the design of experiments and in directing future research. Common practice in many of the papers devoted to the automation of basic research is to refer to these automated systems as ‘agents’. What is this attribution of agency based on (...) and to what extent is this an important notion in the broader context of an AI-driven science? In an attempt to answer these questions, this paper proposes a new methodological framework, introduced as the Four-Fold Framework, that can be used to conceptualize artificial agency in basic research. It consists of four modeling strategies, three of which were already identified and used by Sarkia (2021) to conceptualize ‘intentional agency’. The novelty of the framework is the inclusion of a fourth strategy, introduced as conceptual modeling, that adds a semantic dimension to the overall conceptualization. The strategy connects to the other strategies by modeling both the actual use of ‘artificial agency’ in basic research as well as what is meant by it in each of the other three strategies. This enables researchers to bridge the gap between theory and practice by comparing the meaning of artificial agency in both an academic as well as in a practical context. (shrink)

According to L. A. Paul (2014), transformative experiences pose a challenge for decision theory, as their subjective value is not epistemically accessible. However, several authors propose that the subjective values of options are often irrelevant to their ranking; in many cases, all we need for rational transformative decision-making are the known non-subjective values. This stance is in conflict with Paul’s argument that the subjective value can always swamp the non-subjective value. The approach presented in this paper takes Paul’s argument into (...) account and shows how potential swamping can be controlled given that one desires the transformative outcome: If one knows from previous decisions that desired transformative outcomes are associated with positive subjective value and if, in addition, testimony confirms this association for the current decision situation, one can infer that a desired outcome’s expected subjective value has a positive valence. Accordingly, one can rationally choose the desired transformative option if its non-subjective value is no lower than the overall value of any other option. (shrink)

Scientific perspectivism, or perspectival realism, is a view according to which scientific knowledge is neither utterly objective nor independent of the world “as it is”, but always tied to some particular ways of conceptualization and interaction with Nature. In the present paper, I employ Robert Rosen’s concept of the modeling relation for arguing that there are two basic reasons why our knowledge of natural systems is perspectival in this sense. The first of these pertains to the dualism between a system (...) and its environment, which is necessarily imposed by a scientist focusing on the former. The second pertains to the complexity of complex systems; a complex system understood as a system in which different kinds of causal entailments intertwine together. As I discuss in the paper besides developing the argument, perspectivism thus understood ties together several issues ranging from organicism to emergentism and to processual philosophy, and from the ceteris paribus talk of biology to the measurement problem of quantum mechanics. I also discuss Rosen’s relational formalisms as a concrete example of how perspectival epistemology might directly suggest novel strategies and practices of doing theoretical science. (shrink)

Measurement realism, the view that measurement targets quantitative attributes and that not all attributes are quantitative, has come under attack both from metrologists and philosophers. In this paper, I take a close look at two influential arguments against measurement realism: the argument from obsolescence and the argument from coordination. I concede that these arguments do challenge the epistemological position traditionally taken by measurement realists, but argue that the metaphysical core of measurement realism survives the challenge posed by these arguments. This (...) metaphysical core is vital to maintaining a clear and ambitious standard for successful measurement. (shrink)

In this paper, we report the results of three high-powered replication studies in experimental philosophy, which bear on an alleged instability of folk philosophical intuitions: the purported susceptibility of epistemic intuitions about the Truetemp case (Lehrer, Theory of knowledge. Westview Press, Boulder, 1990) to order effects. Evidence for this susceptibility was first reported by Swain et al. (Philos Phenomenol Res 76(1):138–155, 2008); further evidence was then found in two studies by Wright (Cognition 115(3):491–503, 2010) and Weinberg et al. (Monist 95(2):200–222, (...) 2012). These empirical results have been quite influential in the recent metaphilosophical debate about the method of cases. However, none of Swain et al.’s ( 2008 ) predictions concerning order effects with Truetemp cases could be consistently and robustly replicated in our three experiments, and it is thus at best unclear whether Truetemp intuitions are in fact unstable. So, if proponents of the negative program in experimental philosophy still want to use order effects to challenge the reliability of philosophical case judgments, they would be well advised to look elsewhere instead. In any case, given the more robust empirical evidence that we present in this paper, the metaphilosophical flurry created by Swain et al. ( 2008 ) and Wright’s ( 2010 ) influential studies looks like mere alarmism in hindsight. (shrink)

An epistemic deontology modelled on Kant’s ethics—in particular the humanity formula of the categorical imperative—is a promising alternative to epistemic consequentialism because it can forbid intuitively impermissible epistemic trade-offs which epistemic consequentialism seems doomed to permit and, most importantly, it can do so in a way that is not ad hoc.

Aphantasia, a recently labelled spectrum condition affecting mental imagery, has brought to the fore the centrality of imagination in our lives. Intuitively it may seem that we cannot have a normal life without the possession of imaginative abilities. Yet, aphantasics do not seem to be much affected by their condition. Can aphantasia tell us anything about the nature and role of our imaginative abilities? I contend that an important distinction that can shed light on this question has been largely overlooked, (...) namely that between two senses of mental imagery: as a type of mental content (viz., mental imagery strictly speaking), and as a kind of psychological attitude (viz., sensory imagination). Drawing on this distinction, I suggest three possible conditions: (i) impairment in mental imagery only, (ii) impairment in sensory imagination only, (iii) impairment in both mental imagery and sensory imagination. I show that core cases of aphantasia are better understood as impairments in sensory imagination only, but I indicate empirical strategies to investigate whether some cases of aphantasia rather involve impairments in mental imagery, which would point toward a plurality of forms of aphantasia. Sensory imagination, however, does not exhaust the imaginative realm, therefore we shouldn’t jump to the hasty conclusion that aphantasics have no imagination. Most aphantasics lack sensory imagination, but arguably can exploit other forms of imagination. This would explain in which sense they still possess imaginative abilities. (shrink)

The Triviality Argument against presentism maintains that we should reject presentism because there is no way to define the view that is not either trivially true or obviously false. We suggest that this style of argument over-emphasises purely linguistic means of representing a philosophical thesis. We argue that there is no reason to suppose that all philosophical theses must be linguistically representable, and thus that the failure to linguistically represent presentism is no big deal. It certainly shouldn’t lead us to (...) reject the view. We offer a more general moral for philosophy, and that is to look beyond purely linguistic methods of representing philosophical views and embrace a wider range of representational media. (shrink)

Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies limit computable sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the realm of fuzzy sets, whose membership functions range in a complete lattice. In this paper, we combine the Ershov Hierarchy and fuzzy set (...) theory, by introducing and investigating the Fuzzy Ershov Hierarchy. (shrink)

An ongoing project in the philosophy of science and medicine is the effort to articulate a form of relativism about science that can find a path between strongly realist and pernicious relativist poles. Recent scholarship on relativism has described the characteristics a philosophy must have in order to be considered a thoroughgoing relativism. These include non-absolutism, multiplicity, dependence, incompatibility, equal validity and non-neutrality. Critics of relativism maintain that these requirements cannot be met without collapsing into a pernicious form of relativism (...) and that attempts to do so have failed. Against this view, I argue that the early twentieth century philosophy of Ludwik Fleck satisfies these requirements. Paying attention to the scientific details of Fleck’s account of active and passive elements of knowledge, and the resistance generated by them, reveals a thoroughgoing and yet reasonable relativism about science. (shrink)

The number of adjustable parameters in a model or hypothesis is often taken as the formal expression of its simplicity. I take issue with this `definition´ and argue that comparative simplicity has a quasi-empirical measure, reflecting experts’ judgements who track past use of a model-type in or across domains. Since models are represented by restricted sets of functions in a suitable space, formally speaking, a general `measure of simplicity´ may be defined implicitly for the elements of a function space. This (...) paper sketches such a framework starting from intuitive constraints. It is shown how experts’ judgements feed into this framework and how the usual definition can be recovered. A theorem by H. Akaike in the theory of model-choice has recently been used to shine new light on the relationship between the demand for simplicity and empirical success, or even `truth´. The approach favored here permits an alternative answer based on a reliabilist account of justification: if judgements of simplicity track past successful use of a model-type comparative simplicity is evidential and inductive. (shrink)

In this paper we present a modal logic framework to reason about the expertise of information sources. A source is considered an expert on a proposition φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} if they are able to correctly refute φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} in any possible world where φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} is false. Closely connected with expertise is a notion of (...) soundness of information: φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} is said to be “sound” if it is true up to lack of expertise of the source. That is, any statement logically weaker than φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} on which the source has expertise must in fact be true. This is relevant for modelling situations in which sources make claims beyond their domain of expertise. Particular attention is paid to the connection between expertise and knowledge: we show that expertise and soundness admit precise interpretations in terms of S4 and S5 epistemic logic, under certain conditions. We go on to extend the framework to multiple sources, defining two notions of collective expertise. These also have epistemic interpretations via distributed and common knowledge from multi-agent epistemic logic. On the technical side, we give several sound and complete axiomatisations of various classes of expertise models. (shrink)

Metaphysicians often claim that some metaphysical theory should (or shouldn’t) be believed because it exhibits (or fails to exhibit) theoretical virtues such as simplicity. Metaphysicians also sometimes claim that the legitimacy of these sorts of appeals to theoretical virtues are vindicated by the similar appeals to theoretical virtues which scientists make in scientific theory choice. One objection to this methodological move is to claim that the metaphysician misdescribes the role that theoretical virtues play within science. In this paper I defend (...) the metaphysician’s use of theoretical virtues against this objection. (shrink)

The current conception of the plurality of worlds is founded on a set theoretic understanding of possibilia. This paper provides an alternative category theoretic conception and argues that it is at least as serviceable for our understanding of possibilia. In addition to or instead of the notion of possibilia conceived as possible objects or possible individuals, this alternative to set theoretic modal realism requires the notion of possible morphisms, conceived as possible changes, processes or transformations. To support this alternative conception (...) of the plurality of worlds, I provide two examples where a category theoretic account can do work traditionally done by the set theoretic account: one on modal logic and another on paradoxes of size. I argue that the categorial account works at least as well as the set theoretic account, and moreover suggest that it has something to add in each case: it makes apparent avenues of inquiry that were obscured, if not invisible, on the set theoretic account. I conclude with a plea for epistemological humility about our acceptance of either a category-like or set-like realist ontology of modality. (shrink)

In The Transmission of Knowledge (2021), Greco departs significantly from his earlier view of all knowledge as an individual achievement of the knower, allowing that in some testimonial knowledge cases (cases of “transmission”), a hearer’s believing truly will be due to competent joint agency, between herself and the speaker. Greco argues that the new, hybrid view of knowledge as individual or joint achievement is still sufficiently unified and – importantly – still provides a satisfying answer to the value problem for (...) knowledge. I will raise some worries for this latter claim. I begin by raising worries about Greco’s earlier answer to the value problem: that knowledge is distinctively valuable as an (individual’s) achievement. I then argue that these worries are not allayed by expanding the account of knowledge to include joint achievements and indeed are perhaps aggravated by this new move. (shrink)

Progress in psychology and the cognitive sciences is often taken to vindicate physicalism and cast doubt on such extravagant metaphysical theses as dualism and idealism. The goal of this paper is to argue that cognitive science has no such implications—rather, evidence from cognitive science is largely (but not wholly) irrelevant to the mind-body problem. Our argument begins with the observation that data from cognitive science can be modeled by supervenience relations. We then show that supervenience relations are neutral, by showing (...) how they can be coherently interpreted in physicalist, idealist, and dualist terms. We distinguish several types of supervenience relation, and show that each coheres better with some positions on the mind-body problem than the other. Since these variants of supervenience are not empirically equivalent, there is a possibility that data from cognitive science will end up supporting some positions on the mind-body problem more than others. It is in this sense that cognitive science is mostly, but not wholly, neutral. (shrink)

We extend the Embracing Revenge account of the semantic paradoxes by constructing two distinct consequence relations that reflect, in different ways, the transfinitely-many-valued semantics developed in earlier work. In particular, we adapt the underlying ideas of “gappy” approaches based on K3, and “glutty” approaches based on LP, to the Embracing Revenge framework, by treating the infinitely many non-classical truth values as infinitely many ways that a sentence might fail to receive a classical truth value in the former case, and as (...) infinitely many ways that a sentence might receive both classical truth values in the latter. In order to obtain deductive systems that are very nearly classical, we need to utilize different conditionals (and different negations) in each logic. (shrink)

This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs (...) and also the epistemic logic of local reasoning with veracity and positive introspection, and upon adding a single combinatorial axiom, it is also the logic of ‘someone knows’ for a fixed finite number of positively introspective agents. At the core of all these completeness results is a new canonical neighborhood model construction for monotone modal logics that is capable of dealing with all these diverse cases. We also provide an axiomatization for the logic of all non-n-colorable hypergraphs based on a filtration argument that also shows the decidability of the logics of hypergraphs we study. (shrink)

How good is an explanation and when is one explanation better than another? In this paper, I address these questions by exploring probabilistic measures of explanatory power in order to defend a particular Bayesian account of explanatory goodness. Critical to this discussion is a distinction between weak and strong measures of explanatory power due to Good (Br J Philos Sci 19:123–143, 1968). In particular, I argue that if one is interested in the overall goodness of an explanation, an appropriate balance (...) needs to be struck between the weak explanatory power and the complexity of a hypothesis. In light of this, I provide a new defence of a strong measure proposed by Good by providing new derivations of it, comparing it with other measures and exploring its connection with information, confirmation and explanatory virtues. Furthermore, Good really presented a family of strong measures, whereas I draw on a complexity criterion that favours a specific measure and hence provides a more precise way to quantify explanatory goodness. (shrink)

Many philosophers maintain that an adequate metaphysical theory of social groups (e.g., baseball teams, rock bands, committees, and courts) will be one that is capable of accommodating social groups that may exist despite having no members. In this paper, I examine cases that motivate this position, cases where a social group seems to persist at some time despite having no members at that time. My aim here is twofold. First, I aim to show that we may accept that these motivating (...) cases are indeed possible without accepting that some social groups may exist despite having no members; second, I aim to show that the acceptance of the possibility of memberless social groups comes at a steep, theoretical cost. In particular, I will argue that the acceptance of memberless social groups comes at the cost of effectively preventing them from being the kinds of things that may interact with the material world. (shrink)

According to popular belief, big data and machine learning provide a wholly novel approach to science that has the potential to revolutionise scientific progress and will ultimately lead to the ‘end of theory’. Proponents of this view argue that advanced algorithms are able to mine vast amounts of data relating to a given problem without any prior knowledge and that we do not need to concern ourselves with causality, as correlation is sufficient for handling complex issues. Consequently, the human contribution (...) to scientific progress is deemed to be non-essential and replaceable. We, however, following the position most commonly represented in the philosophy of science, argue that the need for human expertise remains. Based on an analysis of big data and machine learning methods in two case studies—skin cancer detection and protein folding—we show that expert knowledge is essential and inherent in the application of these methods. Drawing on this analysis, we establish a classification of the different kinds of expert knowledge that are involved in the application of big data and machine learning in scientific contexts. We address the ramifications of a human-driven expert knowledge approach to big data and machine learning for scientific practice and the discussion about the role of theory. Finally, we show that the ways in which big data and machine learning both influence and are influenced by scientific methodology involve continuous conceptual shifts rather than a rigid paradigm change. (shrink)

In this article, I draw an important distinction between two kinds of inquiry. “Framed inquiries” take for granted and use a conceptual framework in order to ask and answer questions, while “framing inquiries” require the creation, revision, or expansion of the conceptual framework itself in order to address the problem at hand. This distinction has been largely ignored in epistemology, and collapsed by two radically opposed philosophical camps: representationalism and antirepresentationalism. While the former takes all inquiries to be in the (...) business of discovering mind-independent facts, the latter takes all inquiries to be primarily governed by pragmatic considerations. Against the objections raised by both camps, I defend a pragmatist and substantive distinction between framed and framing inquiry, inspired by Rudolf Carnap’s distinction between internal and external questions and reformulated in terms of John Dewey’s theory of inquiry. (shrink)

One can often hear that intuitions are standardly “appealed to”, “relied on”, “accounted for”, or “used as evidence” in ethics. How should we interpret these claims? I argue that the typical understanding is what Bernard Molyneux calls “descriptive evidentialism”: the idea that intuition-states are treated as evidence of their propositional contents in the context of justification. I then argue that descriptive evidentialism is false- on any account of what intuitions are. That said, I admit that ethicists frequently rely on intuitions (...) to clarify, persuade, discover, or to support things other than the intuitions’ contents. The contents of intuitions are also commonly used as starting premises of philosophical arguments. However claims about these practices need to be sharply distinguished from the prevalent dogma. (shrink)

Epistemic standards purport to tell us under what conditions we should adopt specific beliefs. In the scientific case, we might understand an epistemic standard as telling us what beliefs we should or even must adopt when faced with such-and-such evidence. It is an open question whether and to what extent science, or scientists, form beliefs based upon standards so construed. Epistemic relativism gives two strong arguments against a robust role for epistemic standards in science. This paper assesses these arguments and (...) argues that even if we accept them, epistemic standards play a strong, normative role and that failure to adhere to epistemic standards, in a sense to be clarified, risks irrationality. To make this argument, we must abandon the idea that standards determine in a strong sense what beliefs scientists must adopt and instead think of them as a guide for choosing between beliefs. If we think of standards in this way, then they can play a role in rational scientific discourse. This conception of standards is inspired by Kuhnian values and helps arbitrate between relativism and more rational conceptions of evidence and justification. The Chemical Revolution provides illustration of this view. (shrink)

Modest pessimism about philosophical progress is the view that while philosophy may sometimes make some progress, philosophy has made, and can be expected to make, only very little progress (where the extent of philosophical progress is typically judged against progress in the hard sciences). The paper argues against recent attempts to defend this view on the basis of the pervasiveness of disagreement within philosophy. The argument from disagreement for modest pessimism assumes a teleological conception of progress, according to which the (...) attainment of true answers to the big philosophical questions, or knowledge of them, is the primary goal of philosophy. The paper argues that this assumption involves a misconception of the goal of philosophy: if philosophy has a primary goal, its goal is the understanding of philosophical problems rather than knowledge of answers to philosophical questions. Moreover, it is argued that if the primary goal of philosophy is such understanding, then widespread disagreement within philosophy does not indicate that philosophy makes little progress. (shrink)

So far, the most prominent measure for actual truthlikeness, i.e. the likeness of a theory to the actual truth, is Ilkka Niiniluoto’s minsum definition, which is purely based on distances. A competing definition is the average distance measure proposed by Pavel Tichy and Graham Oddie. We will define three related, distance and size based, measures for actual truthlikeness and compare them with the two well-known options. However, we will start, Sect. 2, from a trio of such measures for nomic truthlikeness. (...) The nomic truth, or the true theory, here refers to what is nomically, e.g. physically, possible. In a nomic (and factual) context there are two basic kinds of theories, viz. either based on an exclusion claim or on an inclusion claim. Two-sided theories combine these claims, with the maximal claim as extreme special case. We will base truthlikeness measures for exclusion, inclusion, two-sided, and hence maximal, nomic theories on two similarity measures, one in terms of distances between conceptual possibilities and the other in terms of sizes of sets of such possibilities. In Sect. 3 we will treat actual truthlikeness as extreme special case of nomic truthlikeness, viz. assuming that there is just one nomic possibility, the actual one. Next we will compare the resulting measures mutually and with the above mentioned measures of Niiniluoto and Tichy & Oddie. Finally, in Sect. 4, we will sum up the results and explore five questions for further research. (shrink)

Recent develops in AI technology have led to increasingly sophisticated forms of video manipulation. One such form has been the advent of deepfakes. Deepfakes are AI-generated videos that typically depict people doing and saying things they never did. In this paper, I demonstrate that there is a close structural relationship between deepfakes and more traditional fake barn cases in epistemology. Specifically, I argue that deepfakes generate an analogous degree of epistemic risk to that which is found in traditional cases. Given (...) that barn cases have posed a long-standing challenge for virtue-theoretic accounts of knowledge, I consider whether a similar challenge extends to deepfakes. In doing so, I consider how Duncan Pritchard’s recent anti-risk virtue epistemology meets the challenge. While Pritchard’s account avoids problems in traditional barn cases, I claim that it leads to local scepticism about knowledge from online videos in the case of deepfakes. I end by considering how two alternative virtue-theoretic approaches might vindicate our epistemic dependence on videos in an increasingly digital world. (shrink)

There are some names which cannot be spoken and others which cannot be written, at least on certain very natural ways of conceiving of them. Interestingly, this observation proves to be in tension with a wide range of views about what names are. Prima facie, this looks like a problem for predicativists. Ultima facie, it turns out to be equally problematic for Millians. For either sort of theorist, resolving this tension requires embracing a revisionary account of the metaphysics of names. (...) Revisionary Millianism, I argue, offers some important advantages over its predicativist competitor. (shrink)

Autism spectrum disorder (ASD) is a psychopathological condition characterized by persistent deficits in social interaction and communication, and restricted, repetitive patterns of behavior and interests. To build an ecological-enactive account of autism, I propose we should endorse the affordance-based approach of the skilled intentionality framework (SIF). In SIF, embodied cognition is understood as skilled engagement with affordances in the sociomaterial environment of the ecological niche by which an individual tends toward the optimal grip. The human econiche offers a whole landscape (...) of affordances, and situated individuals respond to a field of relevant affordances. An important part of SIF is an ecological-enactive interpretation of the free energy principle and predictive processing. Predictive processing accounts indicate that in ASD too much precision is assigned to prediction errors. Autistic persons depend heavily on current sensory information and less on prior beliefs and cannot attune to stable regularities. To reduce uncertainty, they over-rely on routines, strict habits, and a familiar environment—a predictable ecological niche they construct. I argue that skilled intentionality gives us the framework from which to analyze the autistic field of affordances. Autistic patterns of affordance-related bodily states of action readiness are only sensitive to very specific solicitations in the environment and achieve optimal grip in well-known situations. Autism is to be understood as a disorder of bodily normativity. Taking this approach helps us figure out what neurotypical people can do to attune their environment in order to scaffold the needs of autistic individuals by redesigning the landscape of affordances. (shrink)

In this paper I argue that if the Identity of Indiscernibles is not necessarily true, then Haecceitism ensues—where Haecceitism is the view that there are maximal possibilities that include all the same qualitative possibilities, and yet differ with respect to the non-qualitative possibilities they include. This goes against the common intuition that Anti-Haecceitism is compatible with the Identity of Indiscernibles being only contingently true. My argument is interesting in many respects. First, it shows that in any modal framework there is (...) a connection between the number of worldbound ordinary spatio-temporal objects, and the number of overall possibilities. Second, it has repercussions for the tenability of some philosophical positions, like Generalism, which is usually interpreted as entailing Anti-Haecceitism while at the same time being compatible with the claim that the Identity of Indiscernibles is not necessarily true. If I am correct, Generalism and similar philosophical accounts turn out to be inconsistent. Finally, it provides a strong argument for Haecceitism, given that the majority of authors today find counterexamples to the Identity of Indiscernibles extremely convincing, and many philosophical positions have been and continue being criticised on the basis of their commitment to the Identity of Indiscernibles. The paper is structured as follows: I introduce Haecceitism and the Identity of Indiscernibles in Sects. 1 and 2 respectively. Drawing on a result from the Philosophy of Quantum Mechanics, which I survey in Sect. 3, I give my main argument in Sect. 4. Finally, I discuss some implications in Sect. 5. (shrink)

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic inferential step. Finally, it (...) will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (shrink)

In this paper, I draw a distinction between two types of deepfake, and unpack the deceptive strategies that are made possible by the second. The first category, which has been the focus of existing literature on the topic, consists of those deepfakes that act as a fabricated record of events, talk, and action, where any utterances included in the footage are not addressed to the audience of the deepfake. For instance, a fake video of two politicians conversing with one another. (...) The second category consists of those deepfakes that direct an illocutionary speech act - such as a request, injunction, invitation, or promise - to an addressee who is located outside of the recording. For instance, fake footage of a company director instructing their employee to make a payment, or of a military official urging the populace to flee for safety. Whereas the former category may deceive an audience by giving rise to false beliefs, the latter can more directly manipulate an agent's actions: the speech act's addressee may be moved to accept an invitation or a summons, follow a command, or heed a warning, and in doing so further a deceiver's unethical ends. (shrink)

I advance arguments in favour of PKF as an articulation of a central sense of the predicate ‘true’, and show how it illuminates the relationship between that sense and the ‘external’ notion of truth found in such claims as ‘An utterance of the Liar Sentence does not say anything, and so is not true’.

In current philosophy of mind, there is lively debate over whether emotions, moods, and other affects can extend to comprise elements beyond one’s organismic boundaries. At the same time, there has been growing interest in the nature and significance of so-called existential feelings, which, as the term suggests, are feelings of one’s overall being in the world. In this article, I bring these two strands of investigation together to ask: Can the material underpinnings of existential feelings extend beyond one’s skull (...) and skin? To begin, I introduce and adopt a componential-systemic view of extended affectivity. In doing so, I specify the vehicle externalist criteria for extension employed in my analysis. I then define what existential feelings are and pinpoint several key issues in their potential extension. More specifically, I identify sensorimotor ‘know-how’ as a possibly extending component of existential feeling and posit it as the fulcrum of my argument. Finally, I move on to consider the extension of existential feeling via sensory substitution, especially through so-called Tactile Visual Sensory Substitution (TVSS) devices. Informed by both philosophical and empirical studies, I argue that, under certain conditions, (a) the agent’s implicit sensorimotor processing and a TVSS device can become coupled into a new systemic whole, which in turn (b) reconfigures the material underpinnings of the agent’s pre-intentional world-experience. This, I conclude, counts as a cogent case for extended existential feeling. (shrink)

Philosophers have debated at length the epistemological status of scientific thought experiments. I contend that the literature on this topic still lacks a common conceptual framework, a lacuna that produces radical disagreement among the participants in this debate. To remedy this problem, I suggest focusing on the distinction between the internal and the external validity of an experiment, which is also crucial for thought experiments. I then develop an account of both kinds of validity in the context of thought experiments. (...) I show that we can naturally conceptualise internal validity in terms of games of make-believe. Then, I argue that external validity is best defined as accurate representation of a target system. Finally, I turn back to the current debate on thought experiments and show that my diarchic account provides a general framework that can be shared by the competing philosophical views, as well as a fruitful guide for their reconciliation. (shrink)

Practical ability manifested through robust and reliable task performance, as well as information relevance and well-structured representation, are key factors indicative of understanding in the philosophical literature. We explore these factors in the context of deep learning, identifying prominent patterns in how the results of these algorithms represent information. While the estimation applications of modern neural networks do not qualify as the mental activity of persons, we argue that coupling analyses from philosophical accounts with the empirical and theoretical basis for (...) identifying these factors in deep learning representations provides a framework for discussing and critically evaluating potential machine understanding given the continually improving task performance enabled by such algorithms. (shrink)

The dominant view maintains that names are directly referring, rigid terms, the primary function of which is to designate an individual. But, as has long been noted, proper names also allow for predicative uses and combine with quantifiers and definite, indefinite, and numerical determiners. Any adequate semantic account of proper names thus must make sense not just of their referential uses but also of their seemingly predicative ones. Predicativists maintain that such uses manifest a name’s semantically encoded, predicative meaning, while (...) the directly referential theorists argue that they involve polysemic or pragmatic, metalinguistic re-interpretations. But while competing accounts differ radically in their analyses of such uses, they all, in the wake of Kripke’s attack on descriptivism, share a common feature: they interpret a predicative use of a name N as expressing (either semantically or pragmatically) the property of being called N. I argue that no such account of predicative uses currently on offer is successful. Indeed, adequately characterizing being called condition is more difficult than has been appreciated. The best attempt—on predicative and directly referential accounts alike—leaves a surprising consequence: names are ambiguous in a way unlike any other we witness with other kinds of lexical items. (shrink)

Model transfer is the scientific practice of taking a model which was initially applied in one particular kind of target system in some particular scientific domain and applying it to represent a novel target system in a novel scientific domain. This paper motivates a realist interpretation of empirically successful model transfers and the implications of such an interpretation for the metaphysics of science. The paper uses two examples of empirically successful model transfer, the first of which is a strikingly successful (...) recent application of the Ising model to neurobiology, the second of which is Maxwell’s “method of physical analogy”. The paper first defends the need for a realist picture regarding the transfer of model templates and the apparent discovery of physical analogies. Then, it examines further the implications of such a picture, finding it to be quite revisionary in its conception of the nature of causal processes. (shrink)

Intuition-based accounts of the a priori are criticised for appealing to a “mysterious” faculty of rational intuition to explain how a priori knowledge is possible. Analyticity-based accounts are typically motivated by opposition to them, offering a purportedly “non-mysterious” account of the a priori. In this paper, I argue that analyticity-based accounts are in no better position to explain the a priori than intuition-based accounts, and that we have good reason to doubt the explanation they offer. To do this, I focus (...) on recent analyticity-based accounts of the a priori, which appeal to understanding alone to explain the a priori. First, I argue that the appeal to understanding as the source of the a priori is no less mysterious than the appeal to rational intuition. Second, I argue that analyticity-based accounts of the a priori do not provide an alternative to intuition-based accounts as the fundamental explanation they offer of the a priori is one that could equally be endorsed by a friend of rational intuition—and that they fail for reasons that do not undermine intuition-based accounts. (shrink)

One major insight derived from the moral twin earth debate is that evaluative and descriptive terms possess different levels of semantic stability, in that the meanings of the former but not the latter tend to remain constant over significant counterfactual variance in patterns of application. At the same time, it is common in metanormative debate to divide evaluative terms into those that are thin and those that are thick. In this paper, I combine debates about semantic stability and the distinction (...) between the thin and the thick by presenting a new seamless inferentialist account of thin and thick evaluative terms which, despite subsuming them under the same metasemantic analysis, can nevertheless account for their varying levels of semantic stability. According to this position of ‘seamless metaconceptualism’, thin and thick evaluative terms do not belong to different categories, but are both understood as metaconceptual devices which do not differ in kind, but in scope. By providing the same analysis for both thin and thick terms, seamless metaconceptualism not only entails that the latter cannot shoulder the philosophical work that some have attributed to them, but also removes much of their surrounding intrigue. (shrink)

All of us, including scientists, make judgments about what is true or false, probable or improbable. And in the process, we frequently appeal to concepts such as evidential support or explanation. Bayesian philosophers of science have given illuminating formal accounts of these concepts. This paper aims to follow in their footsteps, providing a novel formal account of various additional concepts: the likelihood-prior trade-off, successful accommodation of evidence, ad hocness, and, finally, consilience—sometimes also called “unification”. Using these accounts, I also provide (...) a new Bayesian analysis of how someone such as Charles Darwin hypothetically could have reasoned in favor of evolution over special creationism. Lastly, I explore how these accounts relate to other topics and accounts in philosophy, and I chart out some areas for further research. (shrink)

Why should we be means-end rational? Why care whether someone’s mental states exhibit certain formal patterns, like the ones formalized in causal decision theory? This paper establishes a dominance argument for these constraints in a finite setting. If you violate the norms of causal decision theory, then your desires will be aptness dominated. That is, there will be some alternative set of desires that you could have had, which would be more apt (closer to the actual values fixed by your (...) sensibility/ what you intrinsically care about) no matter which world is actual. If we care about having apt desires, then, we should never let ourselves violate these norms of means-end rationality. This argument shares a form with now-standard accuracy arguments for probabilism, opening up a new terrain for that discussion. I show that the foundational assumptions about the shape of accuracy and of aptness required to run the arguments for means-end rationality and for probabilism run closely parallel. I show the argument is robust under different theories of subjective actual value, including nonclassical treatments of indeterminacy in actual value; I show the argument may (but need not!) be generalized to objective theories of value. The upshot is that aptness-domination arguments for decision theories should be added to the philosophical playbook. (shrink)

Diversity of practice is widely recognized as crucial to scientific progress. If all scientists perform the same tests in their research, they might miss important insights that other tests would yield. If all scientists adhere to the same theories, they might fail to explore other options which, in turn, might be superior. But the mechanisms that lead to this sort of diversity can also generate epistemic harms when scientific communities fail to reach swift consensus on successful theories. In this paper, (...) we draw on extant literature using network models to investigate diversity in science. We evaluate different mechanisms from the modeling literature that can promote transient diversity of practice, keeping in mind ethical and practical constraints posed by real epistemic communities. We ask: what are the best ways to promote an appropriate amount of diversity of practice in scientific communities? (shrink)

Definite descriptions are widely discussed in linguistics and formal semantics, but their formal treatment in logic is surprisingly modest. In this article we present a sound, complete, and cut-free tableau calculus TCRλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf{TC}}_{R_{\lambda }}$$\end{document} for the logic LRλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf{L}}_{R_{\lambda }}$$\end{document} being a formalisation of a Russell-style theory of definite descriptions with the iota-operator used to construct definite descriptions, the lambda-operator forming predicate-abstracts, and definite descriptions (...) as genuine terms with a restricted right of residence. We show that in this setting we are able to overcome problems typical of Russell’s original theory, such as scoping difficulties or undesired inconsistencies. We prove the Craig interpolation property for the proposed theory, which, through the Beth definability property, allows us to check whether an individual constant from a signature has a definite description-counterpart under a given theory. (shrink)

In recent years, postgenomic research, and the fields of epigenetics and microbiome science in particular, have described novel ways in which social processes of racialization can become embodied and result in physiological and health-related racial difference. This new conception of biosocial race has important implications for philosophical debates on the ontology of race. We argue that postgenomic research on race exhibits two key biases in the way that racial schemas are deployed. Firstly, although the ‘new biosocial race’ has been characterized (...) as social race entering into biological processes, it is only particular aspects of social race that are taken to cross the biosocial boundary, resulting in a distorted view of the social component of biosocial race. Secondly, racial categories are assumed to be stable across time and space. This assumption is epistemically limiting, as well as indicating a reliance on a fixed racial ontology. However, the causal pathways for the embodiment of social race, and the different possible modes of embodiment, that postgenomic science is uncovering themselves present a challenge for fixed or static racial ontologies. Given these tensions, we argue that the emerging picture of a shifting landscape of entanglement between the social and the biological requires us to increase the complexity of our ontologies of race, or even embrace a deflationary metaphysics of race. (shrink)

In this work we discuss issues of ontological commitment towards one of the most important examples of contemporary fundamental science: the standard model of particle physics. We present a new form of selective structural realism, which uses as its basis the distinction between what have been called framework and interaction theories. This allows us to advance the ongoing debate about the ontological status of (quasi-)particles and quantum fields, by emphasising the distinction between quantum field theory serving as a framework, and (...) the standard model itself, which we argue is an interaction theory embedded within this framework. Following a discussion of what ontological commitments corresponds to each of these two classes, we argue that some of the previous proposals in the literature might have been misguided by the blending of quantum field theory and the standard model into an undifferentiated unity, and defend a moderate form of object realism with respect to particle-like entities. (shrink)

An important part of research is situating one’s work in a body of existing literature, thereby connecting to existing ideas. Despite this, the various kinds of relationships that might exist among academic literature do not appear to have been formally studied. Here I present a graphical representation of academic work in terms of entities and relations, drawing on structure-mapping theory (used in the study of analogies). I then use this representation to present a typology of operations that could relate two (...) pieces of academic work. I illustrate the various types of relationships with examples from medicine, physics, psychology, history and philosophy of science, machine learning, education, and neuroscience. The resulting typology not only gives insights into the relationships that might exist between static publications, but also the rich process whereby an ongoing research project evolves through interactions with the research literature. (shrink)

This paper revisits Buridan’s Bridge paradox (Sophismata, chapter 8, Sophism 17), itself close kin to the Liar paradox, a version of which also appears in Bradwardine’s Insolubilia. Prompted by the occurrence of the paradox in Cervantes’s Don Quixote, I discuss and compare four distinct solutions to the problem, namely Bradwardine’s “just false” conception, Buridan’s “contingently true/false” theory, Cervantes’s “both true and false” view, and then the “neither true simpliciter nor false simpliciter” account proposed more recently by Jacquette. All have in (...) common to accept that the Bridge expresses a truth-apt proposition, but only the latter three endorse the transparency of truth. Against some previous commentaries I first show that Buridan’s solution is fully compliant with an account of the paradox within classical logic. I then argue that Cervantes’s insights, as well as Jacquette’s treatment, are both supportive of a dialetheist account, and Jacquette’s in particular of the strict-tolerant account of truth. I defend dialetheist intuitions (whether in LP or ST guise) against two objections: one concerning the future, the other concerning the alleged simplicity of the Bridge compared to the Liar. (shrink)

Contrastivism is the view that knowledge is a ternary relation between an agent, a content proposition, and a contrast, and it explains that a binary knowledge ascription sentence appears to be context-sensitive because different contexts can implicitly fill the contrast with different values. This view is purportedly supported by certain linguistic evidence. An objective of this paper is to argue that contrastivism is not empirically adequate, as there are examples that favor its contextualist cousin. Thereafter, I shall develop a contextualist (...) account for the relevant linguistic data. The account consists of a contextualist semantics and some rules of pragmatics. The two parts combined show that contrastivism is neither sufficient nor necessary as a satisfactory theory of knowledge ascriptions. (shrink)

Responsibility gaps concern the attribution of blame for harms caused by autonomous machines. The worry has been that, because they are artificial agents, it is impossible to attribute blame, even though doing so would be appropriate given the harms they cause. We argue that there are no responsibility gaps. The harms can be blameless. And if they are not, the blame that is appropriate is indirect and can be attributed to designers, engineers, software developers, manufacturers or regulators. The real problem (...) lies elsewhere: autonomous machines should be built so as to exhibit a level of risk that is morally acceptable. If they fall short of this standard, they exhibit what we call ‘a control gap.’ The causal control that autonomous machines have will then fall short of the guidance control they should emulate. (shrink)

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

In this paper I argue that the concept of time-reversal invariance in physics suffers from metaphysical underdetermination, that is, that the concept may be understood differently depending on one’s metaphysics about time, laws, and a theory’s basic properties. This metaphysical under-determinacy also affects subsidiary debates in philosophy of physics that rely on the concept of time-reversal invariance, paradigmatically the problem of the arrow of time. I bring up three cases that, I believe, fairly illustrate my point. I conclude, on the (...) one hand, that any formal representation of time reversal should be explicit about the metaphysical assumptions of the concept that it intends to represent; on the other, that philosophical arguments that rely on time reversal to argue against a direction of time require additional premises. (shrink)

In this paper, we discuss the processes of racialisation on the example of biomedical research. We argue that applying the concept of racialisation in biomedical research can be much more precise, informative and suitable than currently used categories, such as race and ethnicity. For this purpose, we construct a model of the different processes affecting and co-shaping the racialisation of an individual, and consider these in relation to biomedical research, particularly to studies on hypertension. We finish with a discussion on (...) the potential application of our proposition to institutional guidelines on the use of racial categories in biomedical research. (shrink)

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis says all counterpossibles are true solely because their antecedents are impossible. Recently, some have rejected the vacuity thesis by citing purported non-vacuous counterpossibles in science. One limitation of this work, however, is that it is not grounded in experimental data. Do scientists actually reason non-vacuously about counterpossibles? If so, what is their basis for doing so? We presented biologists (N = 86) with two counterfactual formulations of a well-known (...) model in biology, the antecedents of which contain what many philosophers would characterize as a metaphysical impossibility. Participants consistently judged one counterfactual to be true, the other to be false, and they explained that they formed these judgments based on what they perceived to be the mathematical relationship between the antecedent and consequent. Moreover, we found no relationship between participants’ judgments about the (im)possibility of the antecedent and whether they judged a counterfactual to be true or false. These are the first experimental results on counterpossibles in science with which we are familiar. We present a modal semantics that can capture these judgments, and we deal with a host of potential objections that a defender of the vacuity thesis might make. (shrink)

Philosophers of language and linguists need to be wary of generalizing from too small a sample of natural languages. They also need to be wary of neglecting possible insights from philosophical traditions that have focused on natural languages other than the most familiar Western ones. Take, for example, classical Indian philosophy, where philosophical concerns with language were very much involved with the early development of Sanskrit linguistics. Indian philosophers and linguists frequently discussed more general issues about semantics, often in ways (...) that are both similar to and interestingly different from Western philosophers.One such issue is the problem of sentential unity: what is the relation of our understanding of the meaning of a sentence to our understanding of the meaning of the words that compose it? If words have meanings, why is the meaning of a sentence not just the meaning of the words that compose it? A challenging Indian response is that of the grammarian and philosopher Bhartṛhari (fifth-century), who advocated for a kind of sentence-holism according to which words are unreal and sentence-meaning is primary. (shrink)

When is it legitimate for a government to ‘nudge’ its citizens, in the sense described by Thaler and Sunstein (2008)? In their original work on the topic, Thaler and Sunstein developed the _‘as judged by themselves’ (or AJBT) test_ to answer this question (Thaler and Sunstein 2008, p. 5). In a recent paper, Paul and Sunstein (2019) raised a concern about this test: it often seems to give the wrong answer in cases in which we are nudged to make a (...) decision that leads to what Paul calls a _personally transformative experience_, that is, one that results in our values changing (Paul 2014). In those cases, the nudgee will judge the nudge to be legitimate after it has taken place, but only because their values have changed as a result of the nudge. In this paper, I take up the challenge of finding an alternative test. I draw on my _aggregate utility account_ of how to choose in the face of what Ullmann-Margalit (2006) calls _big decisions_, that is, decisions that lead to these personally transformative experiences (Pettigrew 2019, Chapters 6 and 7). (shrink)

Understood as a psychological phenomenon, there has been very little discussion of cryptomnesia in the philosophical literature. Cryptomnesia presents us with a strange phenomenon in which we take ourselves to be imagining, but the thought or idea that we entertain actually involves remembered content. In this paper, we argue for a three-factor account of cryptomnesia, according to which it is a mnemonic phenomenon that involves imagination. We provide an account of both the ‘mnemonic’ and ‘imaginative’ aspects of cryptomnesia in terms (...) of the attitude, the content, and the metacognitive processes involved in those states. In addition, we show how our three-factor account is better suited to account for cryptomnesia than competing philosophical theories of episodic memory. We conclude by discussing how the three-factor account sheds light on a range of other mnemonic and imaginative phenomena. (shrink)

Groups can be epistemically vicious just like individuals. And just like individuals, groups sometimes want to do something about their vices. They want to change. However, intentionally combating one’s own vices seems impossible without detecting those vices first. Self-knowledge seems to provide a first step towards changing one’s own epistemic vices. I argue that groups can acquire self-knowledge about their epistemic vices and I propose an account of such collective self-knowledge. I suggest that collective self-knowledge of vices is partially based (...) on evidence that a group can generate by performing internal promptings. Whereas these promptings are done mentally in individual self-knowledge, these promptings are done by interactions of group members in the collective case. The group can then acquire inferential self-knowledge of their vices based on the evidence generated by the interactions within the group. Groups thereby bring themselves into a position from which they can combat and change those vices intentionally. (shrink)

The paper investigates to what extent the method of cases can be interpreted as either a descriptive or a normative enterprise. I demonstrate that although most instances of the method of cases in most philosophical theories could be interpreted as being intended to either discover or revise the meaning of their target concepts, within a theory of reference this method cannot be used to shift the meaning of the concept of reference. The reason for this is that intuitions of extension (...) in a theory of reference constitute a set of data that needs to be explained, while in most other philosophical theories they could either be abandoned in favor of intuitions of intension or serve as a criterion for the adequacy of the proposed definition of the target concept. This feature of a theory of reference is caused by the fact that an implicit understanding of what reference is in a theory of reference is usually assumed and is out of discussion. In effect, the claim in paradigmatic instances of the method of cases within a theory of reference does not concern whether an expression does or does not refer in particular cases, but rather what the reference of a certain expression is, and therefore it cannot be justified by intuitions of intension. (shrink)

Legal and moral luck goes against the basic principle of criminal law that responsibility ascriptions are based on the mental state of the perpetrator, rather than merely the outcome of her action. If outcome should not play a decisive role in responsibility ascriptions, the attempt versus perpetration distinction becomes more difficult to justify. One potential justification is that we never know whether the attempter would not have resigned from pursuing her criminal intent even at the last moment. However, this paper (...) argues that resigning from criminal intent and trying to stop the criminal outcome, which is called the renunciation defense, can be just as subject to outcome luck as the attempt versus perpetration distinction. And yet the availability of the renunciation defense in court is outcome dependent. I show with a series of experiments (N = 479) that outcome dependence for the renunciation defense is perceived as unjust and discuss the implications for the renunciation defense as well as attempt versus perpetration distinction. (shrink)

This paper contributes to the debate on the question of whether a systematic connection obtains between one’s commitment to realism or antirealism and one’s attitude towards the possibility of radical theoretical novelty, namely, theory change affecting our best, most successful theories (see, e.g., Stanford in Synthese 196:3915–3932, 2019; Dellsén in Stud Hist Philos Sci 76:30–38, 2019). We argue that it is not allegiance to realism or antirealism as such that primarily dictates one’s response to the possibility of radical theoretical novelty: (...) what matters the most is, rather, the proposed alternative’s promise to realize one’s favored cognitive aim(s). Our argument tells not only against Stanford’s account of how adherence to realism or antirealism orients how one responds to possible radical theoretical novelty, but also against what we call the “natural pairing thesis.” According to such a thesis, which has kept resurfacing in the history of the philosophy of science, one-to-one pairings obtain between realism/antirealism, on the one hand, and theoretical conservatism/openness to radical theoretical novelty, on the other hand. As our argument suggests, however, when faced with the possibility of radical theoretical novelty, realists can respond either in a conservative way or by being open to theory change, not unlike antirealists. (shrink)

The illicit diffusion of intimate photographs or videos intended for private use is a troubling phenomenon known as the diffusion of Non-Consensual Intimate Images (NCII). Recently, it has been feared that the spread of deepfake technology, which allows users to fabricate fake intimate images or videos that are indistinguishable from genuine ones, may dramatically extend the scope of NCII. In the present essay, we counter this pessimistic view, arguing for qualified optimism instead. We hypothesize that the growing diffusion of deepfakes (...) will end up disrupting the status that makes our visual experience of photographic images and videos epistemically and affectively special; and that once divested of this status, NCII will lose much of their allure in the eye of the perpetrators, probably resulting in diminished diffusion. We conclude by offering some caveats and drawing some implications to better understand, and ultimately better counter, this phenomenon. (shrink)