Sorensen (1992) has provided two modal-logical schemas to reconstruct the logical structure of two types of destructive thought experiments: the Necessity Refuter and the Possibility Refuter. The schemas consist of five propositions which Sorensen claims but does not prove to be inconsistent.We show that the five propositions, as presented by Sorensen, are not inconsistent, but by adding a premise (and a logical truth), we prove that the resulting sextet of premises is inconsistent. Häggqvist (2009) has provided a different modal-logical schema (...) (Counterfactual Refuter), which is equivalent to four premises, again claimed to be inconsistent. We show that this schema also is not inconsistent, for similar reasons. Again, we add another premise to achieve inconsistency. The conclusion is that all three modal-logical reconstructions of the arguments that accompany thought experiments, two by Sorensen and one by Häggqvist, have now been made rigorously correct. This may inaugurate new avenues to respond to destructive thought experiments. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian “infinite book copies” (...) objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

The paper presents different arguments against the necessity of mereological universalism. First, it argues that they are examples of a much more general argumentative structure. It then contends that some of these arguments cannot be resisted by distinguishing different variants of universalism that have been recently proposed in the literature—in contrast with recent suggestions to the contrary. Finally, it provides different ways to resist such contingentist arguments on behalf of universalists.

Although many find it hard to believe that every physical thing—no matter how simple or small—involves some form of consciousness, panpsychists offer the reassurance that their claims are perfectly compatible with everything physics has to say about the physical world. This is because although physics has a lot to say about causal and structural properties it has nothing to say about the intrinsic natures of physical things, and if physics is silent in this regard it is perfectly possible that everything (...) physical has an experiential intrinsic nature. Following in Thomas Nagel’s footsteps, panpsychists have also argued that by revealing that everything is composed of the same fundamental ingredients, physics provides grounds for holding that if any physical things (e.g. our neural processes) have an experiential intrinsic nature then all must. My main contention in this paper is that the relationship between physics and panpsychism is considerably more complex than panpsychists have tended to assume. Nagel’s reasoning may be sound in the context of simplistic atomic theories which posit just one kind of fundamental particle. However, it begins to look distinctly dubious in the context of the diverse range of primitive entities that are to be found in the Standard Model of particle physics. Galen Strawson has suggested that mass-energy interconvertibility should be regarded as evidence that everything physical has the same intrinsic nature. I suggest Strawson’s claim relies on a dubious construal of the nature of energy. Special relativity is another of the cornerstones of contemporary physics, and it too makes life difficult for panpsychists, a fact which emerges when we consider what it would like to be a ray of light. However in this case I suggest that there is an interesting—if radical—move open to the panpsychist: they can simply deny that light exists. To conclude I briefly consider whether what QCD has revealed about the nature of mass poses a problem for panpsychism. (shrink)

This article argues that the “_qua_ problem” for purely causal theories of reference grounding is an illusion. Reference _can_ be grounded via description and fit, but purely causal reference grounding is possible too. In fact, “arguments from ignorance and error” suggest that many of our terms have had their reference grounded purely causally. If the _qua_ problem is illusory, then there is no need to adopt a “hybrid” theory of reference grounding of the kind recently recommended by Amie Thomasson (Ontology (...) made easy, Oxford University Press, Oxford, 2015) and Ron Mallon (The construction of human kinds, Oxford University Press, Oxford, 2016). This opens the door to a “discovery model” of philosophical knowledge, a model we could then choose to accept. (shrink)

As the label suggests, according to _propositionalism_, each intentional mental state, attitude or event is or involves a relation to a proposition. In this paper, I will discuss a case that seems prima facie not to be accountable for by propositionalism. After having presented the case, I will show why it is different from others that have been discussed in the literature as able to show that propositionalism cannot be correct. I will then consider what the propositionalist can say to (...) fix the problem and I will show that no strategy that is genuinely propositionalist seems promising. I will not conclude that propositionalism is doomed. But I will show that if propositionalism can account for our case at all, it can only do so by losing its main appeal, i.e. its elegance and simplicity. But then propositionalism seems to have lost its advantage with respect to its obvious alternative, i.e. a pluralist account according to which mental states, attitudes and events are not all homogeneously relations to propositions, but rather our mental life should be accounted for in terms of a plurality of kinds of relata. (shrink)

