In this paper we compare Kierkegaard’s and Marx’s views on social reform. Then we argue that Kierkegaard’s own reasoning is consistent with the expression of neighbor-love through collective action, i.e. social reform. However, Kierkegaard’s approach to social reform would be vastly different than Marx’s. We end by reviewing several questions that Kierkegaardian social reformers would ask themselves. Our hope is that this exploration will provide helpful insights into how those who genuinely love their neighbors ought to seek the common good (...) through collective action. (shrink)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

In this paper, I attempt to address a fundamental challenge for machine intelligence: to understand whether and how a machine’s internal states and external outputs can exhibit original non-derivative intentionality. This question has three aspects. First, what does it take for a machine to exhibit original de dicto intentionality? Second, what does it take to exhibit original de re intentionality? Third, what is required for the machine to defer to the external objective world by respecting the word-to-world direction of fit? (...) I attempt to answer the first challenge by providing a constitutive counts-as understanding of de dicto intentionality. This analysis involves repurposing Kant’s vision of a self-legislating agent as a specification of a machine that reprograms itself. I attempt to answer the second and third challenges by extending Kant’s synchronic model of de dicto intentionality with Brandom’s interpretation of Hegel’s diachronic model of de re intentionality, using Hegel’s notion of recollection to provide an understanding of what is involved in achieving deference to the external world. (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)

This paper attempts to answer a central question in unsupervised learning: what does it mean to “make sense” of a sensory sequence? In our formalization, making sense involves constructing a symbolic causal theory that both explains the sensory sequence and also satisfies a set of unity conditions. The unity conditions insist that the constituents of the causal theory – objects, properties, and laws – must be integrated into a coherent whole. On our account, making sense of sensory input is a (...) type of program synthesis, but it is unsupervised program synthesis. Our second contribution is a computer implementation, the Apperception Engine, that was designed to satisfy the above requirements. Our system is able to produce interpretable human-readable causal theories from very small amounts of data, because of the strong inductive bias provided by the unity conditions. A causal theory produced by our system is able to predict future sensor readings, as well as retrodict earlier readings, and impute (fill in the blanks of) missing sensory readings, in any combination. In fact, it is able to do all three tasks simultaneously. We tested the engine in a diverse variety of domains, including cellular automata, rhythms and simple nursery tunes, multi-modal binding problems, occlusion tasks, and sequence induction intelligence tests. In each domain, we test our engine's ability to predict future sensor values, retrodict earlier sensor values, and impute missing sensory data. The Apperception Engine performs well in all these domains, significantly out-performing neural net baselines. We note in particular that in the sequence induction intelligence tests, our system achieved human-level performance. This is notable because our system is not a bespoke system designed specifically to solve intelligence tests, but a general-purpose system that was designed to make sense of any sensory sequence. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

The central claim of normative pragmatism is that intentional states can be explained in terms of participation in practices. My aim in this paper is not so much to defend this claim as to rearticulate it in a different medium: the medium of computation. I describe two computer programs in which this claim is re-expressed. The first is the latest version of THE SIMS, in which participation in practices enables the Sims to do and understand more. The second is a (...) prototype simulation of philosophical debate. In this second program, normative pragmatism is expressed at two different levels: once as the theory powering the implementation, and once as a set of claims which are debated by the simulated philosophers. Here, a philosophical theory is used to implement a system in which that very same theory is articulated, challenged, and justified. (shrink)

This paper compares two approaches to representing personality traits in synthetic agents. It proposes a set of goals that any computational implementation of personality should satisfy. It describes the personality trait system used in The Sims 3. Then an alternative system is described, in which traits are represented as conditionals relating world state to emotional state. It is shown that the conditionals model does a better job of satisfying the desiderata.

Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving regulations, (...) insisting that everyone drives on the left hand side of the road. We accept this limitation on our freedom because it lowers the probability of a collision. -/- This paper describes AI systems that are based on the constitutive view of social practice. According to this alternative view, there are certain actions that are only available to the agent because he is participating in a practice of a certain sort. For example, you can swing a peculiarly shaped piece of wood without participating in any particular practice - but this action will only constitute a strike if you are participating in a game of baseball. I can raise my hand whenever I like, but this only counts as voting for the motion within the institution of voting. But not all the examples are from frivolous, optional or institutional activities. Sellars and Brandom argue that even the fundamental act of assertion is only possible within the context of a particular social practice: the Game of Giving and Asking for Reasons. -/- The constitutive view, which is familiar to philosophers, is relatively unknown within the AI community. -/- The central aim of this paper is to show how the constitutive view of practice can be put to use in AI applications. (shrink)

