Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we (...) provide reduction axioms for the dynamic operator of the new logic. (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.

What is knowledge? What should knowledge be like? Call an epistemological project that sets out to answer the first question ‘descriptive’ and a project that sets out to answer the second question ‘normative’. If the answers to these two questions don’t coincide—if what knowledge should be like differs from what knowledge is like—there is room for a third project we call ‘revisionary’. A revisionary project starts by arguing that what knowledge should be differs from what knowledge is. It then proposes (...) that we revise our account of knowledge accordingly. Our aim in this paper was to develop a methodology for revisionary projects in epistemology. Put roughly, the thought is that we start by looking at the various things that we expect knowledge to do for us. Once we have a list of the various things we expect knowledge to do for us we have a ‘job description’; a list of tasks we need done, and that we expect knowledge to perform. With the job description in hand, we can ask what knowledge would hav.. (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)

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)

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)

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)

Some philosophers have recently argued that whether a true belief amounts to knowledge in a specific circumstance depends on features of the subject’s practical situation that are unrelated to the truth of the subject’s belief, such as the costs for the subject of being wrong about whether the believed proposition is true. One of the best-known arguments used to support this view is that it best explains a number of paradigmatic cases, such as the well-known Bank Case, in which a (...) difference in knowledge occurs in subjects differing exclusively with respect to their practical situation. I suggest an alternative explanation of such cases. My explanation has a disjunctive character: on the one hand, it accounts for cases in which the subject is aware of the costs of being wrong in a given situation in terms of the influence of psychological factors on her mechanisms of belief-formation and revision. On the other hand, it accounts for cases in which the subject is ignorant of the costs of being wrong in her situation by imposing a new condition on knowledge. This condition is that one knows that p only if one does not underestimate the importance of being right about whether p. I argue that my explanation has a number of advantages over other invariantist explanations: it accounts for all the relevant cases preserving the semantic significance of our ordinary intuitions, it is compatible with an intellectualist account of knowledge and it escapes several problems affecting competing views. (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 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)

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, 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)

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.

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)

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)

Some philosophers argue that a theory of logical validity should not interpret its own language, because a Russellian argument shows that self-applicability is inconsistent with the ability to capture all the interpretations of its own language. First, I set up a formal system to examine the Russellian argument. I then defend the need for self-applicability. I argue that self-applicability seems to be implied by generality, and that the Russellian argument rests on a test for meaning that is biased against self-applicability. (...) I propose an alternative test which is unproblematic for self-applicability. I conclude that self-applicability can be vindicated and the Russellian argument can be resisted. (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)

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality (...) problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

One way to interpret the work of Joshua Greene (2001; 2008; 2014) is that the wave of empirical research into moral decision-making is a way for us to become more confident in our ability to gain moral knowledge. We argue that empirical research into moral judgment has shown (both survey-based and brain-based) that the grounds of moral judgment are opaque on several dimensions. We argue that we cannot firmly grasp what the morally relevant/irrelevant features of a decision context are, understand (...) which cognitive system responds to said features, and further know that we are actually basing our judgment upon what we take to be the morally relevant features. That is, we argue that moral judgment is very much like other kinds of judgment: Deeply influenced by facts about the decision-context and the decision-maker. However, if moral judgment is merely the exercise of our general judgment making faculty, we shouldn’t be surprised by this result. We conclude by considering what this means for our practice of making moral judgments. (shrink)

According to the Principle of Sufficient Reason, every fact has an explanation. An important challenge to this principle is that it risks being a counterexample to itself. What explains why everything needs to be explained? My first goal is to distinguish two broad kinds of answers to this question, which I call “Humean Rationalism” and “Non-Humean Rationalism”. My second goal will be to defend the prospects of Humean Rationalism.

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.

