According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out (...) both necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

Several different quantum gravity research programmes suggest, for various reasons, that spacetime is not part of the fundamental ontology of physics. This gives rise to the problem of empirical coherence: if fundamental physical entities do not occupy spacetime or instantiate spatiotemporal properties, how can fundamental theories concerning those entities be justified by observation of spatiotemporally located things like meters, pointers and dials? I frame the problem of empirical coherence in terms of entailment: how could a non-spatiotemporal fundamental theory entail spatiotemporal (...) evidence propositions? Solutions to this puzzle can be classified as realist or antirealist, depending on whether or not they posit a non-fundamental spacetime structure grounded in or caused by the fundamental structure. These approaches place different constraints on our everyday concepts of space and time. Applying lessons from the philosophy of mind, I argue that only realism is both conceptually plausible and suitable for addressing the problem at hand. I suggest a role functionalist version of realism, which is consistent with both grounding and causation, and according to which our everyday concepts reveal something of the true nature of emergent spacetime. (shrink)

Hylomorphists hold that substances are, in some sense, composites of matter and form. The form of a substance is typically taken to play a fundamental role in determining the unity or identity of the whole. Staunch hylomorphists think that this role is of a kind that precludes the ontological reduction of form to the physical and thus take their position to be inconsistent with physicalism. Forms, according to staunch hylomorphism, play a fundamental role in grounding their bearers’ proper parts and (...) that, it seems, rules out the physical grounding of form itself. I shall develop a physicalist version of hylomorphism that treats form as geometric structure and which, I shall argue, entails many of the central theses endorsed by staunch hylomorphists. Based on Shoemaker’s notion of conditional powers, I shall argue that the geometric structures of complex wholes are the conditions on at least some of the conditional powers of their bearers’ proper parts, transforming those powers into powers simpliciter. Thus, forms play a fundamental role in the dynamical evolution of the physical world, but without bestowing causal powers themselves and hence without violating the causal closure of the physical domain. If a substance’s proper parts are taken to be individuated by their powers simpliciter, then they derive their identities from their places in the substantial whole, which thus determines the identities of its proper parts without changing their intrinsic natures. (shrink)

The causal closure of the physical poses a familiar causal exclusion problem for the special sciences that stems from the idea that if closure is true, then fundamental physical properties do all the causal work involved in bringing about physical effects. In this paper I aim to show that the strongest causal closure principle that is not ruled out by some simple physics in fact allows for a certain kind of downward causation, which in turn makes room for robust special (...) science autonomy. I focus on the case of vector composition, arguing that it involves irreducibly multilevel causation. To give a complete causal explanation of what goes on in cases that involve the effects of multiple forces, we need to appeal not only to the fundamental properties that generate those forces, but also to geometric properties that determine how multiple vectors compose. However, if all the causal work involved in such cases were due to fundamental physical properties, there would be a one-level explanation available. Hence, I argue, it cannot be the case that fundamental physical properties do all the causal work. The extra causal work, I suggest, comes from the fact that the causal powers bestowed by fundamental physical properties have irreducibly geometric manifestation conditions. I defend the resulting form of downward causation as a solution to the problem of special science autonomy, and discuss two potential accounts of its source, in terms of the debate between kinematic and dynamic theories of the origins of spacetime symmetries. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

An introduction to our edited volume, The Metaphysics of Relations, covering a range of issues including the problem of order, the ontological status of relations, reasons for ancient scepticism about relational properties, and two ways of drawing the distinction between internal and external relations.

The purpose of this paper is to address a well-known dilemma for physicalism. If mental properties are type identical to physical properties, then their causal efficacy is secure, but at the cost of ruling out mentality in creatures very different to ourselves. On the other hand, if mental properties are multiply realizable, then all kinds of creatures can instantiate them, but then they seem to be causally redundant. The causal exclusion problem depends on the widely held principle that realized properties (...) inherit their causal powers from their realizers. While this principle holds for functional realization, it fails on a broader notion of realization that permits the realization of complex qualitative properties such as spatial and temporal patterns. Such properties are best seen as dependent powerful qualities, which have their causal roles in virtue of being the qualities they are, and do not inherit powers from their realizers. Recent studies have identified one such property—neural synchrony—as a correlate of consciousness. If synchrony is also partially constitutive of consciousness, then phenomenal properties are both multiply realizable and causally novel. I outline a version of representationalism about consciousness on which this constitution claim holds. (shrink)

