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)

(revisions posted 12/5/2006) to appear in Internalism and Externalism in Semantics and Epistemology, ed. by Sanford Goldberg (to be published by Oxford in 2006 or 2007) Michael McKinsey formulated an argument that raises a puzzle about the relation between externalism about content and our introspective awareness of content. The puzzle goes like this: it seems like I can know the contents of my thoughts by introspection alone; but philosophical reflection tells me that the contents of those thoughts are externalist, and (...) so I couldn. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

What characterizes indexical thinking is the fact that the modes of presentation through which one thinks of objects are context-bound and perspectival. Such modes of presentation, I claim, are mental files presupposing that we stand in certain relations to the reference : the role of the file is to store information one can gain in virtue of standing in that relation to the object. This raises the communication problem, first raised by Frege : if indexical thoughts are context-bound and relation-based, (...) how is it possible to communicate them to those who are not in the same context and do not stand in the right relations to the object? Following Frege, I argue that the solution comes from an important distinction between linguistic and psychological modes of presentation. Psychological modes of presentation are mental files. They are perspectival and context-bound. But linguistic modes of presentation are fixed by the conventions of the language and they are shared by the language users. They are public and serve to coordinate mental files in communication by constraining them to contain the piece of information they encode. In this way communication takes place even though the indexical thoughts entertained by the speaker are, in some sense, private and cannot be shared by the audience. (shrink)

I lay out the framework for my theory of sensory imagination in “Imagining as a guide to possibility.” Sensory imagining involves mental imagery , and crucially, in describing the content of imagining, I distinguish between qualitative content and assigned content. Qualitative content derives from the mental image itself; for visual imaginings, it is what is “pictured.” For example, visually imagine the Philadelphia Eagles defeating the Pittsburgh Steelers to win their first Super Bowl. You picture the greenness of the field and (...) the football’s brown oblong shape. Some of what you imagine isn’t explicitly pictured, however. That it is Sunday, that it is the Super Bowl: these facts are assigned. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

This paper examines research on three hypnotic phenomena: suggested amnesia, suggested analgesia, and “trance logic.” For each case a social-psychological interpretation of hypnotic behavior as a voluntary response strategy is compared with the traditional special-process view that “good” hypnotic subjects have lost conscious control over suggestion-induced behavior. I conclude that it is inaccurate to describe hypnotically amnesic subjects as unable to recall the material they have been instructed to forget. Although amnesics present themselves as unable to remember, they in fact (...) retain control over retrieval processes and accommodate their recall (or lack of it) to the social demands of the test situation. Hypnotic suggestions of analgesia do not produce a dissociation of pain from phenomenal awareness. Nonhypnotic suggestions of analgesia and distractor tasks that deflect attention from the'noxious stimuli are as effective as hypnotic suggestions in producing reductions in reported pain. Moreover, when appropriately motivated, subjects low in hypnotic suggestibility report pain reductions as large as those reported by highly suggestible hypnotically analgesic subjects. Finally, the data fail to support the view that a tolerance for logical incongruity (i.e., trance logic) uniquely characterizes hypnotic responding. So-called trance-logic-governed responding appears to reflect the attempts of “good” subjects to meet implicit demands to report accurately what they experience. (shrink)

I aim to draw the reader's attention to an easily overlooked account of perception, namely that there are no perceptual experiences, that to perceive something is to stand in an external, purely non-Leibnizian relation to it. I introduce the Purely Relational account of perception by discussing a case of it being overlooked in the writings of G.E. Moore, though we also find the same move in J. Cook Wilson, so it has nothing to do with an affection for sense-data. I (...) then discuss the relation between the PR account and recent disjunctive accounts of perceptual experience, and note that the PR account has some claim to be the only one that truly respects the directness of perception. The paper does not aspire to persuade the reader of the correctness of the neglected PR account, merely that it should be treated as a serious candidate in philosophical debates about perception. (shrink)