Virtually all philosophers of science have construed fundamental theories as descriptions of entities, properties, and/or structures. Call this the “descriptive-ontological” view. I argue that this view is incorrect, at least insofar as physical theories are concerned. I propose a novel construal of theories that I call the “prescriptive-dynamical” view. The central tenet of this view, roughly put, is that the _essential_ content of fundamental physical theories is a _prescription for interfacing with natural systems and translating local data into compact theoretical (...) language_. The descriptive-ontological aspects of theories, if any, are taken as _inessential_ content on this view: they do not contribute to the predictive success of the theory. Rather than describing _what is there_, the essence of a physical theory is to tell us _what to do_ when interfacing with a physical system. (shrink)

Verbal disputes are often seen as closely related to a lack of substantivity. However, a systematic and comprehensive investigation of how verbalness relates to substantivity is still missing. The present paper attempts to close this gap. In addition to offering different conceptions of verbalness, the paper further develops Sider’s (Writing the Book of the World, OUP, Oxford, 2011) notion of substantivity. Ultimately, I argue for a more careful choice of terminology when it comes to assessing a dispute as “(merely) verbal” (...) or “nonsubstantive”. While the paper shows that there is no strict logical relation between mere verbalness and nonsubstantivity construed along the lines set out by Sider, it also demonstrates that further notable notions of (mere) verbalness and substantivity are in fact closely intertwined. (shrink)

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

According to the Higher-Order Thought (HOT) theory of consciousness, conscious states are just those states that are the object of a suitable higher-order thought to the effect that one is in that state. These higher-order thoughts perform this role by providing subjects with a particular type of _awareness_. However, HOT theorists have tended to offer two alternative formulations of this awareness when stating the basic claims of HOT theory. According to what I call the _state formulation_ of HOT theory, HOTs (...) provide subjects with an awareness of _mental states_, and a mental state is conscious only if the subject is aware of that state. According to what I call the _oneself formulation_ of HOT theory, HOTs provide subjects with an awareness of _themselves as being in a mental state_, and a mental state is conscious only if the subject is aware of themselves as being in that state. In this paper I explore the dialectical significance and legitimacy of HOT theorists’ current practice of employing both formulations. I argue that there is some reason for HOT theorists to adopt the oneself formulation, rather than the state formulation. However, this appears to weaken HOT theory considerably, by abandoning the idea that when our mental states are conscious, we are aware of those states themselves. Against this objection I argue that adopting the oneself formulation does not require abandoning the basic idea lying behind the state formulation and that this is consistent with the reasons for favouring the oneself formulation. (shrink)

I argue for constraining the nomological possibility space of temporal experiences and endorsing the Succession Requirement for agents. The Succession Requirement holds that the basic structure of temporal experience must be successive for agentive subjects, at least in worlds that are law-like in the same way as ours. I aim to establish the Succession Requirement by showing non-successively experiencing agents are not possible for three main reasons, namely that they (1) fail to stand in the right sort of causal relationship (...) to the outcomes of their actions, (2) exhibit the wrong sort of epistemic status for agency, and (3) lack the requisite agentive mental attitude of intentionality. I conclude that agency is incompatible with non-successive experience and therefore we should view the successive temporal structure of experience as a necessary condition for agency. I also suggest that the Succession Requirement may actually extend beyond my main focus on agency, offering preliminary considerations in favor of seeing successive experience as a precondition for selfhood as well. The consequences of the Succession Requirement are wide-ranging, and I discuss various implications for our understanding of agency, the self, time consciousness, and theology, among other things. (shrink)

This paper provides a reinterpretation of some of the most influential skeptical arguments, Agrippa’s trilemma, meta-regress arguments, and Cartesian external world skepticism. These skeptical arguments are reasonably regarded as unsound arguments about the extent of our knowledge. However, reinterpretations of these arguments tell us something significant about the preconditions and limits of persuasive argumentation. These results contribute to the ongoing debates about the nature and resolvability of deep disagreement. The variety of skeptical arguments shows that we must distinguish different types (...) of deep disagreement. Moreover, the reinterpretation of skeptical arguments elucidates that deep disagreement cannot be resolved via argumentation. (shrink)

The increasing precision of observations of the large-scale structure of the universe has created a problem for simulators: running the simulations necessary to interpret these observations has become impractical. Simulators have thus turned to machine learning (ML) algorithms instead. Though ML decreases computational expense, one might be worried about the use of ML for scientific investigations: How can algorithms that have repeatedly been described as black-boxes deliver scientific understanding? In this paper, I investigate how cosmologists employ ML, arguing that in (...) this context, ML algorithms should not be considered black-boxes and can deliver genuine scientific understanding. Accordingly, understanding the methodological role of ML algorithms is crucial to understanding the types of questions they are capable of, and ought to be responsible for, answering. (shrink)