Are the special sciences autonomous from physics? Those who say they are need to explain how dependent special science properties could feature in irreducible causal explanations, but that’s no easy task. The demands of a broadly physicalist worldview require that such properties are not only dependent on the physical, but also physically realized. Realized properties are derivative, so it’s natural to suppose that they have derivative causal powers. Correspondingly, philosophical orthodoxy has it that if we want special science properties to (...) bestow genuinely new causal powers, we must reject physical realization and embrace a form of emergentism, in which such properties arise from the physical by mysterious brute determination. In this paper, I argue that contrary to this orthodoxy, there are physically realized properties that bestow new causal powers in relation to their realizers. The key to my proposal is to reject causal-functional accounts of realization and embrace a broader account that allows for the realization of shapes and patterns. Unlike functional properties, such properties are defined by qualitative, non-causal specifications, so realizing them does not consist in bestowing causal powers. This, I argue, allows for causal novelty of the strongest kind. I argue that the molecular geometry of H2O—a qualitative, multiply realizable property—plays an irreducible role in explaining its dipole moment, and thereby bestows novel powers. On my proposal, special science properties can have the kind of causal novelty traditionally associated with strong emergence, without any of the mystery. (shrink)

In this paper I consider whether a powers ontology facilitates a reduction of causal relations to intrinsic powers of the causal relata. I first argue that there is a tension in the view that powerful causation is an internal relation in this sense. Powers are ontologically dependent on other powers for their individuation, but in that case—given an Aristotelian conception of properties as immanent universals—powers will not be intrinsic on several extant analyses of ‘intrinsic’, since to possess a given power (...) P requires the existence of other concrete particulars as bearers of the powers that individuate P. I suggest several ways for Aristotelians to resolve this tension, but all tenable options involve individuative type-level causal relations between powers. While these individuative relations between powers are internal in the sense that the powers are essentially related, this is a different sense of ‘ internal ’ to the one that entails reducibility. The proposed reduction of token-causal relations to powers succeeds only at the cost of irreducible type-level causal relations between the powers themselves. (shrink)

The 'completeness of physics' is the key premise in the causal argument for physicalism. Standard formulations of it fail to rule out emergent downwards causation. I argue that it must do this if it is tare in a valid causal argument for physicalism. Drawing on the notion of conferring causal power, I formulate a suitable principle, 'strong completeness'. I investigate the metaphysical implications of distinguishing this principle from emergent downwards causation, and I argue that categoricalist accounts of properties are better (...) equipped to sustain the distinction than dispositional essentialist accounts. Finally, I argue that the additional evidence needed for strong completeness renders the causal argument otiose for any properties amenable to scientific reduction. (shrink)

Ramseyan humility is the thesis that we cannot know which properties realize the roles specified by the laws of completed physics. Lewis seems to offer a sceptical argument for this conclusion. Humean fundamental properties can be permuted as to their causal roles and distribution throughout spacetime, yielding alternative possible worlds with the same fundamental structure as actuality, but at which the totality of available evidence is the same. On the assumption that empirical knowledge requires evidence, we cannot know which of (...) these worlds is actual. However, Lewis also appeals to a range of familiar semantic principles when framing his argument, which leads some authors to suppose that he can also plausibly be interpreted as offering a purely semantic argument for humility in addition. In this paper I grant that these arguments are Lewisian, but argue that Lewis is also committed to a theory of mind that licenses a purely metaphysical argument for humility based on the idea that mental properties supervene on fundamental structure. Given that knowing which x is the F requires knowing that a is the F, the supposition that we could come to know which properties actually occupy the fundamental roles entails differences in mental properties between worlds with the same fundamental structure, violating supervenience. Humility follows right away, without any further epistemic or semantic principles. This argument is immune to almost every way of rebutting the sceptical and semantic arguments; conversely, almost every way of rebutting the metaphysical argument tells equally against the others. (shrink)

Given their physical realization, what causal work is left for functional properties to do? Humean solutions to the exclusion problem (e.g. overdetermination and difference-making) typically appeal to counterfactual and/or nomic relations between functional property-instances and behavioural effects, tacitly assuming that such relations suffice for causal work. Clarification of the notion of causal work, I argue, shows not only that such solutions don't work, but also reveals a novel solution to the exclusion problem based on the relations between dispositional properties at (...) different levels of mechanism, which involves three central claims: (i) the causal work of properties consists in grounding dispositions, (ii) functional properties are dispositions, and (iii) the dispositions of mechanisms are grounded in the dispositions of their components. Treating functional mental properties as dispositions of components in psychological mechanisms, I argue that such properties do the causal work of grounding agent-level dispositions. These dispositions, while ultimately grounded in the physical realizers of mental properties, are indirectly so grounded, through a hierarchy of grounding relations that extends upwards, of necessity, through the mental domain. (shrink)

The paper covers a range of topics of recent interest in relation to response-depdendence: its characterisation in terms of 'basic equations', its application to areas such as ethics, colour theory and philosophy of mind, and the 'missing explanation' argument.

This article surveys different forms of emergence, distinguishing them from each other by means of their relationship to deducibility conceived as Kimian functional reduction.

