This paper challenges the common assumption that some phenotypic traits are quantitative while others are qualitative. The distinction between these two kinds of traits is widely influential in biological and biomedical research as well as in scientific education and communication. This is probably due to both historical and epistemological reasons. However, the quantitative/qualitative distinction involves a variety of simplifications on the genetic causes of phenotypic variability and on the development of complex traits. Here, I examine three cases from the life (...) sciences that show inconsistencies in the distinction: Mendelian traits, Mendelian diseases, and polygenic mental disorders. I show that these traits can be framed both quantitatively and qualitatively depending, for instance, on the methods through which they are investigated and on specific epistemic purposes. This suggests that the received view of quantitative and qualitative traits has a limited heuristic power—limited to some local contexts or to the specific methodologies adopted. Throughout the paper, I provide directions for framing phenotypes beyond the quantitative/qualitative distinction. I conclude by pointing at the necessity of developing a principled characterisation of what phenotypic traits, in general, are. (shrink)

In the recent literature, it has been shown that the wave function in the de Broglie–Bohm theory can be regarded as a new kind of field, i.e., a "multi-field", in three-dimensional space. In this paper, I argue that the natural framework for the multi-field is the original second-order Bohm’s theory. In this context, it is possible: i) to construe the multi-field as a real-valued scalar field; ii) to explain the physical interaction between the multi-field and the Bohmian particles; and iii) (...) to clarify the status of the energy-momentum conservation and the dynamics of the theory. (shrink)

Recent trends in psychiatry involve a transition from categorical to dimensional frameworks, in which the boundary between health and pathology is understood as a difference in degree rather than as a difference in kind. A major tenet of dimensional approaches is that no qualitative distinction can be made between health and pathology. As a consequence, these approaches tend to characterize such a threshold as pragmatic or conventional in nature. However, dimensional approaches to psychopathology raise several epistemological and ontological issues. First, (...) we review major sources of evidence usually recruited in support of the dimensional trend (focusing on clinical observation and biological data), and we show that these are connected to different conceptualizations of how dimensional traits extend across health and pathology. Second, we criticize two unquestioned assumptions that stand at the core of the dimensional trend: a) that there is continuity from health to pathology at the symptomatic level; b) that such continuity reflects an underlying continuity in the genetic liability for pathological conditions. Third, we argue against the idea of a conventional threshold by showing that such a view implies a linear relationship between the genotype and the phenotype. Fourth, drawing on epigenetics and developmental biology, we offer a characterization of mental disorders as stable and dynamic constellations of multi-level variables that differ qualitatively from ‘healthy states’. We conclude by showing that our account has several theoretical advantages over both categorical and dimensional approaches. Notably, it provides crucial insights into psychological development over time and individual differences, with major implications in terms of intervention and clinical decision-making. (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)

This paper aims to clarify some conceptual aspects of decoherence that seem largely overlooked in the recent literature. In particular, I want to stress that decoherence theory, in the standard framework, is rather silent with respect to the description of (sub)systems and associated dynamics. Also, the selection of position basis for classical objects is more problematic than usually thought: while, on the one hand, decoherence offers a pragmatic-oriented solution to this problem, on the other hand, this can hardly be seen (...) as a genuine ontological explanation of why the classical world is position-based. This is not to say that decoherence is not useful to the foundations of quantum mechanics; on the contrary, it is a formidable weapon, as it accounts for a realistic description of quantum systems. That powerful description, however, becomes manifest when decoherence theory itself is interpreted in a realist framework of quantum mechanics. (shrink)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (shrink)

In 1976, the Genetics Society of America published a document entitled “Resolution of Genetics, Race, and Intelligence.” This document laid out the Society’s position in the IQ controversy, particularly that on scientific and ethical questions involving the genetics of intellectual differences between human populations. Since the GSA was the largest scientific society of geneticists in the world, many expected the document to be of central importance in settling the controversy. Unfortunately, the Resolution had surprisingly little influence on the discussion. In (...) 1979, William Provine analyzed the possible factors that decreased the impact of the Resolution, among them scientists’ limited understanding of the relationship between science and ethics. Through the analysis of unpublished versions of the Resolution and exchanges between GSA members, I will suggest that the limited impact of the statement likely depended on a shift in the aims of the GSA due to the controversies that surrounded the preparation of the document. Indeed, the demands of the membership made it progressively more impartial in both scientific and political terms, decreasing its potential significance for a wider audience. Notably, the troubled history of the Resolution raises the question of what can make effective or ineffective the communication between scientists and the public—a question with resonance in past and present discussions on topics of social importance. (shrink)