In this paper, I distinguish between two possible versions of Amie Thomasson’s easy ontology project that differ in virtue of positing atomic or holistic application conditions, and evaluate the strengths of a holistic version over a non-holistic version. In particular, I argue that neither of the recently identified regress or circularity problems are troublesome for the supporter of easy ontology if they adopt a holistic account of application conditions. This is not intended to be a defence of easy ontology from (...) all possible objections, but rather to compare holistic and non-holistic versions of the view. This discussion is also significant in that it serves to highlight two distinct forms of easy ontology, which, I argue, need to be distinguished when assessing the merits of the easy approach in future work. (shrink)

Many influential philosophers have claimed that truth is valuable, indeed so valuable as to be the ultimate standard of correctness for intellectual activity. Yet most philosophers also think that truth is only instrumentally valuable. These commitments make for a strange pair. One would have thought that an ultimate standard would enjoy more than just instrumental value. This paper develops a new argument for the non-instrumental value of truth: (1) inquiry is non-instrumentally valuable; and (2) truth inherits some of its value (...) from the value of inquiry. This makes truth finally but extrinsically valuable, a thesis that to my knowledge has not been directly defended in the literature. I support (1) by appeal to the notion of epistemic injustice, and (2) through the surprising claim that some goals get their value from the pursuit that aims at them. (shrink)

Ever since the publication of Kripke’s Wittgenstein on Rules and Private Language, there’s been a raging debate in philosophy of language over whether meaning and thought are, in some sense, normative. Most participants in the normativity wars seem to agree that some uses of meaningful expressions are semantically correct while disagreeing over whether this entails anything normative. But what is it to say that a use of an expression is semantically correct? On the so-called orthodox construal, it is to say (...) that it doesn’t result in a factual mistake, that is, in saying or thinking something false. On an alternative construal it is instead to say that it doesn’t result in a distinctively linguistic mistake, that is, in misusing the expression. It is natural to think that these two construals of semantic correctness are simply about different things and not in competition with each other. However, this is not the common view. Instead, several philosophers who subscribe to the orthodox construal have argued that the alternative construal of correctness as use in accordance with meaning doesn’t make any sense, partly because there are no clear cases of linguistic mistakes (Whiting 2016, Wikforss 2001). In this paper I develop and defend the idea that there’s a distinctively linguistic notion of correctness as use in accordance with meaning and argue that there are clear cases of linguistic mistakes. (shrink)

On the Lockean thesis one ought to believe a proposition if and only if one assigns it a credence at or above a threshold (Foley in Am Philos Q 29(2):111–124, 1992). The Lockean thesis, thus, provides a way of characterizing sets of all-or-nothing beliefs. Here we give two independent characterizations of the sets of beliefs satisfying the Lockean thesis. One is in terms of betting dispositions associated with full beliefs and one is in terms of an accuracy scoring system for (...) full beliefs. These characterizations are parallel to, but not merely derivative from, the more familiar Dutch Book (de Finetti in Theory of probability, vol 1, Wiley, London, 1974) and accuracy (Joyce in Philos Sci 65(4):575–603, 1998) arguments for probabilism. (shrink)

I defend a new argument for causal finitism, the view that nothing can have an infinite causal history. I begin by defending a number of plausible metaphysical principles, after which I explore a host of novel variants of the Littlewood-Ross and Thomson’s Lamp paradoxes that violate such principles. I argue that causal finitism is the best solution to the paradoxes.

It is often claimed that Russellian monism carries a commitment to a structuralist conception of physics, on which physics describes the world only in terms of its spatiotemporal structure and dynamics. We argue that this claim is mistaken. On Russellian monism, there is more to consciousness, and to the rest of concrete reality, than spatiotemporal structure and dynamics. But the latter claim supports only a conditional claim about physics: _if_ structuralism about physics is true, then there is more to consciousness (...) and to the rest of concrete reality than physics describes. Given the fundamental nature of their position, Russellian monists can, we argue, deny the antecedent without inconsistency. We also draw out two significant consequences of that result. One is that it provides a response to some recent objections to Russellian monism, by Alyssa Ney and Eric Hiddleston. The other consequence concerns a line of reasoning known as _the structure and dynamics argument_—reasoning that is thought to motivate Russellian monism. In David J. Chalmers’s version, which is regarded as canonical, structuralism about physics is implied by a premise. If our main thesis is true, then that version is problematic, at least from the perspective of Russellian monists who take the argument to motivate their theory. However, we argue, the argument can be reformulated without relying on structuralism about physics. (shrink)

