Recent research has begun treating the perennial philosophical question, “what makes a person the same over time?” as an empirical question. A long tradition in philosophy holds that psychological continuity and connectedness of memories are at the heart of personal identity. More recent experimental work, following Strohminger & Nichols (2014), has suggested that persistence of moral character, more than memories, is perceived as essential for personal identity. While there is a growing body of evidence supporting these findings, a critique by (...) Starmans & Bloom (2018) suggests that this research program conflates personal identity with mere similarity. To address this criticism, we explore how loss of someone’s morality or memories influence perceptions of identity change, and perceptions of moral duties towards the target of the change. We present participants with a classic ‘body switch’ thought experiment and after assessing perceptions of identity persistence, we present a moral dilemma, asking participants to imagine that one of the patients must die (Study 1) or be left alone in a care home for the rest of their life (Study 2). Our results highlight the importance of the continuity of moral character, suggesting lay intuitions are tracking (something like) personal identity, not just mere similarity. (shrink)

There is an old worry, which dates back to Mill but has analogs even in Sextus, that the very definition of ‘validity’ implies that all valid arguments are circular. This paper investigates how contemporary formal tools can ellucidate that old worry. Its main finding is the existence of a genuine puzzle: a difficult-to-avoid correspondence between the definitions of ‘valid argument’ and ‘premise circular argument’.

This paper aims to determine whether we can locate temporal passage in a non-dynamical (block universe) world. In particular, we seek to determine both whether temporal passage can be located somewhere in our world if it is non-dynamical, and also to home in on where in such a world temporal passage can be located, if it can be located anywhere. We investigate this question by seeking to determine, across three experiments, whether the folk concept of temporal passage can be satisfied (...) in our world if it is non-dynamical, and, if it can, what sort of thing in our world satisfies that concept. In particular, we focus on the question of whether that concept (if satisfied) is satisfied by something mind-dependent or something mind-independent. In other words, we ask, is temporal passage something that is at least partially in the mind, or is it entirely external to the mind? We find, contrary to what is often assumed by dynamists and non-dynamists alike, that the folk concept of temporal passage is satisfied in our world conditional on it being non-dynamical, and that the concept is satisfied by something mind-independent. This provides further ammunition for recent deflationary accounts of temporal passage that attempt to locate passage somewhere in our non-dynamical world. (shrink)

Tasks, tools, and techniques that we perform, use, and acquire, define the elements of expertise which we value as the hallmarks of goal-driven behavior. Somehow, the creation of tools enables us to define new tasks, or is it that the envisioning of new tasks drives us to invent new tools? Or maybe it is that new tools engender new techniques which then result in new tasks? This jumble of issues will be explored and discussed in this diverse collection of papers. (...) Individually, few of the papers are related to each other by topic or by techniques of analysis. Collectively, all focus on tasks performed using tools and discuss the techniques of tool use which enable differences in performance and expertise across individuals, societies, and (even) species. -/- . (shrink)

In two recent papers, Michael Della Rocca accuses Descartes of reasoning circularly in the Fourth Meditation. This alleged new circle is distinct from, and more vicious than, the traditional Cartesian Circle arising in the Third Meditation. We explain Della Rocca’s reasons for this accusation, showing that his argument is invalid.

This paper presents a new solution to the problem of peer disagreement that distinguishes two principles of rational belief, here called probability and autonomy. When we discover that we disagree with peers, there is one sense in which we rationally ought to suspend belief, and another in which we rationally ought to retain our original belief. In the first sense, we aim to believe what is most probably true according to our total evidence, including testimony from peers and authorities. In (...) the second, we aim to base our beliefs only on objective evidence and argumentation, even if that lowers the probability of their being true. The first principle of rational belief tends to serve the short-term epistemic interests of individuals, while the second tends to serve the long-term epistemic interests of both individuals and groups. The best way to reconcile these principles in cases of peer disagreement is to associate them with two corresponding species of belief, here called perception and opinion. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

