Edited proceedings of an interdisciplinary symposium on consciousness held at the University of Cambridge in January 1978. Includes a foreword by Freeman Dyson. Chapter authors: G. Vesey, R.L. Gregory, H.C. Longuet-Higgins, N.K. Humphrey, H.B. Barlow, D.M. MacKay, B.D. Josephson, M. Roth, V.S. Ramachandran, S. Padfield, and (editorial summary only) E. Noakes. A scanned pdf is available from this web site (philpapers.org), while alternative versions more suitable for copying text are available from https://www.repository.cam.ac.uk/handle/1810/245189. -/- Page numbering convention for the pdf (...) version viewed in a pdf viewer is as follows: 'go to page n' accesses the pair of scanned pages 2n and 2n+1. Applicable licence: CC Attribution-NonCommercial-ShareAlike 2.0. (shrink)

How should we punish criminal offenders? One prima facie attractive punishment is administering a mandatory neurointervention—interventions that exert a physical, chemical or biological effect on the brain in order to diminish the likelihood of some forms of criminal offending. While testosterone-lowering drugs have long been used in European and US jurisdictions on sex offenders, it has been suggested that advances in neuroscience raise the possibility of treating a broader range of offenders in the future. Neurointerventions could be a cheaper, and (...) more effective method of punishment. They could also be more humane. Nevertheless, in this paper we provide an argument against the use of mandatory neurointerventions on offenders. We argue that neurointerventions inflict a significant harm on an offender that render them a morally objectionable form of punishment in a respect that incarceration is not. Namely, it constitutes an objectionable interference with the offender’s mental states. However, it might be thought that incarceration also involves an equally objectionable interference with the offender’s mental states. We show that even if it were the case that the offender is harmed to the same extent in the same respect, it does not follow that the harms are morally equivalent. We argue that if one holds that intended harm is more difficult to justify than harm that is unintended but merely foreseen, this means neurointerventions could be morally objectionable in a significant respect that incarceration is not. (shrink)

Here, I put forth a construal of P. F. Strawson’s so-called reversal, his view that what it means to be morally responsible is determined by our practices of holding responsible. The “concern-based” construal that I defend holds that what it means to be morally responsible is determined by the basic social concerns of which our practices are an expression. This construal, I argue, avoids a dilemma that Patrick Todd has recently raised for the reversal.

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

If the reliability of a source of testimony is open to question, it seems epistemically illegitimate to verify the source’s reliability by appealing to that source’s own testimony. Is this because it is illegitimate to trust a questionable source’s testimony on any matter whatsoever? Or is there a distinctive problem with appealing to the source’s testimony on the matter of that source’s own reliability? After distinguishing between two kinds of epistemically illegitimate circularity—bootstrapping and self-verification—I argue for a qualified version of (...) the claim that there is nothing especially illegitimate about using a questionable source to evaluate its own reliability. Instead, it is illegitimate to appeal to a questionable source’s testimony on any matter whatsoever, with the matter of the source’s own reliability serving only as a special case. (shrink)

I argue that, unlike your brain, you are not composed of other things: you are simple. My argument centers on what I take to be an uncontroversial datum: for any pair of conscious beings, it is impossible for the pair itself to be conscious. Consider, for instance, the pair comprising you and me. You might pinch your arm and feel a pain. I might simultaneously pinch my arm and feel a qualitatively identical pain. But the pair we form would not (...) feel a thing.1 Pairs of people themselves are incapable of experience. Call this The Datum. What explains The Datum? I think the following exhaust the reasonable options. (1) Pairs of people lack a sufficient number of immediate parts. (2) Pairs of people lack immediate parts capable of standing in the right sorts of relations to each other and their environment. (3) Pairs of people lack immediate parts of the right nature. (4) Pairs of people are not structures (they are unstructured collections of their two immediate parts). (5) Some combination of (1) – (4). Finally, (6) pairs of people are not simple. (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but the (...) other does not.). (shrink)

