Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge – on how our view of the world changes in the light of new evidence. Yet these two areas of research have long seemed strangely detached from each other, as witnessed by the small number of cross-references and researchers working in both domains. One may speculate as to what has brought about this surprising, and perhaps unfortunate, state of affairs. One factor may be (...) that while belief revision theory has traditionally been pursued in a bottom- up manner, focusing on the endeavors of single inquirers, philosophers of science, inspired by logical empiricism, have tended to be more interested in science as a multi-agent or agent-independent phenomenon. (shrink)

We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games.

We propose a new perspective on logics of computation by combining instantial neighborhood logic INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} with bisimulation safe operations adapted from PDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PDL}$$\end{document}. INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document} is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a (...) logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance for instantial neighborhood bisimulations, the appropriate bisimulation concept for INL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {INL}$$\end{document}. We also prove that our extended logic IPDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {IPDL}$$\end{document} is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for IPDL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {IPDL}$$\end{document}, and establish its finite model property and decidability. (shrink)

The well known AGM framework for belief revision has recently been extended to include a model of the research agenda of the agent, i.e. a set of questions to which the agent wishes to find answers (Olsson & Westlund in Erkenntnis , 65 , 165–183, 2006 ). The resulting model has later come to be called interrogative belief revision . While belief revision has been studied extensively from the point of view of modal logic, so far interrogative belief revision has (...) only been dealt with in the metalanguage approach in which AGM was originally presented. In this paper, I show how to model interrogative belief revision in a modal object language using a class of operators for questions. In particular, the solution I propose will be shown to capture the notion of K-truncation , a method for agenda update in the case of expansion constructed by Olsson & Westlund. Two case studies are conducted: first, an interrogative extension of Krister Segerberg’s system DDL, and then a similar extension of Giacomo Bonanno’s modal logic for belief revision. Sound and complete axioms will be provided for both of the resulting logics. (shrink)

In the paper "On the role of the research agenda in epistemic change", Olsson and Westlund have suggested that the notion of epistemic state employed in the standard framework of belief revision (Alchourrón et al. 1985; Gärdenfors 1988) should be extended to include a representation of the agent's research agenda (Olsson and Westlund 2006). The resulting framework will here be referred to as interrogative belief revision. In this paper, I attempt to deal with the problem of how research agendas should (...) change in contraction, a problem largely left open by Olsson and Westlund. Two desiderata of an appropriate solution are suggested: one is a principle of continuity, stating that changes in the research agenda should somehow reflect that certain long term research interests are kept fixed. The other desideratum, which is based on part of Olsson and Westlund's motivation for adding research agendas to the epistemic states, is that we should be able to account for how contraction may serve to open up new, fruitful hypotheses for investigation. In order to achieve these desiderata, I base my solution on a revised version of Olsson and Westlund's notion of epistemic state. (shrink)

There are several known Lindström-style characterization results for basic modal logic. This paper proves a generic Lindström theorem that covers any normal modal logic corresponding to a class of Kripke frames definable by a set of formulas called strict universal Horn formulas. The result is a generalization of a recent characterization of modal logic with the global modality. A negative result is also proved in an appendix showing that the result cannot be strengthened to cover every first-order elementary class of (...) frames. This is shown by constructing an explicit counterexample. (shrink)

I develop a dynamic logic for reasoning about "interrogative belief revision", a new branch of belief revision theory that has been developed in a small number of papers, beginning with E. J. Olsson and D. Westlund's paper "On the role of the research agenda in epistemic change" [12]. In interrogative belief revision, epistemic states are taken to include a research agenda, consisting of questions the agent seeks to answer. I present a logic for revision of such epistemic states based on (...) the notion of an epistemic strategy, a stable plan of action that determines changes in the agent's research agenda. This idea is a further development of an idea put forward in [6], that changes in the research agenda of an agent should be determined by stable, "long term" research interests. I provide complete axioms and a decidability result for the logic. (shrink)

We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal mu-calculus corresponds exactly to the fragment of this second-order language that is invariant for neighborhood bisimulations.

We introduce a path-based cyclic proof system for first-order $\mu $-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal $\mu $-calculus.