Gini coefficients, which measure gross inequalities rather than their unfair components, are often used as proxy measures of absolute or relative distributive injustice in Western societies. This presupposes that the fair inequalities in these societies are small and stable enough to be ignored. This article presents a model for a series of ideal, perfectly just societies, where comfortable lives are equally available to everyone, and calculates the Gini coefficients for each. According to this model, inequalities produced by age and other (...) demographic factors, together with reasonable choices under equal opportunity, can raise the Gini coefficients for perfectly just societies to levels at least as high as those of any current Western country, and can as easily account for differences in Gini coefficients between such societies or within one such society over time. If Gini coefficients at these levels are possible for ideal societies without distributive injustice, then they should not be used as proxy measures of distributive injustice in real societies. (shrink)

In this chapter, we outline the interdisciplinary contributions that philosophy, psychology, and neuroscience have provided in the understanding of the self and identity, focusing on one specific line of burgeoning research: the importance of morality to perceptions of self and identity. Of course, this rather limited focus will exclude much of what psychologists and neuroscientists take to be important to the study of self and identity (that plethora of self-hyphenated terms seen in psychology and neuroscience: self-regulation, self-esteem, self-knowledge, self-concept, self-perception, (...) and more). We will likewise not engage with many canonical philosophical treatments of self and identity. But we will lay out a body of research that brings together classic themes in philosophy, psychology, and neuroscience to raise empirically tractable philosophical questions, and philosophically rigorous empirical questions about self and identity. More specifically, in section 4.2, we will review some recent research that has treated traditional philosophical questions about self and identity as empirical questions. Within this body of work, we will be primarily concerned with the finding that morality (more so than memory) is perceived to be at the core of self and identity. Then, in section 4.3, we raise and respond to a variety of questions and criticisms: first, about the operationalization of identity concepts in the empirical literature; second, about the generalizability of the moral self effect; third, about the direction of change; fourth, about connections with recent work in neuroscience; and fifth, about the target of evaluation. Finally, in section 4.4, we consider a variety of implications and applications of this work on the moral self. Throughout, we aim to highlight connections between classical themes in philosophy, psychology, and neuroscience, while also suggesting new directions for interdisciplinary collaboration. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

It has been hypothesized that our believing that, or its seeming to us as though, the world is in some way dynamical partially explains (and perhaps rationalizes) future-bias. Recent work has, in turn, found a correlation between future-bias and near-bias, suggesting that there is a common explanation for both. Call the claim that what partially explains our being both future- and near-biased is our believing/it seeming to us as though the world is dynamical, the dynamical explanation. We empirically test two (...) versions of the dynamical explanation. The first is the moving ego explanation—according to which it is our belief that the ego moves, or our phenomenology as of the ego moving, that jointly (partially) explains future- and near-bias. The second is the moving time explanation—according to which it is our belief that time robustly passes, or our phenomenology as of robust passage, which jointly (partially) explain future- and near-bias. We found no evidence in favour of either explanation. (shrink)

My aim in this paper is to identify the wrong that is done in all cases of testimonial injustice, if there is one. Miranda Fricker (2007) proposes one account of this distinctive wrong, and Gaile Pohlhaus Jr. (2014) offers another. I think neither works. Nor does an account based on giving due respect to the testifier's epistemic competence. Nor does an account based on exposing the testifier to substantial risk of harm. Rachel Fraser (2023) describes a further account, and the (...) proposal I favour is a slight amendment of this. (shrink)

Why is science so rare and faith so common in human history? Traditional cultures persist because it is subjectively rational for each maturing child to defer to the unanimous beliefs of his elders, regardless of any personal doubts. Science is possible only when individuals promote new theories (which will probably be proven false) and forgo the epistemic advantages of accepting established views (which are more likely to be true). Hence, progressive science must rely upon the epistemic altruism of experimental thinkers, (...) while traditions of faith depend on the epistemic self-interest of their followers. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This paper raises an underappreciated paradox for classical theism. Love seems to be an inherently biased and partial relation. Justice seems to require the opposite, detached impartiality (think of the attributes of the just judge). But if these are conceptual facts, then classical theism is guilty of ascribing inconsistent attributes to God: perfect love and perfect justice. I resolve this paradox in a manner that weighs in favor of the principle of divine simplicity.