This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.

We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...) current state of these practice tokens to see what actions are available to him. He uses his current desires to choose between these various possible actions. I argue that this standard explanation is defective, drawing on arguments by Searle and Wittgenstein and Garfinkel. I propose an alternative explanation, in which the participants must continually show each other the state of the scene in order to maintain the scene’s intelligibility. I provide a simple formal language in which to describe this alternative approach, in which we can state quite precisely what someone is doing when they participate in a practice. This language is related to both deontic and epistemic logics, but it is much simpler – it does not include the classic propositional connectives, and it is driven by a very different set of assumptions. The inspirations for this formal language are Searle’s analysis of directions of fit, Wittgenstein’s remarks on rule-following and Garfinkel’s ethnomethodology. (shrink)

Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisa- tion of elementary equivalence, the existence of a quadratic-time decision pro- cedure, and Brandom’s incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.

When the benefits of surgery do not outweigh the harms or where they do not clearly do so, surgical interventions become morally contested. Cutting to the Core examines a number of such surgeries, including infant male circumcision and cutting the genitals of female children, the separation of conjoined twins, surgical sex assignment of intersex children and the surgical re-assignment of transsexuals, limb and face transplantation, cosmetic surgery, and placebo surgery.

Gareth Evans has argued that the existence of vague objects is logically precluded: The assumption that it is indeterminate whether some object a is identical to some object b leads to contradiction. I argue in reply that, although this is true—I thus defend Evans's argument, as he presents it—the existence of vague objects is not thereby precluded. An 'Indefinitist' need only hold that it is not logically required that every identity statement must have a determinate truth-value, not that (...) some such statements might actually fail to have a determinate truth-value. That makes Indefinitism a cousin of mathematical Intuitionism. (shrink)

In "Counting and Indeterminate Identity", N. Ángel Pinillos develops an argument that there can be no cases of `Split Indeterminate Identity'. Such a case would be one in which it was indeterminate whether a=b and indeterminate whether a=c, but determinately true that b≠c. The interest of the argument lies, in part, in the fact that it appears to appeal to none of the controversial claims to which similar arguments due to Gareth Evans and Nathan Salmon appeal. I argue for (...) two counter-claims. First, the formal argument fails to establish its conclusion, for essentially the same reason Evans's and Salmon's arguments fail to establish their conclusions. Second, the phenomena in which Pinillos is interested, which concern the cardinalities of sets of vague objects, manifest the existence of what Kit Fine called `penumbral connections', phenomena that the logics Pinillos considers are already known not to handle well. (shrink)

Classical acquaintance theory is any version of classical foundationalism that appeals to acquaintance in order to account for non-inferential justification. Such theories are well suited to account for a kind of infallible non-inferential justification. Why am I justified in believing that I’m in pain? An initially attractive (partial) answer is that I’m acquainted with my pain. But since I can’t be acquainted with what isn’t there, acquaintance with my pain guarantees that I’m in pain. What’s less clear is whether, given (...) classical acquaintance theory, it’s possible to have non-inferential justification to believe something false. Classical acquaintance theorists try to make room for such a possibility, but I argue that the attempts of Richard Fumerton, Ali Hasan, and Evan Fales are inadequate. I’ll focus on introspective justification, but similar issues arise for a priori justification as well. (shrink)

At least since the middle of the twentieth century, philosophers have tended to identify weakness of will with akrasia—i.e. acting, or having a disposition to act, contrary to one‘s judgments about what is best for one to do. However, there has been some recent debate about whether this captures the ordinary notion of weakness of will. Richard Holton (1999, 2009) claims that it doesn’t, while Alfred Mele (2010) argues that, to a certain extent, it does. As Mele recognizes, the (...) question about an ordinary concept here is one apt for empirical investigation. We evaluate Mele’s studies and report some experiments of our own in order to investigate what in the world the ordinary concept of weakness of will is. We conclude that neither Mele nor Holton (previously) was quite right and offer a tentative proposal of our own: the ordinary notion is more like a prototype or cluster concept whose application is affected by a variety of factors. (shrink)