This paper offers an original interpretation of the Daodejing 道德經 as containing a distinctive account of creation. In my reading, the Daodejing envisions the creation of the cosmos by Dao (1) as a movement from the absence of phenomenal forms to phenomenal forms and (2) as a movement from nothingness to existence. I interpret creation as a unique metaphysical operation that explains how (1) and (2) are possible. The paper is organized into two sections. First, I introduce the distinctions between (...) the lack and presence of phenomenal forms (§1.1) and between nothingness and existence (§1.2), using them to map the distinction between Dao and the created world. Then, I propose my account of the Daodejing’s metaphysics of creation (§2.1) and elaborate on its connection with the previously drawn distinctions while answering a potential objection (§2.2). I conclude with some considerations about the connections between the Daodejing’s view of creation and its soteriology. (shrink)

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

A given causal system can be represented in a variety of ways. How do agents determine which variables to include in their causal representations, and at what level of granularity? Using techniques from Bayesian networks, information theory, and decision theory, we develop a formal theory according to which causal representations reflect a trade-off between compression and informativeness, where the optimal trade-off depends on the decision-theoretic value of information for a given agent in a given context. This theory predicts that, all (...) else being equal, agents prefer causal models that are as compressed as possible. When compression is associated with information loss, however, all else is not equal, and our theory predicts that agents will favor compressed models only when the information they sacrifice is not informative with respect to the agent’s anticipated decisions. We then show, across six studies reported here (N=2,364) and one study reported in the supplemental materials (N=182), that participants’ preferences over causal models are in keeping with the predictions of our theory. Our theory offers a unification of different dimensions of causal evaluation identified within the philosophy of science (proportionality and stability), and contributes to a more general picture of human cognition according to which the capacity to create compressed (causal) representations plays a central role. (shrink)

I argue for a transformative revival or actualization of the very core of an integrative, methodologically secured form of intellect‑mystical asceticism. This approach draws on traditional sources that are re‑examined from a systematic—synthetic and transcultural—philosophical perspective and in light of the multi‑civilizational global environment of the 21st century. The main traditional points of reference in this paper are provided by Nicolaus de Cusa and Ibn Sīnā, and I refer toa few others, such as Attar of Nishapur, in passing. I begin (...) by developing a basic concept of intellect‑mystical asceticism. It is distinguished from mystification, science, scientism, and modes of everyday communication and cognition. Then, I make the case for an updated, transcultural approach to intellect‑mysticism that can foster the internal (social) and external (environmental) reintegration of the human noosphere and technosphere in future planetary development. In this context, a modern intellect‑mystical philosophical notion of “knowing non‑knowing” (wissendes Nichtwissen, docta ignorantia) is developed. It is inspired by Nicolaus de Cusa and contextualized from a systematic transcultural angle at the same time. Finally, I discuss the problem of the practical, or rather ascetic, realization of the related possibilities of intellect‑mystical self‑enfolding. Here, the preceding steps of the reflection are mapped onto an outline regarding distinct developmental stages of such a transformative intellect‑mystical practice in Ibn Sīnā’s Remarks and Admonitions (al‑Ishārāt wat‑Tanbīhāt). (shrink)

Shepherd argues that we can know that there exists a universe external to the mind because that universe is the only possible cause of our sensations. As a part of that argument, Shepherd eliminates the possibility that sensations might be caused by other sensations on the grounds that sensations are merely momentary existences and so not capable of standing in causal relations with each other. And yet she claims that sensations do stand in causal relations to other objects, both as (...) the effects of the combination of the external world, our organs of sense, and our minds, and as the partial causes of other sensations. These claims together generate a puzzle. If sensations are too fleeting to stand in causal relations with each other, how are they nonetheless capable of standing in causal relations to other objects? I suggest that because sensations exist only for a moment, to stand in synchronous causal relations with other sensations would require that the two sensations exist at precisely the same moment. But since cause and effect are identical during the moment in which they are combined, any two sensations that exist for only the moment of their combination are identical. Nothing can be its own cause, so sensations cannot be the sole cause of other sensations. Sensations can be the partial cause or effect of other objects, though, so long as those objects endure for more than a single moment. For example, external objects, organs of sense, and the mind, all exist both before and after the moments in which they combine to form a sensation. So, while their combination is identical to that sensation in that moment, all of these other objects exist outside of that moment, and that combination as well. (shrink)