It is common for theorists, drawing on P. F. Strawson, to account for morally responsible agency in terms of the nature of the emotions and feelings that characterize our responsibility practices, in terms of the nature of the so-called “reactive attitudes.” Here, I argue against this attitude-based Strawsonian strategy, and I argue in favor of an alternative, which I call the “concern-based Strawsonian strategy.” On this alternative, rather than account for morally responsible agency in terms of the nature of the (...) reactive attitudes, one accounts for such agency in terms of the concern that leaves us susceptible to those attitudes in the first place. This, I believe, is a more promising way to develop the Strawsonian approach than the attitude-based strategy. The concern-based strategy allows us to better countenance the number and variety of the reactive attitudes that characterize our responsibility practices; it shares the attitude-based strategy’s virtues; and it seems to position us to better understand the distinctive social and moral significance associated with being and being regarded as a morally responsible agent. (shrink)

Critics have argued that human-controlled avatar interactions fail to facilitate the kinds of expressivity and social understanding afforded by our physical bodies. We identify three claims meant to justify the supposed expressive limits of avatar interactions compared to our physical interactions. First, “The Limited Expressivity Claim”: avatars have a more limited expressive range than our physical bodies. Second, “The Inputted Expressivity Claim”: any expressive avatarial behaviour must be deliberately inputted by the user. Third, “The Decoding Claim”: users must infer or (...) figure out the expressive meaning of human-controlled avatars’ behaviour through cognitively onerous processes. With the aim of critically assessing all three claims, we analyze data collected through observations of and interviews with expert players of the avatar-based video game League of Legends. Focusing on Daniel Stern’s (2010) notion of vitality, we analyze the participants’ descriptions of seeing and interacting with other avatars during performance. Our analysis shows that the informants experience human-based avatarial interactions as qualitatively different than interactions with bots, that the informants see the movements of other players’ avatars as having different expressive styles, and that the informants actively use and manipulate this avatarial expressivity during performance. The results of our analysis, we argue, provide reasons for loosening or resisting the three claims concerning the limits of avatarial expressivity. (shrink)

Paternalistic behaviour directed towards a person’s informed and competent decisions is often thought to be morally impermissible. This view is supported by what we can call the Anti-Paternalism Principle. While APP might seem plausible when employed to show the wrongness of paternalism by the state, there are some cases of paternalistic behaviour between private, informed, and competent individuals where APP seems mistaken. This raises a difficulty for supporters of APP. Either they need to reject APP to accommodate our intuitions in (...) these cases, or provide grounds for thinking that paternalistic behaviour between certain private individuals is different in a morally relevant sense. In this paper, I explore several possible morally relevant differences, and find all of them unsatisfactory as grounds for maintaining the plausibility of APP. (shrink)

Bernard Williams’ discussion of immortality in “The Makropulos Case: Reflections on the Tedium of Immortality” has spawned an entire philosophical literature. This literature tends to focus on one of Williams’ central claims: if we were to relinquish our mortality, we would necessarily become alienated from our existence and environment—“bored,” in his terms. Many theorists have defended this claim; many others have challenged it. Even if this claim is false, though, it still isn’t obvious that we should choose to relinquish our (...) mortality, given the option. And this is puzzling. Death is generally regarded as an evil, meriting anxiety, dread, and avoidance. What is it about our mortality that makes us hesitant to relinquish it? In this paper, I aim to explain this hesitancy and to argue in its favor: we should be hesitant to relinquish our mortality. Further, I take my discussion to suggest that most of us probably shouldn’t take this option if we were given it. To make these points, I draw on Williams’ discussion of immortality, developing and extending his thought in order to better understand how mortality shapes the way we relate to our lives, particularly the commitments and values that make them meaningful. Our mortality, it seems, plays a crucial role in our lives standing for something. Relinquishing it thus means risking the loss of this value. (shrink)