Control measures, such as “lockdowns”, have been widely used to suppress the COVID-19 pandemic. Under some conditions, they prevent illness and save lives. But they also exact an economic toll. How should we balance the impact of such policies on individual lives and livelihoods (and other dimensions of concern) to determine which is best? A widely used method of policy evaluation, benefit–cost analysis (BCA), answers these questions by converting all the effects of a policy into monetary equivalents and then summing (...) them up. A different method, social welfare analysis, proceeds by determining the effects of a policy on individual wellbeing and then applying an aggregation formula to them to evaluate the overall effects of a policy. In this chapter, we survey these methods and argue that social welfare analysis has important advantages. One crucial advantage is that it enables ethical considerations relating to the impact of policies on individual wellbeing and its distribution to be incorporated into policy assessments in a transparent way. We illustrate this with a simple numerical model for evaluating pandemic policies that vary in terms of the stringency of the controls that they impose on individual behaviour, showing how the evaluation depends on the ethical significance accorded to their impact on the wellbeing of different age and income groups. (shrink)

In this chapter, we analyze the relationships between the Internet and its users in terms of situated cognition theory. We first argue that the Internet is a new kind of cognitive ecology, providing almost constant access to a vast amount of digital information that is increasingly more integrated into our cognitive routines. We then briefly introduce situated cognition theory and its species of embedded, embodied, extended, distributed and collective cognition. Having thus set the stage, we begin by taking an embedded (...) cognition view and analyze how the Internet aids certain cognitive tasks. After that, we conceptualize how the Internet enables new kinds of embodied interaction, extends certain aspects of our embodiment, and examine how wearable technologies that monitor physiological, behavioral and contextual states transform the embodied self. On the basis of the degree of cognitive integration between a user and Internet resource, we then look at how and when the Internet extends our cognitive processes. We end this chapter with a discussion of distributed and collective cognition as facilitated by the Internet. (shrink)

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and as (...) a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse. (shrink)

According to the orthodox treatment of risk preferences in decision theory, they are to be explained in terms of the agent's desires about concrete outcomes. The orthodoxy has been criticised both for conflating two types of attitudes and for committing agents to attitudes that do not seem rationally required. To avoid these problems, it has been suggested that an agent's attitudes to risk should be captured by a risk function that is independent of her utility and probability functions. The main (...) problem with that approach is that it suggests that attitudes to risk are wholly distinct from people's (non-instrumental) desires. To overcome this problem, we develop a framework where an agent's utility function is defined over chance propositions (i.e., propositions describing objective probability distributions) as well as ordinary (non-chance) ones, and argue that one should explain different risk attitudes in terms of different forms of the utility function over such propositions. (shrink)

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...) general cortical network of cognition, a network essential for conscious experiences. Although subcortical circuits are not directly responsible for conscious feelings, they provide non-conscious inputs that coalesce with other kinds of neural signals in the cognitive assembly of conscious emotional experiences. In building the case for this proposal, we defend a modified version of what is known as the higher-order theory of consciousness. (shrink)

Hannah Arendt's rich and varied political thought is more influential today than ever before, due in part to the collapse of communism and the need for ideas that move beyond the old ideologies of the Cold War. As Dana Villa shows, however, Arendt's thought is often poorly understood, both because of its complexity and because her fame has made it easy for critics to write about what she is reputed to have said rather than what she actually wrote. Villa sets (...) out to change that here, explaining clearly, carefully, and forcefully Arendt's major contributions to our understanding of politics, modernity, and the nature of political evil in our century.Villa begins by focusing on some of the most controversial aspects of Arendt's political thought. He shows that Arendt's famous idea of the banality of evil--inspired by the trial of Adolf Eichmann--does not, as some have maintained, lessen the guilt of war criminals by suggesting that they are mere cogs in a bureaucratic machine. He examines what she meant when she wrote that terror was the essence of totalitarianism, explaining that she believed Nazi and Soviet terror served above all to reinforce the totalitarian idea that humans are expendable units, subordinate to the all-determining laws of Nature or History. Villa clarifies the personal and philosophical relationship between Arendt and Heidegger, showing how her work drew on his thought while providing a firm repudiation of Heidegger's political idiocy under the Nazis. Less controversially, but as importantly, Villa also engages with Arendt's ideas about the relationship between political thought and political action. He explores her views about the roles of theatricality, philosophical reflection, and public-spiritedness in political life. And he explores what relationship, if any, Arendt saw between totalitarianism and the "great tradition" of Western political thought. Throughout, Villa shows how Arendt's ideas illuminate contemporary debates about the nature of modernity and democracy and how they deepen our understanding of philosophers ranging from Socrates and Plato to Habermas and Leo Strauss.Direct, lucid, and powerfully argued, this is a much-needed analysis of the central ideas of one of the most influential political theorists of the twentieth century. (shrink)