Intuitively, collective nouns are pseudo-singular: a collection of things (a pair of people, a flock of birds, etc.) just is the things that make ‘it’ up. But certain facts about natural language seem to count against this view. In short, distributive predicates and numerals interact with collective nouns in ways that they seemingly shouldn’t if those nouns are pseudo-singular. We call this set of issues ‘the distribution problem’. To solve it, we propose a modification to cover-based semantics. On this semantics, (...) the interpretation of distributive predicates and numerals depends on a cover, where the choice of cover is strongly semantically constrained by the noun with which they interact. (shrink)

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

In this article, I clarify the phenomenological concept of lifeworld by drawing on the geographical themes of place, place experience, and place meaning. Most simply, lifeworld refers to a person or group’s day-to-day, taken-for-granted experience that typically goes unnoticed. One aim of phenomenological research is to examine the lifeworld as a means to identify and clarify the tacit, unnoticed aspects of human life so that they can be accounted for theoretically and practically. Here, I discuss some key phenomenological principles and (...) then draw on phenomenological renditions of place as one means to clarify some of the lifeworld’s social, environmental, spatial, and geographical aspects. To concretize my discussion, I draw descriptive evidence from British writer Penelope Lively’s Spiderweb, a 1990s novel describing one outsider’s efforts to come to inhabit a place—a fictitious present-day village in the southwestern British county of Somerset. -/- . (shrink)

Estimating word complexity is a well-established task in computer-assisted language learning. So far, however, complexity estimation has been largely limited to comprehension. This neglects words that are easy to comprehend, but hard to produce. We introduce semantic error prediction (SEP) as a novel task that assesses the production complexity of content words. Given the corrected version of a learner-produced text, a system has to predict which content words replace tokens from the original text. We present and analyse one example of (...) such a semantic error prediction dataset, which we generate from an error correction dataset. As neural baselines, we use BERT, RoBERTa, and LLAMA2 embeddings for SEP. We show that our models can already improve downstream applications, such as predicting essay vocabulary scores. (shrink)

Each new decade brings ‘advances’ in technology that are more capable of collecting, aggregating, organizing, and deploying data about human practices. Where we go, what we buy, what we say online, and the people with whom we connect, are captured with ever more sophistication by governmental and corporate institutions. Data are increasingly being sold to schools to help them ‘manage’ teaching and administration tasks. Of course, at the same time, schools, teachers, and students are generating data that further advances the (...) goals of data aggregators. After some discussion regarding data’s philosophical dimensions, this chapter examines the benefits and drawbacks of surveillance and datafication in present educational contexts. In addition, this chapter raises ethical and pragmatic questions related to how datafication often reshapes or redefines agency, choice, personal relationships, and individuality. In response to some of the ethical qualms raised by these questions, a vision (imaginary) is proposed to help conserve some of the educational values threatened by datafication, including values related to genuine interest, sociality, and transformative, and qualitative experiences. -/- CITATION: Hildebrand, D.L. (2024). What are Data and Who Benefits?. In: Buch, A., Lindberg, Y., Cerratto Pargman, T. (eds) Framing Futures in Postdigital Education. Postdigital Science and Education . Springer, Cham. doi: 10.1007/978-3-031-58622-4_5 -/- . (shrink)

How do plurals and mass nouns refer? What kind of logic should be used in order to account for the truth-conditions of the sentences they appear in? For linguists, first-order predicate logic is adequate, provided it is supplemented by a notion of mereological sum for plurals and for mass nouns. On the contrary, according to some philosophers, new logics must be used, plural logic for plurals and mass logic for mass nouns. We survey these debates in this entry.

