We examine how Frege’s contrast between identity judgments of the forms “a=a” vs. “a=b” would fare in the special case where ‘a’ and ‘b’ are complex mental representations, and ‘a’ stands for an introspected ‘I’-thought. We first argue that the Fregean treatment of I-thoughts entails that they are what we call “one-shot thoughts”: they can only be thought once. This has the surprising consequence that no instance of the “a=a” form of judgment in this specific case comes out true, let (...) alone a priori true. This further reinforces Glezakos’s objections against the set-up of Frege’s puzzle, while also raising what we think is an acute problem for Fregeans, insofar as I-thought (and indexical thinking more generally), understood in their way, turns out to be incompatible with some basic features of rationality. (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)

This paper defends the view that the Faculty of Language is compositional, i.e., that it computes the meaning of complex expressions from the meanings of their immediate constituents and their structure. I fargue that compositionality and other competing constraints on the way in which the Faculty of Language computes the meanings of complex expressions should be understood as hypotheses about innate constraints of the Faculty of Language. I then argue that, unlike compositionality, most of the currently available non-compositional constraints predict (...) incorrect patterns of early linguistic development. This supports the view that the Faculty of Language is com- positional. More generally, this paper presents a way of framing the compositionality debate (by focusing on its implications for language acquisition) that can lead to its even- tual resolution, so it will hopefully also interest theorists who disagree with its main conclusion. (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)

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)

In the centennial of Ettore Majorana’s birth (1906–1938?), we re-examine some aspects of his fundamental scientific production in atomic and molecular physics, including a not well known short communication. There, Majorana critically discusses Fermi’s solution of the celebrated Thomas–Fermi equation for electron screening in atoms and positive ions. We argue that some of Majorana’s seminal contributions in molecular physics already prelude to the idea of exchange interactions (or Heisenberg–Majorana forces) in his later works on theoretical nuclear physics. In all his (...) papers, he tended to emphasize the symmetries at the basis of a physical problem, as well as the limitations, rather than the advantages, of the approximations of the method employed. (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.

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)

Francois Recanati presents the basic features of the *indexical model* of mental files, and defends it against several interrelated objections. According to this model, mental files refer to objects in a way that is analogous to that of indexicals in language: a file refers to an object in virtue of a contextual relation between them. For instance, perception and attention provide the basis for demonstrative files. Several objections, some of them from David Papineau, concern the possibility of files to preserve (...) and add information about objects across contexts. How is it possible to think about the same object when the subject no longer is in the original context? How is it possible to think of a perceived object as already known? Can this be done without an explicit identity judgment? Recanati answers these questions by invoking mental files of non-basic kinds and by describing the cognitive dynamics in which they take part. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (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.

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.

Because of its capacity to characterize mathematical concepts and structures?a capacity which first-order languages clearly lack?second-order languages recommend themselves as a convenient framework for much of mathematics, including set theory. This paper is about the credentials of second-order logic:the reasons for it to be considered logic, its relations with set theory, and especially the efficacy with which it performs its role of the underlying logic of set theory.

According to the B-theory, the passage of time is an illusion. The B-theory therefore requires an explanation of this illusion before it can be regarded as fullysatisfactory; yet very few B-theorists have taken up the challenge of trying to provide one. In this paper I take some first steps toward such an explanation by first making a methodological proposal, then a hypothesis about a key element in the phenomenology of temporal passage. The methodological proposal focuses onthe representational content of the (...) element of experience by virtue of which time seems to pass. The hypothesis involves the claim that the experience of changeinvolves the representation of something enduring, rather than perduring, through any change. (shrink)

Take a strip of paper with 'once upon a time there'‚ written on one side and 'was a story that began'‚ on the other. Twisting the paper and joining the ends produces John Barth’s story Frame-Tale, which prefixes 'once upon a time there was a story that began'‚ to itself. I argue that the ability to understand this sentence cannot be explained by tacit knowledge of a recursive theory of truth in English.

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)

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)

