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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. 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)

Artificial Intelligence is at a turning point, with a substantial increase in projects aiming to implement sophisticated forms of human intelligence in machines. This research attempts to model specific forms of intelligence through brute-force search heuristics and also reproduce features of human perception and cognition, including emotions. Such goals have implications for artificial consciousness, with some arguing that it will be achievable once we overcome short-term engineering challenges. We believe, however, that phenomenal consciousness cannot be implemented in machines. This becomes (...) clear when considering emotions and examining the dissociation between consciousness and attention in humans. While we may be able to program ethical behavior based on rules and machine learning, we will never be able to reproduce emotions or empathy by programming such control systems—these will be merely simulations. Arguments in favor of this claim include considerations about evolution, the neuropsychological aspects of emotions, and the dissociation between attention and consciousness found in humans. Ultimately, we are far from achieving artificial consciousness. (shrink)

This thesis explores the possibility of composite consciousness: phenomenally conscious states belonging to a composite being in virtue of the consciousness of, and relations among, its parts. We have no trouble accepting that a composite being has physical properties entirely in virtue of the physical properties of, and relations among, its parts. But a long­standing intuition holds that consciousness is different: my consciousness cannot be understood as a complex of interacting component consciousnesses belonging to parts of me. I ask why: (...) what is it about consciousness that makes us think it so different from matter? And should we accept this apparent difference? (shrink)

In the visual search paradigm, participants’ task is to detect the presence or absence of a target item, which is presented in an array of distractor items. Usually it is found that performance is dependent on specific properties of the visual display, for example, the number of items to be searched or the similarity between display items. However, recent research has demonstrated that memory mechanisms can also affect search behaviour. Further, it was found that memory mechanisms can, in principle, be (...) either facilitatory or inhibitory, that is, that the processing of the item locations, features, or search objects themselves can be improved or impeded, respectively. This thesis investigated the effects of facilitatory and inhibitory memory mechanisms based on the element positions within the search display; facilitatory memory mechanisms based on the features of the search elements; and inhibitory memory mechanisms based on the search objects themselves. (shrink)

Contemporary memory sciences describe processes that are dynamic and constructive. This has led some philosophers to weaken the relationship between memory and epistemology; though remembering can give rise to epistemic success, it is not itself an epistemic success state. I argue that non-epistemic theories will not do; they provide neither necessary nor sufficient conditions for remembering that p. I also argue that the shortcomings of the causal theory are epistemic in nature. Consequently, a theory of remembering must account for both (...) its fundamentally epistemic nature and for its constructive and dynamic processes. (shrink)

Experiments are presented showing that visual search for Mueller-Lyer (ML) stimuli is based on complete configurations, rather than component segments. Segments easily detected in isolation were difficult to detect when embedded in a configuration, indicating preemption by low-level groups. This preemption—which caused stimulus components to become inaccessible to rapid search—was an all-or-nothing effect, and so could serve as a powerful test of grouping. It is shown that these effects are unlikely to be due to blurring by simple spatial filters at (...) early visual levels. It is proposed instead that they are due to more sophisticated processes that rapidly bind contour fragments into spatially-extended assemblies. These results support the view that rapid visual search cannot access the primitives formed at the earliest stages of visual processing; rather, it can access only higher-level, more ecologically-relevant structures. (shrink)

According to direct perception approaches we directly see others’ emotions, and by seeing emotions we immediately ascribe them to others. Direct perception is explicitly presented as an alternative account of mindreading, but it also contains an implicit thesis about the extent of the reach of perception. In this paper emotion perception is defended: siding with the direct perception approach I claim that we can simply see emotions and not just low level features of the facial and bodily displays, but contra (...) the direct perception approach I argue that seeing emotions is not sufficient for recognizing emotions as mental states in order to ascribe them to others. (shrink)

How can we explain our capacity to think about particulars in our external environment? Many philosophers have answered this question in terms of a sophisticated conception of space and time and the movement of objects therein. A more recent reaction against this view sought to explain this capacity solely in terms of perceptual mechanisms of object individuation. Neither explanation remains fully satisfactory. This book argues for a more desirable middle ground in terms of a pragmatist approach to demonstrative thought, where (...) this capacity is explained through graded practical knowledge of objects. This view allows us to do justice to important insights put forward by both positions criticized in the book, while avoiding their potential shortcomings. It also paves the way to a more pragmatist approach to the theory of mental representation, where the notion of practical knowledge is allowed to play a central role in our cognitive life. Finally, it shows how practical knowledge may be firmly rooted in neurobiological processes and mechanisms that conform to what the empirical sciences tell us about the mind. (shrink)

