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 \textbf{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 two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{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 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 \textbf{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 two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-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 $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-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 \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{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 \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{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 \textbf{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 $\Omega$-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 \textbf{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 \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{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 \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{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)

Polger and Shapiro argue that their official recipe, a criterion for judging when the phenomenon of multiple realization exists, renders MR less widespread than its proponents have assumed. I argue that, although Polger and Shapiro’s criterion is a useful contribution, they arrive at their conclusion too hastily. Contrary to Polger and Shapiro, I claim that the phenomenon of multiple realization in the biological world, judged by their criterion, is not as scarce as they suggest. To show this, an updated official (...) recipe, namely a multiple mechanistic realization thesis, integrating Polger and Shapiro’s criterion with a compositional conception of realization, is developed. Then, three examples of varied kinds are examined, showing that cases of MR are not so hard to find in the biological world. (shrink)

Unity of science was once a very popular idea among both philosophers and scientists. But it has fallen out of fashion, largely because of its association with reductionism and the challenge from multiple realisation. Pluralism and the disunity of science are the new norm, and higher-level natural kinds and special science laws are considered to have an important role in scientific practice. What kind of reductionism does multiple realisability challenge? What does it take to reduce one phenomenon to another? How (...) do we determine which kinds are natural? What is the ontological basis of unity? In this Element, Tuomas Tahko examines these questions from a contemporary perspective, after a historical overview. The upshot is that there is still value in the idea of a unity of science. We can combine a modest sense of unity with pluralism and give an ontological analysis of unity in terms of natural kind monism. This title is available as Open Access on Cambridge Core. (shrink)

This article argues for the explanatory autonomy of psychology drawing on cases from the multilevel modeling practice. This is done by considering a multilevel linear model in personality and social psychology, and discussing its philosophical implications for the reductionism debate in philosophy of psychology. I argue that this practice challenges the reductionist position in philosophy of psychology, and supports the explanatory autonomy of psychology.

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

It is a common idea, and an element in many legal systems, that people can deserve punishment when they commit criminal (or immoral) actions. A standard philosophical objection to this retributivist idea about punishment is that if human choices and actions are determined by previous events and the laws of nature, then we are not free in the sense required to be morally responsible for our actions, and therefore cannot deserve blame or punishment. It has recently been suggested that this (...) argument can be backed up by neuroscience, since neuroscientific explanations of human behavior leave no room for non-determined free actions. In this thesis, an argument of this sort is discussed. According to this argument, that I call “the Revision Argument”, we should revise the legal system so that any retributivist justification of punishment is removed. I examine some objections to the Revision Argument according to which compatibilism about free will and responsibility is a morally acceptable basis of retributive punishment. I argue that these objections have difficulties in providing a plausible account of the relevant difference between people who deserve punishment for their actions and people who do not. Therefore, I argue that they fail to refute the conclusion of the Revision Argument. (shrink)

Just as different sciences deal with different facts—say, physics versus biology—so we may ask a similar question about normative theories. Is normative political theory concerned with the same normative facts as moral theory or different ones? By developing an analogy with the sciences, we argue that the normative facts of political theory belong to a higher— more coarse-grained—level than those of moral theory. The latter are multiply realizable by the former: competing facts at the moral level can underpin the same (...) facts at the political one. Consequently, some questions that moral theories answer are indeterminate at the political level. This proposal offers a novel interpretation of John Rawls’s idea that, in public reasoning, we should abstract away from comprehensive moral doctrines. We contrast our distinction between facts at different levels with the distinction between admissible and inadmissible evidence and discuss some implications for the practice of political theory. (shrink)

Biologists seems to hold two fundamental beliefs: Organisms are organized into levels and the individuals at these levels differ in their properties. Together these suggest that there will be massive multiple realization, i.e. that many human psychological properties are multiply realized at many neurobiological levels. This paper provides some documentation in support of this suggestion.

Developing a definition of group selection, and applying that definition to the dispute in the social sciences between methodological holists and methodological individualists, are the two goals of this paper. The definition proposed distinguishes between changes in groups that are due to group selection and changes in groups that are artefacts of selection processes occurring at lower levels of organization. It also explains why the existence of group selection is not implied by the mere fact that fitness values of organisms (...) are sensitive to the composition of groups. And, lastly, the definition explains why group selection need not involve selection for altruism. Group selection is thereby seen as an evolutionary force which is objectively distinct from other evolutionary forces. Applying the distinction between group and individual selection to the holism/individualism dispute has the desirable result that the dispute is not decidable a priori. This way of looking at the dispute yields a conception of individualism which is untainted by atomism and a conception of holism which is unspoiled by hypostatis. (shrink)

Disertační práce se zabývá problematikou připisování myšlení jiným entitám, a to pomocí imitační hry navržené v roce 1950 britským filosofem Alanem Turingem. Jeho kritérium, známé v dějinách filosofie jako Turingův test, je podrobeno detailní analýze. Práce popisuje nejen původní námitky samotného Turinga, ale především pozdější diskuse v druhé polovině 20. století. Největší pozornost je věnována těmto kritikám: Lucasova matematická námitka využívající Gödelovu větu o neúplnosti, Searlův argument čínského pokoje konstatující nedostatečnost syntaxe pro sémantiku, Blockův návrh na použití brutální síly pro (...) řešení imitační hry, Frenchova teorie subkognitivních informací a Michieho skepticismus ohledně možnosti umělého vědomí. Závěr práce zachycuje současný stav recepce Turingova testu a představuje pokusy o jeho praktickou realizaci, například v každoroční soutěži o Loebnerovu cenu. Autor práce zastává názor, že ani po více než šedesáti letech od uveřejnění Turingova paradigmatického eseje stále neexistují žádné vážné důvody pro zamítnutí jeho tvrzení. Tradiční komputační funkcionalismus možná není ideální teorií vysvětlující činnost myslí a jako slibnější se může jevit vývoj v neurálních vědách, ale Turingův test je přesto užitečným a snad i jediným nástrojem pro detekci inteligence u lidmi vytvořených strojů. (shrink)

In this paper, I argue that absences pose a challenge to our understanding of physicalism that has not been properly appreciated. I do this by setting out a thought experiment involving a being in whom absence properties occupy the causal roles that functionalists take to define mental properties, in which case these absence properties realize the being’s mental properties. Such a being should be compatible with the truth of physicalism, I argue, even though its mental properties are neither themselves physical (...) properties nor are they realized/grounded in physical properties—instead, they are realized/grounded in (nonphysical) absence properties. I argue that the case serves as a counterexample to leading formulations of physicalism that appeal to realization or grounding, but not to standard supervenience-based formulations of physicalism, because the latter typically include negative truths in their supervenience base in addition to physical truths. I show how realization- and grounding-based formulations of physicalism might be revised to handle the problem, but also recommend that we rethink how we understand physicalism and the role that negative entities can play for physicalists. (shrink)

Understanding consciousness and its place in the natural world is one of the principal targets of contemporary philosophy of mind. Australian philosophers made seminal contributions to this project during the twentieth century which continue to shape the way philosophers and scientists think about the conceptual, metaphysical and empirical aspects of the problem. After some scene setting, I will discuss the main players and their work in the context of broader developments in the philosophy of mind.

Nonreductive physicalism states that actions have sufficient physical causes and distinct mental causes. Nonreductive physicalism has recently faced the exclusion problem, according to which the single sufficient physical cause excludes the mental causes from causal efficacy. Autonomists respond by stating that while mental-to-physical causation fails, mental-to-mental causation persists. Several recent philosophers establish this autonomy result via similar models of causation :1031–1049, 2016; Zhong, J Philos 111:341–360, 2014). In this paper I argue that both of these autonomist models fail on account (...) of the problem of Edwards’s Dictum. However, I appeal to foundational principles of action theory to resuscitate mental-to-mental causation in a manner that is consistent with the models of causation endorsed by these autonomists. (shrink)

The claim is frequently made that structured collections of individuals who are themselves subjects of mental and cognitive states – such collections as courts, countries, and corporations – can be, and often are, subjects of mental or cognitive states. And, to be clear, advocates for this so-called group-minds hypothesis intend their view to be interpreted literally, not metaphorically. The existing critical literature casts substantial doubt on this view, at least on the assumption that groups are claimed to instantiate the same (...) species of mental and cognitive properties as individual humans. In this essay, I evaluate a defensive move made by some proponents of the group-oriented view: to concede that group states and individual states aren’t of the same specific natural kinds, while holding that groups instantiate different species of mental or cognitive states – perhaps a different species of cognition itself – from those instantiated by humans. In order to evaluate this defense of group cognition, I develop a view of natural kinds – or at least of the sort of evidence that supports inferences to the sameness of natural kind – a view I have previous dubbed the ‘tweak-and-extend’ theory. Guided by the tweak-and-extend approach, I arrive at a tentative conclusion: that what is common to models of individual cognitive processing and models of group processing does not suffice to establish sameness of cognitive (or mental) kinds, properties, or state-types, not even at a generic or overarching level. (shrink)

In this paper, we evaluate the pragmatic turn towards embodied, enactive thinking in cognitive science, in the context of recent empirical research on the memory palace technique. The memory palace is a powerful method for remembering yet it faces two problems. First, cognitive scientists are currently unable to clarify its efficacy. Second, the technique faces significant practical challenges to its users. Virtual reality devices are sometimes presented as a way to solve these practical challenges, but currently fall short of delivering (...) on that promise. We address both issues in this paper. First, we argue that an embodied, enactive approach to memory can better help us understand the effectiveness of the memory palace. Second, we present design recommendations for a virtual memory palace. Our theoretical proposal and design recommendations contribute to solving both problems and provide reasons for preferring an embodied, enactive account over an information-processing treatment of the memory palace. (shrink)

In a recent paper, Barry Loewer attempts to defend Humeanism about laws of nature from a charge that Humean laws are not adequately explanatory. Central to his defense is a distinction between metaphysical and scientific explanations: even if Humeans cannot offer further metaphysical explanations of particular features of their “mosaic,” that does not preclude them from offering scientific explanations of these features. According to Marc Lange, however, Loewer’s distinction is of no avail. Defending a transitivity principle linking scientific explanantia to (...) their metaphysical grounds, Lange argues that a charge of explanatory inadequacy resurfaces once this intuitive principle is in place. This paper surveys, on behalf of the Humean, three strategies for responding to Lange’s criticism. The ready availability of these strategies suggests that Lange’s argument may not bolster anti-Humean convictions, since the argument rests on premises that those not antecedently sharing these convictions may well reject. The three strategies also correspond to three interesting ways of thinking about relations of grounding linking Humean laws and their instances, all of which are consistent with theses of Humean supervenience, and some of which have been heretofore overlooked. (shrink)

Jaegwon Kim’s influential exclusion argument attempts to demonstrate the inconsistency of nonreductive materialism in the philosophy of mind. Kim’s argument begins by showing that the three main theses of nonreductive materialism, plus two additional considerations, lead to a specific and familiar picture of mental causation. The exclusion argument can succeed only if, as Kim claims, this picture is not one of genuine causal overdetermination. Accordingly, one can resist Kim’s conclusion by denying this claim, maintaining instead that the effects of the (...) mental are always causally overdetermined. I call this strategy the ‘ overdetermination challenge’. One of the main aims of this paper is to show that the overdetermination challenge is the most appropriate response to Kim’s exclusion argument, at least in its latest form. I argue that Kim fails to adequately respond to the overdetermination challenge, thus failing to prevent his opponents from reasonably maintaining that the effects of the mental are always causally overdetermined. Interestingly, this discussion reveals a curious dialectical feature of Kim’s latest response to the overdetermination challenge: if it succeeds, then a new, simpler and more compact version of the exclusion argument is available. While I argue against the consequent of this conditional, thereby also rejecting the antecedent, this dialectical feature should be of interest to philosophers on either side of this debate. (shrink)

This is an amended version of material that first appeared in A. Clark, Microcognition: Philosophy, Cognitive Science, and Parallel Distributed Processing (MIT Press, Cambridge, MA, 1989), Ch. 1, 2, and 6. It appears in German translation in Metzinger,T (Ed) DAS LEIB-SEELE-PROBLEM IN DER ZWEITEN HELFTE DES 20 JAHRHUNDERTS (Frankfurt am Main: Suhrkamp. 1999).

‘Free action’ is subject to the causal theory of reference and thus that The essential nature of free actions can be discovered only by empirical investigation, not by conceptual analysis. Heller ’s proposal, if true, would have significant philosophical implications. Consider the enduring issue we will call the Compatibility Issue : whether the thesis of determinism is logically compatible with the claim that.

Can we be realists about a general category but pluralists about concepts relating to that category? I argue that paleobiological methods of delineating species are not affected by differing species concepts, and that this underwrites an argument that species concept pluralists should be species category realists. First, the criteria by which paleobiologists delineate species are ‘indifferent’ to the species category. That is, their method for identifying species applies equally to any species concept. To identify a new species, paleobiologists show that (...) interspecies processes, such as phenotypic plasticity, sexual dimorphism, or ontogenetic diversity, are a worse explanation of the variance between specimens than intraspecies processes. As opposed to operating under a single or plurality of species concepts, then, paleobiologists use abductive inferences, which would be required regardless of any particular species concept. Second, paleobiologists are frequently interested in large-scale, long-term morphological patterns in the fossil record, and resolving the fine-grained differences which result from different species concepts is irrelevant at those scales. I argue that this claim about paleobiological practice supports what I call ‘indifference realism’ about the species category. The indifference realist argues that when legitimate investigation is indifferent to a plurality of concepts, we should be realists about the category those concepts pertain to. (shrink)

Double dissociations between perceivable colors and physical properties of colored objects have led many philosophers to endorse relationalist accounts of color. I argue that there are analogous double dissociations between attitudes of belief—the beliefs that people attribute to each other in everyday life—and intrinsic cognitive states of belief—the beliefs that some cognitive scientists posit as cogs in cognitive systems—pitched at every level of psychological explanation. These dissociations provide good reason to refrain from conflating attitudes of belief with intrinsic cognitive states (...) of belief. I suggest that interpretivism provides an attractive account of the former. Like colors, attitudes of belief evolved to be ecological signifiers, not cogs in cognitive systems. (shrink)

An effective theory in physics is one that is supposed to apply only at a given length scale; the framework of effective field theory describes a ‘tower’ of theories each applying at different length scales, where each ‘level’ up is a shorter-scale theory. Owing to subtlety regarding the use and necessity of EFTs, a conception of emergence defined in terms of reduction is irrelevant. I present a case for decoupling emergence and reduction in the philosophy of physics. This paper develops (...) a positive conception of emergence, based on the novelty and autonomy of the ‘levels’, by considering physical examples, involving critical phenomena, the renormalisation group, and symmetry breaking. This positive conception of emergence is related to underdetermination and universality, but, I argue, is preferable to other accounts of emergence in physics that rely on universality. (shrink)

Arguments for multiple realization depend on the idea that the same kind of function is realized by different kinds of structures. It is important to such arguments that we know the kinds used in the arguments have been individuated properly. In the philosophical literature, though, claims about how to individuate kinds are frequently decided on intuitive grounds. This paper criticizes this way of approaching kinds by considering how practicing researchers think about the matter. I will consider several examples in which (...) the practice of researchers on comparative vision conflicts with the standard account of these issues. (shrink)

Philosophers often talk as though each ability is held by exactly one agent. This paper begins by arguing that abilities can be held by groups of agents, where the group is not an agent. I provide a new argument for—and a new analysis of—non-agentive groups’ abilities. I then provide a new argument that, surprisingly, obligations are different: non-agentive groups cannot bear obligations, at least not if those groups are large-scale such as ‘humanity’ or ‘carbon emitters.’ This pair of conclusions is (...) important, since philosophers who endorse large-scale non-agentive groups’ abilities almost universally endorse their obligations. More importantly, the twin arguments (one for abilities, one against obligations) make the following novel contribution: abilities imply agency-involving explanations, while obligations imply action-guidance. This general conclusion should be of interest beyond social ontology. (shrink)

Some explanations are relatively abstract: they abstract away from the idiosyncratic or messy details of the case in hand. The received wisdom in philosophy is that this is a virtue for any explanation to possess. I argue that the apparent consensus on this point is illusory. When philosophers make this claim, they differ on which of four alternative varieties of abstractness they have in mind. What’s more, for each variety of abstractness there are several alternative reasons to think that the (...) variety of abstractness in question is a virtue. I identify the most promising reasons, and dismiss some others. The paper concludes by relating this discussion to the idea that explanations in biology, psychology and social science cannot be replaced by relatively micro explanations without loss of understanding. (shrink)

Mind, it is increasingly fashionable to assert, is an intrinsically embodied and environmentally embedded phenomenon. But there is a potential tension between two strands of thought prominent in this recent literature. One of those strands depicts the body as special, and the fine details of a creature’s embodiment as a major constraint on the nature of its mind: a kind of new-wave body-centrism. The other depicts the body as just one element in a kind of equal-partners dance between brain, body (...) and world, with the nature of the mind fixed by the overall balance thus achieved: a kind of extended functionalism (now with an even broader canvas for multiple realizability than ever before). The present paper displays the tension, scouts the space of possible responses, and ends by attempting to specify what the body actually needs to be, given its complex role in these recent debates. (shrink)

Some explanations in social science, psychology and biology belong to a higher level than other explanations. And higher explanations possess the virtue of abstracting away from the details of lower explanations, many philosophers argue. As a result, these higher explanations are irreplaceable. And this suggests that there are genuine higher laws or patterns involving social, psychological and biological states. I show that this ‘abstractness argument’ is really an argument schema, not a single argument. This is because the argument uses the (...) ‘is lower than’ relation, and this relation admits of different readings. I then suggest four rigorous definitions of the ‘is lower than’ relation, and show that the abstractness argument’s prospects are much brighter for some of these definitions than for others. To show this, I evaluate the so-called ‘disjunctive threat’ to the abstractness argument. (shrink)

Mahadevan proposes that we are at the cusp of imagination science, one of whose primary concerns will be the design of imagination machines. Programs have been written that are capable of generating jokes, producing line-drawings that have been exhibited at such galleries as the Tate, composing music in several styles reminiscent of such greats as Vivaldi and Mozart, proving geometry theorems, and inducing quantitative laws from empirical data. In recent years, Dartmouth has been hosting Turing Tests in creativity in three (...) categories: short stories, sonnets, and dance music DJ sets. In this post, I will provide a brief and non-exhaustive survey of some plausible responses to these imagination machines and the related prospects for our understanding of the imagination. (shrink)

The target of this article is the claim that natural selection accounts for the multiple realisation of biological and psychological kinds. I argue that the explanation actually offered does not provide any insight about the phenomenon since it presupposes multiple realisation as an unexplained premise, and this is what does all the work. The purported explanation mistakenly invokes the ?indifference? of selection to structure as an additional explanatorily relevant factor. While such indifference can be explanatory in intentional contexts, it is (...) not a causal factor at all in non-intentional nature. The upshot is that, once the necessary initial assumption about heterogeneity is accepted, there is no further explanation to do. (shrink)

Absence of evidence arguments are indispensable to comparative neurobiology. The absence in a given species of a homologous neural architecture strongly correlated with a type of conscious experience in humans should be able to be taken as a prima facie reason for concluding that the species in question does not have the capacity for that conscious experience. Absence of evidence reasoning is, however, widely disparaged for being both logically illicit and unscientific. This paper argues that these concerns are unwarranted. There (...) is no logical barrier to formulating cogent absence of evidence arguments; indeed, accepting such arguments is part of what it is to be committed to falsifiability as a critical aspect of the scientific method. Absence of evidence arguments can always be blocked, however, by assuming that psychological properties are ‘multiply realizable’. While we take multiple realizability to be highly likely at some level of analysis, we argue that it is question-begging to assume that it exists at every level of analysis, and thus it should not automatically be thought to undermine absence of evidence reasoning in the animal consciousness debate. Using the example of pain and focusing on homologies at the level of information processing tasks, we show how, in the science of consciousness, an absence of evidence might well serve as evidence of absence. (shrink)

We outline a framework of multilevel neurocognitive mechanisms that incorporates representation and computation. We argue that paradigmatic explanations in cognitive neuroscience fit this framework and thus that cognitive neuroscience constitutes a revolutionary break from traditional cognitive science. Whereas traditional cognitive scientific explanations were supposed to be distinct and autonomous from mechanistic explanations, neurocognitive explanations aim to be mechanistic through and through. Neurocognitive explanations aim to integrate computational and representational functions and structures across multiple levels of organization in order to explain (...) cognition. To a large extent, practicing cognitive neuroscientists have already accepted this shift, but philosophical theory has not fully acknowledged and appreciated its significance. As a result, the explanatory framework underlying cognitive neuroscience has remained largely implicit. We explicate this framework and demonstrate its contrast with previous approaches. (shrink)

Compatibilists regard subsumption under certain sorts of deterministic psychological laws as sufficient for free will. As _bona fide_ laws, their existence poses problems for the thesis of the unalterability of laws, a cornerstone of the Consequence Argument against compatibilism. The thesis is challenged, although a final judgment must wait upon resolution of controversies about the nature of laws. Another premise of the Consequence Argument affirms the supervenience of mental states on physical states, a doctrine whose truth would not undermine the (...) autonomy of psychological laws, a condition of free will. Requirements for compatibilist acceptance of physicalism are described. (shrink)

Cognitive science is an interdisciplinary research endeavor focusing on human cognitive phenomena such as memory, language use, and reasoning. It emerged in the second half of the 20th century and is charting new directions at the beginning of the 21st century. This chapter begins by identifying the disciplines that contribute to cognitive science and reviewing the history of the interdisciplinary engagements that characterize it. The second section examines the role that mechanistic explanation plays in cognitive science, while the third focuses (...) on the importance of mental representations in specifically cognitive explanations. The fourth section considers the interdisciplinary nature of cognitive science and explores how multiple disciplines can contribute to explanations that exceed what any single discipline might accomplish. The conclusion sketches some recent developments in cognitive science and their implications for philosophers. (shrink)

According to one-level physicalism, reality is exhausted by fundamental physical entities and properties. This position is sometimes defended on the basis of the truthmaker view of ontological commitment. Accordingly, physicalists can affirm higher-level truths without ontologically committing to any higher-level properties or states of affairs; fundamental physical states of affairs serve as truthmakers of all truths that have truthmakers, and a physicalist’s ontology should consist of nothing but the fundamental physical states of affairs and their constituents. In this paper, I (...) raise a problem for one-level physicalists who defend their views by appealing to the truthmaker view of ontological commitment. I argue that the truthmaker view faces certain puzzles the solutions of which clash with the main tenets of one-level physicalism. I conclude that either truthmaking is not a good guide to ontological commitment or one-level physicalism cannot be defended on the basis of the truthmaker view. (shrink)

“Realization” is a technical term that is used by metaphysicians, philosophers of mind, and philosophers of science to denote some dependence relation that is thought to obtain between higher-level properties and lower-level properties. It is said that mental properties are realized by physical properties; functional and computational properties are realized by first-order properties that occupy certain causal/functional roles; dispositional properties are realized by categorical properties; so on and so forth. Given this wide usage of the term “realization”, it would be (...) right to think that there might be different dependence relations that this term denotes in different cases. Any relation that is aptly picked out by this term can be taken to be a realization relation. The aim of this state-of-the-field article is to introduce the central questions about the concept of realization, and provide formulations of a number of realization relations. In doing so, I identify some theoretical roles realization relations should play, and discuss some theories of realization in relation to these theoretical roles. (shrink)

What is an epiphenomenal property? This question needs to be settled before we can decide whether higher-level properties are epiphenomenal or not. In this paper, I offer an account of what it is for a property to have some causal power. From this, I derive a characterisation of the notion of an epiphenomenal property. I then argue that physically realized higher-level properties are not epiphenomenal because laws of nature impose causal similarities on the bearers of such properties, and these similarities (...) figure as powers in the causal profiles of these properties. (shrink)

It has been suggested that a functionalist understanding of the metaphysics of psychological typing eliminates the prospect for psychological laws. Kim, Millikan, and Shapiro have each separately argued that, if psychological types as functional types are multiply realized, then the diversity of realizing mechanisms demonstrates that there can be no laws of psychology. Additionally, Millikan has argued that the role of functional attribution in the explanation of historical kinds limits the formulation of psychological principles to particular taxa; hence, psychological laws (...) applicable to any cognitive being are not possible. Both arguments against the possibility of psychological laws, I want to suggest, only succeed at showing that certain types of empirical principles will not be laws. I will suggest that a further type of empirical principle, grounded in the general constraints on the sustainability of population types, remains in the running as a candidate law. Importantly, the formulation of these principles presupposes a functionalist understanding of psychological typing. (shrink)

Shapiro has suggested that the empirical plausibility of the multiple realizability of human-like minds is dubious, because a contrary thesis, the Mental Constraint Thesis, enjoys positive empirical evidence. The Mental Constraint Thesis states that, given the actual physical laws, there is only one way to realize a human-like mind. I will suggest, however, that the Mental Constraint Thesis is not a contrary to the empirical multiple realizability thesis relevant to psychological reduction or autonomy and, as a consequence, has no bearing (...) on those classificatory issues. (shrink)

If causalism is a complete theory of what it is to behave intentionally, it also has to account for intentional omissions. Carolina Sartorio, 513–530, 2009) has developed a powerful argument, the Causal Exclusion for Omissions, showing that intentional omissions cannot be explained by causalism. A crucial claim in the argument is that there is a causal competition between a mental omission and the mental action performed instead. In this paper I reject the argument by demonstrating that there is no causal (...) competition ever between an omission and the action performed instead. I propose what I call the Realisationist Conception of Omissions, which consists in considering omissions as multiply realisable absences whose realisers are specific positive actions. I further argue in favour of the Determinationist Conception of Omissions, according to which the relation between omissions and their realisers is a determinable/determinate relation. Since there can be no causal preemption between a determinable and its determinates, there can be no causal preemption between omissions and the actions performed instead, and causalism is safe. I also show that this view of omissions has some other independent advantages – like for example that of solving the problem of the spatio-temporal localisation of omissions. (shrink)

Epiphenomenalism has had a long historical tradition. It is the view that mental properties are causally inert with respect to the physical world. In this paper, I argue that this tradition faces enormous challenges and needs better arguments to defend its position, and to demonstrate this, I interrogate the strands including computationalism, the idea of the illusion of conscious will, and causal exclusionism.

Philosophy and science have always striven to make sense of the world, continuously influencing each other in the process. Their interplay paved the way for neurophilosophy, which harnesses neuroscientific insights to address traditionally philosophical questions. Given the rapid neuroscientific and technological advances in recent years, this paper argues that philosophers who wish to tackle intractable philosophical problems and influence public discourse and policies should engage in neuro-techno-philosophy. This novel type of inquiry describes the transdisciplinary endeavor of philosophers, (neuro)scientists, and others (...) to anticipate the societal implications of the impending transformations of subjects and theorizers. While human enhancement is likely to irreversibly change what it means to be human, disruptive technologies might lead to the emergence of artificial intelligent agents and human-machine hybrids. The paper predicts that neuro-techno-philosophy will be indispensable to understanding and engaging with these game-changing innovations and thus play a pivotal role in the future of philosophy. (shrink)

Arguments for the autonomy of psychology or other higher-level sciences have often taken the form of denying the possibility of reduction. The form of reduction most proponents and critics of the autonomy of psychology have in mind is theory reduction. Mechanistic explanations provide a different perspective. Mechanistic explanations are reductionist insofar as they appeal to lower-level entities—the component parts of a mechanism and their operations— to explain a phenomenon. However, unlike theory reductions, mechanistic explanations also recognize the fundamental role of (...) organization in enabling mechanisms to engage their environments as units (as well as the role of yet higher-level structures in constraining such engagement). Especially when organization is non-linear, it can enable mechanisms to generate phenomena that are quite surprising given the operations of the components taken in isolation. Such organization must be discovered—it cannot simply be derived from knowledge of lower-level parts and their operations. Moreover, the organized environments in which mechanisms operate must also be discovered. It is typically the higher-level disciplines that have the tools for discovering the organization within and between mechanisms. Although these inquiries are constrained by the knowledge of the parts and operations constituting the mechanism, they make their own autonomous contribution to understanding how a mechanism actually behaves. Thus, mechanistic explanations provide a strong sense of autonomy for higher levels of organization and the inquiries addressing them even while recognizing the distinctive contributions of reductionistic research investigating the operations of the lower level components. (shrink)

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

This paper introduces the philosophy of Grace Andrus de Laguna in order to renew interest in it. I show that, in the 1910s and 1920s, she develops ideas and arguments that are also found playing key roles in the development of analytic philosophy decades later. Further, I describe her sympathetic, but acute, criticism of pragmatism and Heideggerian ontology, and situate her work in the tradition of American, speculative philosophy. Before 1920, we will see, de Laguna appeals to multiple realizability to (...) undermine reductionism in science, to support perspectival, scientific realism and, with help from a private language argument, to favour the view that mental states are classified by behavioural, teleological roles over what came to be called ‘type physicalism’. Her view of speech, mostly developed in the 1920s, tells us that its primary role is coordinating group behaviour rather than expressing thoughts. Belief is understood in terms of its causal role, including its causal relations to other kinds of mental states, when coordinating group behaviour. Thought is similarly understood. In developing her theory of mind, de Laguna rejects the pragmatist claims that belief can be reduced to dispositions to behaviour and that thought’s function is to address specific, rather than general, problems. She also favours meaning holism and rejects the analytic–synthetic distinction. In later work, de Laguna argues that individuals’ activity of self-maintenance brings universals, conceived of as irreducible potentialities, into being and makes them increasingly determinate. Further, she identifies the existence of all individuals with forms of self-maintenance and takes the existence of people to include maintenance of the cultural world. Such a unified treatment of existence, she holds, permits making its evolution intelligible. Heidegger’s view of being is rejected for not permitting this. All de Laguna’s work, we will see, fits a vision of philosophy as the systematic, imaginative and naturalistic examination of being as well as a source of criticism of science. (shrink)

Some of the oldest and deepest questions in philosophy fall under the umbrella of consciousness and mind: What is the mind and how is it related to the body? What provides our thoughts with content? How is consciousness related to the natural world? Do we have distinctive causal powers? Analytic philosophers have made significant progress on these and related problems in the last century. Given the high volume of work on such topics, this chapter is necessarily selective. It offers major (...) touchstones but is slanted in favor of work that touches base with the sciences. The chapter starts by describing the progression of thought on the mind-body problem, from dualism and behaviorism to non-reductive materialism. It then describes the problem of intentionality, with a focus on partial solutions from Dretske and Millikan, ending with a brief discussion of 4E theories of mental content. The section on the problem of consciousness starts with the well-known knowledge and modal arguments before describing some attempted initial solutions, such as eliminative materialism and panpsychism. Finally, there is a brief section on agency and free will, which focuses on the link between free will and consciousness. (shrink)