In a recent article, Alexander Kurz and Yde Venema establish a Lindström theorem for coalgebraic modal logic that is shown to imply a modal Lindström theorem by Maarten de Rijke. A later modal Lindström theorem has been established by Johan van Benthem, and this result still lacks a coalgebraic formulation. The main obstacle has so far been the lack of a suitable notion of ‘submodels’ in coalgebraic semantics, and the problem is left open by Kurz and Venema. In this article, (...) we propose a solution to this problem and derive a general coalgebraic Lindström theorem along the lines of van Benthem's result. We provide several applications of the result. (shrink)

This thesis deals with the theory of interrogative belief revision, a recent development in the subfield of philosophical logic known as belief revision theory. While classical belief revision theory deals with the dynamics of an agent’s beliefs, interrogative belief revision aims to describe the dynamics of the agent’s questions about the world, or research agenda, as well. Great emphasis is put on the interaction between belief change and changes in the research agenda. I develop both the technical framework for this (...) theory by constructing and investigating modal logics for reasoning about the dynamics of research interests, as well as pursuing further the philosophical foundations and applications of the theory. Among the contributions of the thesis are: - a novel interpretation of the theory founded on a notion of epistemic strategies - a solution to the previously open problem of contraction and revision in this context - several systems of modal logic that can be used to reason about interrogative belief revision - completeness results and decidability results for these logics - a characterization of a class of relevant conditionals based on a notion of agenda relevance. (shrink)

in UndeterminedInterrogative belief revision is a relatively recent framework for belief revision theory, in which the epistemic state of an agent includes a representation of that agent's research agenda, i.e. the set of questions the agent wants to have answers to. This added structure opens new possibilites for various types of epistemic change that cannot be distinguished in traditional belief revision. In this article I use the so-called 'action model' approach known from the literature on dynamic epistemic logic to provide (...) a unified framework in which we can reason about these various types of epistemic changes. I show how to model some natural examples of epistemic changes involving change of the research agenda in this framework. The action models give rise to a dynamic logic which is proven to be decidable. (shrink)

We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e., finite graphs. The sequent calculi incorporate ordinal annotations and structural rules for managing them. Soundness is proved with relative ease as is the case for the modal mu-calculus with explicit ordinals. The main ingredients in the proof of completeness are isolating a class of non-wellfounded (...) proofs with sequents of bounded size, called slim proofs, and a counter-model construction that shows slimness suffices to capture all validities. Slim proofs are further transformed into cyclic proofs by means of re-assigning ordinal annotations. (shrink)

This paper explores a new language of neighbourhood structures where existential information can be given about what kind of worlds occur in a neighbourhood of a current world. The resulting system of ‘instantial neighbourhood logic’ INL has a nontrivial mix of features from relational semantics and from neighbourhood semantics. We explore some basic model-theoretic behavior, including a matching notion of bisimulation, and give a complete axiom system for which we prove completeness by a new normal form technique. In addition, we (...) relate INL to other modal logics by means of translations, and determine its precise SAT complexity. Finally, we discuss proof-theoretic fine-structure of INL in terms of semantic tableaux and some expressive fine-structure in terms of fragments, while discussing concrete illustrations of the instantial neighborhood language in topological spaces, in games with powers for players construed in a new way, as well as in dynamic logics of acquiring or deleting evidence. We conclude with some coalgebraic perspectives on what is achieved in this paper. Many of these final themes suggest follow-up work of independent interest. (shrink)

We propose a new perspective on logics of computation by combining instantial neighborhood logic \ with bisimulation safe operations adapted from \. \ is a recent modal logic, based on an extended neighborhood semantics which permits quantification over individual neighborhoods plus their contents. This system has a natural interpretation as a logic of computation in open systems. Motivated by this interpretation, we show that a number of familiar program constructors can be adapted to instantial neighborhood semantics to preserve invariance for (...) instantial neighborhood bisimulations, the appropriate bisimulation concept for \. We also prove that our extended logic \ is a conservative extension of dual-free game logic, and its semantics generalizes the monotone neighborhood semantics of game logic. Finally, we provide a sound and complete system of axioms for \, and establish its finite model property and decidability. (shrink)