Why are we conscious? What does consciousness enable us to do that cannot be done by zombies in the dark? This paper argues that introspective consciousness probably co-evolved as a "spandrel" along with our more useful ability to represent the mental states of other people. The first part of the paper defines and motivates a conception of consciousness as a kind of "double vision" – the perception of how things seem to us as well as what they are – along (...) lines recently explored by Peter Carruthers. The second part explains the basic socioepistemic function of consciousness and suggests an evolutionary pathway to this cognitive capacity that begins with predators and prey. The third part discusses the relevance of these considerations to the traditional problem of other minds. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

When you and I seriously argue over whether a man of seventy is old enough to count as an "old man", it seems that we are appealing neither to our own separate standards of oldness nor to a common standard that is already fixed in the language. Instead, it seems that both of us implicitly invoke an ideal, shared standard that has yet to be agreed upon: the place where we ought to draw the line. As with other normative standards, (...) it is hard to know whether such borderlines exist prior to our coming to agree on where they are. But epistemicists plausibly argue that they must exist whether we ever agree on them or not, as this provides the only logically acceptable response to the sorites paradox. This paper argues that such boundaries do typically exist as hypothetical ideals, but not as determinate features of the present actual world. There is in fact no general solution to the paradox, but attention to practice in resolving vague disagreements shows that its instances can be dealt with separately, as they arise, in many reasonable ways. (shrink)

There are things of which it is true to say that there are no such things. How can we resolve this paradox? Panayot Butchvarov argues that there are objects of reference that are not also entities, where the former must merely be thinkable but the latter must be indefinitely re-identifiable. This paper argues that fictional and many other unreal objects are indeed indefinitely re-identifiable, so they must be counted as existing things on Butchvarov's theory. The paradox is best resolved by (...) distinguishing among domains of existence: Sherlock Holmes exists in the unrestricted domain of objects and in the fictional domain created by Conan Doyle, but not in the domain of the real world. Thus to exist and to be real are different things; all objects exist in some domain, but only real objects really exist. (shrink)

This article offers a simple technical resolution to the problem of induction, which is to say that general facts are not always inferred from observations of particular facts, but are themselves sometimes defeasibly observed. The article suggests a holistic account of observation that allows for general statements in empirical theories to be interpreted as observation reports, in place of the common but arguably obsolete idea that observations are exclusively particular. Predictions and other particular statements about unobservable facts can then appear (...) as deductive consequences of such general observation statements, rather than inductive consequences of other particular statements. This semantic shift resolves the problem by eliminating induction as a basic form of inference, and folding the justification of general beliefs into the more basic problem of perception. (shrink)

Solipsism can be refuted along fairly traditional, internalist lines, by means of a second-order induction. We are justified in believing in other minds, because other people tell us that they have minds, and we have good inductive reason to believe that whatever certain others say is likely to be true. This simple argument is sound, the author argues, even though we are in no prior position to believe that other thinking people exist as such, or that the sounds they make (...) have any meaning. The mere phenomenal surfaces of others' statements form sufficient grounds for the induction that the argument requires. (shrink)

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, in (...) that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)

Empirical knowledge exists in the form of antiskeptical conditionals, which are propositions like [if I am not undetectably deceived, then I am holding a pen]. Such conditionals, despite their trivial appearance, have the same essential content as the categorical propositions that we usually discuss, and can serve the same functions in science and practical reasoning. This paper sketches out two versions of a general response to skepticism that employs these conditionals. The first says that our ordinary knowledge attributions can safely (...) be replaced by statements using antiskeptical conditionals, which provides a way around the standard sort of skeptical argument while accepting its soundness with respect to the usual targets. The second analyzes the objects of our ordinary knowledge attributions as antiskeptical conditionals, which allows us to refute, not just evade, the skeptic's argument. Both versions compare favorably to the best-knowncurrent approaches to skepticism, including semantic contextualism. (shrink)

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: the more (...) something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (shrink)

In a series of papers over the past twenty years, and in a new book, Igor Douven has argued that Bayesians are too quick to reject versions of inference to the best explanation that cannot be accommodated within their framework. In this paper, I survey their worries and attempt to answer them using a series of pragmatic and purely epistemic arguments that I take to show that Bayes’ Rule really is the only rational way to respond to your evidence.