I argue for a transformative revival or actualization of the very core of an integrative, methodologically secured form of intellect‑mystical asceticism. This approach draws on traditional sources that are re‑examined from a systematic—synthetic and transcultural—philosophical perspective and in light of the multi‑civilizational global environment of the 21st century. The main traditional points of reference in this paper are provided by Nicolaus de Cusa and Ibn Sīnā, and I refer toa few others, such as Attar of Nishapur, in passing. I begin (...) by developing a basic concept of intellect‑mystical asceticism. It is distinguished from mystification, science, scientism, and modes of everyday communication and cognition. Then, I make the case for an updated, transcultural approach to intellect‑mysticism that can foster the internal (social) and external (environmental) reintegration of the human noosphere and technosphere in future planetary development. In this context, a modern intellect‑mystical philosophical notion of “knowing non‑knowing” (wissendes Nichtwissen, docta ignorantia) is developed. It is inspired by Nicolaus de Cusa and contextualized from a systematic transcultural angle at the same time. Finally, I discuss the problem of the practical, or rather ascetic, realization of the related possibilities of intellect‑mystical self‑enfolding. Here, the preceding steps of the reflection are mapped onto an outline regarding distinct developmental stages of such a transformative intellect‑mystical practice in Ibn Sīnā’s Remarks and Admonitions (al‑Ishārāt wat‑Tanbīhāt). (shrink)

According to a traditional Cartesian epistemology of perception, perception does not provide one with direct knowledge of the external world. Instead, your immediate perceptual evidence is limited to facts about your own visual experience, from which conclusions about the external world must be inferred. Cartesianism faces well-known skeptical challenges. But this chapter argues that any anti-Cartesian view strong enough to avoid these challenges must license a way of updating one’s beliefs in response to anticipated experiences that seems diachronically irrational. To (...) avoid this result, the anti-Cartesian must either license an unacceptable epistemic chauvinism, or else claim that merely reflecting on one’s experiences defeats perceptual justification. This leaves us with a puzzle: Although Cartesianism faces problems, avoiding them brings a new set of problems. (shrink)

Humour is worthy of serious ethical consideration. However, it is often taken far too seriously. In this paper, it is argued that while humour is sometimes unethical, it is wrong much less often than many people think. Non-contextual criticisms, which claim that certain kinds of humour are always wrong, are rejected. Contextual criticisms, which take issue with particular instances of humour rather than types of humour, are more promising. However, it is common to overstate the number of contexts in which (...) humour is wrong. Various mistakes of this kind are highlighted and cautioned against. (shrink)

I argue that according to Socrates in the Phaedo we should not merely evaluate bodily pleasures and desires as worthless or bad, but actively avoid them. We need to avoid them because they change our values and make us believe falsehoods. This change in values and acceptance of falsehoods undermines the soul’s proper activity, making virtue and happiness impossible for us. I situate this account of why we should avoid bodily pleasures within Plato’s project in the Phaedo of providing Pythagorean (...) and Orphic ideas with clearer meanings and better justifications. (shrink)

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many theories (...) of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

Is self-knowledge a requirement of rationality, like consistency, or means-ends coherence? Many claim so, citing the evident impropriety of asserting, and the alleged irrationality of believing, Moore-paradoxical propositions of the form < p, but I don't believe that p>. If there were nothing irrational about failing to know one's own beliefs, they claim, then there would be nothing irrational about Moore-paradoxical assertions or beliefs. This article considers a few ways the data surrounding Moore's paradox might be marshaled to support rational (...) requirements to know one's beliefs, and finds that none succeed. (shrink)

This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.

