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 this paper, I summarize Hume's moral theory as it is developed in the Treatise on Human Nature and pay particular attention to the question how evil is possible in Hume's theory.

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

This paper will be concerned with the role acquaintance plays in contemporary theories of introspection. Traditionally, the relation of acquaintance has been conceived in analytic epistemology and philosophy of mind as being only epistemically relevant inasmuch as it causes, or enables, or justifies a peculiar kind of propositional knowledge, i.e., knowledge by acquaintance. However, in recent years a novel account of the role of acquaintance in our introspective knowledge has been offered. According to this novel constitutive approach, acquaintance is, in (...) itself, a sui generis—i.e., non-propositional—kind of knowledge. As we will suggest, a stalemate between David Chalmers’ account of direct phenomenal concepts—as a prototypical example of a causal view—and Anna Giustina’s account of primitive introspection—as a prototypical example of a constitutive view—is looming in the current controversy between the two families of theories. Towards the end of the essay, we will point to some possible ways for a constitutive theorist to break the stalemate. (shrink)

This is a review (in French) of the French translation and edition of D.M. Armstrong's Universals: An Opiniated Introduction.

David Milner and Melvyn Goodale’s dissociation hypothesis is commonly taken to state that there are two functionally specialized cortical streams of visual processing originating in striate (V1) cortex: a dorsal, action-related “unconscious” stream and a ventral, perception-related “conscious” stream. As Milner and Goodale acknowledge, findings from blindsight studies suggest a more sophisticated picture that replaces the distinction between unconscious vision for action and conscious vision for perception with a tripartite division between unconscious vision for action, conscious vision for perception, and (...) unconscious vision for perception. The combination excluded by the tripartite division is the possibility of conscious vision for action. But are there good grounds for concluding that there is no conscious vision for action? There is now overwhelming evidence that illusions and perceived size can have a significant effect on action (Bruno & Franz, 2009; Dassonville & Bala, 2004; Franz & Gegenfurtner, 2008; McIntosh & Lashley, 2008). There is also suggestive evidence that any sophisticated visual behavior requires collaboration between the two visual streams at every stage of the process (Schenk & McIntosh, 2010). I nonetheless want to make a case for the tripartite division between unconscious vision for action, conscious vision for perception, and unconscious vision for perception. My aim here is not to refute the evidence showing that conscious vision can affect action but rather to argue (a) that we cannot gain cognitive access to action-guiding dorsal stream representations, and (b) that these representations do not correlate with phenomenal consciousness. This vindicates the semi-conservative view that the dissociation hypothesis is best understood as a tripartite division. (shrink)

Since the 1990s the so-called transparency of experience has played a crucial role in core debates in philosophy of mind. However, recent developments in the literature have made transparency itself quite opaque. The very idea of transparent experience has become quite fuzzy, due to the articulation of many different notions of transparency and transparency theses. Absent a unified logical space where these notions and theses can be mapped and confronted, we are left with an overall impression of conceptual chaos. This (...) is a problem, given the constant and ubiquitous references to transparency in the literature and its prominent position in the contemporary philosophy of mind. My goal in this paper is to restore clarity through proper analysis of the mutual relations between the different transparency theses. This allows me to uncover a unitary multidimensional logical space where existing (as well as possible) views can be properly singled out and located. (shrink)

In this paper, we discuss the inherent temporal orientation of fear, a matter on which philosophers seem to have contrasting opinions. According to some, fear is inherently present-oriented; others instead maintain that it is inherently future-oriented or that it has no inherent temporal orientation at all. Despite the differences, however, all these views seem to understand fear’s temporal orientation as one-dimensional—that is, as uniquely determined by the represented temporal location of the intentional object of fear. By contrast, we present a (...) view that introduces a two-dimensional account of fear’s temporal orientation. On such a view, we can say that fear is inherently future-oriented, independently of its being about something in the present or in the future. (shrink)

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)