Psychedelic experiences are often compared to “transformative experiences” due to their potential to change how people think and behave. This study empirically examines whether psychedelic experiences constitute transformative experiences. Given psychedelics’ prospective applications as treatments for mental health disorders, this study also explores neuroethical issues raised by the possibility of biomedically directed transformation—namely, consent and moral psychopharmacology. To achieve these aims, we used both inductive and deductive coding techniques to analyze transcripts from interviews with 26 participants in psychedelic retreats. Results (...) indicate that psychedelic experiences can constitute transformative experiences. Twenty participants reported experiences or insights that were seemingly inaccessible or impossible to attain if not for the psychoactive effects of psychedelics. All participants besides one reported some change in identity, values, beliefs, desires, and behavior—changes in behavior being the most common. Participants also reported feeling capable deciding to use psychedelics in part due to information seeking prior to their retreats. Finally, several participants reported an enhanced capacity for enacting changes in their lives. Our results underscore both the importance of subjective embodiment to transformation and the role of transformative agency in shaping outcomes of the psychedelic experience. We examine our results relative to neuroethical issues and advocate for centering the person in psychedelic research and neuroethical inquiry about psychedelics to avoid pitfalls associated with psychedelics’ potential as moral psychopharmacological agents. (shrink)

The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work was (...) disparaged – if not altogether ignored – by the biologists and philosophers of his era. In this paper, we provide the first systematic examination of Woodger’s oeuvre, and use it to demonstrate that the four preceding claims are false. We argue that Woodger’s ideas have exerted an important influence on biology and philosophy, and submit that the current consensus on his legacy stems from a highly selective reading of his works. By rehabilitating Woodger, we hope to show that there is no good reason to continue to disregard the numerous contributions to the philosophy of biology produced in the decades prior to the professionalization of the discipline. (shrink)

We discuss cases where subjects seem to enjoy conscious experience when the relevant first-order perceptual representations are either missing or too weak to account for the experience. Though these cases are originally considered to be theoretical possibilities that may be problematical for the higher-order view of consciousness, careful considerations of actual empirical examples suggest that this strategy may backfire; these cases may cause more trouble for first-order theories instead. Specifically, these cases suggest that (I) recurrent feedback loops to V1 are (...) most likely not the neural correlate of first-order representations for conscious experience, (II) first-order views seem to have a problem accounting for the phenomenology in these cases, and either (III) a version of the ambitious higher-order approach is superior in that it is the simplest theory that can account for all results at face value, or (IV) a view where phenomenology is jointly determined by both first-order and higher-order states. In our view (III) and (IV) are both live options and the decision between them may ultimately be an empirical question that cannot yet be decided. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

One of the most promising theories of consciousness currently available is higher-order thought (“HOT”) theory, according to which consciousness consists in having suitable HOTs regarding one’s mental life. But critiques of HOT theory abound. We explore here three recent objections to the theory, which we argue at bottom founder for the same reason. While many theorists today assume that consciousness is a feature of the actually existing mental states in virtue of which one has experiences, this assumption is in tension (...) with the underlying motivations for HOT theory and arguably false. We urge that these objections, though sophisticated, trade on this questionable conception of consciousness, thereby begging the question against HOT theory. We then explain how HOT theory might instead understand consciousness. (shrink)

According to proponents of the extended mind, bio-external resources, such as a notebook or a smartphone, are candidate parts of the cognitive and mental machinery that realises cognitive states and processes. The present chapter discusses three areas of ethical concern associated with the extended mind, namely mental privacy, mental manipulation, and agency. We also examine the ethics of the extended mind from the standpoint of three general normative frameworks, namely, consequentialism, deontology, and virtue ethics.