This paper presents a new account of aesthetic pleasure, according to which it is a distinct psychological structure marked by a characteristic self-reinforcing motivation. Pleasure figures in the appreciation of an object in two ways: In the short run, when we are in contact with particular artefacts on particular occasions, aesthetic pleasure motivates engagement and keeps it running smoothly—it may do this despite the fact that the object we engagement is aversive in some ways. Over longer periods, it plays a (...) critical role in shaping how we engage with objects to get this kind of pleasure from them. This account is yoked to a broadly functional understanding of art: it is not the nature of the object that makes it art, but the nature of the response that it is designed to elicit. The view does not, however, rest on individual psychology alone, as some other functional accounts do. Crucially, it is argued that shared cultural context is a key determinant of the pleasure we derive from aesthetic artefacts. The pleasure of art is always communal and communicative. (shrink)

One sceptical rejoinder to those who claim that sensory perception is cognitively penetrable is to appeal to the involvement of attention. So, while a phenomenon might initially look like one where, say, a perceiver’s beliefs are influencing her visual experience, another interpretation is that because the perceiver believes and desires as she does, she consequently shifts her spatial attention so as to change what she senses visually. But, the sceptic will urge, this is an entirely familiar phenomenon, and it hardly (...) involves some special or theoretically important cognitive effect on sensory perception. Even supposing that the sceptic is correct about cases that are accurately described in this way, the rejoinder oversimplifies the possible roles that attention may play in mediating cognition and perception. This paper aims to identify these different roles, and by emphasis on empirical research on feature-based and object-based attention. What emerges is a plausible and well- evidenced mental schema that describes attention -mediated cognitive penetration. At the very least, the burden of proof is shifted to the sceptic, as he then must show that there are no mental phenomena involving attention in the more nuanced ways described here. One additional benefit of this analysis is that it illuminates various features of attention and its relation to both cognition and phenomenal consciousness. Therefore the analysis should be of interest to a broad range of theorists of the mind, and not just those invested in the cognitive penetration debate. (shrink)

In two experiments, we investigate to what extent various visual saliency cues in realistic visual scenes cause speakers to overspecify their definite object descriptions with a redundant color attribute. The results of the first experiment demonstrate that speakers are more likely to redundantly mention color when visual clutter is present in a scene as compared to when this is not the case. In the second experiment, we found that distractor type and distractor color affect redundant color use: Speakers are most (...) likely to overspecify if there is at least one distractor object present that has the same type, but a different color than the target referent. Reliable effects of distractor distance were not found. Taken together, our results suggest that certain visual saliency cues guide speakers in determining which objects in a visual scene are relevant distractors, and which not. We argue that this is problematic for algorithms that aim to generate human-like descriptions of objects, since these generally select properties that help to distinguish a target from all objects that are present in a scene. (shrink)

We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the child (...) was reminded of it being a rattle, and emphasising its being a rattle it was put back into box 1. Then the agent returned, the object was hidden in the experimenter’s hands and removed from box 1, described as a ‘‘rattle,” and transferred to box 2. Children who passed false belief had no problem saying where the puppet would look for the ball. However, in a different condition in which the agent was also shown that the ball was a rattle they erroneously said that the agent would look for the ball in box 1, ignoring the agent’s knowledge of the identity of rattle and ball. Their problems cease with their mastery of second-order beliefs. Problems also vanish when the ball is described not as a rattle but as a thing that rattles. We describe how our theory can account for these data as well as all other relevant data in the literature. (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)

Research in vision science, developmental psychology, and the foundations of cognitive science has led some theorists to posit referential mechanisms similar to indices. This hypothesis has been framed within a Fodorian conception of the early vision module. The article shows that this conception is mistaken, for it cannot handle the ‘interface problem’—roughly, how indexing mechanisms relate to higher cognition and conceptual thought. As a result, I reject the inaccessibility of early vision to higher cognition and make some constructive remarks on (...) the perception–cognition interface. -/- 1 The Case for Visual Indices 1.1 Preliminary assumptions 1.2 Transcendental arguments 1.3 Evidence from vision science 2 Visual Indices, Object Files, and Fodorian Modularity 3 The Interface Problem 3.1 Top-down attention and modularity 3.2 Selective attention and information 4 Revising the Indexing Hypothesis 4.1 Revising the perception–cognition interface 4.2 Revising the modularity of early vision 5 Concluding Remarks. (shrink)

Homonyms, i.e. ambiguous words like ‘score’, have different meanings in different contexts. Previous research indicates that all potential meanings of a homonym are first accessed in parallel before one of the meanings is selected in a competitive race. If these processes are automatic, these processes of selection should even be observed when homonyms are shown subliminally. This study measured the time course of subliminal and supraliminal priming by homonyms with a frequent and a rare meaning in a neutral context, using (...) a lexical decision task. In the subliminal condition, priming across prime-target asynchronies ranging from 100 ms to 1.5 s indicated that the dominant meaning of homonyms was facilitated and the subordinate meaning was inhibited. This indicates that selection of meaning was much faster with subliminal presentation than with supraliminal presentation. Awareness of a prime might decelerate an otherwise rapid selection process. (shrink)