Philosophers and psychologists alike have argued recently that relatively abstract beliefs or cognitive categories like those regarding race can influence the perceptual experience of relatively low-level visual features like color or lightness. Some of the proposed best empirical evidence for this claim comes from a series of experiments in which White faces were consistently judged as lighter than equiluminant Black faces, even for racially ambiguous faces that were labeled ‘White’ as opposed to ‘Black’ (Levin and Banaji 2006). The latter result (...) is considered especially indicative of cognitive penetration, based on the reasoning that the relevant distortions were a function of lexical labeling, and hence the effect must have been mediated by categorization at the cognitive level. I argue that this reasoning is flawed, and that the assumptions on which it relies are questionable on both empirical and theoretical grounds. I propose an alternative, low-level explanation of the phenomena, which I argue is empirically more plausible and abductively preferable to the cognitive-penetration account. The upshot is that cognitively impenetrable perceptual systems may be psychologically more plastic and hence philosophically more significant than is nowadays commonly assumed. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

Addresses a common criticism of Williams' so-called "Necessary Boredom Thesis," arguing that the criticism misconstrues the kind of boredom that Williams is worried about. Then offers an independent reason to worry about the Necessary Boredom Thesis, given the relevant construal of boredom. Finally, develops a weaker version of Williams' worries about choosing to live an immortal existence, arguing that immortality threatens to undermine our ability to stand for the things in our lives.

eSports practice designates a unique set of activities tethered to competitive, virtual environments, or worlds. This correlation between eSports practitioner and virtual world, we argue, is inadequately accounted for solely in terms of something physical or intellectual. Instead, we favor a perspective on eSports practice to be analyzed as a perceptual and embodied phenomenon. In this article, we present the phenomenological approach and focus on the embodied sensations of eSports practitioners as they cope with and perceive within their virtual worlds. (...) By approaching eSports phenomenologically, we uncover ways in which its unique forms of virtual involvement overlap with as well as differentiate themselves from traditional structures of embodiment. (shrink)

This chapter discusses two different issues about the relationship between legal positivism and robust normativity (understood as the most authoritative kind of normativity to which we appeal). First, the chapter argues that, in many contexts when discussing “legal positivism” and “legal antipositivism”, the discussion should be shifted from whether legal facts are ultimately partly grounded in moral facts to whether they are ultimately partly grounded in robustly normative facts. Second, the chapter explores an important difference within the kinds of arguments (...) that legal philosophers give for the (purported) truth of legal positivism. The difference concerns whether (purportedly) robustly normative facts are appealed to as premises in those arguments or not. (A closely connected issue is whether (purportedly) normative facts that bear one or more important connections to robustly normative facts are appealed to in premises to those arguments.) The chapter argues that thinking about this dividing line helps people better situate the positivist/antipositivist dispute, better understand the space of views in legal philosophy, better evaluate those views, and avoid having merely verbal disputes. (shrink)

The aim of this paper is to create dialectical space for a hitherto under-discussed option in the philosophy of conspiracy theories. The extant literature on the topic almost exclusively assumes that conspiracy theories are a type of explanation. The typical mental attitude towards explanations is belief, a representational attitude that can be assessed as true, false, warranted or unwarranted. I call models based on this assumption alethic models. Alethic models can’t pick out conspiracy theories as a distinct class of mental (...) attitudes without latching onto their negative epistemic properties. The extant literature therefore finds itself in an unfortunate situation. It either has to presume that conspiracy theories are epistemically defective in general (generalism). Or it has to deny that conspiracy theories are a distinct class of mental attitudes. Conspiracy theories are then nothing more than theories, theories about conspiracies, and should be assessed on a case-by-case basis (particularism). Instead, this paper motivates the research program of narrative models. According to narrative models, conspiracy theories are first and foremost stories – structured fictions. And their relevant mental attitudes are the attitudes of fiction – make-believe and imagination. Fictions are not subjects to epistemic norms. They are neither rational nor irrational. Narrative models can therefore pick out conspiracy theories as a distinct class of mental attitudes without labeling them as defective in general. In addition, they are able to explain certain features of conspiracy discourse particularly well, and they offer new perspectives on the popularity of conspiracy theories and the means of intervention we have at our disposal. (shrink)

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