We present a new notion of game equivalence that captures basic powers of interacting players. We provide a representation theorem, a complete logic, and a new game algebra for basic powers. In doing so, we establish connections with imperfect information games and epistemic logic. We also identify some new open problems concerning logic and games.

'Everyone knows what attention is’ according to William James. Much work on attention in psychology and neuroscience cites this famous phrase only to quickly dismiss it. But James is right about this: ‘attention’ was not introduced into psychology and neuroscience as a theoretical concept. I argue that we should therefore study attention with broadly the same methodology that David Marr has applied to the study of perception. By focusing more on Marr's Computational Level of analysis, we arrive at a unified (...) answer to the question of what attention is, what role it plays in the mind, and why organisms like us have that capacity. I propose a methodology for studying attention at Marr's Computational Level that optimizes in a three-dimensional space: it should capture core aspects of our first-person experience of attention, be explanatorily powerful in psychology and neuroscience, and fertile in an interdisciplinary context. I show how this methodology leads to what I call the priority structure account of attention. Attention is what organizes current information to make it more useful for the organism. We can identify it by four features. Attention, in this way, helps a cognitive system to integrate its informational state with its current motivational state. I describe how this account improves on alternatives and shows why attention is a useful concept in many disciplines and for connecting them. -/- This article is categorized under: Philosophy > Psychological Capacities Psychology > Attention Philosophy > Foundations of Cognitive Science. (shrink)

The normative force of evidence can seem puzzling. It seems that having conclusive evidence for a proposition does not, by itself, make it true that one ought to believe the proposition. But spelling out the condition that evidence must meet in order to provide us with genuine normative reasons for belief seems to lead us into a dilemma: the condition either fails to explain the normative significance of epistemic reasons or it renders the content of epistemic norms practical. The first (...) aim of this paper is to spell out this challenge for the normativity of evidence. I argue that the challenge rests on a plausible assumption about the conceptual connection between normative reasons and blameworthiness. The second aim of the paper is to show how we can meet the challenge by spelling out a concept of epistemic blameworthiness. Drawing on recent accounts of doxastic responsibility and epistemic blame, I suggest that the normativity of evidence is revealed in our practice of suspending epistemic trust in response to impaired epistemic relationships. Recognizing suspension of trust as a form of epistemic blame allows us to make sense of a purely epistemic kind of normativity the existence of which has recently been called into doubt by certain versions of pragmatism and instrumentalism. (shrink)

It is often argued that there are no practical reasons for belief because we could not believe for such reasons. A recent reply by pragmatists is that we can often believe for practical reasons because we can often cause our beliefs for practical reasons. This paper reveals the limits of this recently popular strategy for defending pragmatism, and thereby reshapes the dialectical options for pragmatism. I argue that the strategy presupposes that reasons for being in non-intentional states are not reducible (...) to reasons to act. Pragmatists who want to preserve a motivational constraint on reasons therefore have exactly two options: either arguing that there are irreducible reasons for being in non-intentional states ; or arguing that we can believe directly for practical reasons. I argue that the prospects for the former option are dim because irreducible reasons to be in states are hard to square with the motivational constraint on reasons. Returning to the more traditional route of arguing for pragmatism by defending a version of doxastic voluntarism therefore seems to be the more promising way for pragmatists to go. (shrink)

Many of our attitudes are non-culpable: there was nothing that we should have done to avoid holding them. I argue that we can still be blameworthy for non-culpable attitudes: they can impair our relationships in ways that make our full practice of apology and forgiveness intelligible. My argument poses a new challenge to indirect voluntarists, who attempt to reduce all responsibility for attitudes to responsibility for prior actions and omissions. Rationalists, who instead explain attitudinal responsibility by appeal to reasons-responsiveness, can (...) make sense of blameworthiness for non-culpable attitudes. In response, voluntarists could propose a revision of our actual practices. This would lead us into a quite different debate. (shrink)

