This volume celebrates the various facets of Alan Turing (1912–1954), the British mathematician and computing pioneer, widely considered as the father of computer science. It is aimed at the general reader, with additional notes and references for those who wish to explore the life and work of Turing more deeply. -/- The book is divided into eight parts, covering different aspects of Turing’s life and work. -/- Part I presents various biographical aspects of Turing, some from a personal point of (...) view. -/- Part II presents Turing’s universal machine (now known as a Turing machine), which provides a theoretical framework for reasoning about computation. His 1936 paper on this subject is widely seen as providing the starting point for the field of theoretical computer science. -/- Part III presents Turing’s working on codebreaking during World War II. While the War was a disastrous interlude for many, for Turing it provided a nationally important outlet for his creative genius. It is not an overstatement to say that without Turing, the War would probably have lasted longer, and may even have been lost by the Allies. The sensitive nature of Turning’s wartime work meant that much of this has been revealed only relatively recently. -/- Part IV presents Turing’s post-War work on computing, both at the National Physical Laboratory and at the University of Manchester. He made contributions to both hardware design, through the ACE computer at the NPL, and software, especially at Manchester. Part V covers Turing’s contribution to machine intelligence (now known as Artificial Intelligence or AI). Although Turing did not coin the term, he can be considered a founder of this field which is still active today, authoring a seminal paper in 1950. -/- Part VI covers morphogenesis, Turing’s last major scientific contribution, on the generation of seemingly random patterns in biology and on the mathematics behind such patterns. Interest in this area has increased rapidly in recent times in the field of bioinformatics, with Turing’s 1952 paper on this subject being frequently cited. -/- Part VII presents some of Turing’s mathematical influences and achievements. Turing was remarkably free of external influences, with few co-authors – Max Newman was an exception and acted as a mathematical mentor in both Cambridge and Manchester. -/- Part VIII considers Turing in a wider context, including his influence and legacy to science and in the public consciousness. -/- Reflecting Turing’s wide influence, the book includes contributions by authors from a wide variety of backgrounds. Contemporaries provide reminiscences, while there are perspectives by philosophers, mathematicians, computer scientists, historians of science, and museum curators. Some of the contributors gave presentations at Turing Centenary meetings in 2012 in Bletchley Park, King’s College Cambridge, and Oxford University, and several of the chapters in this volume are based on those presentations – some through transcription of the original talks, especially for Turing’s contemporaries, now aged in their 90s. Sadly, some contributors died before the publication of this book, hence its dedication to them. -/- For those interested in personal recollections, Chapters 2, 3, 11, 12, 16, 17, and 36 will be of interest. For philosophical aspects of Turing’s work, see Chapters 6, 7, 26–31, and 41. Mathematical perspectives can be found in Chapters 35 and 37–39. Historical perspectives can be found in Chapters 4, 8, 9, 10, 13–15, 18, 19, 21–25, 34, and 40. With respect to Turing’s body of work, the treatment in Parts II–VI is broadly chronological. We have attempted to be comprehensive with respect to all the important aspects of Turing’s achievements, and the book can be read cover to cover, or the chapters can be tackled individually if desired. There are cross-references between chapters where appropriate, and some chapters will inevitably overlap. -/- We hope that you enjoy this volume as part of your library and that you will dip into it whenever you wish to enter the multifaceted world of Alan Turing. (shrink)