Researchers have converged on the idea that a pragmatic understanding of communication can shed important light on the evolution of language. Accordingly, animal communication scientists have been keen to adopt insights from pragmatics research. Some authors couple their appeal to pragmatic aspects of communication with the claim that there are fundamental asymmetries between signalers and receivers in non-human animals. For example, in the case of primate vocal calls, signalers are said to produce signals unintentionally and mindlessly, whereas receivers are thought (...) to engage in contextual interpretation to derive the significance of signals. We argue that claims about signaler-receiver asymmetries are often confused. This is partly because their authors conflate two conceptions of pragmatics, which generate different accounts of the explanatory target for accounts of the evolution of language. Here we distinguish these conceptions, in order to help specify more precisely the proper explanatory target for language evolution research. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

In connecting embodied, embedded, extended, and enactive (4E) cognition with affectivity and emotions, the framework of “situated affectivity” has recently emerged. This framework emphasizes the interactions between the emoter and the environment in the unfolding of our affective lives (Colombetti and Krueger 2015; Griffiths and Scarantino 2009; Piredda 2022; Stephan and Walter 2020). In the last decades, there has also been a growing interest in the philosophical analysis of technology and artifacts (Houkes and Vermaas 2010; Margolis and Laurence 2007; Preston (...) 2022). The aim of this special issue is to foster the interaction between philosophical reflections on affectivity and those on technology, further developing this fruitful borderland (Clowes et al. 2021; Colombetti 2020; Fasoli 2018; Krueger and Osler 2019; Heersmink 2018; Piredda and Candiotto 2019; Piredda 2020; Viola 2021). -/- . (shrink)

Keeping track of what others believe is a central part of human social cognition. However, the social relevance of those beliefs can vary a great deal. Some belief attributions mostly tell us about what a person is likely to do next. Other belief attributions tell us more about a person's social identity. In this paper, I argue that we cope with this challenge by employing two distinct concepts of belief in our everyday social interactions. The epistemic concept of belief is (...) primarily used to keep track of what other people take to be true, and this informs how we predict and interpret their behaviors. The symbolic concept of belief, in contrast, is primarily used as a means of signaling one's social identity to other members of one's community. In turn, community members closely monitor each other's symbolic beliefs as a means of enforcing social norms. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In this (...) paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

Coherentism maintains that coherent beliefs are more likely to be true than incoherent beliefs, and that coherent evidence provides more confirmation of a hypothesis when the evidence is made coherent by the explanation provided by that hypothesis. Although probabilistic models of credence ought to be well-suited to justifying such claims, negative results from Bayesian epistemology have suggested otherwise. In this essay we argue that the connection between coherence and confirmation should be understood as a relation mediated by the causal relationships (...) among the evidence and a hypothesis, and we offer a framework for doing so by fitting together probabilistic models of coherence, confirmation, and causation. We show that the causal structure among the evidence and hypothesis is sometimes enough to determine whether the coherence of the evidence boosts confirmation of the hypothesis, makes no difference to it, or even reduces it. We also show that, ceteris paribus, it is not the coherence of the evidence that boosts confirmation, but rather the ratio of the coherence of the evidence to the coherence of the evidence conditional on a hypothesis. (shrink)