Bohmian mechanics is a realistic interpretation of quantum theory. It shares the same ontology of classical mechanics: particles following continuous trajectories in space through time. For this ontological continuity, it seems to be a good candidate for recovering the classical limit of quantum theory. Indeed, in a Bohmian framework, the issue of the classical limit reduces to showing how classical trajectories can emerge from Bohmian ones, under specific classicality assumptions. In this paper, we shall focus on a technical problem that (...) arises from the dynamics of a Bohmian system in bounded regions; and we suggest that a possible solution is supplied by the action of environmental decoherence. However, we shall show that, in order to implement decoherence in a Bohmian framework, a stronger condition is required rather than the usual one. (shrink)

The paper explains why the de Broglie-Bohm theory reduces to Newtonian mechanics in the macroscopic classical limit. The quantum-to-classical transition is based on three steps: (i) interaction with the environment produces effectively factorized states, leading to the formation of effective wave functions and hence decoherence; (ii) the effective wave functions selected by the environment–the pointer states of decoherence theory–will be well-localized wave packets, typically Gaussian states; (iii) the quantum potential of a Gaussian state becomes negligible under standard classicality conditions; therefore, (...) the effective wave function will move according to Newtonian mechanics in the correct classical limit. As a result, a Bohmian system in interaction with the environment will be described by an effective Gaussian state and–when the system is macroscopic–it will move according to Newtonian mechanics. (shrink)

Research in pharmacogenomics and precision medicine has recently introduced the concept of Polygenic Scores (PGSs), namely, indexes that aggregate the effects that many genetic variants are predicted to have on individual disease risk. The popularity of PGSs is increasing rapidly, but surprisingly little attention has been paid to the idealisations they make about phenotypic development. Indeed, PGSs rely on quantitative genetics models and methods, which involve considerable theoretical assumptions that have been questioned on various grounds. This comes with epistemological and (...) ethical concerns about the use of PGSs in clinical decision-making. In this paper, I investigate to what extent idealisations in genetics models can impact the data gathering and clinical interpretation of genomics findings, particularly the calculation and predictive accuracy of PGSs. Although idealisations are considered ineliminable components of scientific models, they may be legitimate or not depending on the epistemic aims of a model. I thus analyse how various idealisations have been introduced in classical models and progressively readapted throughout the history of genetic theorising. Notably, this process involved important changes in the epistemic purpose of such idealisations, which raises the question of whether they are legitimate in the context of contemporary genomics. (shrink)

Heterogeneous treatment effects represent a major issue for medicine as they undermine reliable inference and clinical decision-making. To overcome the issue, the current vision of precision and personalized medicine acknowledges the need to control individual variability in response to treatment. In this paper, we argue that gene-treatment-environment interactions (G × T × E) undermine inferences about individual treatment effects from the results of both genomics-based methodologies—such as genome-wide association studies (GWAS) and genome-wide interaction studies (GWIS)—and randomized controlled trials (RCTs). Then, (...) we argue that N-of-1 trials can be a solution to overcome difficulties in handling individual variability in treatment response. Although this type of trial has been suggested as a promising strategy to assess individual treatment effects, it nonetheless has limitations that limit its use in everyday clinical practice. We analyze the existing variability within the designs of N-of-1 trials in terms of a continuum where each design prioritizes epistemic and pragmatic considerations. We then support wider use of the designs located at the pragmatic end of the explanatory-pragmatic continuum. (shrink)

The paper explains why the de Broglie–Bohm theory reduces to Newtonian mechanics in the macroscopic classical limit. The quantum-to-classical transition is based on three steps: (i) interaction with the environment produces effectively factorized states, leading to the formation of _effective wave functions_ and hence _decoherence_; (ii) the effective wave functions selected by the environment—the pointer states of decoherence theory—will be well-localized wave packets, typically Gaussian states; (iii) the quantum potential of a Gaussian state becomes negligible under standard classicality conditions; therefore, (...) the effective wave function will move according to Newtonian mechanics in the correct classical limit. As a result, a Bohmian system in interaction with the environment will be described by an effective Gaussian state and—when the system is macroscopic—it will move according to Newtonian mechanics. (shrink)