While environmental claims are increasingly used by companies to appeal consumers, they also attract greater scrutiny from independent parties interested in consumer protection. Consumers are now able to compare corporate environmental claims against external, often disconfirming, information to form their brand attitudes and purchase intentions. What remains unclear is how the level of information specificity of both the environmental claims and external disconfirming information interact to influence consumer reactions. Two experiments address this gap in the CSR communication literature. When specific (...) claims are countered by specific external information, consumers report more negative brand attitudes and lower purchase intentions. The effect is serially mediated by skepticism toward the claims and lack of corporate credibility. We conclude by discussing strategies that firms can utilize to avoid information dilution and ensure that external disconfirming information percolates to consumers as specific. (shrink)

Linguistic data are commonly considered a defeasible source of evidence from which it is legitimate to draw philosophical hypotheses and conclusions. Traditionally epistemologists have relied almost exclusively on linguistic data from western languages, with a primary focus on contemporary English. However, in the last two decades there has been an increasing interest in cross-linguistic studies in epistemology. In this entry, we provide a brief overview of cross-linguistic data discussed by contemporary epistemologists and the philosophical debates they have generated.

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)

In this paper, we aim at rethinking the concept of obesity in a way that better captures the connection between underlying medical aspects, on the one hand, and an individual’s developmental history, on the other. Our proposal rests on the idea that obesity is not to be understood as a phenotypic trait or character; rather, obesity represents one of the many possible states of a more complex phenotypic trait that we call ‘energy metabolism.’ We argue that this apparently simple conceptual (...) shift can help solve important theoretical misconceptions regarding the genetics, epigenetics, and development of obesity. In addition, we show that our proposal can be fruitfully paired with the concept of developmental channeling of a trait, which connects to the study of the plasticity and canalization of complex traits. Finally, we discuss the potential impact of our approach on the assessment, treatment, and social narratives of obesity. (shrink)

Procreative obligations are often discussed by evaluating only the consequences of reproductive actions or omissions; less attention is paid to the moral role of intentions and attitudes. In this paper, I assess whether intentions and attitudes can contribute to defining our moral obligations with regard to assisted reproductive technologies already available, such as preimplantation genetic diagnosis (PGD), and those that may be available in future, such as reproductive genome editing and ectogenesis, in a way compatible with person‐affecting constraints. I propose (...) the parent–child relationship argument, which is based on the moral distinction between creating and parenting a child. Hence, I first argue that intentions and attitudes can play a role in defining our moral obligations in reproductive decisions involving PGD. Second, I maintain that if we accept this and recognize reproductive genome editing and ectogenesis as person‐affecting procedures, we should be committed to arguing that prospective parents may have moral reasons to prefer reproduction via such techniques than via sexual intercourse. In both cases, I observe an extension of our procreative responsibility beyond what is proposed by the consequentialist person‐affecting morality. (shrink)

According to intentionalism, the phenomenal character of experience is one and the same as the intentional content of experience. This view has a problem with moods (anxiety, depression, elation, irritation, gloominess, grumpiness, etc.). Mood experiences certainly have phenomenal character, but do not exhibit directedness, i.e., do not appear intentional. Standardly, intentionalists have re-described moods’ undirectedness in terms of directedness towards everything or the whole world (e.g., Crane, 1998; Seager, 1999). This move offers the intentionalist a way out, but is quite (...) unsatisfying. More recently, Angela Mendelovici (2013a, b) has suggested something that looks more interesting and promising: instead of re-describing moods’ phenomenology, she accepts its undirectedness at face value and tries to explain it in intentionalist terms. In this paper, I focus on and criticize Mendelovici’s proposal. As I will show, despite its prima facie virtues, the view is poorly motivated. For, contrary to what Mendelovici argues, introspection does not support her proposal—arguably, it provides some evidence against it. So, the problem that intentionalism has with moods is not solved, but is still there. (shrink)

