Alongside existing research into the social, political and economic impacts of the Web, there is a need to study the Web from a cognitive and epistemic perspective. This is particularly so as new and emerging technologies alter the nature of our interactive engagements with the Web, transforming the extent to which our thoughts and actions are shaped by the online environment. Situated and ecological approaches to cognition are relevant to understanding the cognitive significance of the Web because of the emphasis (...) they place on forces and factors that reside at the level of agent–world interactions. In particular, by adopting a situated or ecological approach to cognition, we are able to assess the significance of the Web from the perspective of research into embodied, extended, embedded, social and collective cognition. The results of this analysis help to reshape the interdisciplinary configuration of Web Science, expanding its theoretical and empirical remit to include the disciplines of both cognitive science and the philosophy of mind. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

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)

All disciplines must define their basic units and core processes. In evolutionary biology, the core process is natural selection and the basic unit of selection and adaptation is the individual. To operationalize the theory of natural selection we must count individuals, as they are the bearers of fitness. While canonical individuals have often been taken to be multicellular organisms, the hierarchy of life shows that new kinds of individuals have evolved. A variety of criteria have been used to define biological (...) individuality. Some criteria rely on the presence/absence of a particular property while others advocate an approach that reflects the process of natural selection. The plethora of approaches to classifying individuality has resulted in confusion regarding how to study individuality in a given taxon. (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)

The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...) the exclusion of the opposite truth value describe the same situation.). (shrink)

We present an ontology of pain and of other pain-related phenomena, building on the definition of pain provided by the International Association for the Study of Pain (IASP). Our strategy is to identify an evolutionarily basic canonical pain phenomenon, involving unpleasant sensory and emotional experience based causally in localized tissue damage that is concordant with that experience. We then show how different variant cases of this canonical pain phenomenon can be distinguished, including pain that is elevated relative to peripheral trauma, (...) pain that is caused neuropathically (thus with no necessary peripheral stimulus), and pain reports arising through deception either of self or of others. We describe how our approach can answer some of the objections raised against the IASP definition, and sketch how it can be used to support more sophisticated discrimination of different types of pain resulting in improved data analysis that can help in advancing pain research. (shrink)

During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...) quality. Moreover, we show that the perceived emotional valence of certain phoneme combinations depends on a specific acoustic feature--namely, the dynamic shift within the phonemes' first two frequency components. These data suggest a phoneme-relevant acoustic property influencing the communication of emotion in humans, and provide further evidence against previously held assumptions regarding the structure of human language. This finding has potential applications for a variety of social, educational, clinical, and marketing contexts. (shrink)

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)

Epistemologists who study credences have a well-developed account of how you should change them when you learn new evidence; that is, when your body of evidence grows. What's more, they boast a diverse range of epistemic and pragmatic arguments that support that account. But they do not have a satisfactory account of when and how you should change your credences when you become aware of possibilities and propositions you have not entertained before; that is, when your awareness grows. In this (...) paper, I consider the arguments for the credal epistemologist's account of how to respond to evidence, and I ask whether they can help us generate an account of how to respond to awareness growth. The results are surprising: the arguments that all support the same norms for responding to evidence growth support a number of different norms when they are applied to awareness growth. Some of these norms seem too weak, others too strong. I ask what we should conclude from this, and argue that our credal response to awareness growth is considerably less rigorously constrained than our credal response to new evidence. (shrink)

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

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

Investigation of neural and cognitive processes underlying individual variation in moral preferences is underway, with notable similarities emerging between moral- and risk-based decision-making. Here we specifically assessed moral distributive justice preferences and non-moral financial gambling preferences in the same individuals, and report an association between these seemingly disparate forms of decision-making. Moreover, we find this association between distributive justice and risky decision-making exists primarily when the latter is assessed with the Iowa Gambling Task. These findings are consistent with neuroimaging studies (...) of brain function during moral and risky decision-making. This research also constitutes the first replication of a novel experimental measure of distributive justice decision-making, for which individual variation in performance was found. Further examination of decision-making processes across different contexts may lead to an improved understanding of the factors affecting moral behaviour. (shrink)