Neste artigo, discuto o problema das propriedades emergentes, começando por apresentar uma concepção tradicional de acordo com a qual estas propriedades exibem três características definidoras: elas dependem de propriedades e relações físicas, mas constituem, em relação a estas, uma novidade e, como tal, não são delas deduzíveis. Em primeiro lugar, discuto algumas das razões gerais que explicam o facto de tradicionalmente se supor que este tipo de novidade – e.g. causal ou qualitativa – parece exigir que as propriedades emergentes não (...) se encontram, de todo, fisicamente fundadas, não podendo ser deduzidas das suas bases físicas. Portanto, a dependência física das propriedades emergentes não pode ser explicada, o que é normalmente tido como misterioso. Recorrendo a uma concepção funcionalista de dedutibilidade, discuto de seguida, com mais detalhe, a relação entre a novidade e a não-dedutibilidade, realçando o modo como os diferentes tipos de não-dedutibilidade conduzem a diferentes tipos de novidade e, como tal, a diferentes formas de emergência. Finalmente, considero algumas abordagens científicas modernas que rejeitam a não-dedutibilidade enquanto condição necessária da emergência. Segundo tais abordagens, o tipo de novidade associado às propriedades emergentes é compatível com uma fundação física, o que, por sua vez, faz desvanecer o mistério e confere respeitabilidade científica à noção de emergência. Concluirei estabelecendo comparações entre estas abordagens e o hilomorfismo neo-Aristotélico. (shrink)

A critical assessment of Thomas Nagel's book, Mind and Cosmos, drawing out two independent notions of intelligibility, between which I argue Nagel equivocates in his central arguments.

Paul Humphreys’ main aim in this wide-ranging and ambitious book is to defend a novel account of ontological emergence he refers to as transformational emergence. His secondary aims are many: to show how ontological emergence so understood can be usefully seen against the backdrop of a reductionist position he calls generative atomism ; to compare and contrast his preferred position with historical and contemporary alternatives; and to consider a range of scientific cases both as potential examples of ontological emergence and (...) of weaker forms of emergence stemming from our computational or conceptual limitations. Humphreys is clear from the outset that the range of scientific cases that satisfy certain positive criteria for emergence is too diverse for a single, unified account, and he is more concerned to highlight the differences that preclude such an account than to abstract away from them. The result is a mosaic of case studies, to which are applied a range of alternative conceptions of emergence, drawing out various similarities and differences between the cases, and assessing their credentials as emergent according to the various alternative conceptions considered. (shrink)

The idea of dreams being mere internal artifacts of the mind does not seem to be essential to externalism and extended mind theories, which seem as if they would function as well without this additional assumption. The Many Bubble Interpretation could allow a simpler rationale to externalist theories, which may be even simpler if the assumption that dreams have no worthwhile content outside the mind is omitted.

The Metaphysics of Relations is an anthology of thirteen original papers plus an introduction, addressing the philosophical issue of relations from a contemporary and historical perspective. The result is a remarkably coherent whole, where the different papers shed light on each other even though very few of them explicitly address interconnections. As a consequence, the book works really well as an introduction to the philosophical issue on relations, while the individual papers represent cutting edge research on the particular issues that (...) they focus on. The mix of contemporary and historical perspectives means you get a snapshot view of the contemporary issues, as well as insights into their historical development. (shrink)

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

The model of human intelligence that is most widely adopted derives from psychometrics and behavioral genetics. This standard approach conceives intelligence as a general cognitive ability that is genetically highly heritable and describable using quantitative traits analysis. The paper analyzes intelligence within the debate on natural kinds and contends that the general intelligence conceptualization does not carve psychological nature at its joints. Moreover, I argue that this model assumes an essentialist perspective. As an alternative, I consider an HPC theory of (...) intelligence and evaluate how it deals with essentialism and with intuitions coming from cognitive science. Finally, I highlight some concerns about the HPC model as well, and conclude by suggesting that it is unnecessary to treat intelligence as a kind in any sense. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.

Do psychological traits predict philosophical views? We administered the PhilPapers Survey, created by David Bourget and David Chalmers, which consists of 30 views on central philosophical topics (e.g., epistemology, ethics, metaphysics, philosophy of mind, and philosophy of language) to a sample of professional philosophers (N = 314). We extended the PhilPapers survey to measure a number of psychological traits, such as personality, numeracy, well-being, lifestyle, and life experiences. We also included non-technical ‘translations’ of these views for eventual use (...) in other populations. We found limited to no support for the notion that personality or demographics predict philosophical views. We did, however, find that some psychological traits were predictive of philosophical views, even after strict correction for multiple comparisons. Findings include: higher interest in numeracy predicted physicalism, naturalism, and consequentialism; lower levels of well-being and higher levels of mental illness predicted hard determinism; using substances such as psychedelics and marijuana predicted non-realist and subjectivist views of morality and aesthetics; having had a transformative or self-transcendent experience predicted theism and idealism. We discuss whether or not these empirical results have philosophical implications, while noting that 68% of our sample of professional philosophers indicated that such findings would indeed have philosophical value. (shrink)