According to ordinary language philosophy (OLP), philosophical problems can be solved by investigating ordinary language, often because the problems stem from its misuse. According to ideal language philosophy (ILP), on the other hand, philosophical problems exist because ordinary language is flawed and has to be improved or replaced by constructed languages that do not exhibit these flaws. OLP and ILP together make up linguistic philosophy, the view that philosophical problems are problems of language. Linguistic philosophy is opposed to what may (...) be called, for lack of a better word, ‘traditional philosophy’ (TP), the view that philosophical problems can be solved by discovering non-linguistic facts. In the following, OLP, ILP, and TP are taken to be methodologies, that is, frameworks in which to interpret and evaluate different philosophical methods (i.e., argumentative strategies). The two linguistic methodologies are discussed separately with TP as a foil, and then used to interpret the status of different philosophical methods. While each of the methods discussed here finds a plausible interpretation in each methodology, there are other arguments for and against linguistic philosophy in general, and for and against ILP and OLP in particular. As none of these arguments is decisive, I conclude with a superficial moral about peaceful co-existence. (shrink)

It has been argued that the explanation of self-control requires positing special motivational powers. Some think that we need will-power as an irreducible mental faculty; others that we need to think of the active self as a dedicated and depletable pool of psychic energy or – in today more respectable terminology – mental resources; finally, there is the idea that self-control requires postulating a deep division between reason and passion – a deliberative and an emotional motivational system. This essay argues (...) that no such special motivational powers are necessary. Yet, at the same time, self-control does powerfully illustrate the importance of a feature of the mind. What it illustrates, I argue, is the importance of the mental activity of attention in the control of all action. It is by appeal to this mental activity that we can dispense with special motivational powers. If we think of Humeanism as the view that there is fundamentally only one kind of motivational system and that all action is based in that system, then this essay contributes to a defense of Humeanism. On the other hand, the essay also shows that any model of agency in terms of only beliefs and desires, motivational and representational states, or preferences and credences is incomplete. A different conception of Humeanism as the view that every mental state is either motivational, representational, or a combination of them, is false. (shrink)

What is attention? How does attention shape consciousness? In an approach that engages with foundational topics in the philosophy of mind, the theory of action, psychology, and the neurosciences this book provides a unified and comprehensive answer to both questions. Sebastian Watzl shows that attention is a central structural feature of the mind. The first half of the book provides an account of the nature of attention. Attention is prioritizing, it consists in regulating priority structures. Attention is not another (...) element of the mind, but constituted by structures that organize, integrate, and coordinate the parts of our mind. Attention thus integrates the perceptual and intellectual, the cognitive and motivational, and the epistemic and practical. The second half of the book concerns the relationship between attention and consciousness. Watzl argues that attentional structure shapes consciousness into what is central and what is peripheral. The center-periphery structure of consciousness cannot be reduced to the structure of how the world appears to the subject. What it is like for us thus goes beyond the way the world appears to us. On this basis, a new view of consciousness is offered. In each conscious experience we actively take a stance on the world we appear to encounter. It is in this sense that our conscious experience is our subjective perspective. (shrink)

The three ancient philosophical introductions translated in this volume flesh out our picture of what it would have been like to sit in a first-year Philosophy course in ancient Alexandria. Ammonius (AD 445-517/26) set up a new teaching programme in Alexandria with up to six introductions to the philosophy curriculum, which made it far more accessible, and encouraged its spread from Greek to other cultures. This volume's three introductory texts include one by his student Olympiodorus and one each by Olympiodorus' (...) students Elias and David. Elias' Introductions to Philosophy starts with six definitions of Philosophy, to which David adds replies to the sceptical question whether there is such a thing as Philosophy. Olympiodorus' text translated here is an Introduction to Logic, which is just one of the three introductions he wrote himself. (shrink)

Conceptual engineering is the enterprise of evaluating and improving our representational devices. But how should we conduct this enterprise? One increasingly popular answer to this question proposes that conceptual engineering should proceed in terms of the functions of our representational devices. In this paper, we argue that the best way of understanding this suggestion is in terms of normative functions, where normative functions of concepts are, roughly, things that they allow us to do that matter normatively (for example, things in (...) virtue of which we have normative reasons to have these concepts). Not only does this introduce a novel view about functions to the literature. This proposal also fits more naturally than the alternatives with conceptual engineering as a normative enterprise, and it allows functions to play all of the explanatory roles assigned to them in the conceptual engineering literature. Our discussion of the explanatory advantages of normative functions also advances the understanding of the ways in which concepts can be authoritative, what this means for conceptual engineering, and highlights the importance of political philosophy for thinking about conceptual engineering in practice. Furthermore, the paper explicates what kind of role considerations about function can and should actually play in conceptual engineering. (shrink)