This paper considers whether victims can justify what appears to be unnecessary defensive harming by reference to an honour-based justification. I argue that such an account faces serious problems: the honour-based justification cannot permit, first, defensive harming, and second, substantial unnecessary harming. Finally, I suggest that, if the purpose of the honour based justification is expressive, an argument must be given to demonstrate why harming threateners, as opposed to opting for a non-harmful alternative, is the most effective means of affirming (...) one’s honour. Along the way, I also suggest why I think that internalism about the constraints on defensive harming (the view that the satisfaction of the necessity constraint is a necessity condition of a threatener’s liability) is correct. Most importantly, externalism implies that threateners can be liable to suffer gratuitous harm. I take this to be an unattractive consequence of the view. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This paper provides a rebuttal to the argument in Bowen (2018) in `Synthese'. Bowen provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient for conceivability to be (...) a guide to metaphysics in the hyperintensional setting such that Chalmers' argument, hyperintensionally construed, is in fact sound. (shrink)

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental states (...) of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

This paper targets a series of potential issues for the discussion of, and modal resolution to, the alethic paradoxes advanced by Scharp (2013). I proffer four novel extensions of the theory, and detail five issues that the theory faces.

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

Delusional beliefs have sometimes been considered as rational inferences from abnormal experiences. We explore this idea in more detail, making the following points. Firstly, the abnormalities of cognition which initially prompt the entertaining of a delusional belief are not always conscious and since we prefer to restrict the term “experience” to consciousness we refer to “abnormal data” rather than “abnormal experience”. Secondly, we argue that in relation to many delusions (we consider eight) one can clearly identify what the abnormal cognitive (...) data are which prompted the delusion and what the neuropsychological impairment is which is responsible for the occurrence of these data; but one can equally clearly point to cases where this impairments is present but delusion is not. So the impairment is not sufficient for delusion to occur. A second cognitive impairment, one which impairs the ability to evaluate beliefs, must also be present. Thirdly (and this is the main thrust of our chapter) we consider in detail what the nature of the inference is that leads from the abnormal data to the belief. This is not deductive inference and it is not inference by enumerative induction; it is abductive inference. We offer a Bayesian account of abductive inference and apply it to the explanation of delusional belief. (shrink)

The feeling (quale) brings the "Hard Problem" to philosophy of mind. Does the subjective feeling have a non-ignorable impact on Intelligence? If so, can the feeling be realized in Artificial Intelligence (AI)? To discuss the problems, we have to figure out what the feeling means, by giving a clear definition. In this paper, we primarily give some mainstream perspectives on the topic of the mind, especially the topic of the feeling (or qualia, subjective experience, etc.). Then, a definition of the (...) feeling is proposed through a thought experiment, the "semi-transparent room". The feeling, roughly to say, is defined as "a tendency of changing input representations by representing its inner state". Also, a formalized definition is given. The definition does not help to verify "having the feeling", but it helps to provide evidence. Based on the definition, we think these are the hard problems of intelligence — whether the "innate" feeling plays an important role in Intelligence, whether the difference between the "simulated" feeling and the "innate" feeling will have a significant influence on Artificial General Intelligence (AGI), and, if so, where the "innate" feeling comes from and how to make an artificial agent possess it. (shrink)

Advocates of conceptual engineering as a method of philosophy face a dilemma: either they are ignorant of how conceptual engineering can be implemented, or else it is trivial to implement but of very little value, representing no new or especially fruitful method of philosophizing. Two key distinctions frame this dilemma and explain its two horns. First, the distinction between speaker’s meaning and reference and semantic meaning and reference reveals a severe implementation problem for one construal of conceptual engineering. Second, the (...) distinction between stipulating meanings and conceptually analyzing allows us to see why, on another construal of what conceptual engineering involves, the practice is neither a new nor neglected philosophical methodology. The article also argues that semantic externalism is not the root of the implementation problem for conceptual engineering, and that the usual rationale for adopting the practice, one that ties its value to the amelioration of “conceptual defects”, is unsound. (shrink)

Non-naturalist realists are committed to the belief, famously voiced by Parfit, that if there are no non-natural facts then nothing matters. But it is morally objectionable to conditionalise all our moral commitments on the question of whether there are non-natural facts. Non-natural facts are causally inefficacious, and so make no difference to the world of our experience. And to be a realist about such facts is to hold that they are mind-independent. It is compatible with our experiences that there are (...) no non-natural facts, or that they are very different from what we think. As Nagel says, realism makes scepticism intelligible. So the non-naturalist must hold that you might be wrong that your partner matters, even if you are correct about every natural, causal fact about your history and relationship. But to hold that conditional attitude to your partner would be a moral betrayal. So believing non-naturalist realism involves doing something immoral. (shrink)

Many epistemologists are enamored with a defeat condition on knowledge. In this paper we present some implementation problems for defeatism, understood along either internalist or externalist lines. We then propose that one who accepts a knowledge norm of belief, according to which one ought to believe only what one knows, can explain away much of the motivation for defeatism. This is an important result, because on the one hand it respects the plausibility of the intuitions about defeat shared by many (...) in epistemology; but on the other hand, it obviates the need to provide a unified account of defeat which plays well with the most plausible views of how knowledge fits with evidential probability. (shrink)

In this essay, we analyze the Black Mirror episode "Arkangel" alongside Nietzsche’s critique of religion. After providing an overview of his critique, we argue that the episode demonstrates how a world enframed by technology itself ends up being just as decadent, or just as pathological, repressive, corrupt, anti-life, and unredemptive as Nietzsche accuses Christianity of being. Nietzsche thought, at one point, that science and technology might provide a non-metaphysical or non-theological solution to what he calls our “metaphysical need.” However, Arkangel (...) shows how technology does not overcome problems of idolatrous forms of religion and can be just another tool for manipulation that produces the same kinds of pathologies. Nietzsche insists that the only way to overcome religion as an oppressive system is to “philosophize with a hammer,” or to deconstruct its idolatrous strictures and the “all too human” forces behind it. Ultimately, this deconstruction requires declaring “the death of God.”. (shrink)

Experiences like pains, pleasures, and emotions have affective phenomenal character: they feel pleasant or unpleasant. Imperativism proposes to explain affective phenomenal character by appeal to imperative content, a kind of intentional content that directs rather than describes. We argue that imperativism is on the right track, but has been developed in the wrong way. There are two varieties of imperativism on the market: first-order and higher-order. We show that neither is successful, and offer in their place a new theory: reflexive (...) imperativism. Our proposal is that an experience P feels pleasant in virtue of being constituted by a Command with reflexive imperative content, while an experience U feels unpleasant in virtue of being constituted by a Command with reflexive imperative content : More of P!Less of U! If you need a slogan: experiences have affective phenomenal character in virtue of commanding us Get more of me! Get less of me! (shrink)

Metaphysics should follow science in postulating laws alongside properties. I defend this claim against the claim that natural properties conceived as powers make laws of nature redundant. Natural properties can be construed in a “thin” or a “thick” way. If one attributes a property in the thin sense to an object, this attribution does not conceptually determine which other properties the object possesses. The thin construal is underlying the scientific strategy for understanding nature piecemeal. Science explains phenomena by cutting reality (...) conceptually in properties attributed to space-time points, where these properties are conceived of independently of each other, to explore then, in a separate step, how the properties are related to each other; those determination relations between properties are laws. This is compatible with the thesis that laws are metaphysically necessary. According to the thick conception, a property contains all its dependency relations to other properties. The dependency relationships between properties (which appear as laws in the thin conception) are parts of the properties they relate. There are several reasons to resist the thick conception of properties. It makes simple properties “holistic”, in the sense that each property contains many other properties as parts. It cannot account for the fact that properties constrain each other’s identity; it can neither explain why natural properties are linked to a unique set of dispositions, nor why and how this set is structured nor why the truth-maker of many disposition attributions is relational although the disposition is grounded on a monadic property. (shrink)

In the pair of articles of which this is the second, I present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. These problems are related to the question of how we should represent thought and speech about certain topics. The main issue is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness should be thought (...) of as varying with some (more or less surprising) factor. In the first article, “Relativism 1: Representational Content”, I discussed the general issue of relativism about representational content. I argued for the conciliatory view that both relativist and absoutist conceptions of representational content can be legitimate. In the present continuation, I look in more detail at a special case of the general issue, namely the question of whether semantic contents, i.e. the contents assigned to linguistic utterances in the semantics of natural language, should be construed in an absolutist or in a relativist way. (shrink)

This essay develops the epistemic challenge to non-naturalist moral realism. While evolutionary considerations do not support the strongest claims made by ‘debunkers’, they do provide the basis for an inductive argument that our moral dispositions and starting beliefs are at best partially reliable. So, we need some method for separating truth from falsity. Many non-naturalists think that rational reflection can play this role. But rational reflection cannot be expected to bring us to truth even from reasonably accurate starting points. Reflection (...) selects views that are coherent and conflict-free, yet there is no reason to think that the non-natural moral truth must be like this. Inasmuch as we seek coherent, conflict-free, ethical viewpoints, that suggests that our goal is not non-natural truth at all. (shrink)

In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...) should be thought of as varying with some (more or less surprising) factor. In this, first, article, I shall discuss the general issue of relativism about representational content. I shall claim that there are legitimate ways of attributing contents that are absolute truth-bearers, and there are also equally legitimate ways of attributing relativistic representational contents. In the companion piece “Relativism 2: Semantic Content”, I look in more detail at the more specific question whether semantic contents (i.e. the contents assigned to linguistic utterances in the semantics of natural language) should be construed in an absolutist or a relativist way. (shrink)

What exactly does conceptual analysis consist in? Is it empirical or a priori? How does it support philosophical theses? and What kinds of thesis are these? There is no consensus on these questions in contemporary philosophy. This study aims to defend conceptual analysis by showing that it comprises a number of different methods and by explaining their importance in philosophy. After setting out an initial dilemma for conceptual analysis, the study outlines a minimal ecumenical account of concepts, as well as (...) an account of concept possession and concept employment. On the basis of these accounts, the study then argues that there are both empirical and a priori forms of conceptual analysis, and that each can be defended as legitimate methods. The philosophical interest of conceptual analysis, however, resides in relying on all three types of method in the service of answering philosophical concerns. This is illustrated by three sample cases. (shrink)

Many theorists have defended the claim that collective entities can attain genuine agential status. If collectives can be agents, this opens up a further question: can they be conscious? That is, is there something that it is like to be them? Eric Schwitzgebel argues that yes, collective entities, may well be significantly conscious. Others, including Kammerer, Tononi and Koch, and List reject the claim. List does so on the basis of Tononi’s Integrated Information Theory of consciousness. I argue here that (...) List’s rejection is too quick, and that groups can, at least in principle, display the kind of informational integration we might think is necessary for consciousness. However, group consciousness will likely differ substantially from the individual experiences that give rise to it. This requires the defender of group consciousness to face up to a similar combination problem as the panpsychist. (shrink)

Affective experiences such as pains, pleasures, and emotions have affective phenomenology: they feel pleasant. This type of phenomenology has a loopy regulatory profile: it often motivates us to act a certain way, and these actions typically end up regulating our affective experiences back. For example, the pleasure you get by tasting your morning coffee motivates you to drink more of it, and this in turn results in you obtaining another pleasant gustatory experience. In this article, we argue that reflexive imperativism (...) is the only intentionalist account of affective phenomenology—probably, the only account at all—that is able to make sense of its loopy regulatory profile. (shrink)

That testimony is one of the principle bases on which many people hold their religious beliefs is hard to dispute. Equally hard to dispute is that our world contains an array of mutually incompatible religious traditions each of which has been transmitted down the centuries chiefly by way of testimony. In light of this latter it is quite natural to think that there is something defective about holding religious beliefs primarily or solely on the basis of testimony from a particular (...) tradition. The present chapter takes up the question of what that defect consists in. I first consider whether religious diversity entails that a religious believer’s testimony-based beliefs are not formed in a suitably epistemically reliable manner even conditional upon the truth of her religion. After casting doubt on this thought I turn to look at the idea that testimony-based beliefs are subject to defeaters in light of awareness of religious diversity, and I suggest that many such beliefs are not obviously so. According to my diagnosis the problem, rather, is that believers who base their religious beliefs just on testimony will be very unlikely to have reflective (that is, second-order) knowledge even if they possess first-order knowledge, and I explain why this is a notable shortcoming. (shrink)

In his paper, Jakob Hohwy outlines a theory of the brain as an organ for prediction-error minimization, which he claims has the potential to profoundly alter our understanding of mind and cognition. One manner in which our understanding of the mind is altered, according to PEM, stems from the neurocentric conception of the mind that falls out of the framework, which portrays the mind as “inferentially-secluded” from its environment. This in turn leads Hohwy to reject certain theses of embodied cognition. (...) Focusing on this aspect of Hohwy’s argument, we first outline the key components of the PEM framework such as the “evidentiary boundary,” before looking at why this leads Hohwy to reject certain theses of embodied cognition. We will argue that although Hohwy may be correct to reject specific theses of embodied cognition, others are in fact implied by the PEM framework and may contribute to its development. We present the metaphor of the “body as a laboratory” in order to highlight wha... (shrink)

Analytic theology is often seen as an outgrowth of analytic philosophy of religion. It isn’t fully clear, however, whether it differs from analytic philosophy of religion in some important way. Is analytic theology really just a sub-field of analytic philosophy of religion, or can it be distinguished from the latter in virtue of fundamental differences at the level of subject matter or metholodology? These are pressing questions for the burgeoning field of analytic theology. The aim of this article, then, will (...) be to map out several forms that analytic theology might (and in some cases actually does) take before examining the extent to which each can be thought to be distinct from analytic philosophy of religion. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the “Critique of Pure Reason” (CPR) in general. Kant’s fundamental (...) question is in a revolutionary way aiming to ground the character of necessity of knowledge, which means to justify the claim that thinking in accordance with the forms and principles of formal logic does not lead to sheer tautologies or an unsolved contradiction, but to knowledge that is objectively valid. In a first part, I shall demonstrate the necessity and the significance of this new fundamental question of the CPR with respect to its genesis out of pre-Kantian metaphysics. A brief outline of Kant’s answer to this question, with special emphasis on his revolutionary new comprehension of logical form, will be given as well. A second part shall open up a perspective that lies beyond Kant’s standpoint with reference to Nietzsche and eventually to Hegel. I will answer the question: What knowledge do we achieve about being or actuality by means of formal logic? I will argue that Kant shows that formal logic is the logic of all technical-practical conduct but also, at least indirectly, the limitation of the technical-practical knowledge and its legitimate sphere of application. (shrink)

In attempts to compare different distributions with regards to need, so-called “measures of need-based distributive justice” have emerged in recent years. Each of the proposed measures relies on a single dimension of need that is taken into account. This is shown to be problematic since humans experience different kinds of need that appear to be incommensurable. A strategy to deal with this problem is introduced by using multidimensional measures.

What is personhood? What do we want it to be? Blumenthal-Barby (2024) offers an answer to the first question: personhood is an unhelpful, harmful, and pernicious concept in the bioethical setting....

This paper examines the position in moral philosophy that Harry Frankfurt calls the Principle of Alternate Possibilities (PAP). The paper first describes the principle as articulated by A.J. Ayer. Subsequently, the paper examines Frankfurt’s critique and proposed revision of the principle and argues that Frankfurt’s proposal relies on an excessively simplistic account of practical reasoning, which fails to account for the possibility of moral dilemmas. In response, the paper offers a further revision of PAP, which accounts for Frankfurt’s critique, moral (...) dilemmas, and the challenge of causal determinism. (shrink)

Altruism is embedded in our biology and in our culture. We offer our bus seats to the disabled and elderly, give directions to disoriented tourists, and donate a portion of our income charity. Yet for all the good it does, there are deep problems with altruism as it is practiced today. Nearly all of us, when asked, will say that we care about practicing altruism in a way that effectively improves the lives of others. Almost none of us, when asked, (...) can honestly say that we have made a serious effort to ensure that we are practicing altruism in a way that effectively improves the lives of others. Disparities like these are indicative of flaws in our cognitive architecture - biases which ensure that the traditional practice of altruism is incongruous with our own values. This disconnect between our values and our actions causes our altruistic efforts to help fewer people to a lesser extent than they otherwise could. I argue that traditional altruism is in need of reformation and defend a social and philosophical movement aimed at achieving this reformation known as effective altruism. The reason effective altruism is such a promising alternative to traditional altruism is its application of economic thinking to the realm of altruism and morality. An economist’s mentality is, I suggest, a necessary instrument for bridging the gap between our values and our actions, allowing us to practice altruism in a way that more effectively improves the lives of others. (shrink)

In recent metaethics, moral realists have advanced a companions-in-guilt argument against moral nihilism. Proponents of this argument hold that the conclusion that there are no categorical normative reasons implies that there are no epistemic reasons. However, if there are no epistemic reasons, there are no epistemic reasons to believe nihilism. Therefore, nihilism is false or no one has epistemic reasons to believe it. While this argument is normally presented as a reply to Mackie, who introduced the term “companions-in-guilt” in his (...) Ethics: Inventing Right and Wrong of 1977, Herbert J. Phillips presented a form of this argument in Ethics in 1940. In this paper, I will discuss Phillips’ version of the companions-in-guilt argument, demonstrate how recent epistemology bears out an important premise of the argument, and compare Phillips’ argument to Derek Parfit’s recent work. (shrink)

Social epistemologists should be well-equipped to explain and evaluate the growing vulnerabilities associated with filter bubbles, echo chambers, and group polarization in social media. However, almost all social epistemology has been built for social contexts that involve merely a speaker-hearer dyad. Filter bubbles, echo chambers, and group polarization all presuppose much larger and more complex network structures. In this paper, we lay the groundwork for a properly social epistemology that gives the role and structure of networks their due. In particular, (...) we formally define epistemic constructs that quantify the structural epistemic position of each node within an interconnected network. We argue for the epistemic value of a structure that we call the (m,k)-observer. We then present empirical evidence that (m,k)-observers are rare in social media discussions of controversial topics, which suggests that people suffer from serious problems of epistemic vulnerability. We conclude by arguing that social epistemologists and computer scientists should work together to develop minimal interventions that improve the structure of epistemic networks. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is countably (...) infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

No debemos olvidar que existe una relación dialéctica entre libertad y justicia. Cuanto mayor es la justicia, más necesario es limitar la libertad; cuanto mayor es la libertad que se disfruta, más se amenaza la justicia, porque los más fuertes, los más inteligentes, los más hábiles acaban oprimiendo a los demás. Esta antítesis de libertad y justicia debe estar siempre presente en nuestra conciencia, incluso cuando pensamos en la sociedad del futuro.

This paper presents a detailed exegesis of Russell’s “Gray’s Elegy Argument”. It holds that the GEA mounts a successful attack on Frege—a thesis that has been widely controverted in the literature. The point of departure for my interpretation is Russell’s charge that it is impossible to speak about Sinne, or “meanings” as Russell calls them. I argue that the charge concerns the construction of an “ideal language.” For Russell, an ideal language is an artificial schema designed to represent the truth-makers (...) for sentences occurring in natural language. Its signs stand for the entities that are constituents of those truth-makers. Russell’s charge can thus be expressed more clearly and completely as follows: an ideal language designed to express Frege’s ontology requires signs for meanings ; however, the signs introduced for that purpose cannot be correlated with the entities they are supposed to represent. Thus, the requirement cannot be met. (shrink)

These essays reveal another side of Horkheimer, focusing on his remarkable contributions to critical theory in the 1930s. Max Horkheimer is well known as the director of the Frankfurt Institute for Social Research and as a sometime collaborator with Theodor Adorno, especially on their classic Dialectic of Enlightenment. These essays reveal another side of Horkheimer, focusing on his remarkable contributions to critical theory in the 1930s. Included are Horkheimer's inaugural address as director of the Institute, in which he outlines the (...) interdisciplinary research program that would dominate the initial phase of the Frankfurt School, his first full monograph, and a number of other pieces published in the 1930s. The essays, most of which have not appeared in English before, are surprisingly relevant to current post-philosophy debates, notably "On the Problem of Truth," with its focus on pragmatism, and "The Rationalism Debate in Current Philosophy," a sustained critique of the post-Cartesian philosophy of consciousness. Horkheimer's 1933 critique of Kantian ethics, "Materialism and Morality," is of particular interest given the current reaction to the neo-Kantian aspect of Habermas's work. There are also essays relevant to the current foundations debate within Continental philosophy, and the rationality/relativism question is sustained throughout the volume. (shrink)

Spivak translates Derrida’s “il n’y a pas de hors-texte” as “there is nothing outside the text.” By considering how the aphorism works within his study of Rousseau on sexual and textual supplements, and by reviewing related expressions in French, a mistranslation is revealed. This is not a simple error, however. The distortion is generated by Derrida’s own broader context. We must not only distinguish signification from reference but also place the aphorism within Derrida’s allusion, in the first part of Of (...) Grammatology, to an all-embracing arche-writing. The paper ends in thus opening out the discussion of a textual “inside” or “outside.”. (shrink)

This article owes a lot to Arthur C. Danto's heuristic writings about the Artworld, which have shown us, that the ontological status of works of art is, at least when we discuss some current, maybe even dominating trends in contemporary art, dependent on our more or less philosophical interpretations of them. The effects of the Dantoan atmosphere of theory and art historical consciousness are, still, decisive for just some contemporary art. Danto's interest in the philosophical side of contemporary art makes (...) his philosophy of art exclusive in relation to art which is less philosophically appealing than the readymade tradition, to the extent that Danto did not, for a long time, even try to incorporate problems of beauty, aesthetic experience, and formal qualities, to his theory of the Artworld. (Opening paragraph.). (shrink)

Arendt is a philosopher despite herself, and this paper uses the resources of her <<The Life of the Mind>> to develop her comparison of thinking as a 'departure' from the world with the fore-doomed attempt by Orpheus to bring from underground into the light of day. The paper investigates how thinking, though we 'lose' it in the speech and writing that makes it public, still can have the delicate power that Arendt attributes to it.

The evil God challenge is an argumentative strategy that has been pursued by a number of philosophers in recent years. It is apt to be understood as a parody argument: a wholly evil, omnipotent and omniscient God is absurd, as both theists and atheists will agree. But according to the challenge, belief in evil God is about as reasonable as belief in a wholly good, omnipotent and omniscient God; the two hypotheses are roughly epistemically symmetrical. Given this symmetry, thesis belief (...) in an evil God and belief in a good God are taken to be similarly preposterous. In this paper, we argue that the challenge can be met, suggesting why the three symmetries that need to hold between evil God and good God – intrinsic, natural theology and theodicy symmetries – can all be broken. As such, we take it that the evil God challenge can be met. (shrink)