It's often hypothesized that the structure of mental representation is map-like rather than language-like. The possibility arises as a counterexample to the argument from the best explanation of productivity and systematicity to the language of thought hypothesis—the hypothesis that mental structure is compositional and recursive. In this paper, I argue that the analogy with maps does not undermine the argument, because maps and language have the same kind of compositional and recursive structure.

This dissertation concerns the foundations of epistemic modality. 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 dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

In The Varieties of Reference, Evans makes two parallel claims about thought and perception. He argues that both our capacity to self-ascribe thought and our capacity to self-ascribe perception are fallible. The essay focuses on his claim about perception and examines its relation to Evans's project of rejecting a Cartesian conception of the mind. In his theory of perception, I argue, Evans embraces a conception of first-person authority that he seeks to reject in his account of thought. He is thus (...) not able to extend to perception the critique of Cartesianism that he develops in the context of his analysis of thought. My intent is not exclusively critical. By working through the difficulties that Evans's argument raises, I seek to shed light on whether and, if so, how criticisms of a Cartesian conception of thought may be extended to the philosophy of perception. (shrink)

Through the work of Julia Kristeva, this paper challenges Freud's laws that everyone is always already gendered, that the mother is feminine and every infant masculine, and that one cannot love the same (gender). The figure of the Madonna, seen through the paintings of Giovanni Bellini, is used to theorize the time in the life of a child before Oedipus and to undo the conceptual knot with which Freud has bound the feminine to the maternal.