The aim of this paper is to assess the relationship between anti-physicalist arguments in the philosophy of mind and anti-naturalist arguments in metaethics, and to show how the literature on the mind-body problem can inform metaethics. Among the questions we will consider are: (1) whether a moral parallel of the knowledge argument can be constructed to create trouble for naturalists, (2) the relationship between such a "Moral Knowledge Argument" and the familiar Open Question Argument, and (3) how naturalists can respond (...) to the Moral Twin Earth argument. We will give particular attention to recent arguments in the philosophy of mind that aim to show that anti-physicalist arguments can be defused by acknowledging a distinctive kind of conceptual dualism between the phenomenal and the physical. This tactic for evading anti-physicalist arguments has come to be known as the Phenomenal Concept Strategy. We will propose a metaethical version of this strategy, which we shall call the `Moral Concept Strategy'. We suggest that the Moral Concept Strategy offers the most promising way out of these anti-naturalist arguments, though significant challenges remain. (shrink)

Endurantists have recently faced a mereological puzzle in various forms. Here I argue that, instead of presenting a genuine worry, the puzzle actually reveals a common misunderstanding about the endurantist ontology. Furthermore, through this discussion of the alleged problem and the misunderstanding which motivates it, I reveal metaphysical commitments the endurantist has that may not be widely recognized. For instance, she is committed to interesting and perhaps controversial views about shape and location. I highlight these commitments and what they mean (...) for the endurantist. (shrink)

In this paper, we contend that the psychology of addiction is similar to the psychology of ordinary, non-addictive temptation in important respects, and explore the ways in which these parallels can illuminate both addiction and ordinary action. The incentive salience account of addiction proposed by Robinson and Berridge (1993; 2001; 2008) entails that addictive desires are not in their nature different from many of the desires had by non-addicts; what is different is rather the way that addictive desires are acquired, (...) which in turn affects their strength. We examine these “incentive salience” desires, both in addicts and non-addicts, contrasting them with more cognitive desires. On this account, the self-control challenge faced by addicted agents is not different in kind from that faced by non-addicted agents – though the two may, of course, differ greatly in degree of difficulty. We explore a general model of self-control for both the addict and the non-addict, stressing that self-control may be employed at three different stages, and examining the ways in which it might be strengthened. This helps elucidate a general model of intentional action. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Mereological challenges have recently been raised against the endurantist. For instance, Barker and Dowe (2003) have argued that eternalist endurantism entails (1) persisting objects are both 3D and 4D, and that (2) the lives of persisting objects last longer than they actually do. They also argue that presentist endurantism also entails, albeit in a tensed way, that (3) the lives of persisting objects last longer than they actually do. While they’ve further argued (2005) that the objections raised by McDaniel (2003) (...) and Beebee and Rush (2003) fail, here I show that such objections are tenable without requiring further significant metaphysical commitments; I argue that such endurantist defences are tenable, contra to prior analyses. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

Nomophobia (no-mobile-phone phobia) is the fear and anxiety of being without a mobile phone. This study pioneers the investigation of nomophobia in Afghanistan using the Nomophobia Questionnaire (NMP-Q), addressing a crucial gap in the field. We collected statistical data from 754 undergraduate medical students, comprising men (56.50 %) and women (43.50 %), and analyzed the dimensions of nomophobia. While results revealed that all but two participants were nomophobic, they identified three significant dimensions affecting the level of nomophobia among participants: (a) (...) gender, (b) age, and (c) marital status. The study's contributions are precious, given the peculiarity of Afghan political turmoil, security, and human rights issues, especially for women. For example, the study's data collection was abruptly halted in December 2022 due to the Taliban regime's decision to make it illegal for women to enroll in universities as students. Therefore, while examining the characteristics of nomophobia across societies is imperative, it is also vital to investigate what is true of one society, Afghanistan, at one point in time and space. The study concludes by emphasizing the need to broaden participants' scope in future studies to better understand the prevalence of nomophobia across broader societal contexts and forces. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision (...) by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (shrink)

Here I defend the compatibility of presentism and time travel against a few objections. Keller and Nelson argue that, if presentism is at all plausible, presentism and time travel are as compatible as eternalism and time travel. But Miller and Sider are not convinced. I reply that for their concerns to have merit, Miller and Sider must assume presentists are committed to positions they need not be; I explain why presentists are not so committed and, in the process, defend Keller (...) and Nelson’s position that there is no roadblock to presentist time travel that does not also apply to eternalist time travel. (shrink)

Recent discussions among lawyers, philosophers, policy researchers and athletes have focused on the potential threat to privacy posed by the World Anti-Doping Agency’s (WADA) whereabouts requirements. These requirements demand, among other things, that all elite athletes file their whereabouts information for the subsequent quarter on a quarterly basis and comprise data for one hour of each day when the athlete will be available and accessible for no advance notice testing at a specified location of their choosing. Failure to file one’s (...) whereabouts, or the non-availability for testing at said location on three occasions within any 18-month period constitutes an anti-doping rule violation that is equivalent to testing positive to a banned substance, and may lead to a suspension of the athlete for a time period of between one and two years. We critically explore the extent to which WADA’s whereabouts requirements are in tension with existing legislation on privacy, with respect to UK athletes, who are simultaneously protected by UK domestic and EU law. Both UK domestic and EU law are subject to the European Convention on Human Rights (ECHR) Article 8, which establishes a right to “respect for private and family life, home and correspondence”. We critically discuss the centrality of the whereabouts requirements in relation to WADA’s aims, and the adoption and implementation of its whereabouts rules. We conclude that as WADA’s whereabouts requirements appear to be in breach of an elite athlete’s rights under European workers’ rights, health & safety and data protection law they are also, therefore, in conflict with Article 8 of the ECHR and the UK Human Rights Act 1998. We call for specific amendments that cater for the exceptional case of elite sports labour if the WADA requirements are to be considered legitimate. (shrink)