Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

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

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

This paper explores how transformative experience generates decision-making problems of particular seriousness in medical settings. Potentially transformative experiences are especially likely to be encountered in medicine, and the associated decisions are confronted jointly by patients and clinicians in the context of an imbalance of power and expertise. However in such scenarios the principle of informed consent, which plays a central role in guiding clinicians, is unequal to the task. We detail how the principle’s assumptions about autonomy, rationality and information handle (...) transformative experiences poorly, appealing to several difficult cases for medical decision-making to illustrate the resulting problem, and we consider how the existing literature on complications with consent fails to offer a resolution. We argue that recognition of the problem has a role to play in achieving a more effective response to transformative decisions. In Sect. 1 we introduce several representative cases of challenging patient decision-making that clinicians might face. In Sect. 2 we detail how transformative experience has been analysed in the recent literature, before outlining in Sect. 3 the theoretical basis of the principle of informed consent, which plays a central role in how clinicians are expected to support decision-making. In Sect. 4, having laid the groundwork for a clear description, we return to the cases given in Sect. 1 to confirm how their transformative nature presents a problem: either clinicians treat the decisions faced by these patients as ‘normal’, encouraging them to focus on information provision that patients may be unable to act on, or they treat them as transformative, in which case they lack the resources to recognise whether they are helping patients make (subjectively) good decisions. In Sect. 5 we argue that the existing literature does not offer any escape from this problem. We close in Sect. 6 by noting the significant impact that appreciating the problem of transformative experience could have on supporting transformative decisions in medicine and briefly suggesting how we might aim to develop new approaches to dealing with these. (shrink)

