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

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)

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)

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)

Although brain size and the concept of intelligence have been extensively used in comparative neuroscience to study cognition and its evolution, such coarse-grained traits may not be informative enough about important aspects of neurocognitive systems. By taking into account the different evolutionary trajectories and the selection pressures on neurophysiology across species, Logan and colleagues suggest that the cognitive abilities of an organism should be investigated by considering the fine-grained and species-specific phenotypic traits that characterize it. In such a way, we (...) would avoid adopting human-oriented, coarse-grained traits, typical of the standard approach in cognitive neuroscience. We argue that this standard approach can fail in some cases, but can, however, work in others, by discussing two major topics in contemporary neuroscience as examples: general intelligence and brain asymmetries. (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)

Throughout his work, John Dewey seeks to emancipate philosophical reflection from the influence of the classical tradition he traces back to Plato and Aristotle. For Dewey, this tradition rests upon a conception of knowledge based on the separation between theory and practice, which is incompatible with the structure of scientific inquiry. Philosophical work can make progress only if it is freed from its traditional heritage, i.e. only if it undergoes reconstruction. In this study I show that implicit appeals to the (...) classical tradition shape prominent debates in philosophy of mathematics, and I initiate a project of reconstruction within this field. (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)

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

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)

Chapter 20 David Kovacs’ “Essence, Grounding, and Explanation” sets out four different ways in which essence might be taken to relate to the notion of grounding or metaphysical explanation, i.e., the type of connection that is often expressed by means of non-causal “in virtue of” or “because”-claims: (i) Unity: essence and grounding belong to a unified set of explanatory concepts; (ii) Supplementation: essence and grounding both contribute in their own way to a distinctive type of explanation; (iii) Independence: essence is (...) a sui generis notion with no straightforward conceptual links to grounding; and (iv) Irrelevance: essence is not an explanatory notion at all and therefore should not be viewed as connected to explanatory notions like grounding. As Kovacs brings out in the chapter, a wide variety of attitudes are represented in the literature even among philosophers who are sympathetic to the recent “hyperintensional” turn in metaphysics when it comes to the question of how the notions of essence and grounding interact with one another. (shrink)

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)

Psychological and philosophical studies have extended J. J. Gibson’s notion of affordances. Affordances are possibilities for bodily action presented to us by the objects of our perception. Recent work has argued that we should extend the actions afforded by perception to mental action. I argue that we can extend the notion of affordance itself. What I call ‘Introspective Affordances’ are possibilities for mental action presented to us by introspectively accessible states. While there are some prima facie worries concerning the non-perceptual (...) nature of introspection, I will argue that our internal mental lives share enough commonalities with experiences in our environment to warrant this extension. I will demonstrate the value of introspective affordances by showing how they allow us to explain an underexplored aspect of thought insertion. (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.

According to a popular idea, freedom is grounded in orthonomy – the ability to be responsive to normative demands. But how exactly must an agent’s action relate to their reasons in order for this orthonomous relationship to hold? In this paper, I propose a novel explanationist answer to this question. I argue that extant answers – causalism and modalism about orthonomy – fail because they fail to account for the fact that intuitions about freedom and orthonomy track facts about explanation. (...) And these facts cannot be reduced to either causal or modal facts. Instead, I propose that we should understand freedom as grounded in special accidentality-dispersing explanations in terms of normative reasons. The resultant view is to be understood as following a Frankfurtian intuition: only factors that explain action can be relevant to whether the action is free. (shrink)

Cognitive modules are internal mental structures. Some theorists and empirical researchers hypothesise that the human mind is either partially or massively comprised of structures that are modular in nature. Is the massive modularity of mind hypothesis a cogent view about the ontological nature of human mind or is it, rather, an effective/ineffective adaptationist discovery heuristic for generating predictively successful hypotheses about both heretofore unknown psychological traits and unknown properties of already identified psychological traits? Considering the inadequacies of the case in (...) favour of massive modularity as an ontological hypothesis, I suggest approaching and valuing massive modularity as an adaptationist discovery heuristic. (shrink)

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)

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)

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.