The so-called transparency of experience (TE) is the intuition that, in introspecting one’s own experience, one is only aware of certain properties (like colors, shapes, etc.) as features of (apparently) mind-independent objects. TE is quite popular among philosophers of mind and has traditionally been used to motivate Representationalism, i.e., the view that phenomenal character is in some strong way dependent on intentionality. However, more recently, others have appealed to TE to go the opposite way and support the phenomenal intentionality view (...) (PIV), according to which intentionality is in some strong way dependent on phenomenal character. If this line of argument succeeds, then not only TE does not speak in favor of Representationalism, but it actually speaks against it, contrary to the philosophical common-sense of the last two decades. Moreover, the representationalist project of naturalizing phenomenal character turns out to be seriously undermined on the same intuitive grounds that were supposed to make it plausible. In this paper, I reconstruct and discuss the line of argument from TE to PIV and argue that our introspective intuitions (TE) do not push us in the direction of PIV. On the contrary, the line of argument from TE to PIV is (at best) simply too weak to force us to conclude that intentionality depends on phenomenal character in the sense required for PIV to be true. (shrink)

Assisted reproductive technologies have greatly increased our control over reproductive choices, leading some bioethicists to argue that we face unprecedented moral obligations towards progeny. Several models attempting to balance the principle of procreative autonomy with these obligations have been proposed. The least demanding is the minimal threshold model (MTM), according to which every reproductive choice is permissible, except creating children whose lives will not be worth living. Hence, as long as the future child is likely to have a life worth (...) living, prospective parents may be allowed to use preimplantation genetic diagnosis (PGD) to select embryos with genetic diseases or disabilities. Assuming a consequentialist person‐affecting view of morality, this paper investigates whether the MTM is an appropriate tool to guide procreative decisions given the continuous development of reproductive genetic technologies. In particular, I consider germline genome editing (GGE) and I argue that its application in human reproduction, unlike PGD, should be conceived as person‐affecting towards future progeny. I claim that even if we assume the plausibility of the MTM within PGD, we are committed to accepting that a greater moral obligation towards progeny should guide procreative decisions if GGE were available. In this case, the MTM should no longer be considered an appropriate instrument to guide procreative choices. Finally, I investigate when we face this greater moral obligation, concluding that it applies only when prospective parents have already engaged in the in vitro fertilization process. (shrink)

A widespread (and often tacit) assumption is that fear is an anticipatory emotion and, as such, inherently future-oriented. Prima facie, such an assumption is threatened by cases where we seem to be afraid of things in the past: if it is possible to fear the past, then fear entertains no special relation with the future—or so some have argued. This seems to force us to choose between an account of fear as an anticipatory emotion (supported by pre-theoretical intuitions as well (...) as empirical research in psychology) and admitting cases of past-oriented fear. In this paper, we argue for a proposal that dissolves this dilemma. Our claim is: with the right account in place, the future-orientation of fear can be made compatible with, and is actually explanatory of, cases where we are genuinely afraid of something in the past. So, there is no need to choose: fear is still future-oriented, even when we are genuinely afraid of things in the past. The key is a correct understanding of what fear’s temporal orientation amounts to, and the framework we offer here provides us with such an understanding. (shrink)