The goal of this essay is to put forward an original theory of artifact function, which takes on board the results of the debate on the notion of biological function and also accommodates the distinctive aspects of artifacts. More precisely, the paper develops and defends the Dual-Aspect Theory, which is a monist account according to which an artifact’s function depends on intentional and reproductive aspects. It is argued that this approach meets a set of theoretical and meta-theoretical desiderata and is (...) superior to alternative views. (shrink)

Some facts ground other facts. Some fact is fundamental iff there are no other facts which partially or fully ground that fact. According to metaphysical foundationalism, every non-fundamental fact is fully grounded by some fundamental fact(s). In this paper I examine and defend some neglected considerations which might be made in favor of metaphysical foundationalism. Building off of work by Ross Cameron, I suggest that foundationalist theories are more unified than, and so in one important respect simpler than, non-foundationalist theories, (...) insofar as foundationalist theories allow us to derive all non-fundamental facts from some fundamental fact(s). Non-foundationalist theories can enjoy a similar sort of theoretical unification only by taking on objectionable metaphysical laws. (shrink)

Octopuses are highly intelligent animals with vertebrate-like cognitive and behavioural repertoires. Despite these similarities, vertebrate-based models of cognition and behaviour cannot always be successfully applied to octopuses, due to the structural and functional characteristics that have evolved in their nervous system in response to the unique challenges posed by octopus morphology. For instance, the octopus brain does not support a _somatotopic_ or point-for-point spatial map of the body—an important feature of vertebrate nervous systems. Thus, while octopuses are capable of motor (...) tasks whose vertebrate counterparts require detailed interoceptive monitoring, these movements may not be explainable using motor control frameworks premised on internal spatial representation. One such motor task is the extension of a single arm. The ability of octopuses to select and use a single arm without the guidance of a somatotopic map has been regarded as a motor control puzzle. In an attempt at a solution, this paper develops a predictive processing account of single-arm extension in octopuses. (shrink)

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument relies on (...) a principle, _Purity_, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument from _Settledness_—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

According to Jody Azzouni’s “deflationary nominalism,” the singular terms of mathematical language applied or unapplied to science refer to nothing at all. What does exist, Azzouni claims, must satisfy the quaternary condition he calls “thick epistemic access” (TEA). In this paper I argue that TEA surreptitiously reifies some mathematical entities. The mathematical entity that I take TEA to reify is the Fourier harmonic, an infinite-duration monochromatic sinusoid applied throughout engineering and physics. I defend the reality of the harmonic, in Azzouni’s (...) account, not by satisfying all four TEA conditions with respect to it, but by showing that the harmonic renders satisfiable the TEA condition called “grounding,” specifically in Azzouni’s (Talking about nothing: numbers, hallucinations, and fictions. New York: Oxford University Press, 2010) example of a human visually perceiving a vase. The harmonic thereby plays what Azzouni calls an “epistemic role,” and merits inclusion in the deflationary nominalist ontology. Against the “coding” objection of Azzouni and Bueno (Br J Philos Sci 67:781–816, 2016), which would nominalize the harmonic to nonexistent status, I reply that in the context of grounding, the coding objection begs the question. (shrink)

We argue that there is a tension between two monistic claims that are the core of recent work in epistemic consequentialism. The first is a form of monism about epistemic value, commonly known as veritism: accuracy is the sole final objective to be promoted in the epistemic domain. The other is a form of monism about a class of epistemic scoring rules: that is, strictly proper scoring rules are the only legitimate measures of inaccuracy. These two monisms, we argue, are (...) in tension with each other. If only accuracy has final epistemic value, then there are legitimate alternatives to strictly proper scoring rules. Our argument relies on the way scoring rules are used in contexts where accuracy is rewarded, such as education. (shrink)

In discussions on moral responsibility for actions, a commonly discussed case is one in which an agent is manipulated into performing some action. On some views, such agents lack responsibility for those actions partly because they issue from attitudes that were acquired in an inappropriate way. In this paper, it is argued that such views are in need of revision. After introducing a new problematic case of a manipulated agent, revisions are offered for specific views. The paper concludes with a (...) discussion of the views in a broader context, as well as some potential implications of the revisions. (shrink)