The dynamical hypothesis states that cognitive systems are dynamical systems. While dynamical systems play an important role in many cognitive phenomena, the dynamical hypothesis as stated applies to every system and so fails both to specify what makes cognitive systems distinct and to distinguish between proposals regarding the nature of cognitive systems. To avoid this problem, I distinguish several different types of dynamical systems, outlining four dimensions along which dynamical systems can vary: total-state versus partial-state, internal versus external, macroscopic versus (...) microscopic, and systemic versus componential, and illustrate these with examples. I conclude with two illustrations of partial-state, internal, microscopic, componential dynamicism. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (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)

In this chapter, we argue that it’s possible to lose your faith in God by the actions of other people. In particular, we argue that spiritually violent religious trauma, where religious texts are used to shame a person into thinking themselves unworthy of God’s love, can cause a person to stop engaging in activities that sustain their faith in God, such as engaging in the worship of God. To do this, we provide an analysis of faith, worship, and love on (...) which to have faith in God is to have an attitude of worship to him; to have such an attitude of worship to God is to love him; and to love God is to desire union with him. We apply this analysis particularly to the case of LGBT Christians and their experience in the church today. (shrink)

This chapter examines how epistemic norms could be social norms, with a reliance on work on the philosophy and social science of social norms from Bicchieri (on the one hand) and Brennan, Eriksson, Goodin and Southwood (on the other hand). We explain how the social ontology of social norms can help explain the rationality of epistemic cooperation, and how one might begin to model epistemic games.

In the literature on multiple realizability and the identity theory, cases of neural plasticity have enjoyed a very limited role. The present article attempts to remedy this small influence by arguing that clinical and experimental evidence of quite extensive neural reorganization offers compelling support for the claim that psychological kinds are multiply realized in neurological kinds, thus undermining the identity theory. In particular, cases are presented where subjects with no measurable psychological deficits also have vast, though gradually received, neurological damage. (...) Common objections and concerns are also discussed and rejected. 1 Introduction2 The GRP, Serial Lesion Effect, and Multiple Realizability2.1 A case study of the serial lesion effect2.2 Evaluating the case study’s evidence for multiple realizability3 The GRP More Generally4 Objections to the GRP as Evidence for Multiple Realizability4.1 Small plastic effects and neurological taxonomies4.2 But do neural regions and locations even matter at all?4.3 But are there not other options besides location?5 Conclusion. (shrink)

Liberal-contractarian philosophies of justice see the unjust systems of slavery and autocracy in the past as being based on coercion—whereas the social order in modern democratic market societies is based on consent and contract. However, the ‘best’ case for slavery and autocracy in the past were consent-based contractarian arguments. Hence, our first task is to recover those ‘forgotten’ apologia for slavery and autocracy. To counter those consent-based arguments, the historical anti-slavery and democratic movements developed a theory of inalienable rights. Our (...) second task is to recover that theory and to consider several other applications of the theory. Finally, the liberal theories of justice expounded by John Rawls and by Robert Nozick are briefly examined from this perspective. (shrink)

In philosophy of aesthetics, scholars commonly express a commitment to the premise that there is a distinctive type of judgment that can be meaningfully labeled “aesthetic”, and that these judgments are distinctively different from other types of judgments. We argue that, within an Aristotelian framework, there is no clear avenue for meaningfully differentiating “aesthetic” judgment from other types of judgment, and, as such, we aim to question the assumption that aesthetic judgment does in fact constitute a distinctive kind of judgment (...) that is in need of, or can be subject to, distinctive theorizing. We advance our argument primarily through demonstrating that leading contemporary accounts of aesthetic judgment do not successfully distinguish a type of judgment in that they do not tell us how making an aesthetic judgment differs substantially from judging that 2 + 3 = 5, that football is entertaining, or that today is Tuesday. (shrink)