ITA: In questo articolo analizzerò la differenza tra il concetto di ereditarietà e quello di ereditabilità. In primo luogo, evidenzierò come i due concetti derivino storicamente da differenti tradizioni nello studio della variabilità fenotipica e del rapporto genotipo-fenotipo. Secondariamente, illustrerò gli aspetti teorici e metodologici alla base dei due concetti, che sono peraltro collegati a differenti aree delle scienze biologiche. Infine, spiegherò brevemente come si sia recentemente tentato, con molte difficoltà, di connettere lo studio dei meccanismi dell’ereditarietà allo studio dell’ereditabilità. (...) Nel discutere le questioni di cui sopra, farò riferimento a tratti psicologici come l’intelligenza dal momento che è proprio dallo studio di questo tipo di tratti che sono emersi i maggiori problemi teorici e metodologici, nonché le controversie più intense. -/- ENG: In this paper, I analyse the distinction between heredity and heritability. First, I highlight that the two concepts derive from different historical traditions in the study of phenotypic variability and of the genotype-phenotype relationship. Second, I illustrate the theoretical and methodological aspects connected to the two concepts, which are traditionally associated with different areas of biological research. Then, I focus on recent attempts aimed at connecting with each other the analysis of heredity and of heritability. In my discussion, I shall often refer to human psychological traits such as intelligence. Indeed, most theoretical and methodological discussions have emerged with respect to the study of these traits. (shrink)

In recent years, a trend in AI research has started to pursue human-level, general artificial intelli-gence (AGI). Although the AGI framework is characterised by different viewpoints on what intelligence is and how to implement it in artificial systems, it conceptualises intelligence as flexible, general-purposed, and capable of self-adapting to different contexts and tasks. Two important ques-tions remain open: a) should AGI projects simu-late the biological, neural, and cognitive mecha-nisms realising the human intelligent behaviour? and b) what is the relationship, if (...) any, between the concept of general intelligence adopted by AGI and that adopted by psychometricians, i.e., the g factor? In this paper, we address these ques-tions and invite researchers in AI to open a dis-cussion on the theoretical conceptions and practi-cal purposes of the AGI approach. (shrink)

ITA: In che modo il nostro cervello è in grado di produrre quel tipo di comportamento flessibile e volto a specifici scopi che chiamiamo intelligenza? Le differenze cognitive tra individui sono dovute a una varietà di abilità mentali o a una sola? Questo articolo discute gli elementi centrali della teoria dell’intelligenza generale proposta da John Duncan nel volume How intelligence happens, tradotto recentemente in italiano e corredato da un capitolo conclusivo inedito. Prendendo le mosse dalla ricerca di Charles Spearman sull’intelligenza (...) generale e sui test d’intelligenza, Duncan caratterizza l’intelligenza nei termini di integrazione e controllo cognitivo. I dati neuroscientifici raccolti da Duncan suggeriscono che questi aspetti chiave del comportamento intelligente siano realizzati da un circuito cerebrale, chiamato multiple-demand system, in grado di scomporre problemi complessi in sotto-problemi più semplici e integrare informazioni da varie aree del cervello. ENG: How does our brain generate that sort of flexible and goal-directed behaviour that we call intelligence? Are individual differences in intelligence due to a variety of cognitive abilities or do they depend on one single mental ability? In this commentary, I revise and critically assess the key elements of John Duncan’s theory of general intelligence presented in the popular-science book How intelligence happens, recently translated into Italian and edited by F. Pavani, with a new final chapter. Starting from Charles Spearman’s research on a general intelligence factor and psychometric tests, Duncan advances a theory that characterises intelligence in terms of integration and cognitive control. Neuropsychological and neuroimaging data suggest that such key aspects of intelligent behaviour are realised by a brain network called a multiple-demand system, which is capable of decomposing complex problems into simpler sub-problems and then integrating information from different brain areas. (shrink)

Mostrando le analogie tra il modello di Homo oeconomicus e quello che chiameremo Animal oeconomicum, nonché la genealogia del ragionamento “economico” applicato al comportamento animale, vengono messi in risalto gli impliciti e le debolezze di alcuni ragionamenti etologici frequenti; revisioni e critiche che hanno ridimensionato il concetto di Homo oeconomicus sono applicabili anche all’interpretazione raziocinante e calcolatrice del comportamento animale.