This paper aims to support the claim that analytic metaphysics should be more cautious regarding the constraints that truthmaking considerations impose on metaphysical theories. To this end, I reply to Briggs and Forbes (2017), whoargue that certain truthmaking commitments are incurred by a Humean metaphysics and by the Growing-Block theory. First, I argue that Humean Supervenience does not need to endorse a standard version of truthmaker maximalism. This undermines Briggs and Forbes’s conclusion that Humean Supervenience and the Growing-Block theory are (...) incompatible. Second, I argue that the Growing-Block theory does not commit us to any weaker version of truthmaker maximalism, which also undermines Briggs and Forbes’s conclusion. Finally, I point out other reasons to think that any version of truthmaker maximalism is disputable, undermining a fortiori Briggs and Forbes’s conclusion and supporting the moral that metaphysical theories—or at least Humean Supervenience, the Growing-Block theory, and presentism—are little constrained by truthmaking commitments. (shrink)

Scientific results are often presented as ‘surprising’ as if that is a good thing. Is it? And if so, why? What is the value of surprise in science? Discussions of surprise in science have been limited, but surprise has been used as a way of defending the epistemic privilege of experiments over simulations. The argument is that while experiments can ‘confound’, simulations can merely surprise (Morgan, 2005). Our aim in this paper is to show that the discussion of surprise can (...) be usefully extended to thought experiments and theoretical derivations. We argue that in focusing on these features of scientific practice, we can see that the surprise-confoundment distinction does not fully capture surprise in science. We set out how thought experiments and theoretical derivations can bring about surprises that can be disruptive in a productive way, and we end by exploring how this links with their future fertility. (shrink)

This paper is on the problem of profligate omissions. The problem is that counterfactual definitions of causation identify as a cause anything that could have prevented an effect but that did not actually occur, which is a highly counterintuitive result. Many solutions of this problem appeal to normative, epistemic, pragmatic, or metaphysical considerations. These existing solutions are in some sense substantive. In contrast, this paper concentrates on the semantics of counterfactuals. I propose to replace Strong Centering with Weak Centering. This (...) allows that the actual world is not the only world that is closest to the actual world. As a result, some counterfactuals that would otherwise have been true, turn out to be false. When these counterfactuals concern causation, fewer causal claims are true. In addition to describing steps towards solving the problem of profligate omissions, the proposal captures an abstraction that is shared by many of the existing solutions: depending on how the distance ordering underlying the Weak Centering condition is constructed and interpreted, some of these existing solutions can be recovered. (shrink)

Institutions are often regarded either as rules or as equilibria sustained by self-interested agents. I ask how these two theories can be combined. According to Philip Pettit’s _Virtual Control Theory_, they explain different things: rules explain why regularities persist; self-interest why they are resilient. Thus, his theory reconciles the two theories by adjusting their domains of application. However, the available evidence suggests that rules and self-interest often combine as sources of motivation. Because of this, it is better to integrate the (...) theories rather than to reconcile them. Inspired by Cristina Bicchieri’s theory of social norms, I incorporate the notion of rule-following into a game-theoretic account of institutions. According to the resulting _Rules-and-Equilibrium Theory_, institutions are rule- or norm-governed social practices. The theory does not only explain their persistence and resilience, but also their fragility, which provides another reason for preferring the proposed integration to Pettit’s reconciliation. (shrink)

Using Riemann’s Rearrangement Theorem, Øystein Linnebo (2020) argues that, if it were possible to apply an infinite positive weight and an infinite negative weight to a working scale, the resulting net weight could end up being any real number, depending on the procedure by which these weights are applied. Appealing to the First Postulate of Archimedes’ treatise on balance, I argue instead that the scale would always read 0 kg. Along the way, we stop to consider an infinitely jittery flea, (...) an infinitely protracted border conflict, and an infinitely electric glass rod. (shrink)

According to the cohabitation account, all the persons that result from a fission event cohabit the same body prior to fission. This article concerns a problem for this account. Suppose Manuel and Jimena are suffering from an equally painful migraine. Unlike Jimena, however, Manuel will undergo fission. Assuming you have a spare painkiller, whom should you give it to? Intuitively, you have no more reason to give it to one or the other. The problem is that the cohabitation account suggests (...) otherwise. According to the account, there are two persons cohabiting Manuel’s body, in which case you should arguably give them the pill, since doing so alleviates the pain of more beings. One response argues that the two persons cohabiting Manuel’s body share one pain. Thus, giving them the pill alleviates no more pain than giving it to Jimena, and therefore you have no more reason to do one or the other. The goal of this article is to show that this response fails. (shrink)