We describe a strategy for integration of data that is based on the idea of semantic enhancement. The strategy promises a number of benefits: it can be applied incrementally; it creates minimal barriers to the incorporation of new data into the semantically enhanced system; it preserves the existing data (including any existing data-semantics) in their original form (thus all provenance information is retained, and no heavy preprocessing is required); and it embraces the full spectrum of data sources, types, models, and (...) modalities (including text, images, audio, and signals). The result of applying this strategy to a given body of data is an evolving Dataspace that allows the application of a variety of integration and analytic processes to diverse data contents. We conceive semantic enhancement (SE) as a lightweight and flexible process that leverages the richness of the structured contents of the Dataspace without adding storage and processing burdens to what, in the intelligence domain, will be an already storage- and processing-heavy starting point. SE works not by changing the data to which it is applied, but rather by adding an extra semantic layer to this data. We sketch how the semantic enhancement approach can be applied consistently and in cumulative fashion to new data and data-models that enter the Dataspace. (shrink)

Suppose Alice asserts p, and the Caterpillar wants to disagree. If the Caterpillar accepts classical logic, he has an easy way to indicate this disagreement: he can simply assert ¬p. Sometimes, though, things are not so easy. For example, suppose the Cheshire Cat is a paracompletist who thinks that p ∨ ¬p fails (in familiar (if possibly misleading) language, the Cheshire Cat thinks p is a gap). Then he surely disagrees with Alice's assertion of p, but should himself be unwilling (...) to assert ¬p. So he cannot simply use the classical solution. Dually, suppose the Mad Hatter is a dialetheist who thinks that p ∧ ¬p holds (that is, he thinks p is a glut). Then he may assert ¬p, but it should not be taken to indicate that he disagrees with Alice; he doesn't. So he too can't use the classical solution. The Cheshire Cat and the Mad Hatter, then, have a common problem, and philosophers with opinions like theirs have adopted a common solution to this problem: appeal to denial. Denial, these philosophers suppose, is a speech act like assertion, but it is not to be understood as in any way reducing to assertion. Importantly, denial is something different from the assertion of a negation; this is what allows it to work even in cases where assertion of negation does not. Just as importantly, denial must express disagreement, since this is the job it's being enlisted to do. (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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 higher 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 interpretational and objective modalities and the 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 in 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)

I argue that Meno’s Paradox targets the type of knowledge that Socrates has been looking for earlier in the dialogue: knowledge grounded in explanatory definitions. Socrates places strict requirements on definitions and thinks we need these definitions to acquire knowledge. Meno’s challenge uses Socrates’ constraints to argue that we can neither propose definitions nor recognize them. To understand Socrates’ response to the challenge, we need to view Meno’s challenge and Socrates’ response as part of a larger disagreement about the value (...) of inquiry. (shrink)

Aristotle presents a formal logic in the Prior Analytics in which the premises and conclusions are never conditionals. In this paper I argue that he did not simply overlook conditionals, nor does their absence reflect a metaphysical prejudice on his part. Instead, he thinks that arguments with conditionals cannot be syllogisms because of the way he understands the explanatory requirement in the definition of a syllogism: the requirement that the conclusion follow because of the premises. The key passage is Prior (...) Analytics I.32, 47a22–40, where Aristotle considers an argument with conditionals that we would consider valid, but which he denies is a syllogism. I argue that Aristotle thinks that to meet the explanatory requirement a syllogism must draw its conclusion through the way its terms are predicated of one another. Because arguments with conditionals do not, in general, draw their conclusions through predications, he did not include them in his logic. (shrink)

After Marx, dissenting economics almost always used 'the labour theory' as a theory of value. This paper develops a modern treatment of the alternative labour theory of property that is essentially the property theoretic application of the juridical principle of responsibility: impute legal responsibility in accordance with who was in fact responsible. To understand descriptively how assets and liabilities are appropriated in normal production, a 'fundamental myth' needs to be cleared away, and then the market mechanism of appropriation can be (...) understood. On the normative side, neoclassical theory represents marginal productivity theory as showing that (a metaphorical version of) the imputation principle is satisfied ('people get what they produce') in competitive enterprises. Since that shows the moral commitment of neoclassical economics to the imputation principle, the labour theory of property is presented here as the actual non-metaphorical application of the imputation principle to property appropriation. The property-theoretic analysis at the firm level shows how the neoclassical (and much heterodox) analysis in terms of 'distributive shares' wholly misframed the basic questions. Finally, the paper shows how the imputation principle (modernised labour theory of property) is systematically violated in the present wage labour system of renting persons. The paper can be seen as taking up the recent challenge posed by Donald Katzner for a dialogue between neoclassical and heterodox microeconomics. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, (...) Bayesian perceptual psychology, and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper (...) is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

