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 richly illustrated book offers new perspectives and research on how digital culture is transforming museums in the 21st century, as they strive to keep pace with emerging technologies driving cultural and social change, played out not only in today’s pervasive networked environment of the Internet and Web, but in everyday life, from home to work and on city streets. In a world where digital culture has redefined human information behavior as life in code and digits, increasingly it dominates human (...) activity and communication. These developments have radically changed the expectations of the museum visitor, real and virtual, the work of museum professionals and, most prominently, the nature of museum exhibitions, while digital art and life in a digitally saturated world is changing our ways of seeing, doing, our senses and aesthetics. -/- Overall, this book creates a new picture of the 21st-century museum field. As museums become shared spaces with their communities, local, national and global and move from collection-centered to user-/visitor-centered institutions, they are assuming new roles and responsibilities tied to new goals for engaging their audience, conveying meaning through collections, creating learning experiences and importantly, connecting to daily digital life and culture integral to the museum ecosystem. Our studies of recent exhibitions at museums leading change are used to exemplify new directions, while they point to a reimagined vision for museums of the future at the heart of which is the integration of digital culture and visitor experience and participation in real and virtual space. (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 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 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 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 aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (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)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (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)

Epistemic Courage is a timely and thought-provoking exploration of the ethics of belief, which shows why epistemology is no mere academic abstraction - the question of what to believe couldn't be more urgent. Jonathan Ichikawa argues that a skeptical, negative bias about belief is connected to a conservative bias that reinforces the status quo.

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (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 article gives an overview of some recent debates about the relationship between reasons and rational requirements of coherence - e.g. the requirements to be consistent in our beliefs and intentions, and to intend what we take to be the necessary means to our ends.

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (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 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 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.

D. M. Armstrong famously claims that deterministic laws of nature are contingent relations between universals and that his account can also be straightforwardly extended to irreducibly probabilistic laws of nature. For the most part, philosophers have neglected to scrutinize Armstrong’s account of probabilistic laws. This is surprising precisely because his own claims about probabilistic laws make it unclear just what he takes them to be. We offer three interpretations of what Armstrong-style probabilistic laws are, and argue that all three interpretations (...) are incompatible either with some feature of Armstrong’s broader metaphysics or with essential features of his account of laws (or both). (shrink)

Humans often attribute the things that happen to one or another actual cause. In this chapter, we survey some recent philosophical and psychological research on causal attribution. We pay special attention to the relation between graphical causal modeling and theories of causal attribution. We think that the study of causal attribution is one place where formal and experimental techniques nicely complement one another.

This chapter examines the ways in which the debates about the epistemic significance of disagreement are debates about the nature and impact of higher-order evidence.

Political polarization is one of the most discussed challenges facing contemporary democracies and is often associated with a broader epistemic crisis. While inspiring a large literature in political science, polarization’s epistemic problems also have significance for normative democratic theory, and this study develops a new approach aimed at understanding them. In contrast to prominent accounts from political psychology—group polarization theory and cultural cognition theory—which argue that polarization leads individuals to form unreliable political beliefs, this study focuses on system-level diversity. It (...) argues that polarization’s epistemic harms are best located in its tendency to reduce the diversity of perspectives utilized in a democratic system and in how this weakens the system’s ability to identify and address problems of public concern. Understanding such harms is also argued to require a greater consideration of the political dynamics of polarization and issues of elite discourse, alongside political psychology. (shrink)

Ross Cameron proposes to reconcile presentism and truth-maker theory by invoking temporal distributional properties, instantiated by present entities, as the truth-makers for truths about the past. This chapter argues that Cameron's proposal fails because objects can change which temporal distributional properties they instantiate and this entails that the truth-values of truths about the past can change in an objectionable way.

Jonathan Y. Tsou examines and defends positions on central issues in philosophy of psychiatry. The positions defended assume a naturalistic and realist perspective and are framed against skeptical perspectives on biological psychiatry. Issues addressed include the reality of mental disorders; mechanistic and disease explanations of abnormal behavior; definitions of mental disorder; natural and artificial kinds in psychiatry; biological essentialism and the projectability of psychiatric categories; looping effects and the stability of mental disorders; psychiatric classification; and the validity of the (...) DSM's diagnostic categories. The main argument defended by Tsou is that genuine mental disorders are biological kinds with harmful effects. This argument opposes the dogma that mental disorders are necessarily diseases that result from biological dysfunction. Tsou contends that the broader ideal of biological kinds offers a more promising and empirically ascertainable naturalistic standard for assessing the reality of mental disorders and the validity of psychiatric categories. (shrink)

According to Paul Boghossian and others, inference is subject to the taking condition: it necessarily involves the thinker taking his premises to support his conclusion, and drawing the conclusion because of that fact. Boghossian argues that this condition vindicates the idea that inference is an expression of agency, and that it has several other important implications too. However, we argue in this paper that the taking condition should be rejected. The condition gives rise to several serious prima facie problems and (...) the reasons which have been offered in favour of it fail to convince. (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 chapter has four central aims. First, in §1, I distinguish two ideas within epistemology that sometimes travel under the name ‘contextualism’ — the ‘situational contextualist’ idea that an individual’s context, especially their social context, can make for a difference in what they know, and the ‘linguistic contextualist’ idea that discourse using the word ‘knows’ and its cognates is context-sensitive, expressing dif- ferent contents in different conversational contexts. -/- Second, in §2, I situate contextualism with respect to several influential ideas (...) in feminist epistemology. These ideas are thoroughgoingly contextualist in the situational sense; I’ll explore the prospects for linguistic contextualist analogues or implementations of them. Simple connections between these feminist ideas and linguistic contextualism will prove elusive, but more subtle ones are possible, and sometimes attractive. -/- §3 considers the degree to which contextual epistemic parameters are determined interpersonally, as opposed to individualistically. Should contextualists hold that speakers can individually determine the contextual parameters that influence the truth- conditions of their utterances? Or are they fixed at a broader social level? I’ll rehearse some influential reasons to opt for the latter, more social, form of contextualism. -/- In §4 I discuss the practical and moral significance of speakers’ choices of epistemic parameters, given contextualism. For example, I’ll consider how standards-raising can be used to discredit evidential sources, with an eye towards the social and moral consequences of such moves. (shrink)

A number of writers have drawn on Hayek’s epistemic defence of market institutions to argue that free-markets and tort law are best placed to overcome the knowledge problems associated with the environmental sphere. This paper argues to the contrary, that this Austrian School approach itself suffers from significant knowledge problems. The first of these relates to the ability of Austrian economics to assign victim compensation and the second to the difficulty of establishing causation in complex environmental problems. The paper will (...) also show how alternative approaches may not suffer from these epistemic challenges and are better placed to overcome them. (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)

Members of oppressed groups are often silenced. One form of silencing is what Kristie Dotson calls “testimonial smothering”. Testimonial smothering occurs when a speaker limits her testimony in virtue of the reasonable risk of it being misunderstood or misapplied by the audience. Testimonial smothering is thus a form of epistemic paternalism since the speaker is interfering with the audience’s inquiry for their benefit without first consulting them. In this paper, we explore the connections between epistemic injustice and epistemic paternalism through (...) the phenomenon of silencing. We argue that when you silence your testimony as a result of epistemic injustice it is an act of epistemic paternalism and that it is epistemically permissible. In fact, self-silencing resulting from epistemic injustice is a particularly clear example of permissible epistemic paternalism. (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)

This paper pursues the philosophical significance of a relatively unexplored point of Platonic aesthetics: the social dimension of beauty. The social dimension of beauty resides in its conceptual connection to shame and honour. This dimension of beauty is fundamental to the aesthetic education of the Republic, as becoming virtuous for Plato presupposes a desire to appear and to be admired as beautiful. The ethical significance of beauty, shame, and honour redound to an ethically rich notion of appearing before others which (...) corresponds to a public conception of virtue. I suggest how this dimension of beauty in Plato – particularly the emphasis on beautification – proves fruitful for reconsidering the scope and the nature of aesthetic experience. (shrink)

The collaboration of Language and Computing nv (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is guided by the hypothesis that quality constraints on ontologies for software ap-plication purposes closely parallel the constraints salient to the design of sound philosophical theories. The extent of this parallel has been poorly appreciated in the informatics community, and it turns out that importing the benefits of phi-losophical insight and methodology into application domains yields a variety of improvements. L&C’s LinKBase® (...) is one of the world’s largest medical domain ontologies. Its current primary use pertains to natural language processing ap-plications, but it also supports intelligent navigation through a range of struc-tured medical and bioinformatics information resources, such as SNOMED-CT, Swiss-Prot, and the Gene Ontology (GO). In this report we discuss how and why philosophical methods improve both the internal coherence of LinKBase®, and its capacity to serve as a translation hub, improving the interoperability of the ontologies through which it navigates. (shrink)

Causal claims are context sensitive. According to the old orthodoxy (Mackie 1974, Lewis 1986, inter alia), the context sensitivity of causal claims is all due to conversational pragmatics. According to the new contextualists (Hitchcock 1996, Woodward 2003, Maslen 2004, Menzies 2004, Schaffer 2005, and Hall ms), at least some of the context sensitivity of causal claims is semantic in nature. I want to discuss the prospects for causal contextualism, by asking why causal claims are context sensitive, what they are sensitive (...) to, and where they are sensitive to it. (shrink)

In Davidson's philosophy, one finds a wide variety of rich, provocative, and influential arguments concerning the nature of the mind—that mental states emerge only in the context of interpretation, that belief is "in its nature" veridical, that mental events are physical events, and so on. Most, if not all, of Davidson's conclusions about the mind have their source in discussions about the project of "radical interpretation." They rely upon arguments concerning the conditions on the successful interpretation of a speaker by (...) an interpreter who knows nothing initially about the speaker's language or mental states. But what is the relevance of this activity of radical interpretation? Why should the conditions on succeeding at it illuminate anything about the nature of the mind in general? In this paper, I explore these issues. In particular, I will argue that Davidson's confidence in the relevance of radical interpretation for understanding the mind ultimately depends upon a prior and quite substantive view of the mind. Moreover, it is a view of the mind for which Davidson provides little support. Indeed, the little support Davidson does provide appears to depend itself on the very relevance of radical interpretation. (shrink)

Norm-attitude accounts of value say that for something to be valuable is for there to be norms that support valuing that thing. For example, according to fitting-attitude accounts, something is of value if it is fitting to value, and according to buck-passing accounts, something is of value if the reasons support valuing it. Norm-attitude accounts face the partiality problem: in cases of partiality, what it is fitting to value, and what the reasons support valuing, may not line up with what’s (...) valuable. Buck-passers have a solution to this problem and may claim that this gives them an advantage over fitting-attitude accounts. In this paper, we show how fitting-attitudes accounts can offer a broadly analogous, and equally attractive, solution to the problem. (shrink)

There is no agreement on whether any invertebrates are conscious and no agreement on a methodology that could settle the issue. How can the debate move forward? I distinguish three broad types of approach: theory-heavy, theory-neutral and theory-light. Theory-heavy and theory-neutral approaches face serious problems, motivating a middle path: the theory-light approach. At the core of the theory-light approach is a minimal commitment about the relation between phenomenal consciousness and cognition that is compatible with many specific theories of consciousness: the (...) hypothesis that phenomenally conscious perception of a stimulus facilitates, relative to unconscious perception, a cluster of cognitive abilities in relation to that stimulus. This “facilitation hypothesis” can productively guide inquiry into invertebrate consciousness. What is needed? At this stage, not more theory, and not more undirected data gathering. What is needed is a systematic search for consciousness-linked cognitive abilities, their relationships to each other, and their sensitivity to masking. (shrink)

Epistemic questions have become an important area of debate within democratic theory. Epistemic democrats have revived epistemic justification of democracy, while social scientific research has speared a significant debate on voter knowledge. An area which has received less attention, however, is the epistemic case for markets. Market advocates have developed a number of epistemic critiques of democracy which suggest that most goods are better provided by markets than democratic institutions. Despite representing important challenges to democracy, these critiques have gone without (...) reply as democratic theorists have tended to exclude markets from consideration. This article responds to these critiques and argues that there are good epistemic grounds for granting a much greater role to democracy than its market critics have claimed. It argues that there is a broad range of goods, including important ethical goods, which are better provided by democracy than markets due to the particular epistemic burdens they create. (shrink)

Research on the capacity to understand others' minds has tended to focus on representations ofbeliefs,which are widely taken to be among the most central and basic theory of mind representations. Representations ofknowledge, by contrast, have received comparatively little attention and have often been understood as depending on prior representations of belief. After all, how could one represent someone as knowing something if one does not even represent them as believing it? Drawing on a wide range of methods across cognitive science, (...) we ask whether belief or knowledge is the more basic kind of representation. The evidence indicates that nonhuman primates attribute knowledge but not belief, that knowledge representations arise earlier in human development than belief representations, that the capacity to represent knowledge may remain intact in patient populations even when belief representation is disrupted, that knowledge (but not belief) attributions are likely automatic, and that explicit knowledge attributions are made more quickly than equivalent belief attributions. Critically, the theory of mind representations uncovered by these various methods exhibits a set of signature features clearly indicative of knowledge: they are not modality-specific, they are factive, they are not just true belief, and they allow for representations of egocentric ignorance. We argue that these signature features elucidate the primary function of knowledge representation: facilitating learning from others about the external world. This suggests a new way of understanding theory of mind – one that is focused on understanding others' minds in relation to the actual world, rather than independent from it. (shrink)

How does consciousness vary across the animal kingdom? Are some animals ‘more conscious’ than others? This article presents a multidimensional framework for understanding interspecies variation in states of consciousness. The framework distinguishes five key dimensions of variation: perceptual richness, evaluative richness, integration at a time, integration across time, and self-consciousness. For each dimension, existing experiments that bear on it are reviewed and future experiments are suggested. By assessing a given species against each dimension, we can construct a consciousness profile for (...) that species. On this framework, there is no single scale along which species can be ranked as more or less conscious. Rather, each species has its own distinctive consciousness profile. (shrink)

From mitochondria to meerkats, the natural world is full of spectacular examples of social behaviour. In the early 1960s W. D. Hamilton changed the way we think about how such behaviour evolves. He introduced three key innovations - now known as Hamilton's rule, kin selection, and inclusive fitness - and his pioneering work kick-started a research program now known as social evolution theory. This is a book about the philosophical foundations and future prospects of that program. [Note: only the Introduction (...) is available to download.]. (shrink)

Consciousness has an important role in ethics: when a being consciously experiences the frustration or satisfaction of its interests, those interests deserve higher moral priority than those of a behaviourally similar but non-conscious being. I consider the relationship between this ethical role and an a posteriori (or “type-B”) materialist solution to the mind-body problem. It is hard to avoid the conclusion that, if type-B materialism is correct, then the reference of the concept of phenomenal consciousness is radically indeterminate between a (...) neuronal-level property that is distinctive to mammals and a high-level functional property that is much more widely shared. This would leave many non-mammalian animals (such as birds, fish, insects and octopuses) with indeterminate moral status. There are ways to manage this radical moral indeterminacy, but all of these ways lead to profoundly troubling consequences. (shrink)

In debates about animal sentience, the precautionary principle is often invoked. The idea is that when the evidence of sentience is inconclusive, we should “give the animal the benefit of the doubt” or “err on the side of caution” in formulating animal protection legislation. Yet there remains confusion as to whether it is appropriate to apply the precautionary principle in this context, and, if so, what “applying the precautionary principle” means in practice regarding the burden of proof for animal sentience. (...) Here I construct a version of the precautionary principle tailored to the question of animal sentience together with a practical framework for implementing it. I explain and defend the key features of this framework, argue that it is well-aligned with current practice in animal welfare science, and consider and reject a number of influential counterarguments to the use of precautionary reasoning in this area. (shrink)

We are all guided by thousands of norms, but how did our capacity for normative cognition evolve? I propose there is a deep but neglected link between normative cognition and practical skill. In modern humans, complex motor skills and craft skills, such as toolmaking, are guided by internally represented norms of correct performance. Moreover, it is plausible that core components of human normative cognition evolved as a solution to the distinctive problems of transmitting complex motor skills and craft skills, especially (...) skills related to toolmaking, through social learning. If this is correct, the expansion of the normative domain beyond technique to encompass more abstract norms of fairness, reciprocity, ritual and kinship involved the elaboration of a basic platform for the guidance of skilled action by technical norms. This article motivates and defends this “skill hypothesis” for the origin of normative cognition and sets out various ways in which it could be empirically tested. (shrink)

Human neural organoid research is advancing rapidly. As Greely notes in the target article, this progress presents an “onrushing ethical dilemma.” We can’t rule out the possibility that suff...

Sentience is the capacity to have feelings, such as feelings of pain, pleasure, hunger, thirst, warmth, joy, comfort and excitement. It is not simply the capacity to feel pain, but feelings of pain, distress or harm, broadly understood, have a special significance for animal welfare law. Drawing on over 300 scientific studies, we evaluate the evidence of sentience in two groups of invertebrate animals: the cephalopod molluscs or, for short, cephalopods (including octopods, squid and cuttlefish) and the decapod crustaceans or, (...) for short, decapods (including crabs, lobsters and crayfish). We also evaluate the potential welfare implications of current commercial practices involving these animals. (shrink)

When agents violate norms, they are typically judged to be more of a cause of resulting outcomes. In this paper, we suggest that norm violations also affect the causality attributed to other agents, a phenomenon we refer to as "causal superseding." We propose and test a counterfactual reasoning model of this phenomenon in four experiments. Experiments 1 and 2 provide an initial demonstration of the causal superseding effect and distinguish it from previously studied effects. Experiment 3 shows that this causal (...) superseding effect is dependent on a particular event structure, following a prediction of our counterfactual model. Experiment 4 demonstrates that causal superseding can occur with violations of non-moral norms. We propose a model of the superseding effect based on the idea of counterfactual sufficiency. (shrink)