Indispensability arguments are used as a way of working out what there is: our best science tells us what things there are. Some philosophers think that indispensability arguments can be used to show that we should be committed to the existence of mathematical objects (numbers, functions, sets). Do indispensability arguments also deliver conclusions about the modal properties of these mathematical entities? Colyvan (in Leng, Paseau, Potter (eds) Mathematical knowledge, OUP, Oxford, 109-122, 2007) and Hartry Field (Realism, mathematics and modality, Blackwell, (...) Oxford, 1989) each suggest that a consequence of the empirical methodology of indispensability arguments is that the resulting mathematical objects can only be said to exist (or not exist) contingently. Kristie Miller has argued that this line of thought doesn’t work (Miller in Erkenntnis, 77 (3), 335-359, 2012). Miller argues that indispensability arguments are in direct tension with contingentism about mathematical objects, and that they cannot tell us about the modal status of mathematical objects. I argue that Miller’s argument is crucially imprecise, and that the best way of making it clearer no longer shows that the indispensability strategy collapses or is unstable if it delivers contingentist conclusions about what there is. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, their definitions (...) do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

Within some ontological theories, bare or thin particulars are the “kernel” of ordinary substances and they are supposed to clarify some key features of the latter, including their nature. In this article, I wish to offer a new theory of bare particulars, based on an interpretation of properties as modes and on a new reading of the dependence relations holding among entities in terms of respects of dependence. In Section 1, I shall introduce bare particulars, modes and respects of dependence. (...) In Section 2, I shall consider the relationships between bare particulars, clothed particulars (i.e., ordinary substances) and their properties. I shall present two models and I shall examine some of their problems. In Section 3 and in Section 4, I shall present a new model by invoking modes and respects of dependence. This will ground my theory of the relationships between bare particulars, clothed particulars and their properties. Finally, in Section 5, I shall compare my model with the second model presented in Section 2 and, in Section 6, I shall deal with some objections against bare particulars and against my own theory. (shrink)

Metaphysicians of various stripes claim that a single object can have more than one exact location in space or time – e.g. endurantists claim that an object persists by being ‘all there’ at different moments in time. Antony Eagle has developed a formal theory of location which is prima facie consistent with multi-location, but Damiano Costa and Claudio Calosi argue that the theory is unattractive to multi-location theorists on other grounds. I examine their charge that Eagle’s theory won’t allow an (...) endurantist to account for certain cases of mereological change. I argue that the charge sticks, but not for the reasons Costa and Calosi think. Along the way, I explore an issue which is underexplored in their paper, namely, how an endurantist might modify Eagle’s theory to incorporate a parthood relation which obtains, not absolutely, but only relative to times. (shrink)

This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...) research in metaphysics on the pair metaphysical grounding–metaphysical explanation, and especially with the literature in philosophy of science on the pair causality-causal explanation. (shrink)

Although moral relativists often appeal to cases of apparent moral disagreement between members of different communities to motivate their view, accounting for these exchanges as evincing genuine disagreements constitutes a challenge to the coherence of moral relativism. While many moral relativists acknowledge this problem, attempts to solve it so far have been wanting. In response, moral relativists either give up the claim that there can be moral disagreement between members of different communities or end up with a view on which (...) these disagreements have no “epistemic significance” because they are always faultless. This paper introduces an alternative strategy: accounting for disagreement in terms of “metalinguistic negotiation”. It argues that this strategy constitutes a better solution to the challenge disagreement poses for moral relativists because it leads to a nuanced understanding of the epistemic significance of moral disagreement between members of different communities. The upshot is a novel account of disagreement for moral relativists that has consequences for how moral relativism should be understood. (shrink)

It’s widely accepted that whether or not an agent merits praise for performing a particular action importantly depends on her motivation in doing so. What has received less attention is the importance of an agent’s moral understanding to whether she merits praise for performing a particular action, or whether her action has ‘moral worth.’ The first task of this paper is relatively straightforward: to show that two prominent attempts to address the importance of moral understanding to moral worth, namely that (...) of Zoe Johnson King and Paulina Sliwa, are unsuccessful. The second task of this paper, which is more novel and ambitious, is to show that agents who lack moral understanding are a challenge to more accounts of moral worth than has been previously recognized. My goal in this paper is largely negative: to show that extant accounts of such conditions are unable to account for the relevance of an agent’s understanding to her praiseworthiness for performing a particular action. In making clear these shortcomings, however, I also hope to make clear just how complicated it is to pin down exactly when an agent merits praise for her actions. (shrink)