The paper investigates the type of realism that best suits the framework of decoherence taken at face value without postulating a plurality of worlds, or additional hidden variables, or non-unitary dynamical mechanisms. It is argued that this reading of decoherence leads to an extremely radical type of perspectival realism, especially when cosmological decoherence is considered.

The homeostatic property cluster theory is widely influential for its ability to account for many natural-kind terms in the life sciences. However, the notion of homeostatic mechanism has never been fully explicated. In 2009, Carl Craver interpreted the notion in the sense articulated in discussions on mechanistic explanation and pointed out that the HPC account equipped with such notion invites interest-relativity. In this paper, we analyze two recent refinements on HPC: one that avoids any reference to the causes of the (...) clustering of properties and one that replaces homeostatic mechanisms with causal networks represented by causal graphs. We argue that the former is too slender to account for some inductive inference in science and the latter, thicker account invites interest-relativity, as the original HPC does. This suggests that human interest will be an un-eliminative part of a satisfactory account of natural kindness. We conclude by discussing the implication of interest-relativity to the naturalness, reality, or objectivity of kinds and indicating an overlooked aspect of natural kinds that requires further studies. (shrink)

In this article, we discuss epistemological limitations relating to the use of ethnoracial categories in biomedical research as devised by the Office of Management and Budget’s institutional guidelines. We argue that the obligation to use ethnoracial categories in genomics research should be abandoned. First, we outline how conceptual imprecision in the definition of ethnoracial categories can generate epistemic uncertainty in medical research and practice. Second, we focus on the use of ethnoracial categories in medical genetics, particularly genomics-based precision medicine, where (...) ethnoracial identity is understood as a proxy for medically relevant differences among individuals. Notably, extensive criticisms have been made already against the genetic interpretation of races, but, nonetheless, the concept of race remains a key element of contemporary genomics. This motivates us to explore possible reasons why such criticisms may have been ineffective in redirecting attention to other (non-race-based) ways of controlling for human variability. We contend that popular arguments against the idea that human races have a genetic basis, though convincing in many respects, are not sufficient to exclude the pragmatic use of race and ethnicity as proxies for genetic variability related to complex phenotypes. Finally, we provide two further arguments to support the idea that ethnoracial categories are unlikely to provide meaningful insights into medical genetics, which implies that even the interpretation of race as a useful tool to stratify disease risk is unwarranted. (shrink)

In this paper, we propose a methodology to maximize the benefits of interdisciplinary cooperation in AI research groups. Firstly, we build the case for the importance of interdisciplinarity in research groups as the best means to tackle the social implications brought about by AI systems, against the backdrop of the EU Commission proposal for an Artificial Intelligence Act. As we are an interdisciplinary group, we address the multi-faceted implications of the mass-scale diffusion of AI-driven technologies. The result of our exercise (...) lead us to postulate the necessity of a behavioural theory that standardizes the interaction process of interdisciplinary groups. In light of this, we conduct a review of the existing approaches to interdisciplinary research on AI appliances, leading to the development of methodologies like ethics-by-design and value-sensitive design, evaluating their strengths and weaknesses. We then put forth an iterative process theory hinging on a narrative approach consisting of four phases: definition of the hypothesis space, building-up of a common lexicon, scenario-building, interdisciplinary self-assessment. Finally, we identify the most relevant fields of application for such a methodology and discuss possible case studies. (shrink)

Knowledge brokers are among the main channels of communication between scientists and the public and a key element to establishing a relation of trust between the two. But translating knowledge from the scientific community to a wider audience presents several difficulties, which can be accentuated in times of crisis. In this paper we study some of the problems that knowledge brokers face when communicating in times of crisis. During the first wave of the COVID-19 pandemic, we collected interviews with Italian (...) experts that played a major role as knowledge brokers in the local media. We asked them questions about five main topics: the features and role of science communicators; the use of language in communicating science; the importance of the relation of trust with the public; the peculiarity of communicating in a context of emergency; the problem of disagreement among experts, and its public perception and communication. The goal of this paper is to understand, through the words of knowledge brokers themselves, what they consider as best practices (and obstacles) to create trust between scientists and the public. Our empirical work can inform normative accounts of what knowledge brokering should be about. (shrink)