Representations are not only used in our folk-psychological explanations of behaviour, but are also fruitfully postulated, for example, in cognitive science. The mainstream view in cognitive science maintains that our mind is a representational system. This popular view requires an understanding of the nature of the entities they are postulating. Teleosemantic theories face this challenge, unpacking the normativity in the relation of representation by appealing to the teleological function of the representing state. It has been argued that, if intentionality is (...) to be explained in teleological terms, then the function of a state cannot depend on its phylogenetical history, given the metaphysical possibility of a duplicate of an intentional being that lacks an evolutionary history. In this paper, I present a method to produce, according to our current knowledge in genetic engineering, human-like individuals who are not the product of natural selection in the required sense. This variation will be used to shed light on the main replies that have been offered in the literature to the Swampman thought experiment. I argue that these replies are not satisfactory: representations should better not depend on natural selection. I conclude that a non-etiological notion of function is to be preferred for characterizing the relation of representation. (shrink)

The development of artificial intelligence (AI) in medicine raises fundamental ethical issues. As one example, AI systems in the field of mental health successfully detect signs of mental disorders, such as depression, by using data from social media. These AI depression detectors (AIDDs) identify users who are at risk of depression prior to any contact with the healthcare system. The article focuses on the ethical implications of AIDDs regarding affected users’ health-related autonomy. Firstly, it presents the (ethical) discussion of AI (...) in medicine and, specifically, in mental health. Secondly, two models of AIDDs using social media data and different usage scenarios are introduced. Thirdly, the concept of patient autonomy, according to Beauchamp and Childress, is critically discussed. Since this concept does not encompass the specific challenges linked with the digital context of AIDDs in social media sufficiently, the current analysis suggests, finally, an extended concept of health-related digital autonomy. (shrink)

The traditional approach in cognitive sciences holds that cognition is a matter of manipulating abstract symbols followingcertain rules. According to this view, the body is merely an input/output device, which allows the computationalsystem—the brain—to acquire new input data by means of the senses and to act in the environment following its com-mands. In opposition to this classical view, defenders of embodied cognition (EC) stress the relevance of the body inwhich the cognitive agent is embedded in their explanation of cognitive processes. (...) From a representationalist frameworkregarding our conscious experience, in this article, I will offer a novel argument in favor of EC and show that cognitionconstitutively—and no merely causally—depends upon body activity beyond that in the brain. In particular, I will arguethat in order to solve the problem derived from the empirical evidence in favor of the possibility of shifted spectrum,representationalist should endorse the view that experiences concern its subject: the content of experience isde se.Ishow that this claim perfectly matches the phenomenological observation and helps explaining the subjective characterof the experience. Furthermore, I argue that entertaining this kind of representation constitutively depends on bodilyactivity. Consequently, insofar as cognition depends on consciousness, it is embodied. (shrink)

Journal of Political Philosophy, EarlyView.

The well-known distinction between access consciousness and phenomenal consciousness has moved away from the conceptual domain into the empirical one, and the debate now is focused on whether the neural mechanisms of cognitive access are constitutive of the neural correlate of phenomenal consciousness. In this paper, I want to analyze the consequences that a negative reply to this question has for the cognitive phenomenology thesis – roughly the claim that there is a “proprietary” phenomenology of thoughts. If the mechanisms responsible (...) for cognitive access can be disentangled from the mechanisms that give rise to phenomenology in the case of perception and emotion, then the same disentanglement is to be expected in the case of thoughts. This, in turn, presents, as I argue, a challenge to the cognitive phenomenology thesis: either there are thoughts with cognitive phenomenology we lack cognitive access to or there are good reasons to doubt that there is such a thing as cognitive phenomenology. I discuss a... (shrink)