Extended and distributed cognition theories argue that human cognitive systems sometimes include non-biological objects. On these views, the physical supervenience base of cognitive systems is thus not the biological brain or even the embodied organism, but an organism-plus-artifacts. In this paper, we provide a novel account of the implications of these views for learning, education, and assessment. We start by conceptualising how we learn to assemble extended cognitive systems by internalising cultural norms and practices. Having a better grip on how (...) extended cognitive systems are assembled, we focus on the question: If our cognition extends, how should we educate and assess such extended cognitive systems? We suggest various ways to minimize possible negative effects of extending one’s cognition and to efficiently find and organise (online) information by adopting a virtue epistemology approach. Educational and assessment implications are foregrounded, particularly in the case of Danish students’ use of the Internet during exams. (shrink)

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)

One goal of this paper is to argue that autobiographical memories are extended and distributed across embodied brains and environmental resources. This is important because such distributed memories play a constitutive role in our narrative identity. So, some of the building blocks of our narrative identity are not brain-bound but extended and distributed. Recognising the distributed nature of memory and narrative identity, invites us to find treatments and strategies focusing on the environment in which dementia patients are situated. A second (...) goal of this paper is to suggest various of such strategies, including lifelogging technologies such as SenseCams, life story books, multimedia biographies, memory boxes, ambient intelligence systems, and virtual reality applications. Such technologies allow dementia patients to remember their personal past in a way that wouldn’t be possible by merely relying on their biological memory, in that way aiding in preserving their narrative identity and positively contributing to their sense of well-being. (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.

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.

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (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.

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called epistemic utility (...) theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

Conservative assumptions in medical ethics risk immense harms during a pandemic. Public health institutions and public discourse alike have repeatedly privileged inaction over aggressive medical interventions to address the pandemic, perversely increasing population-wide risks while claiming to be guided by ‘caution’. This puzzling disconnect between rhetoric and reality is suggestive of an underlying philosophical confusion. In this paper, I argue that we have been misled by status quo bias—exaggerating the moral significance of the risks inherent in medical interventions, while systematically (...) neglecting the risks inherent in the status quo prospect of an out-of-control pandemic. By coming to appreciate the possibility and significance of status quo risk, we will be better prepared to respond appropriately when the next pandemic strikes. (shrink)

When is it legitimate for a government to ‘nudge’ its citizens, in the sense described by Thaler and Sunstein (2008)? In their original work on the topic, Thaler and Sunstein developed the _‘as judged by themselves’ (or AJBT) test_ to answer this question (Thaler and Sunstein 2008, p. 5). In a recent paper, Paul and Sunstein (2019) raised a concern about this test: it often seems to give the wrong answer in cases in which we are nudged to make a (...) decision that leads to what Paul calls a _personally transformative experience_, that is, one that results in our values changing (Paul 2014). In those cases, the nudgee will judge the nudge to be legitimate after it has taken place, but only because their values have changed as a result of the nudge. In this paper, I take up the challenge of finding an alternative test. I draw on my _aggregate utility account_ of how to choose in the face of what Ullmann-Margalit (2006) calls _big decisions_, that is, decisions that lead to these personally transformative experiences (Pettigrew 2019, Chapters 6 and 7). (shrink)

John McDowell has often emphasized the fact that the use of langauge is a rational enterprise. In this paper, I explore the sense in which this is so, arguing that our use of language depends upon our consciously knowing what our words mean. I call this a 'cognitive conception of semantic competence'. The paper also contains a close analysis of the phenomenon of implicature and some suggestions about how it should and should not be understood.

This essay outlines one way to conceptualise the relation between cultural identity, collective memory, and artifacts. It starts by characterising the notion of cultural identity as our membership to cultural groups and briefly explores the relation between cultural and narrative identity (section 2). Next, it presents how human memory is conceptualised on an individual and collective level (section 3) and then distinguishes between small-scale and large-scale collective memory (section 4). Having described cultural identity and collective memory, it argues that cultural (...) identity is materialised in the environment when we retrieve and construct collective memories by integrating information from our biological memory with information in artifacts or in other people’s embodied brains (section 5). This essay ends with analysing how materialised cultural identities are constructed by using a niche construction approach from evolutionary biology (section 6). (shrink)

In the first half of this paper, I argue that group belief ascriptions are highly ambiguous. What's more, in many cases, neither the available contextual factors nor known pragmatic considerations are sufficient to allow the audience to identify which of the many possible meanings is intended. In the second half, I argue that this ambiguity often has bad consequences when a group belief ascription is heard and taken as testimony. And indeed it has these consequences even when the ascription is (...) true on the speaker's intended interpretation, when the speaker does not intend to mislead and indeed intends to cooperatively inform, and when the audience incorporates the evidence from the testimony as they should. I conclude by arguing that these consequences should lead us to stop using such ascriptions. (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)

The complementary properties and functions of cognitive artifacts and other external resources are integrated into the human cognitive system to varying degrees. The goal of this paper is to develop some of the tools to conceptualize this complementary integration between agents and artifacts. It does so by proposing a multidimensional framework, including the dimensions of information flow, reliability, durability, trust, procedural transparency, informational transparency, individualization, and transformation. The proposed dimensions are all matters of degree and jointly they constitute a multidimensional (...) space in which situated cognitive systems can be located and have certain dimensional configurations. These dimensions provide a new perspective on the conditions for cognitive extension. They are, however, not meant to provide a set of necessary and sufficient conditions, but to provide a toolbox for investigating the degree and nature of the integration of agent and artifact into “new systemic wholes”. The higher a situated system scores on the proposed dimensions, the more functional integration occurs, and the more tightly coupled the system is. (shrink)

There are many reasons we might want to take the opinions of various individuals and pool them to give the opinions of the group they constitute. If all the individuals in the group have probabilistic opinions about the same propositions, there is a host of pooling functions we might deploy, such as linear or geometric pooling. However, there are also cases where different members of the group assign probabilities to different sets of propositions, which might overlap a lot, a little, (...) or not at all. There are far fewer proposals for how to proceed in these cases, and those there are have undesirable features. I begin by considering four proposals and arguing that they don't work. Then I'll describe my own proposal, which is intended to cover the situation in which we want to pool the individual opinions in order to ascribe an opinion to the group considered as an agent in its own right. (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.

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)

This paper applies a virtue epistemology approach to using the Internet, as to improve our information-seeking behaviours. Virtue epistemology focusses on the cognitive character of agents and is less concerned with the nature of truth and epistemic justification as compared to traditional analytic epistemology. Due to this focus on cognitive character and agency, it is a fruitful but underexplored approach to using the Internet in an epistemically desirable way. Thus, the central question in this paper is: How to use the (...) Internet in an epistemically virtuous way? Using the work of Jason Baehr, it starts by outlining nine intellectual or epistemic virtues: curiosity, intellectual autonomy, intellectual humility, attentiveness, intellectual carefulness, intellectual thoroughness, open-mindedness, intellectual courage and intellectual tenacity. It then explores how we should deploy these virtues and avoid the corresponding vices when interacting with the Internet, particularly search engines. Whilst an epistemically virtuous use of the Internet will not guarantee that one will acquire true beliefs, understanding or even knowledge, it will strongly improve one’s information-seeking behaviours. The paper ends with arguing that teaching and assessing online intellectual virtues should be part of school and university curricula, perhaps embedded in critical thinking courses, or even better, as individual units. (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.

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

This article provides an overview and analysis of recent work on the extended self, demonstrating that the boundaries of selves are fluid, shifting across biological, artifactual, and sociocultural structures. First, it distinguishes the notions of minimal self, person, and narrative self. Second, it surveys how philosophers, psychologists, and cognitive scientists argue that embodiment, cognition, emotion, consciousness, and moral character traits can be extended and what that implies for the boundaries of selves. It also reviews and responds to various criticisms and (...) counterarguments against the extended self. The main focus is on the link between the extended mind and extended self, which has received the most attention in recent literature. But accounts of the extended self developed independently of the extended mind are also briefly discussed. This article ends by drawing out some of the conceptual, methodological, and normative implications of the extended self and suggesting some directions for future research. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

In this article, I outline various ways in which artifacts are interwoven with autobiographical memory systems and conceptualize what this implies for the self. I first sketch the narrative approach to the self, arguing that who we are as persons is essentially our life story, which, in turn, determines our present beliefs and desires, but also directs our future goals and actions. I then argue that our autobiographical memory is partly anchored in our embodied interactions with an ecology of artifacts (...) in our environment. Lifelogs, photos, videos, journals, diaries, souvenirs, jewelry, books, works of art, and many other meaningful objects trigger and sometimes constitute emotionally laden autobiographical memories. Autobiographical memory is thus distributed across embodied agents and various environmental structures. To defend this claim, I draw on and integrate distributed cognition theory and empirical research in human-technology interaction. Based on this, I conclude that the self is neither defined by psychological states realized by the brain nor by biological states realized by the organism, but should be seen as a distributed and relational construct. (shrink)

Angell's logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. We show that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. The epimorphism was found with the help of MUltlog, which also provides a tableau calculus for NC extended by quantifiers that generalize conjunction and disjunction.

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (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)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

This paper takes up Huw Price׳s challenge to develop a retrocausal toy model of the Bell-EPR experiment. I develop three such models which show that a consistent, local, hidden-variables interpretation of the EPR experiment is indeed possible, and which give a feel for the kind of retrocausation involved. The first of the models also makes clear a problematic feature of retrocausation: it seems that we cannot interpret the hidden elements of reality in a retrocausal model as possessing determinate dispositions to (...) affect the outcome of experiments. This is a feature which Price has embraced, but Gordon Belot has argued that this feature renders retrocausal interpretations “unsuitable for formal development”, and the lack of such determinate dispositions threatens to undermine the motivation for hidden-variables interpretations in the first place. But Price and Belot are both too quick in their assessment. I show that determinate dispositions are indeed consistent with retrocausation. What is more, I show that the ontological economy allowed by retrocausation holds out the promise of a classical understanding of spin and polarization. (shrink)

So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. (...) I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. -/- It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

In December of 2013, my Dad died of advanced Alzheimer's and a condition called Myasthenia Gravis. This is a selection of journal entries I made over the course of the two years leading up to my Dad's death. It is not a philosophical essay, but a personal reflection, in "real time" so to speak, on the nature of the dying process in relation to questions of faith, hope, despair, and the meaning of a man's life. I offer it here for (...) any who might find it worthwhile. (shrink)

This paper explores the relationship between the questioning attitude of wondering and a class of attitudes I call 'epistemic desires'. Broadly, these are desires to improve one's epistemic position on some question. A common example is the attitude of wanting to know the answer to some question. I argue that one can have any kind of epistemic desire towards any question, Q, without necessarily wondering Q, but not conversely. That is, one cannot wonder Q without having at least some epistemic (...) desire directed towards Q. I defend this latter claim from apparent counterexamples due to Friedman (2013) and Drucker (2022), and finish with a proposal on which epistemic desires, particularly the desire for understanding, play an explanatory role in distinguishing wondering from other forms of question-directed thought. (shrink)

This paper clarifies the usage of Albert Hirschman’s categories of market behaviour as of exit and voice in debates about workplace democracy by taking seriously his critique of the neoclassical analysis of competition. Pro-market liberals are generally hostile to the idea of workplace democracy and tend to favour top-down hierarchies as a way of organising labour. This hostility is generally inspired by the neoclassical analysis of exploitation and efficiency, which leads them to defend distributions achieved through exit-based competitive equilibria. Following (...) Hirschman, I propose to consider a hypothetical alternative: a democratic equilibrium, reached through the use of voice. I show that it would present the same appealing characteristics than its competitive counterpart while also accounting for the non-ideal conditions in which markets operate. Support for free markets should entail support for workplace democracy minimally understood as a strengthening of voice. (shrink)