This paper examines the challenge that psychoanalytic theory cannot be refuted. It does so by considering the theory in its orthodox Freudian form, and in the main branches into which it can be divided ? the theory of Instincts, of Development, of Psychic Structure, of Mental Economics or Defence, and of Symptom Formation. The essential character of the generalizations and concepts of these branches will just be indicated; and we shall ask of each branch whether it is possible to refute (...) it. A considerable amount of scientific enquiry has been done into the concepts and generalizations of psychoanalysis. Relevant examples of these enquiries will be noted; and the question asked whether these scientific studies have in fact done anything to refute or support the various branches of psychoanalytic theory. The general upshot will be that the challenge is both important and a mistake. (shrink)

The first models for an electromagnetic theory of dispersion are presented and an attempt is made to demonstrate the important role played by study of this phenomenon at the end of the nineteenth century. As well as indicating the need to have a better understanding of the microscopic properties of matter, dispersion also contributed to the discussion over the nature of X-rays and was fundamental for introduction of Lorentz's electron theory.

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)

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)

John MacFarlane has made relativism popular again. Focusing just on his original discussion, I argue that the data he uses to motivate the position do not, in fact, motivatie it at all. Many of the points made here have since been made, independently, by Hermann Cappelen and John Hawthorne, in their book Relativism and Monadic Truth.

Voluntary acts are preceded by electrophysiological (RPs). With spontaneous acts involving no preplanning, the main negative RP shift begins at about200 ms. Control experiments, in which a skin stimulus was timed (S), helped evaluate each subject's error in reporting the clock times for awareness of any perceived event.

While philosophers of language have traditionally relied upon their intuitions about cases when developing theories of reference, this methodology has recently been attacked on the grounds that intuitions about reference, far from being universal, show significant cultural variation, thus undermining their relevance for semantic theory. I’ll attempt to demonstrate that (1) such criticisms do not, in fact, undermine the traditional philosophical methodology, and (2) our underlying intuitions about the nature of reference may be more universal than the authors suppose.

After more than three centuries, Molyneux's question continues to challenge our understanding of cognition and perceptual systems. Locke, the original recipient of the question, approached it as a theoretical exercise relevant to long-standing philosophical issues, such as nativism, the possibility of common sensibles, and the empiricism-rationalism debate. However, philosophers were quick to adopt the experimentalist's stance as soon as they became aware of recoveries from congenital blindness through ophtalmic surgery. Such recoveries were widely reported to support empiricist positions, suggesting that (...) the question had found its empirical answer. Contrary to this common view, we argue that studies of patients recovering from early blindness through surgery cannot provide an answer. In fact, because of the very nature of such ophtalmological interventions it is impossible to test the question in the empirical conditions outlined by Molyneux. Thus we propose that Molyneux's question be treated as an early thought experiment of a specific kind. Although thought experiments of this kind cannot be turned into actual experimental conditions, they provide a conceptual restructuring of theories. Such restructuring in turn leads to new predictions that can then be tested by normal experiments. In accord with this interpretation, we show that Molyneux's question can be analyzed into a hierarchy of specific questions about vision in its phenomenal and sensory-motor components. Some of these questions do lead to actual experimental conditions that could be studied empirically. (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)

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

Frank Jackson champions the cause of conceptual analysis as central to philosophical inquiry. In recent years conceptual analysis has been undervalued and widely misunderstood, suggests Jackson. He argues that such analysis is mistakenly clouded in mystery, preventing a whole range of important questions from being productively addressed. He anchors his argument in discussions of specific philosophical issues, starting with the metaphysical doctrine of physicalism and moving on, via free will, meaning, personal identity, motion, and change, to ethics and the philosophy (...) of color. In this way the book not only offers a methodological program for philosophy, but also casts new light on some much-debated problems and their interrelations. (shrink)

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)

Imogen Dickie's book Fixing Reference promises to reframe the investigation of mental intentionality, or what makes thoughts be about particular things. Dickie focuses on beliefs, and argues that if we can show how our ordinary means of belief formation sustain a certain connection between what our beliefs are about and how they are justified, we will have explained the ability of these ordinary means of belief formation to generate beliefs that are about particular objects. A worry about Dickie's approach is (...) that the explanation it offers is circular and thus not a genuine explanation of mental aboutness. This article develops a version of that worry in detail and turns it aside. Nonetheless, I argue that the explanatory value of the account remains unclear. While it does promise a dialectical advance over traditional theorizing about aboutness, it does not reveal how our ordinary means of belief formation make beliefs be about what they are about. (shrink)