When reasoning about dependence relations, philosophers often rely on gradualist assumptions, according to which abrupt changes in a phenomenon of interest can only result from abrupt changes in the low-level phenomena on which it depends. These assumptions, while strictly correct if the dependence relation in question can be expressed by continuous dynamical equations, should be handled with care: very often the descriptively relevant property of a dynamical system connecting high- and low-level phenomena is not its instantaneous behavior, but its stable (...) fixed points (those in the vicinity of which it spends most of the time, after comparatively short transitory periods), and stable fixed points can change abruptly as a result of infinitesimal changes of the low-level phenomenon. We illustrate this potential gradualist trap by showing that Chalmers’s fading qualia argument falls in it. (shrink)

This paper elaborates on a theory of the ideological public sphere in the age of digital media. It describes the public sphere as an initially ascending and then descending communication process that includes both polarising and integrating publics, which are organised by antagonistic media and compromise-building mass media. This framework allows us to distinguish between hegemonic, populist, and popular-oriented flows of communication, as well as register changes in the interplay of different publics driven by digital media platforms. Digital transformations of (...) the public sphere give rise to antagonistic and networked-individualistic flows of populist communication that put public hegemony under constant pressure. The challenge is to find ways to strengthen popular communications that enable democratic learning processes and the flourishing of communicative competences of all citizens. (shrink)

Journal of Political Philosophy, EarlyView.

This entry reviews Rudolf Carnap's philosophical views on the quantum mechanics of his time. It also offers some thoughts on how Carnap might have reacted to some recent developments in the foundations of quantum mechanics.

The online version of the original article can be found under doi:10.1007/s11948-007-9045-2.

According to Ladyman, the world consists of nothing more than relations that relate to no particulars. Could the world be nothing but structure? In this chapter it is argued that even though there are a number of problems with the standard view of relations accompanied by a particularist ontology, substituting for it a world of pure structure is not progress. A world of pure structure would be no more than a Platonic entity, lacking any resources for concretization. Consequently, there would (...) be no possibility of distinguishing between a world-kind and its concrete instance or instances. It is also argued that the view has insufficient empirical motivation. The history of science does not support the claim that structure is preserved through theory change nor that the structural components of a theory are extricable from its ontological commitments. (shrink)

This article explores the concept of non-personal immortality. Non-personal theories of immortality claim that even though there is no personal or individual survival of death, it is still possible to continue to exist in a non-personal state. The most important challenge for non-personal conceptions of immortality is solving the apparent contradiction between on the one hand accepting that individual existence ends with death and on the other hand maintaining that death nevertheless is not equal to total annihilation. I present two (...) theories of non-personal immortality found in Schopenhauer and William James and derive a set of systematic core theses from them. Finally, I discuss whether the notion of non-personal immortality is consistent, and whether a non-personal afterlife could be desirable. (shrink)

Large language models (LLMs) such as ChatGPT or Google’s Bard have shown significant performance on a variety of text-based tasks, such as summarization, translation, and even the generation of new...

According to Russell and Norvig’s (2009) classification, Artificial Intelligence (AI) is the field that aims at building systems which either think rationally, act rationally, think like humans, or...

ABSTRACT The difference between perception and cognition seems introspectively obvious in many cases. Perceiving and thinking have also been assigned quite different roles, in epistemology, in theories of reference and of mental content, in philosophy of psychology, and elsewhere. Yet what is the nature of the distinction? In what way, or ways, do perception and cognition differ? The paper reviews recent work on these questions. Four main respects in which perception and cognition have been held to differ are discussed. First, (...) their phenomenal character, such as the often-remarked vivacity or immediacy of perception. Second, the way in which they represent the world, e.g. the non-propositional nature of the contents, or non-discursive character of the vehicles, that have been held to characterise perceptual representation. Third, their place in cognitive architecture, i.e., roughly, in the information-flow of the mind, such as their alleged (non-)modularity. Fourth, their mind-world relations, e.g. the way in which perceptions seem to be tightly causally linked with distal or proximal stimuli. Against this background, we distinguish some main options for an account of the perception/cognition distinction, in particular concerning whether there is one, several, or no interesting and principled distinction(s) to be drawn here. (shrink)