In a recent paper, Firt, Hemmo and Shenker argue that Hempel’s dilemma, typically thought to primarily undermine physicalism, is generalizable and impacts mind-body dualism and many other theories equally. I challenge this view and argue that Hempel’s dilemma admits of at least two distinct construals: a general-skeptical construal, underpinned by historically driven arguments such as the pessimistic induction, and a non-skeptical construal, driven by the specific puzzles and volatility of current physics. While the general-skeptical construal applies to all changeable deep-structure (...) theories, the non-skeptical construal primarily targets volatile theories which harbor exclusionary ambitions. As a result, dualism largely evades both construals due to the stability of theories of the mental and their lack of exclusionary ambitions. Conversely, physicalism is uniquely susceptible to both construals due to its strong commitment to deep-structure realism, inherent exclusionary ambitions, and the volatility of certain branches of fundamental physics. The paper ultimately concludes that Hempel’s dilemma is not universally problematic, but presents a unique challenge to physicalism while being relatively congenial to dualism. (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)

Which premisses should we use to start our inquiries? Which transitions during inquiry should we take next? When should we switch lines of inquiry? In this paper, I address these open questions about inquiry, formulating novel norms for such decisions during deductive reasoning. I use the first-order predicate calculus, in combination with Carnap’s state description framework, to state such norms. Using that framework, I first demonstrate some properties of sets of sentences used in deduction. I then state some norms for (...) decisions made during deductive reasoning, establishing initial benchmarks for efficient deduction by ideal reasoners. When deciding which transition to make next, reasoners should choose the most informative transition, the one that maximally reduces uncertainty in the sense of ruling out the largest number of state descriptions relevant to their inquiry. Finally, inspired by optimal foraging theory, I show that, under certain assumptions of ignorance, reasoners should change premiss sets when their information intake drops below the global average information intake across premiss sets. (shrink)

Consider the following two (hypothetical) generic causal claims: “Living in a neighborhood with many families with children increases purchases of bicycles” and “living in an affluent neighborhood with many families with children increases purchases of bicycles.” These claims not only differ in what they suggest about how bicycle ownership is distributed across different neighborhoods (i.e., “the data”), but also have the potential to communicate something about the speakers’ values: namely, the prominence they accord to affluence in representing and making decisions (...) about the social world. Here, we examine the relationship between the level of granularity with which a cause is described in a generic causal claim (e.g., neighborhood vs. affluent neighborhood) and the value of the information contained in the causal model that generates that claim. We argue that listeners who know any two of the following can make reliable inferences about the third: 1) the level of granularity at which a speaker makes a generic causal claim, 2) the speaker’s values, and 3) the data available to the speaker. We present results of four experiments (N=1,323) in the domain of social categories that provide evidence in keeping with these predictions. (shrink)

One way in which philosophers have often sought to distinguish moral judgments from non-moral judgments is by using the “moral-conventional” distinction. I seek to raise serious questions about the significance of the moral-conventional distinction, at least for philosophers interested in moral judgment. I survey recent developments in the fields of philosophy, psychology, and cognitive science that have led many to the conclusion that moral judgment is not a distinctive kind of judgment or the result of a specific, identifiable cognitive process. (...) I argue that if this conclusion is largely correct, the moral-conventional distinction loses significance. If moral judgment does not correspond to a distinctive cognitive process, it is unclear how distinguishing between types of norms tracks anything of significance to human judgment formation. I then discuss the implications of abandoning the distinction for research in the field of moral psychology and tentatively propose a more modest way of conceiving of norm significance. (shrink)

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

Know how and ability have a seemingly fraught relationship. I deepen the tension here, by arguing for two new pieces of data concerning know how and ability. First, know how ascriptions have two distinct readings that differ in their entailments to ability: one entails ability, the other does not. Second, in certain cases, the indeterminacy of certain ability claims infects both readings of know how claims. No existing accounts of the relationship between know how and ability captures both data points, (...) I argue; but a certain kind of intellectualism has special resources to account for them. Ascriptions of knowledge of infinitival questions give rise to a distinctive kind of context-sensitivity specific to infinitivals. I show how on an intellectualist view where, very roughly, knowing how to do something is knowing an answer to an infinitival question about your abilities, this context-sensitivity accounts for the relationship between know how and ability. (shrink)