This paper argues that the moral value of unconditional forgiveness is more complicated and constrained than it is often taken to be. When we unconditionally forgive, we engage with someone in a way that doesn’t take seriously their perspective about the meanings and values at stake in our relations with them. Other things being equal, this is problematic; it is normatively condescending, belittling the place of the other person’s moral agency in our relations with them. This doesn’t mean that unconditional (...) forgiveness is always bad or impermissible. It does, though, complicate how we should think about its moral value. (shrink)

本文通过对德国著名汉学家、翻译家卫礼贤的最后一部哲学论著《中国哲学导 论》(1929)的翻译和研究,整理归纳了卫礼贤对中国哲学的核心词“道”的五种不同译法, 深入剖析了他如何用“一词多译”的方法,对中国哲学史上不同文本、不同哲学家、不同时代 及不同思想维度中的“道”进行诠释。同时,本文以术语学(Terminologie)为研究方法,聚焦 于卫礼贤用来翻译“道”的几个德语哲学术语,并对这些词汇进行溯源。以此为切入点, 本文 分析了卫礼贤作为对中国哲学与德国哲学均有深刻理解的汉学家,有意识地从跨文化比较哲学 的角度出发,将“道”转换为德国哲学中与之相匹配的哲学概念,并将其介绍给德国思想界的 路径。重新审视卫礼贤对“道”的“一词多译”,在加强当今中外文化互鉴和中文著作外译方面 具有积极且重要的作用。[This contribution is based on the translation and study of the book Chinesische Philosophie: Eine Einführung (Chinese Philosophy: An Introduction, 1929). It is the last philosophy-related work by the famous German sinologist and translator Richard Wilhelm. The article provides a compilation, summary, and in-depth analysis concerning Wilhelm's handling of the translation of "Dao", the "Urwort" (Heidegger) of Chinese philosophy. The study provides insight into how Wilhelm has used a poly-perspective method to (...) interpret the word “Dao" by using five different translation terms in relation to divergent texts, various philosophers, and different periods in the history of Chinese philosophy. Some of the German philosophical terms that were applied in these translations are investigated by tracing their etymological origins and general semantics. Richard Wilhelm was a sinologist with a deep understanding of both Chinese and German philosophical traditions. He deliberately imparted the different philosophical meanings of "Dao" in a way that was compatible with the context of the contemporary German intellectual community. In parts, he presented this semantic field from the perspective of transcultural philosophy. We believe that a re-examination of Richard Wilhelm's variational approaches to translate the term "Dao" can provide important methodological inspirations for the translation of complex Chinese texts as well as concerning the improvement of mutual cultural understanding between Chinese and other cultures.]. (shrink)

We argue that genuine modal realism can be extended, rather than modified, so as to allow for the possibility of nothing concrete, a possibility we term ‘metaphysical nihilism’. The issue should be important to the genuine modal realist because, not only is metaphysical nihilism itself intuitively plausible, but also it is supported by an argument with pre-theoretically credible premises, namely, the subtraction argument. Given the soundness of the subtraction argument, we show that there are two ways that the genuine modal (...) realist can accommodate metaphysical nihilism: (i) by allowing for worlds containing only spatiotemporal points and (ii) by allowing for a world containing nothing but the null individual. On methodological grounds, we argue that the genuine modal realist should reject the former way but embrace the latter way. (shrink)