Reductive representationalism is the view that the qualitative properties associated with conscious experience are properties of the objects of the experience, and not of the experience itself. A prima facie problem for this view arises from dreams and hallucinations, in which qualitative properties are experienced but not instantiated in external objects of perception. I argue that representationalist attempts to solve it by appeal to actually uninstantiated properties are guilty of an absurdity akin to that which Ryle accused Descartes of in (...) the latter’s doctrine of immaterial substance. (shrink)

David Heyd's study will stimulate philosophers to recognise the importance of the rather neglected topic of the distinctiveness of supererogation and the ...

A diagnostic process is an investigative process that takes a clinical picture as input and outputs a diagnosis. We propose a method for distinguishing diagnoses that are warranted from those that are not, based on the cognitive processes of which they are the outputs. Processes designed and vetted to reliably produce correct diagnoses will output what we shall call ‘warranted diagnoses’. The latter are diagnoses that should be trusted even if they later turn out to have been wrong. Our work (...) is based on the recently developed Cognitive Process Ontology and further develops the Ontology of General Medical Science. It also has applications in fields such as intelligence, forensics, and predictive maintenance, all of which rely on vetted processes designed to secure the reliability of their outputs. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

Failure of substitutivity of coreferential terms, one of the hallmarks of referential opacity, is standardly explained in terms of the presence of an expression (such as a verb of propositional attitude, a modal adverb or quotation marks) with opacity-inducing properties. It is thus assumed that any term in a complex expression for which substitutivity fails will be within the scope of an expression of one of these types, and that where there is an expression of one of these types there (...) will be failure of substitutivity for terms within its scope. I shall discuss a series of examples that have been thought to challenge this explanation by exhibiting failure of substitutivity of coreferential terms for positions not within the scope of any of the standard opacity-inducing expressions. If these examples are genuine, then the usual explanations of opacity are either incomplete – because there are sources of opacity other than those standardly identified, or completely mistaken – because the standardly identified expressions are not causes of opacity. I will argue, however, that the examples only exhibit failure of substitutivity of non-coreferential terms, and, hence, do not present a challenge to standard explanations of opacity. (shrink)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

The zetetic turn in epistemology raises three questions about epistemic and zetetic norms. First, there is the relationship question: what is the relationship between epistemic and zetetic norms? Are some epistemic norms zetetic norms, or are epistemic and zetetic norms distinct? Second, there is the tension question: are traditional epistemic norms in tension with plausible zetetic norms? Third, there is the reaction question: how should theorists react to a tension between epistemic and zetetic norms? Drawing on an analogy to practical (...) philosophy, I develop a focal point view to resolve these motivating questions. On the focal point view, traditional epistemic norms and zetetic norms answer different types of normative questions. There is nevertheless a familiar type of evaluative tension between traditional epistemic norms and zetetic norms, but this tension is an unavoidable feature of the normative landscape and not a sign that traditional epistemic norms need revision. But if traditional epistemic norms are not zetetic norms, then in what sense is zetetic epistemology a project for epistemologists? I conclude by articulating a sense in which some nontraditional epistemic norms are zetetic norms, and in which zetetic epistemology is an important part of the study of theoretical rationality. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

What constitutes numerically one and the same tradition diachronically, at different times? This question is the focus of often violent dispute in societies. Is it capable of a rational resolution? Many accounts attempt that resolution with a diagnosis of ambiguity of the disputed concept-Islam, Marxism, or democracy for example. The diagnosis offered is in terms of vagueness, namely the vague criteria for sameness or similarity of central beliefs and practices.

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

Call a thought whose expression involves the utterance of an indexical an indexical thought. Thus, my thoughts that I’m annoyed, that now is not the right time, that this is not acceptable, are all indexical thoughts. Such thoughts present a prima facie problem for the thesis that thought contents are phenomenally individuated -- i.e., that each distinct thought type has a proprietarily cognitive phenomenology such that its having that phenomenology makes it the thought that it is -- given the assumption (...) that phenomenology is intrinsically determined. My concern in this paper is to blunt standard intuitions concerning the external individuation of indexical thought contents, and to defend a conception of indexical thought content that is entirely phenomenal and internalist. (shrink)

In this article, I defend an account of linguistic comprehension on which meaning is not cognized, or on which we do not tacitly know our language's semantics. On this view, sentence comprehension is explained instead by our capacity to translate sentences into the language of thought. I explain how this view can explain our capacity to correctly interpret novel utterances, and then I defend it against several standing objections.

Explores five fault lines in the fledgling field of responsibility theory, serious methodological disputes traceable to P.F. Strawson's "Freedom and Resentment.".