This is an 18,500 word bibliography of philosophical scholarship on Beauty which was published online in the Oxford Bibliographies Online. The entry includes an Introduction of 800 words, 21 x 400-word sub-themes and 168 annotated references. INTRODUCTION Philosophical interest in beauty began with the earliest recorded philosophers. Beauty was deemed to be an essential ingredient in a good life and so what it was, where it was to be found and how it was to be included in a life were (...) prime considerations. The way beauty has been conceived has been influenced by an author’s other philosophical commitments, metaphysical, epistemological and ethical and such commitments reflect the historical and cultural position of the author. For example, beauty is a manifestation of the divine on earth to which we respond with love and adoration; beauty is a harmony of the soul which we achieve through cultivating feeling in a rational and tempered way; beauty is an idea raised in us by certain objective features of the world; beauty is a sentiment which can nonetheless be cultivated to be appropriate to its object; beauty is the object of a judgment by which we exercise the social, comparative and inter-subjective elements of cognition and so on. Such views on beauty not only reveal underlying philosophical commitments but also reflect positive contributions to understanding the nature of value and the relation of mind and world. One way to distinguish between beauty theories is according to the conception of the human being that they assume or imply, for example, where they fall on the continuum from determinism to free will, ungrounded notions of compatibilism notwithstanding. For example, theories at the latter end might carve out a sense of genuine innovation and creativity in human endeavours while at the other end of the spectrum authors may conceive of beauty as an environmental trigger for consumption, procreation or preservation in the interests of the individual. Treating beauty experiences as in some respect intentional, characterises beauty theory prior to the twentieth century and since, mainly in historically inspired writing on beauty. On the other hand, treating beauty as affect or sensation has always had its representatives and is most visible today in evolutionary inspired accounts of beauty (though not all evolutionary accounts fit this classification). Beauty theory falls under some combination of metaphysics, epistemology, meta-ethics, aesthetics and psychology. While in the twentieth century beauty was more likely to be conceived as an evaluative concept for art, recent philosophical interest in beauty can again be seen to exercise arguments pertaining to metaphysics, epistemology, meta-ethics, philosophy of meaning and language in addition to philosophy of art and environmental aesthetics. (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.

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (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.

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.

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.

The standard cognitive theory of art claims that art can be insightful while maintaining that imagining is motivationally inert [Walton 1990] even when some epistemic advantage is claimed for it [Currie 1995]. However, if we assume art as art can be insightful, we also assume that the imagining it occasions has a lasting impact on belief. In this chapter, I argue that imagining of the kind occasioned by art can be held non-occurrently [Schellenberg 2013] without delusion and can motivate behaviour (...) [Gendler 2000, 2003, 2006a/b; Langland-Hassan 2016]. As such, certain features of imagination can be appreciated in a new light. (shrink)

Many proponents of the Harm Principle seem to implicitly assume that the principle is compatible with permitting the free exchange of goods and services, even if such exchanges generate so-called market harms. I argue that, as a result, proponents of the Harm Principle face a dilemma: either the Harm Principle’s domain cannot include a large number of non-market harm cases or market harms must be treated on par with non-market harms. I then go on to discuss three alternative arguments defending (...) the status of market harms as exceptions to the Harm Principle and discuss why these arguments also fail. (shrink)

There is too much that we do not know about COVID-19. The longer we take to find it out, the more lives will be lost. In this paper, we will defend a principle of risk parity: if it is permissible to expose some members of society (e.g. health workers or the economically vulnerable) to a certain level of ex ante risk in order to minimize overall harm from the virus, then it is permissible to expose fully informed volunteers to a (...) comparable level of risk in the context of promising research into the virus. We apply this principle to three examples of risky research: skipping animal trials for promising treatments, human challenge trials to speed up vaccine development, and low-dose controlled infection or “variolation.” We conclude that if volunteers, fully informed about the risks, are willing to help fight the pandemic by aiding promising research, there are strong moral reasons to gratefully accept their help. To refuse it would implicitly subject others to still graver risks. (shrink)

The Pythagorean tradition dominates the understanding of beauty up until the end of the 18th Century. According to this tradition, the experience of beauty is stimulated by certain relations perceived to be between an object/construct's elements. As such, the object of the experience of beauty is indeterminate: it has neither a determinate perceptual analogue (one cannot simply identify beauty as you can a straight line or a particular shape) nor a determinate concept (there are no necessary and sufficient conditions for (...) beauty at the semantic level). By the 13th Century in the West, the pleasure experienced in beauty is characterized as disinterested. Yet, on the basis that all cultural manifestations of the pythagorean theory of beauty recognize that judgments of beauty are genuine judgments, we would want to say that judgments of beauty are lawful. In addition, from ancient times, up until after Kant, philosophers of beauty within this tradition recognize two kinds of beauty: a universal, unchanging beauty coexisting with a relative, dynamic beauty. These two kinds of beauty and the tensions discussed above, are reconciled and dissolved respectively, according to the metaphysical/religious commitments of the particular author. As yet, however, these features of beauty have not been reconciled within a physicalist worldview. This is what I set out to do. (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)

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

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

In this paper, we seek a reliabilist account of justified credence. Reliabilism about justified beliefs comes in two varieties: process reliabilism (Goldman, 1979, 2008) and indicator reliabilism (Alston, 1988, 2005). Existing accounts of reliabilism about justified credence comes in the same two varieties: Jeff Dunn (2015) proposes a version of process reliabilism, while Weng Hong Tang (2016) offers a version of indicator reliabilism. As we will see, both face the same objection. If they are right about what justification is, it (...) is mysterious why we care about justification, for neither of the accounts explains how justification is connected to anything of epistemic value. We will call this the Connection Problem. I begin by describing Dunn’s process reliabilism and Tang’s indicator reliabilism. I argue that, understood correctly, they are, in fact, extensionally equivalent. That is, Dunn and Tang reach the top of the same mountain, albeit by different routes. However, I argue that both face the Connection Problem. In response, I offer my own version of reliabilism, which is both process and indicator, and I argue that it solves that problem. Furthermore, I show that it is also extensionally equivalent to Dunn’s reliabilism and Tang’s. Thus, I reach the top of the same mountain as well. (shrink)

This essay presents the nature of aesthetic judgment, the significance of aesthetic judgment and finally, the relevance of art to understanding aesthetic judgment.

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 analyses the phenomenology and epistemology of chatbots such as ChatGPT and Bard. The computational architecture underpinning these chatbots are large language models (LLMs), which are generative AI (Artificial Intelligence) systems trained on a massive dataset of text extracted from the Web. We conceptualise these LLMs as multifunctional computational cognitive artifacts, used for various cognitive tasks such as translating, summarizing, answering questions, information-seeking, and much more. Phenomenologically, LLMs can be experienced as a “quasi-other”; when that happens, users anthropomorphise them. (...) For most users, current LLMs are black boxes, i.e., for the most part, they lack data transparency and algorithmic transparency. They can, however, be phenomenologically and informationally transparent, in which case there is an interactional flow. Anthropomorphising and interactional flow can, in some users, create an attitude of (unwarranted) trust towards the output LLMs generate. We conclude this paper by drawing on the epistemology of trust and testimony to examine the epistemic implications of these dimensions. Whilst LLMs generally generate accurate responses, we observe two epistemic pitfalls. Ideally, users should be able to match the level of trust that they place in LLMs to the degree that LLMs are trustworthy. However, both their data and algorithmic opacity and their phenomenological and informational transparency can make it difficult for users to calibrate their trust correctly. The effects of these limitations are twofold: users may adopt unwarranted attitudes of trust towards the outputs of LLMs (which is particularly problematic when LLMs hallucinate), and the trustworthiness of LLMs may be undermined. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (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)

Beauty is evil, a surreptitious diversion of earthly delights planted by the devil, according to the third century theologian-philosopher Tertullian. Beauty is a manifestation of the divine on earth, according to another third century philosopher, Plotinus. Could these two really be talking about the same thing? That beauty evokes an experience of pleasure is probably the only point on which all participants in the continuing debate on beauty agree. But what kinds of pleasure one considers relevant to an experience of (...) beauty, is the crux of the problem of beauty. In ancient, medieval and eighteenth century philosophy, the problem of beauty was framed by the larger concern of what constituted a good life. The question regarding the nature of beauty was answered with a view to its role in achieving the good life for those who cultivated its apprehension. In the twentieth century, philosophers framed the problem of beauty as a problem for conceptual analysis. The questions asked were: Is beauty subjective or objective? Are there properties in the object that count towards beauty in all cases; that are sufficient or necessary for an object to be judged beautiful? What kind of pleasure is the pleasure we experience of beauty? I will examine how these questions can be seen to have been answered by earlier philosophical traditions and then I will use these questions as a guide to developing an explanatory theory of beauty based on contemporary theories of perception. (shrink)

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)

The sublime is an aspect of experience that has attracted a great deal of scholarship, not only for scholarly reasons but because it connotes aspects of experience not exhausted by what Descartes once called clear distinct perception. That is, the sublime is an experience of the world which involves us in orientating ourselves within it, and this orientation, our human orientation, elevates us in comparison to the non-human world according to traditional accounts of the sublime. The sublime tells us something (...) about our relation to the world rather than anything about the world per se. Nonetheless there is an objective sense of the sublime in that the narratives involved are culturally endorsed rather than invented by an individual. This means that objects can be judged worthy or not of evoking experiences of the sublime. In other words, it is not an idiosyncratic matter. Immanuel Kant’s formulation of this involved explaining how such an experience is possible in terms of his system of the mind. Jane Forsey notes that Kant takes the features of the sublime as given and extrapolates from them certain features of the mind as if any concept of the sublime must implicate the mental architecture of his account (2007). Further to this she argues that in fact the concept of the sublime does implicate a particular system of the mind but neither Kant nor anyone else can successfully formulate it because the concept itself frames certain contradictions. According to Forsey, two consequences follow. First she argues that Kant’s system of the mind does not support the features of the sublime; and secondly that no system could as the very concept is incoherent. If Forsey can show that Kant was mistaken in presenting his account as coherent given his commitments, this would be of interest in its own right. However, her stronger claim is that we cannot separate any concept of the sublime out from Kant’s theoretical underpinnings. That the way the features of the mind are meant to operate in experiences of the sublime are contradictory simply points to the fatal flaws in the whole concept. Her conclusion is that there is no coherent account of the sublime available to us. I will argue that Forsey bases her reasoning on the assumption that a foundational empiricist or direct perception holds; and she interprets Kant’s notions of imagination, understanding and reason as though they are grounded in just such an account of perception. This is revealed in her interpretation of Kant’s phrase “beyond cognition”. Once this foundationalism is replaced with an account of perception more aligned with current research on perception, both philosophical and empirical, then an account of the sublime is available. Further to this however, I argue that what constitutes the narrative of the sublime is historically contingent. Before setting out my arguments, I consider Forsey’s argument in more detail. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (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 (unfolding) 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)

Are non-natural properties worth caring about? I consider two objections to metaethical non-naturalism. According to the intelligibility objection, it would be positively unintelligible to care about non-natural properties that float free from the causal fabric of the cosmos. According to the ethical idlers objection, there is no compelling motivation to posit non-natural normative properties because the natural properties suffice to provide us with reasons. In both cases, I argue, the objection stems from misunderstanding the role that non-natural properties play in (...) the non-naturalist's understanding of normativity. The role of non-natural properties is not to be responded to, but to "mark" which natural properties it is correct for us to respond to in certain ways. (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.

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)

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)

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)