There is a fundamental subsets–partitions duality that runs through the exact sciences. In more concrete terms, it is the duality between elements of a subset and the distinctions of a partition. In more abstract terms, it is the reverse-the-arrows of category theory that provides a major architectonic of mathematics. The paper first develops the duality between the Boolean logic of subsets and the logic of partitions. Then, probability theory and information theory (as based on logical entropy) are shown to start (...) with the quantitative versions of subsets and partitions. Some basic universal mapping properties in the category of Sets are developed that precede the abstract duality of category theory. But by far the main application is to the clarification and interpretation of quantum mechanics. Since classical mechanics illustrates the Boolean worldview of full distinctness, it is natural that quantum mechanics would be based on the indefiniteness of its characteristic superposition states, which is modeled at the set level by partitions (or equivalence relations). This approach to interpreting quantum mechanics is not a jury-rigged or ad hoc attempt at the interpretation of quantum mechanics but is a natural application of the fundamental duality running throughout the exact sciences. (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 paper concentrates on a particular sort of case where it’s plausible that epistemic requirements can conflict: cases where an agent’s higher-order evidence supports doubting her reliability in reacting to her ordinary evidence. Conflicting epistemic requirements can be seen as generating epistemic dilemmas. The paper examines two ways that people have sought to recognize conflicting requirements without allowing them to generate epistemic dilemmas: separating epistemic norms into two different varieties, and positing rational indeterminacy in cases where principles conflict. It argues (...) that these views incur costs, and that the sense in which they avoid dilemmas does not gain them an advantage over a view that simply recognizes dilemmas as a natural outgrowth of agents’ rational reflection on their own thinking. (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)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

Tradução para o português da obra "História natural da religião", de David Hume. Tradução, apresentação e notas: Jaimir Conte. Editora da UNESP: São Paulo, 1ª ed. 2005.

Informing others about the world is often a helpful act. In this paper, I study agents who conduct experiments to gather information about the world, committing in advance to fully disclose the nature of the experiment together with all experimental findings. While this appears to be a benign activity, I characterize a type of exploitative informing that is possible even within this restricted setup. I show how exploitative informants use public experiments to predictably manipulate interlocutors’ beliefs and actions to their (...) own advantage. I discuss epistemic and practical grounds on which it may be permissible for agents to resist acts of exploitative informing, then conclude by discussing implications for epistemic injustice and duties to gather evidence. (shrink)

Necessity and sufficiency are the building blocks of all successful explanations. Yet despite their importance, these notions have been conceptually underdeveloped and inconsistently applied in explainable artificial intelligence (XAI), a fast-growing research area that is so far lacking in firm theoretical foundations. Building on work in logic, probability, and causality, we establish the central role of necessity and sufficiency in XAI, unifying seemingly disparate methods in a single formal framework. We provide a sound and complete algorithm for computing explanatory factors (...) with respect to a given context, and demonstrate its flexibility and competitive performance against state of the art alternatives on various tasks. (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)

This paper is about the principle that success entails ability, which I call Success. I argue the status of Success is highly puzzling: when we focus on past instances of actually successful action, Success is very compelling; but it is in tension with the idea that true ability claims require an action be in the agent's control. I make the above tension precise by considering the logic of ability. I argue Success is appealing because it is classically equivalent to two (...) genuinely valid inferences, which I call Past Success and Can't-Entails-Won't; but also that Success itself has counterexamples. I show how to invalidate Success while validating Past Success and Can't-Entails-Won't by connecting the meaning of ‘can’ to facts about what is settled or open. I define an operator W with features attributed to ‘will’ in the literature on future contingents. I then give a conditional analysis of ability ascriptions stated with W-conditionals, where "S can A" says, roughly, there’s some action available to S such that if S does it, then W(S A). I show this semantics invalidates Success while still explaining its appeal. (shrink)