The latest edition of the Diagnostic and Statistical Manual of Mental Disorders included the Social Communication Disorder as a new mental disorder characterized by deficits in pragmatic abilities. Although the introduction of SPCD in the psychiatry nosography depended on a variety of reasons—including bridging a nosological gap in the macro-category of Communication Disorders—in the last few years researchers have identified major issues in such revision. For instance, the symptomatology of SPCD is notably close to that of Autism Spectrum Disorder. This (...) opens up the possibility that individuals with very similar symptoms can be diagnosed differently and receive different clinical treatments and social support. The aim of this paper is to review recent debates on SPCD, particularly as regards its independence from ASD. In the first part, we outline the major aspects of the DSM-5 nosological revision involving ASD and SPCD. In the second part, we focus on the validity and reliability of SPCD. First, we analyze literature on three potential validators of SPCD, i.e., etiology, response to treatment, and measurability. Then, we turn to reliability issues connected with the introduction of the grandfather clause and the use of the concepts of spectrum and threshold in the definition of ASD. In the conclusion, we evaluate whether SPCD could play any role in contemporary psychiatry other than that of an independent mental disorder and discuss the role that non-epistemic factors could play in the delineation of the future psychiatry nosography. (shrink)

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

In this paper, building on these previous works, we propose to go deeper into the understanding of crowd behavior by proposing an approach which integrates ontologi- cal models of crowd behavior and dedicated computer vision algorithms, with the aim of recognizing some targeted complex events happening in the playground from the observation of the spectator crowd behavior. In order to do that, we first propose an ontology encoding available knowledge on spectator crowd behavior, built as a spe- cialization of the (...) DOLCE foundational ontology, which allows the representation of categories belonging both to the physical and to the social realms. We then propose a simplified and tractable version of such ontology in a new temporal extension of a description logic, which is used for temporally coupling events happening on the play- ground and spectator crowd behavior. At last, computer vision algorithms provide the input information concerning what is observed on the stands and ontological reasoning delivers the output necessary to perform complex event recognition. (shrink)

This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...) these areas. It is an essential resource for researchers, practitioners, and students interested in the latest advancements in logic and its applications to artificial intelligence and law. (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)

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)

First part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the introduction and the first two sections of the original paper. || Primera parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a la introducción y las dos primeras secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

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)

My claim in this article is that the thesis that Buddhism has no God, insofar as it is taken to apply to Buddhism universally, is false. I defend this claim by interpreting a central text in East-Asian Buddhism – The Awakening of Faith in Mahāyāna – through the lenses of perfect being theology (PBT), a research programme in philosophy of religion that attempts to provide a description of God through a two-step process: (1) defining God in terms of maximal greatness; (...) (2) inferring the properties or attributes that God must have in virtue of satisfying the definition. My argument comprises two steps. First, I argue that, since PBT is a method for providing a description of God starting from a definition of God, any text that contains a PBT ipso facto contains a notion of God. Second, I argue through textual evidence that The Awakening articulates a PBT, concluding that it contains a notion of God. Since the method of PBT leaves open what descriptions are to be inferred, my argument allows me to conclude that a text contains a notion of God without previously committing to any particular conception of the divine, which makes it particularly versatile and powerful. (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)

Second part of the translation into Spanish of David Lewis' "New Work for a Theory of Universals", corresponding to the last sections of the original paper. || Segunda parte de la traducción al español del trabajo de David Lewis "New Work for a Theory of Universals", correspondiente a últimas secciones del artículo original. Artículo original publicado en: Australasian Journal of Philosophy, Vol. 61, No. 4, Dec. 1983, pp. 343-377.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

According to Richard Gelwick, one of the fundamental implications of Polanyi’s epistemology is that all intellectual disciplines are inherently heuristic. This article draws out the implications of a heuristic vision of theology latent in Polanyi’s thought by placing contemporary theologian David Brown’s dynamic understanding of tradition, imagination, and revelation in the context of a Polanyian-inspired vision of reality. Consequently, such a theology will follow the example of science, reimagining its task as one of discovery rather than mere reflection on a (...) timeless body of divine revelation. The ongoing development of a theological tradition thus involves the attempt to bring one’s understanding of the question of God to bear on the whole of the human experience. The pursuit of theology as a heuristic endeavor is a bold attempt to construct an integrated vision of nothing less than the entirety of all that is, without absolutizing one’s vision, and without giving up on the question of truth. (shrink)

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)

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)

Political philosophers frequently claim that political ideals can provide normative guidance for unjust and otherwise nonideal circumstances. This is mistaken. This paper demonstrates that political ideals contribute nothing to our understanding of the normative principles we should satisfy amidst unjust or otherwise nonideal circumstances.

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.