Literary beauty was once understood as intertwining sensations and ideas, and thus as providing subjective and objective reasons for literary appreciation. However, as theory and philosophy developed, the inevitable claims and counterclaims led to the view that subjective experience was not a reliable guide to literary merit. Literary theory then replaced aesthetics as did philosophy’s focus on literary truth. Along with the demise of the relevance of sensations, literary form also took a back seat. This suggested to some that either (...) literature communicated truth like any other literal form of communication or it was a mere diversion: a springboard to harmless reverie or daydreaming. Neither response satisfactorily captured what was distinctive about literature: the love readers can have for literary texts and the edification or insight claimed of works within each culture’s respective catalogue of classics. However, a concept of literary beauty has again become viable due to developments in theories of pleasure and imagination. If the defining aspect of literature is the imaginative engagement it occasions, and if this imagining is constrained by plausibility and endorsed as effective relative to our goals, ideals, and interests, then literature is not reduced to either mere fact or wish fulfillment. An account of literary beauty is available which defines literature accordingly and explains how subjective and objective reasons for appreciation intertwine to evoke pleasure and insight. (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)

This paper explores the implications of extended and distributed cognition theory for our notions of personal identity. On an extended and distributed approach to cognition, external information is under certain conditions constitutive of memory. On a narrative approach to personal identity, autobiographical memory is constitutive of our diachronic self. In this paper, I bring these two approaches together and argue that external information can be constitutive of one’s autobiographical memory and thus also of one’s diachronic self. To develop this claim, (...) I draw on recent empirical work in human-computer interaction, looking at lifelogging technologies in both healthcare and everyday contexts. I argue that personal identity can neither be reduced to psychological structures instantiated by the brain nor by biological structures instantiated by the organism, but should be seen as an environmentally-distributed and relational construct. In other words, the complex web of cognitive relations we develop and maintain with other people and technological artifacts partly determines our self. This view has conceptual, methodological, and normative implications: we should broaden our concepts of the self as to include social and artifactual structures, focus on external memory systems in the (empirical) study of personal identity, and not interfere with people’s distributed minds and selves. (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)