According to (what I will call) an inner awareness theory of consciousness, you are in a (phenomenally) conscious state only if you are aware, in some sense, of your being in the state. This theory is widely held, but what arguments are there for holding it? In this paper, I gather together in a systematic way the main arguments for holding the theory and suggest that none of them is persuasive. I end the paper by asking what our attitude to (...) the theory should be if there is no existing argument for it. (shrink)

This paper argues for two conclusions: (1) evaluating the success of engineered concepts necessarily involves empirical work; and (2) the Carnapian Explication criterion precision ought to be a methodological standard in conceptual engineering. These two conclusions provide a new analysis of the race and gender debate between Sally Haslanger and Jennifer Saul. Specifically, the argument identifies the resources Haslanger needs to respond to Saul’s main objections. Lastly, I contrast the methodology advocated here with the so-called “method of cases” and draw (...) out some general implications for how we should think about concepts. (shrink)

In the ontology of music the Aristotelian theory of musical works is the view that musical works are immanent universals. The Aristotelian theory (hereafter Musical Aristotelianism) is an attractive and serviceable hypothesis. However, it is overlooked as a genuine competitor to the more well-known theories of Musical Platonism and nominalism. Worse still, there is no detailed account in the literature of the nature of the universals that the Aristotelian identifies musical works with. In this paper, I argue that the best (...) version of Musical Aristotelianism identifies musical works with structural universals. I first motivate the view by outlining its explanatory benefits. I then argue that Musical Aristotelianism is preferable to Musical Platonism and present a novel account of musical works as structural universals by developing D. M. Armstrong’s theory of structural universals. I discuss the consequences of Musical Aristotelianism with respect to on-going issues in debates about musical works and defend the view against an influential objection, concluding that Musical Aristotelianism is a genuine competitor in debates about the nature of musical works. (shrink)

The paradox of rule-following that Saul Kripke finds in Wittgenstein’s Philosophical Investigations purports to show that words and thoughts have no content—that there is no intentionality. This paper refutes the paradox with a dilemma. Intentional states are posited in rational explanations, which use propositional attitudes to explain actions and thoughts. Depending on which of the two plausible views of rational explanation is right, either: the paradox is mistaken about the a priori requirements for content; or, a fatal flaw in content (...) ascription alleged by the paradox is not a flaw at all, but a necessary component of the proper method of propositional-attitude ascription. On either lemma, rational explanation defuses the paradox. (shrink)

Despite the recent growth of studies in virtue epistemology, the intellectual virtue of epistemic collaborativeness has been overlooked by scholars working in virtue theory. This is a significant gap in the literature given the import of well-motivated and skillful epistemic collaboration for the flourishing of human societies. This paper engages in an in-depth examination of the intellectual virtue of epistemic collaborativeness. It argues that the agent who possesses this acquired character trait is (i) highly motivated to engage in epistemic collaboration (...) (out of her rational desire for intellectual ends), (ii) competent at the characteristic activity of epistemic collaborativeness and (iii) has good judgement as to when and with whom it is epistemically appropriate to engage in epistemic collaboration. Furthermore, this paper discusses the place of epistemic collaborativeness among the virtues and argues that it is an overarching virtue—i.e. it presupposes certain other intellectual virtues although it remains distinguishable from them. Theoretical and practical merits of this virtue are also presented and considered. The virtue of collaborativeness highlights the social dimension of intellectual virtues and could be of significant value for contemporary virtue-based approaches to education. (shrink)

The paper presents a new argument for epistemic permissivism. The version of permissivism that we defend is a moderate version that applies only to explicit doxastic attitudes. Drawing on Yalcin’s framework for modeling such attitudes, we argue that two fully rational subjects who share all their evidence, prior beliefs, and epistemic standards may still differ in the explicit doxastic attitudes that they adopt. This can happen because two such subjects may be sensitive to different questions. Thus, differing intellectual interests can (...) yield failures of uniqueness. This is not a merely pragmatic phenomenon. (shrink)