The goal of this paper is to illuminate the connections between agency, perception, subjectivity, space and the body. Such connections have been the subject matter of much philosophical work. For example, the importance of the body and bodily action on perception is a growth area in philosophy of mind. Nevertheless, there are some key relations that, as will become clear, have not been adequately explored. We start by examining the relation between embodiment and agency, especially the dependence of agency on (...) perception and the dependence of perception on agency. We also consider the nature of subjectivity itself: In virtue of what do humans and animals but not rocks and pencils have genuine perceptual and agentive intentional contents? We sketch a hylomorphic account of subjects and subjectivity, which highlights connections between the conclusions argued for in the previous sections and some basic principles of teleosemantics. (shrink)

The notion of validity for modal languages could be defined in two slightly different ways. The first is the original definition given by S. Kripke, for which a formula φ of a modal language L is valid if and only if it is true in every actual world of every interpretation of L. The second is the definition that has become standard in most textbook presentations of modal logic, for which a formula φ of L is valid if and only (...) if it is true in every world in every interpretation of L. For simple modal languages, “Kripkean validity” and “Textbook validity” are extensionally equivalent. According to E. Zalta, however, Textbook validity is an “incorrect” definition of validity, because: (i) it is not in full compliance with Tarski’s notion of truth; (ii) in expressively richer languages, enriched by the actuality operator, some obviously true formulas count as valid only if the Kripkean notion is used. The purpose of this paper is to show that (i) and (ii) are not good reasons to favor Kripkean valid- ity over Textbook validity. On the one hand, I will claim that the difference between the two should rather be seen as the result of two different conceptions on how a modal logic should be built from a non-modal basis; on the other, I will show the advantages, for the question at issue, of seeing the actuality operator as belonging to the family of two-dimensional operators. (shrink)

I argue, in this thesis, that proper name reference is a wholly pragmatic phenomenon. The reference of a proper name is neither constitutive of, nor determined by, the semantic content of that name, but is determined, on an occasion of use, by pragmatic factors. The majority of views in the literature on proper name reference claim that reference is in some way determined by the semantics of the name, either because their reference simply constitutes their semantics (which generally requires a (...) very fine-grained individuation of names), or because names have an indexical-like semantics that returns a referent given certain specific contextual parameters. I discuss and criticize these views in detail, arguing, essentially, in both cases, that there can be no determinate criteria for reference determination—a claim required by both types of semantic view. I also consider a less common view on proper name reference: that it is determined wholly by speakers’ intentions. I argue that the most plausible version of this view—a strong neo-Gricean position whereby all utterance content is determined by the communicative intentions of the speaker—is implausible in light of psychological data. In the positive part of my thesis, I develop a pragmatic view of proper name reference that is influenced primarily by the work of Charles Travis. I argue that the reference of proper names can only be satisfactorily accounted for by claiming that reference occurs not at the level of word meaning, but at the pragmatic level, on an occasion of utterance. I claim that the contextual mechanisms that determine the reference of a name on an occasion are the same kinds of thing that determine the truth-values of utterances according to Travis. Thus, names are, effectively, occasion sensitive in the way that Travis claims predicates and sentences (amongst other expressions) are. Finally, I discuss how further research might address how my pragmatic view of reference affects traditional issues in the literature on names, and the consequences of the view for the semantics of names. (shrink)