In this paper, I investigate the relation between recipes and taste. In particular, I do three things. First, I sketch and articulate different versions of essentialism, a view that I take to reflect our pre-theoretical intuitions on the matter. Roughly, on this view, taste is essentially related to recipes—either by contributing to their identity or by being otherwise strongly related to it. Second, I argue that no version of essentialism is really convincing; hence, I conclude, recipes and taste are not (...) essentially related. Third, after drawing some general lessons from the discussion, I lay the ground for an alternative approach to account for that relation. My final suggestion will be that the main source of the relation between recipes and taste is not to be found in recipes themselves and their essences, but in dishes—i.e., the concrete instances of a recipe. (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 this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

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 paper, I analyze the ethical implications of genetic enhancement within the specific framework of the “child’s right to an open future” argument (CROF). Whilst there is a broad ethical consensus that genetic modifications for eradicating diseases or disabilities are in line with – or do not violate – CROF, there is huge disagreement about how to ethically understand genetic enhancement. Here, I analyze this disagreement and I provide a revised formulation of the argument in the specific field of (...) genetic enhancement. First, I argue that CROF is not in contrast with every kind of enhancement. I subsequently discuss whether CROF requires some moral obligations to enhance progeny. My argument is that parents do not have the moral obligation to open as many options as possible for their children. Rather, they should provide them with a reasonable range of opportunities. Finally, I contend that the moral obligations required by CROF are directly dependent on what Allen Buchanan calls the ‘dominant cooperative framework’ in a given society. I conclude by claiming that, at present, parents are not morally obliged to genetically enhance their children since a non-enhanced person already might have access to a reasonable range of opportunities. However, the moral obligation to enhance progeny might arise if a structural modification of the dominant cooperative framework occurs. (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)

The article tries to reconstruct the Wirkungsgeschichte of the De pace fidei and it focuses on some fundamental moments of its fate. Nicholas of Cusa was one of the first not just to recognize other religions' value, but also to individuate a source of richness in religious pluralism. His work had fortune since the years after its draft, the 1453, known and quoted by Eimerico da Campo, Giovanni of Segovia, Juan de Torquemada and Pope Pius II. The debate, alive and (...) still open, around the possible influence of the work to Italian humanistic context is reconstructed, in particular about Pico and Ficino. Trusted traces of reception of the work can be individuated in France, in authors like Bodin and Postel. Finally the article is focused on modern fate of the work in Germany: beyond the cultural contest into reception and translation had done, the work analyze the reception by the German philosopher Lessing and on his comparison with Cusanian ideas about the vision of tolerance elaborated by the last one. (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)

Ageing is one of the main risk factors for Covid-19. In this paper, we delineate four alternative conceptualisations of ageing, each of which determines different understandings of its causal role to the susceptibility to Covid-19 as well as to the severity of its symptoms and adverse health outcomes.

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)

Theorem (Will time machines be build?). The probability that in future a time machine that can travel to the past would be build is very low.

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.

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)

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)

O presente artigo busca caracterizar a querela interna do Movimento Jovem-Hegeliano através da descrição e caracterização do conceito de massa/massificação dentro do pensamento de seus membros primeiros, a saber: Ludwig Feuerbach, David Strauss e Bruno Bauer.

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)

This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional logic with (...) implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, theknowledge normand thetruth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

This paper describes a method for the analysis of the evolutionary path of a complex, dynamic, and contingent social phenomenon in an empirical setting. Given empirical evidence of a surprising or anomalous fact, which contradicts the prediction of the wide-acknowledged theory, the goal is to formulate a plausible explanation based on the context of occurrence, taking a holistic and historical point of view. The procedure begins by translating theoretical propositions into grammar rules to describe patterns of either individual action or (...) interaction that may occur within the hypothesized social system. The result is a category of social process in which the objects are types of decision-making events carried by a stable community of actors over time, and the relationships between them are state transitions revealed in the sequences of event outcomes. Therefore, structural comparison between pairs of representative instances result in an extension of the category of social processes, relying on the configurations of contextual conditions that enable the occurrence of the new event outcome in specific empirical settings. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

Do laypeople think that moral responsibility is compatible with determinism? Recently, philosophers and psychologists trying to answer this question have found contradictory results: while some experiments reveal people to have compatibilist intuitions, others suggest that people could in fact be incompatibilist. To account for this contradictory answers, Nichols and Knobe (2007) have advanced a ‘performance error model’ according to which people are genuine incompatibilist that are sometimes biased to give compatibilist answers by emotional reactions. To test for this hypothesis, we (...) investigated intuitions about determinism and moral responsibility in patients suffering from behavioural frontotemporal dementia. Patients suffering from bvFTD have impoverished emotional reaction. Thus, the ‘performance error model’ should predict that bvFTD patients will give less compatibilist answers. However, we found that bvFTD patients give answers quite similar to subjects in control group and were mostly compatibilist. Thus, we conclude that the ‘performance error model’ should be abandoned in favour of other available model that best fit our data. (shrink)