Review of J.L. Schellenberg's Religion After Science: The Cultural Consequences of Religious Immaturity (Cambridge, 2019).

We provide a philosophical reconstruction and analysis of the debate on the scientific status of cosmic inflation that has played out in recent years. In a series of critical papers, Ijjas et al. have questioned the scientificality of the current views on cosmic inflation. Proponents of cosmic inflation have in turn defended the scientific credentials of their approach. We argue that, while this defense, narrowly construed, is successful against Ijjas et al., the latter's reasoning does point to a significant epistemic (...) issue that arises with respect to inflation. A broadening of the concept of theory assessment is needed to address that issue in an adequate way. (shrink)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In this (...) taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

On what basis should we embrace a religious belief? In this article I argue that religious faith should be viewed, not as a conclusion we arrive at after reviewing the evidence, but as an existential decision we make through which we define ourselves.

A letter to The Times of London, May 9, 1992 protesting the Cambridge University proposal to award an honorary degree to M. Jacques Derrida.

Memories of our personal past are the building blocks of our narrative identity. So, when we depend on objects and other people to remember and construct our personal past, our narrative identity is distributed across our embodied brains and an ecology of environmental resources. This paper uses a cognitive niche construction approach to conceptualise how we engineer our memory ecology and construct our distributed narrative identities. It does so by identifying three types of niche construction processes that govern how we (...) interact with our memory ecology, namely creating, editing, and using resources in our memory ecology. It also conceptualises how identity-relevant information in objects and (family) stories is transmitted vertically, i.e., across different generations of people. Identifying these processes allows us to better understand the cultural information trajectories that constitute our memory ecologies. Thus, what I’ll argue is that our memory ecology distributes our narrative identity and that engineering our memory ecology is a form of narrative niche construction. (shrink)

This paper argues that a popular account of intentions can be extended to beliefs. Beliefs are stable all-out states that allow for planning and coordination in a way that is tractable for cognitively limited creatures like human beings. Scepticism is expressed that there is really anything like credences as standardly understood.

In the history of external information systems, the World Wide Web presents a significant change in terms of the accessibility and amount of available information. Constant access to various kinds of online information has consequences for the way we think, act and remember. Philosophers and cognitive scientists have recently started to examine the interactions between the human mind and the Web, mainly focussing on the way online information influences our biological memory systems. In this article, we use concepts from the (...) extended cognition and distributed cognition frameworks and from transactive memory theory to analyse the cognitive relations between humans and the Web. We first argue that while neither of these approaches neatly capture the nature of human-Web interactions, both offer useful concepts to describe aspects of such interactions. We then conceptualize relations between the Web and its users in terms of cognitive integration, arguing that most current Web applications are not deeply integrated and are better seen as a scaffold for memory and cognition. Some highly personalised applications accessed on wearable computing devices, however, may already have the capacity for deep integration. Finally, we draw out some of the epistemic implications of our cognitive analysis. (shrink)

We offer a novel interpretation of the argumentative role that Meditation IV plays within the whole of the Meditations. This new interpretation clarifies several otherwise head-scratching claims that Descartes makes about Meditation IV, and it fully exonerates the Fourth Meditation from either raising or exacerbating Descartes’ circularity problems.

The primary goal of this essay is to provide a comprehensive overview and analysis of the various relations between material artifacts and the embodied mind. A secondary goal of this essay is to identify some of the trends in the design and use of artifacts. First, based on their functional properties, I identify four categories of artifacts co-opted by the embodied mind, namely (1) embodied artifacts, (2) perceptual artifacts, (3) cognitive artifacts, and (4) affective artifacts. These categories can overlap and (...) so some artifacts are members of more than one category. I also identify some of the techniques (or skills) we use when interacting with artifacts. Identifying these categories of artifacts and techniques allows us to map the landscape of relations between embodied minds and the artifactual world. Second, having identified categories of artifacts and techniques, this essay then outlines some of the trends in the design and use of artifacts, focussing on neuroprosthetics, brain-computer interfaces, and personalisation algorithms nudging their users towards particular epistemic paths of information consumption. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