Should a scientist rely on methodological triangulation? Heesen et al. (Synthese 196(8):3067–3081, 2019) recently provided a convincing affirmative answer. However, their approach requires belief gambles if the evidence is discordant. We instead propose epistemically modest triangulation (EMT), according to which one should withhold judgement in such cases. We show that for a scientist in a methodologically diffident situation the expected utility of EMT is greater than that of Heesen et al.’s (2019) triangulation or that of using a single method. We (...) also show that EMT is more appropriate for increasing epistemic trust in science. In short: triangulate, but do not gamble with evidence. (shrink)

This paper proposes a sender-receiver model to explain two large-scale patterns observed in natural languages: Zipf’s inverse power law relating the frequency of word use and word rank, and the negative correlation between the frequency of word use and rate of lexical change. Computer simulations show that the model recreates Zipf’s inverse power law and the negative correlation between signal frequency and rate of change, provided that agents balance the rates with which they invent new signals and forget old ones. (...) Results are robust across a wide range of parameter values and structural assumptions, such as different forgetting rules and forgetting rates. Analysis of the model further suggests that Zipf’s law relating word frequency and rank arises because of language-external factors and that frequent signals change less because frequent signals are less subject to drift than rare ones. The paper concludes with some brief considerations on model-based and data-driven approaches in philosophy. (shrink)

On a widely suggested knowledge-first account of belief, to believe p is to phi as if one knew p. I challenge this view by arguing against various regimentations of it. I conclude by generalizing my argument to alternative knowledge-first views suggested by Williamson and Wimmer.

Permissivism is the view that, sometimes, there is more than one doxastic attitude that is perfectly rationalised by the evidence. Impermissivism is the denial of Permissivism. Several philosophers, with the aim to defend either Impermissivism or Permissivism, have recently discussed the value of (im)permissive rationality. This paper focuses on one kind of value-conferring considerations, stemming from the so-called “truth-connection” enjoyed by rational doxastic attitudes. The paper vindicates the truth-connected value of permissive rationality by pursuing a novel strategy which rests on (...) two main planks: first, there is a distinction between a fine-grained and a coarse-grained type-individuation of belief-forming methods. Secondly, different kinds of decision-theoretic reasoning, i.e. expected-accuracy reasoning and accuracy-domination reasoning, must be paired with a fine-grained and a coarse-grained type-individuation of methods, respectively. I argue that while the first pair is wholly irrelevant to the question of the truth-connection, the second affords the means to a permissivist explanation of the truth-connected value of rationality. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover at most (...) one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

In this review, I specify the metametaphysical background against which Alastair Wilson’s “_The Nature of Contingency_” (Oxford University Press, 2020) should be properly understood. Metaphysics, as a philosophical discipline, is standing on thin ice. The caricature of the situation is polarized, and is often presented as follows: metaphysics is either entirely extracted from science or it is entirely independent of science. There is a recent trend that focuses on the middle ground between these extremes, searching the philosophical literature for metaphysical (...) theories that can fill the gap, i.e., leaving metaphysics as a free discipline to produce spoils for the eventual needs of philosophers of science. We can appreciate it better with the following distinction between the tasks of ontology and metaphysics, as complementary disciplines. If, on the one hand, we understand ontology as dealing with what exists, we can somehow extract the entities that are existentially postulated by scientific theories. Metaphysics, on the other hand, would be located as an extra layer, in charge of investigating questions about the nature of the entities obtained in this “naturalized ontology”. As a tailor, Wilson adjusts a metaphysical theory in order to perfectly dress the physical and ontological nuances of Everettian quantum mechanics, thus creating a metaphysical theory that gives us intelligibility, with the concept of modality, in two areas: in quantum mechanics, and analytic metaphysics. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free topology) (...) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

There has been a movement aiming to teach agents about their privilege by making the information about their privilege as costless as possible. However, some argue that in risk-sensitive frameworks, such as Lara Buchak’s (2013), it can be rational for privileged agents to shield themselves from learning about their privilege, even if the information is costless and relevant. This threatens the efficacy of these information-access efforts in alleviating the problem of elite-group ignorance. In response, I show that even within the (...) same framework, in this case David Kinney and Liam Kofi Bright’s (2021), the rationality of this information avoidance rests on shaky ground in practice. In this framework, whether an agent should avoid information depends on the precise details of (1) how relevant they expect the information to be, (2) their priors about the value of various options, and (3) their risk attitudes. The model suggests that the rationality of elite-group ignorance is a function of structural factors that are pervasive but nonetheless not insurmountable, thus offering a way out of pessimism about elite group education. (shrink)