What are the philosophical views of contemporary professional philosophers? We surveyed many professional philosophers in order to help determine their views on 30 central philosophical issues. This article documents the results. It also reveals correlations among philosophical views and between these views and factors such as age, gender, and nationality. A factor analysis suggests that an individual's views on these issues factor into a few underlying components that predict much of the variation in those views. The results of a metasurvey (...) also suggest that many of the results of the survey are surprising: philosophers as a whole have quite inaccurate beliefs about the distribution of philosophical views in the profession. (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)

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.

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.

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

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

I examine what the point of self-ownership might best be thought to be.

Responding rationally to the information that others disagree with one’s beliefs requires assessing the epistemic credentials of the opposing beliefs. Conciliatory accounts of disagreement flow in part from holding that these assessments must be independent from one’s own initial reasoning on the disputed matter. I argue that this claim, properly understood, does not have the untoward consequences some have worried about. Moreover, some of the difficulties it does engender must be faced by many less conciliatory accounts of disagreement.

Σκοπός του βιβλίου αυτού είναι να μας ενθαρρύνει. Παντρεύει τη συνδυαστική σκέψη με έναν νέο τρόπο ενέργειας. Ο στόχος; Μια ελεύθερη, δίκαιη και ζωντανή κοινωνία. Όμως, η πεπατημένη έχει χαραχτεί βαθιά μέσα στο μυαλό μας, στην καθημερινότητά μας, στην αγορά και στο κράτος. Η Silke Helfrich και ο David Bollier αποκαλύπτουν παραδοσιακά, ξεπερασμένα μοτίβα σκέψης και σχεδιάζουν ένα πρόγραμμα για μια επιτυχημένη συνύπαρξη, μια διαφορετική αντίληψη της πολιτικής και μια οικονομία μέριμνας. Στον πυρήνα του προγράμματος βρίσκονται πρακτικές των Commons, των (...) «κοινών αγαθών». Αυτές δείχνουν πώς μπορούμε, μέσα στη διαφορετικότητά μας, να επιδιώκουμε κοινούς στόχους. Έτσι, σε πρακτικό επίπεδο, σπίτια και οχήματα μπορούν να χτιστούν και να κατασκευαστούν με παρόμοιο τρόπο όπως αναπτύσσεται η Wikipedia. Επιπλέον, το βιβλίο παροτρύνει να σκεπτόμαστε ως commoners, ως «κοινωνοί» και προσφέρει μια γλώσσα για τον κόσμο του αύριο. Δεν αλλάζει μόνο την οικονομία και την πολιτική, αλλά κι εμάς. (Από την παρουσίαση στο οπισθόφυλλο του βιβλίου). (shrink)

Arguments that cognition or minds can be extended regularly invoke an analogy with Dawkins’ argument that phenotypes can be extended. I argue that there are two neglected ways in which those two boundary-breaking theses are complementary. Much of the argument of The Extended Phenotype concerns parasite phenotypes expressed in the behaviour of host organisms. But the options Dawkins considers for this extended manipulation are cognitively internalist. If we view cognition as extended, we can recognise a wider range of vulnerabilities for (...) exploitation. On the other hand, the analogies drawn with Dawkins almost always emphasise the benefit to the individual agent in being cognitively extended. Taking Dawkins’ concerns about manipulation and exploitation more seriously leads to a more contested, less optimistic picture of extended cognition and minds. This second line of thinking follows Sterelny’s lead, but I argue that hostility presents worse and more pervasive problems that he allows. (shrink)

“I went to the woods because I wished to live deliberately.” In order “to look again at the actual words of _Walden_, the main literary monument to the era’s eccentric etymological speculation” (Michael West), “deliberately” is the best place to start. This article aims to subject Walden’s most notable (instance of the) adverb to Thoreau’s hermeneutic methodology, “laboriously seeking [its] meaning” and minding the “perpetual suggestions and provocations” of etymology. In other words, it is an attempt to read the word (...) as deliberately as he, a Harvard-trained translator of the Classics and connoisseur of Enlightenment and Romantic philological theories, wrote it. This article focuses on wordplay stemming from the pseudo-etymological root “_liber_”—from freedom, through bark and leaves, to books. Throughout, the multi-layered ad-verb is shown to illustrate Thoreau’s idiosyncratic conception of ancient _askesis_. (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)