This paper argues that the classification of propositional attitudes into the de re, de dicto, and de se is incomplete. De se attitudes are widely agreed to be closely connected to de re attitudes. But there is a species of belief that is linked to agent-centered action in the way that de se beliefs are, but is also associated with entities, places, and especially times, under a description. These mark out a fourth kind. One way to think about what makes (...) them distinctive is that, despite being ‘essentially indexical’ they can be retained across different contexts of evaluation without having diagonal content. The paper also discusses the connection between such beliefs and the kinds of utterances (like ‘Don't put off for tomorrow what you can do today’) that are contested as examples of what David Kaplan called ‘monsters.’. (shrink)

An attractive principle about domains of quantification is the analogue of the Separation Axiom in set theory: restricting a domain by an arbitrary predicate yields a domain. In particular, restricting a domain by a predicate that applies to nothing yields a domain. Thus if there is a nonempty domain, there is an empty domain. But semantics for the empty domain involves some neglected subtleties. Untangling them requires us to revise the usual definition of truth in a model, avoiding the detour (...) through Tarski's notion of satisfaction. (shrink)

This paper argues that the problem of the apparent conflict between freedom of action and natural causal determinism has not been properly framed, because the key premiss—the thesis of universal causal determinism—is, in the domain of human behaviour, an unjustified conjecture based on over-simplified, under-informed explanatory models. Kant's semantics of singular cognitive reference, which stands independently of his Transcendental Idealism, justifies and emphasises a quadruple distinction between causal description, causal ascription, true causal ascription and cognitively justified causal ascription. Contemporary causal (...) theories of mind, of action or of meaning do not suffice for causal ascription, and so cannot suffice for causal predication, and hence cannot justify causal determinism about human behaviour. More generally, the principle of universal causal determinism is a regulative principle governing causal inquiry and was so formulated by LaPlace. Only successful, sufficient causal explanation of particular events provides for causal knowledge of those events. Such knowledge we lack in the domain of human behaviour. Rational belief, including scientific belief, requires apportioning belief to justifying evidence; all else is conjecture or speculation, which do not justify premises of sound proofs. Causal determinism about human behaviour remains unjustified speculation, for sound Critical reasons Kant provided us in the Kritik der reinen Vernunft. In these regards, contemporary debates about these issues remain decidedly pre-Critical. (shrink)

Frege is celebrated as an arch-Platonist and arch-realist. He is renowned for claiming that truths of arithmetic are eternally true and independent of us, our judgments and our thoughts; that there is a third realm containing nonphysical objects that are not ideas. Until recently, there were few attempts to explicate these renowned claims, for most philosophers thought the clarity of Frege's prose rendered explication unnecessary. But the last ten years have seen the publication of several revisionist interpretations of Frege's writings (...) — interpretations on which these claims receive a very different reading. In Frege on Knowing the Third Realm, Tyler Burge attempts to undermine this trend. Burge argues that Frege is the very Platonist most have thought him — that revisionist interpretations of Frege's Platonism, mine among them, run afoul of the words on Frege's pages. This paper is a response to Burge's criticisms. I argue that my interpretation is more faithful than Burge's to Frege's texts. (shrink)

A traditional association of judgment with "reason" has drawn upon and reinforced an opposition between reason and emotion. This, in turn, has led to a restricted view of the nature of moral judgment and of the subject as moral agent. The alternative, I suggest, is to abandon the traditional categories and to develop a new theory of judgment. I argue that the theory of judgment developed by Justus Buchler constitutes a robust alternative which does not prejudice the case against emotion. (...) Drawing on this theory I then develop how to conceptualize the ways in which feeling and emotion can be (or be components of) moral judgments. (shrink)

Dans le paradigme russellien, les termes dénotants ou termes quantifiés comme «plusieurs hommes», «quelques hommes», «tous les hommes», sont analysés à l'aide de quantificateurs, de variables, de prédicats et de connecteurs logiques à l'intérieur de phrases complètes exprimant des propositions générales. Les descriptions définies comme les descriptions indéfinies y sont aussi traitées comme des termes quantifiés.

To what extent is the external world the way that it appears to us in perceptual experience? This perennial question in philosophy is no doubt ambiguous in many ways. For example, it might be taken as equivalent to the question of whether or not the external world is the way that it appears to be? This is a question about the epistemology of perception: Are our perceptual experiences by and large veridical representations of the external world? Alternatively, the question might (...) be taken as asking whether or not the external world is like its ways of appearing to us, where the expression “ways of appearing” is intended to pick out aspects of our perceptual experiences themselves. This is a metaphysical version of the question of the relationship between appearance and reality: What is the relationship between the phenomenal features that characterize perceptual experience, on the one hand, and the mind-independent features of the external objects of perception, on the other? There are some philosophers who might resist distinguishing between these two questions. For them, “ways of appearing” in the phenomenal sense just are the ways that things appear to be (let’s call the latter the “intentional sense” of “ways of appearing”).1 That is, the phenomenal character of an experience is nothing over and above its representational content. Phenomenal properties are represented properties—the properties that an experience attributes to the external objects of perception. The question of whether or not phenomenal properties can be identified with the represented properties of an experience mirrors traditional questions in the philosophy of perception. If they can be identified with each other, then in veridical perception we might be said to “directly grasp” features of the external world through perception. The properties that are present to the mind are the very same properties that belong to the external objects of perception. Such a view affords.... (shrink)

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. (...) Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. (shrink)

This article explores two consequences of intentionalism. My first line of argument focuses on the impact of intentionalism on the 'hard problem' of phenomenal character. If intentionalism is true, the phenomenal supervenes on the intentional. Furthermore, if physicalism about the intentional is also true, the intentional supervenes on the physical. Therefore, if intentionalism and physicalism are both true, then, by transitivity of supervenience, physicalism about the phenomenal is true. I argue that this transitivity argument is not persuasive, because on any (...) interpretation of its central terms, at least one of its premises is as controversial as its conclusion already is. My second line of argument is about the consequences of intentionalism for the error theory of color perception. I suggest that if intentionalism is true, projectivism must be true also, because under this condition there is no single concept of color that can be used for the qualification of objects as well as for the characterization of experiences. (shrink)

Evolutionary Debunking Arguments are defined as arguments that appeal to the evolutionary genealogy of our beliefs to undermine their justification. Recently, Helen De Cruz and her co-authors supported the view that EDAs are self-defeating: if EDAs claim that human arguments are not justified, because the evolutionary origin of the beliefs which figure in such arguments undermines those beliefs, and EDAs themselves are human arguments, then EDAs are not justified, and we should not accept their conclusions about the fact that human (...) arguments are unjustified. De Cruz's objection to EDAs is similar to the objection raised by Reuben Hersh against the claim that, since by Gödel's second incompleteness theorem the purpose of mathematical logic to give a secure foundation for mathematics cannot be achieved, mathematics cannot be said to be absolutely certain. The response given by Carlo Cellucci to Hersh's objection shows that the claim that by Gödel's results mathematics cannot be said to be absolutely certain is not self-defeating, and can be adopted to show that EDAs are not self-defeating as well in a twofold sense: an argument analogous to Cellucci's one may be developed to face De Cruz's objection, and such argument may be further refined incorporating Cellucci's response itself in it, to make it stronger. This paper aims at showing that the accusation of being self-defeating moved against EDAs is inadequate by elaborating an argument which can be considered an EDA and which can also be shown not to be self-defeating. (shrink)

Some of the most significant religious appeals can be taken as reasons of a distinctively religious kind. But many popular ways of interpreting religious reasoning pose obstacles to appreciating religious reasons as such. To avoid binding the concept of religious reason to an intellectual programme that requires a disjunction between the religious and the rational or that dissolves all tension between religious claims and general rational standards of validity and normativity, religious reasons can be defined for purposes of liberal study (...) by their challenging yet rationally appreciable transvalid claims and transnormative implications. Examples from the book of Amos and the Chandogya Upanishad are discussed. (shrink)

The purpose of this study is to show that the distinctions made by Wilhelm Dilthey and Max Weber between the natural sciences and the 'Geisteswissen-schaften' are sound in principle, pace the arguments to the contrary within classical logical empiricism. It is held that intentional contexts are characteristic of social science. Intentional contexts are held to be more important in psychology than mental states, like toothache. If logical behaviourism is to have any plausibility, it has to be shown how intentional contexts (...) can be dealt with. Carnap's programme was to reconstruct scientific discourse within a truth-functional language. It is argued that his reduction of belief-sentences was not successful. It is further argued that in the logical empiricist's discussions of the problem of Verstehen, only motivational understanding is taken account of, what Max Weber calls observational understanding is overlooked as we try to show through a discussion of Theodore Abel's well-known explication of 'the operation called Verstehen'. From this it is concluded that the founda-tional problems of social science are different from those of natural science, and this conclusion is further elaborated through an exposition of views held by authors in the German tradition, which, in the fifties, many philosophers held to be obsolete. (shrink)

It is often said by philosophers that the term ‘the universe’ is illegitimate, whether because the notion of ‘all things’ is incoherent, or inconsistent, or cannot even be meaningfully expressed. The reasons may be drawn from metaphysics, or logic, or the philosophy of language, or the philosophy of mathematics. In this essay I argue that the term is legitimate, withstanding all criticisms, and that there is a single best meaning for it, which is that it is a semantically plural term (...) standing equally for every existing object. ‘Forty‐two’, said Deep Thought, with infinite majesty and calm. (Douglas Adams, The Hitch‐Hiker's Guide to the Galaxy). (shrink)

In an article published recently in this journal, one of us reconstructed how in 1899 J. J. Thomson, after having measured the mass-to-charge ratio of the corpuscle , achieved a measurement of its charge and consequently an estimate of its mass, obtaining in this manner ‘direct proof of the existence of particles smaller than the hydrogen atom’. In this paper, starting with an analysis of Zeeman's first measurements on the widening of spectral lines in a magnetic field, we show that (...) the existence of masses smaller than the atom was already a matter of discussion in early 1897, and that a qualitative estimate of the mass of the electron was made even before Thomson's measurements in 1899. In this process an important role was played by a research programme on the structure of matter carried out by Stoney in the latter part of the nineteenth century. This had in many aspects anticipated Zeeman's experimental observations, and its conclusions were in part formalized in the so-called Larmor theorem. (shrink)