Molyneux’s question famously asks about whether a newly sighted subject might immediately recognize, by sight alone, shapes that were already familiar to her from a tactile point of view. This paper addresses three crucial points concerning this puzzle. First, the presence of two different questions: the classic one concerning visual recognition and another one concerning vision-for-action. Second, the explicit distinction, reported in the literature, between ocular and cortical blindness. Third, the importance of making reference to our best neuroscientific account on (...) vision, ‘the two visual systems model’, in order to better address Molyneux’s problem. Then, by offering a new, deeper analysis of the relation between, and, this paper suggests that the subjects of Molyneux’s two different questions show the same visual impairment as brain-damaged subjects with different lesions of the visual cortex. In particular, the subject of the first question shows the same impairment in visual recognition as a visual agnosic subject, while the subject of the second question shows the same visual impairment in visuomotor processing as an optic ataxic subject. These impairments still hold even if ocular processing is restored. Therefore, I suggest the following. For the first classic question, the required experimental setting cannot be properly reached. By contrast, concerning the second question, based on the interpretation we select, either the answer is negative, or, as with the first question, the experimental setting cannot be properly reached. This proposal constitutes, with the other approaches offered in the literature, a further attempt to tackle the enormous complexity of Molyneux’s puzzle. (shrink)

David Sosa, Michael Nelson, and Jason Stanley have recently offered a series of interesting and provocative challenges to Kripke's modal arguments against Descriptivism. In this paper I explore these challenges and some of the issues to which they give rise. I argue that, in the end, all three challenges fail.

This paper is about first‐person thoughts—thoughts about oneself that are expressible through uses of first‐person pronouns. It is widely held that first‐person thoughts cannot be shared. My aim is to postpone rejection of the more natural view that such thoughts about oneself can be shared. I sketch an account on which such thoughts can be shared and indicate some ways in which deciding the fate of the account will depend upon further work.

A long line of writers on Evans – Andy Hamilton, Lucy O'Brien, José Bermúdez, and Jason Stanley, to name just a few – assess Evans' account of first-person thought without heeding his warnings that his theory comprises an information and an action component. By omitting the action component, these critics are able to characterize Evans' theory as a perceptual model theory and reject it on that ground. This paper is an attempt to restore the forgotten element. With this component put (...) back in, the charge of Evans' theory as a perceptual model of such thoughts falls apart, and the theory turns out to have enough merit to project itself as a legitimate contender for a plausible account of ‘I’-thought. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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. David Elohim examines 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. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional 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. Elohim invents 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. Elohim provides a counter-example to epistemic closure for logical deduction. 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 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)

This essay studies the semantic properties of what I call Russell-names. Russell-names bear intimate semantic relations with descriptive conditions, in consonance with the main tenets of descriptivism. Yet, they are endowed with the semantic properties attributed to ordinary proper names by Millianism: they are rigid and non-indexical devices of direct reference. This is not an essay in natural language semantics, and remains deliberately neutral with respect to the question whether any among the expressions we ordinarily classify as proper names behave (...) as Russell-names. Its aim is rather that of casting a new light on the traditional debate about descriptivism on the one hand, and, on the other, what is commonly understood as a radically anti-descriptivist approach. From the viewpoint of descriptivism, the conceivability of Russell-names provides welcome relief from the pressure exerted by considerations at odds with a flaccid and/or indexical treatment of proper names. Conversely, from a Millian standpoint, the conceivability of Russell-names indicates that the Millian stance, far from providing a meagre picture of names as ‘mere tags’, is at least in principle consistent with the recognition of their semantic bonds with richer descriptive material. The Appendix provides a formal treatment of Russell-names within a model theoretic semantics for indexical intensional languages, developed within an original ‘double-context’ framework. (shrink)

The ArgumentEinstein's concept of causality as analyzed in this paper is a thick concept comprised of: (a) regularity; (b) locality; (c) symmetry considerations leading to conservation laws; (d) mutuality of causal interaction. The main theses are: 1. Since (b)–(d) are not elements of Hume's concept of causality, Einstein's concept, the concept embedded in the theory of relativity, is manifestly non–Humean. 2. On a Humean conception, Newtonian mechanics is a paradigmatically causal theory. Einstein, however, regarded this theory as causally deficient, for (...) it fails to comply with both (b) and (d). Special relativity was (partly) motivated by the wish to correct the first of these failures; general relativity the second. 3. Ironically, general relativity, based on the thick concept of causality, opens the way for a conventionalist understanding of that concept. 4. With regard to human freedom, Einstein professed to be a Spinozist. However, he suggested a version of soft determinism, not found in Spinoza. (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)