One popular approach to theorizing about phenomenal consciousness has been to connect it to representations of a certain kind. Representational theories of consciousness can be further sub-divided into first-order and higher-order theories. Higher-order theories are often interpreted as invoking a special relation between the first-order state and the higher-order state. However there is another way to interpret higher-order theories that rejects this relational requirement. On this alternative view phenomenal consciousness consists in having suitable higher-order representations. I call this ‘HOROR’ (‘Higher-Order (...) Representation Of a Representation’) theory to distinguish it from relational versions of higher- order theory. In this paper I make the case that HOROR theory is a plausible account of the real nature of phenomenal consciousness whatever one’s views are about whether it is physical/reducible or not. I first clarify HOROR theory and compare it to the more traditional same-order and higher-order thought theories. Afterwards I move to presenting some considerations in favor of HOROR theory. (shrink)

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

Utilitarianism is often rejected on the grounds that it fails to respect the separateness of persons, instead treating people as mere “receptacles of value”. I develop several different versions of this objection, and argue that, despite their prima facie plausibility, they are all mistaken. Although there are crude forms of utilitarianism that run afoul of these objections, I advance a new form of the view—‘token-pluralistic utilitarianism’—that does not.

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

Orthodox semantics for natural language modals give rise to two puzzles for their interactions with disjunction: Ross’s puzzle and the puzzle of free choice permission. It is widely assumed that each puzzle can be explained in terms of the licensing of ‘Diversity’ inferences: from the truth of a possibility or necessity modal with an embedded disjunction, hearers infer that each disjunct is compatible with the relevant set of worlds. I argue that Diversity inferences are too weak to explain the full (...) range of data. Instead, I argue, modals with embedded disjunctions license ‘Independence’ inferences: from the truth of a modal with an embedded disjunction, hearers infer that each disjunct is an independent alternative among the relevant set of worlds. I then develop a bilateral inquisitive semantics for modals that predicts the validity of these Independence inferences. My account vindicates common intuitions about both Ross’s puzzle and the puzzle of free choice permission, and explains the full range of data. (shrink)

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

This article analyses Ukraine’s language policies from 2002 to 2022 within a framework of liberalism, while avoiding making normative judgements or recommendations, updating the discussion raised in Kymlicka and Opalski’s Can Liberal Pluralism be Exported? The analysis takes into consideration Ukraine’s present and historic position, including the challenge that postcolonial nation building can pose for achieving liberalism and linguistic justice. The paper focuses on three main areas of language policy: education, businesses and media, and assesses if they can be described (...) as liberal orthodox, pluralist or illiberal. The article begins by defining liberalism and illiberalism, discussing the context of Ukraine’s linguistic diversity and postcolonial context, before outlining the language situation until EuroMaidan. Then, the main issue of language policy in the areas of education, business and media is analysed, before considering whether Ukrainian language laws might be considered liberal or illiberal. Finally, potential future trajectories are outlined. (shrink)

Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the (...) form of a list of terms and definitions designed to provide a consistent starting point for the representation of both disease and diagnosis in information systems in the future. (shrink)

Tracking representationalism explains the negative affective character of pain, and its capacity to motivate action, by reference to the representation of the badness for us of bodily damage. I argue that there is a more fitting instantiation of the tracking relation – the badness for us of extremely intense stimuli – and use this to motivate a non-reductive approach to the negative affective character of pain. The view of pain proposed here is supported by consideration of three related topics: the (...) pain caused when the body is damaged, reparative pain, and the messenger-shooting objection to tracking representationalism. (shrink)

This paper describes an attempt to repurpose Kant’s a priori psychology as the architectural blueprint for a machine learning system. First, it describes the conditions that must be satisfied for the agent to achieve unity of experience: the intuitions must be connected, via binary relations, so as to satisfy various unity conditions. Second, it shows how the categories are derived within this model: the categories are pure unary predicates that are derived from the pure binary relations. Third, I describe how (...) Kant’s cognitive architecture has been implemented in a computer system (the Apperception Engine) and show in detail what it is like for the system to construct a unified experience from a sequence of raw sensory input. (shrink)