Different sort of people are interested in personal identity. Philosophers frequently ask what it takes to remain oneself. Caregivers imagine their patients’ experience. But both philosophers and caregivers think from the armchair: they can only make assumptions about what it would be like to wake up with massive bodily changes. Patients with a locked-in syndrome (LIS) suffer a full body paralysis without cognitive impairment. They can tell us what it is like. Forty-four chronic LIS patients and 20 age-matched healthy medical (...) professionals answered a 15-items questionnaire targeting: (A) global evaluation of identity, (B) body representation and (C) experienced meaning in life. In patients, selfreported identity was correlated with B and C. Patients differed with controls in C. These results suggest that the paralyzed body remains a strong component of patients’ experienced identity, that patients can adjust to objectives changes perceived as meaningful and that caregivers fail in predicting patients’ experience. (shrink)

Perception of time is susceptible to distortions; among other factors, it has been suggested that the perceived duration of a stimulus is affected by the observer’s expectations. It has been hypothesized that the duration of an oddball stimulus is overestimated because it is unexpected, whereas repeated stimuli have a shorter perceived duration because they are expected. However, recent findings suggest instead that fulfilled expectations about a stimulus elicit an increase in perceived duration, and that the oddball effect occurs because the (...) oddball is a target stimulus, not because it is unexpected. Therefore, it has been suggested that top-down attention is sometimes sufficient to explain this effect, and sometimes only necessary, with an additional contribution from saliency. However, how the expectedness of a target stimulus and its salient features affect its perceived duration is still an open question. In the present study, participants’ expectations about and the saliency of target stimuli were orthogonally manipulated with stimuli presented on a short (Experiment 1) or long (Experiment 2) temporal scale. Four repetitive standard stimuli preceded each target stimulus in a task in which participants judged whether the target was longer or shorter in duration than the standards. Engagement of top-down attention to target stimuli increased their perceived duration to the same extent irrespective of their expectedness. A small but significant additional contribution to this effect from the saliency of target stimuli was dependent on the temporal scale of stimulus presentation. In Experiment 1, saliency only significantly increased perceived duration in the case of expected target stimuli. In contrast, in Experiment 2, saliency exerted a significant effect on the overestimation elicited by unexpected target stimuli, but the contribution of this variable was eliminated in the case of expected target stimuli. These findings point to top-down attention as the primary cognitive mechanism underlying the perceptual extraction and processing of task-relevant information, which may be strongly correlated with perceived duration. Furthermore, the scalar properties of timing were observed, favoring the pacemaker-accumulator model of timing as the underlying timing mechanism. (shrink)

Network analysis as a tool for ecological interactions studies has been widely used since last decade. However, there are few studies on the factors that shape network patterns in communities. In this sense, we compared the topological properties of the interaction network between flower-visiting social wasps and plants in two distinct phytophysiognomies in a Brazilian savanna (Riparian Forest and Rocky Grassland). Results showed that the landscapes differed in species richness and composition, and also the interaction networks between wasps and plants (...) had different patterns. The network was more complex in the Riparian Forest, with a larger number of species and individuals and a greater amount of connections between them. The network specialization degree was more generalist in the Riparian Forest than in the Rocky Grassland. This result was corroborated by means of the nestedness index. In both networks was found asymmetry, with a large number of wasps per plant species. In general aspects, most wasps had low niche amplitude, visiting from one to three plant species. Our results suggest that differences in structural complexity of the environment directly influence the structure of the interaction network between flower-visiting social wasps and plants. (shrink)

O que são práticas baseadas em evidências? Por que isso é importante para a Psicologia? Neste ebook Danielle de Souza Costa, Bruno Rezende de Souza, Clarice de Medeiros Chaves Ferreira e Leandro Fernandes Malloy-Diniz fazem uma breve introdução ao tema, conceituando o significado de termos chave como "evidências", "ciência" e "pseudociência", discutindo algumas das dificuldades que encontramos hoje na avaliação da confiabilidade dos estudos científicos, oferecendo dicas para os iniciantes, e destacando a importância do estudo de uma psicologia científica.