Aesthetic autonomy has been given a variety of interpretations, which in many cases involve a number of claims. Key among them are: (i) art eludes conventional conceptual frameworks and their inherent incompatibility with invention and creativity; and (ii) art can communicate aspects of experience too fine‐grained for discursive language. To accommodate such claims one can adopt either a convention‐based account or a natural‐kind account. A natural‐kind theory can explain the first but requires some special scaffolding in order to support the (...) second, while a convention‐based account accommodates the second but is incompatible with the first. Theodor W. Adorno attempts to incorporate both claims within his aesthetic theory, but arguably in his aesthetic theory each is cancelled out by the other. Art’s independence of entrenched conceptual frameworks needs to be made compatible with its communicative role. Jürgen Habermas, in contrast, provides a solution by way of his theory of language. I draw upon the art practice of the contemporary Icelandic‐Danish artist Olafur Eliasson in order to demonstrate this. (shrink)

This paper comments on an article by V.S. Ramachandran and William Hirstein (JCS,1999) in which they purport to be identifying the neurological principles of beauty. I draw attention to the way the problem of beauty is construed in the philosophical literature by Mary Mothersill (1984) and Immanuel Kant (Critique of Judgment). I argue that Ramachandran and Hirsteins' principles do not address the problem of beauty because they do not differentiate between the experience of beauty and other closely related phenomena. I (...) then show how one might address the problem of beauty within the framework that they have adopted. (shrink)

Veritism says that the fundamental source of epistemic value for a doxastic state is the extent to which it represents the world correctly: that is, its fundamental epistemic value is deter...