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)

Mental files, in Recanati's framework, function as 'singular terms in the language of thought' ; they serve to think about objects in the world (and to store information about them). But they have a derived, metarepresentational function : they serve to represent how other subjects think about objects in the world. To account for the metarepresentational use of files, Recanati introduces the notion of an 'indexed file', i.e. a vicarious file that stands, in the subject's mind, for another subject's file (...) about an object. Using that notion, he argues, one can provide an analysis of attitude ascriptions and the conniving use of empty singular terms. (shrink)

This paper defends the claim that although ‘Superman is Clark Kent and some people who believe that Superman flies do not believe that Clark Kent flies’ is a logically inconsistent sentence, we can still utter this sentence, while speaking literally, without asserting anything false. The key idea is that the context-sensitivity of attitude reports can be - and often is - resolved in different ways within a single sentence.

Verdejo, Víctor_A Puzzle about Disagreement.

In his book The Things We Mean, Stephen Schiffer advances a subtle defence of what he calls the ‘face-value’ analysis of attributions of belief and reports of speech. Under this analysis, ‘Harold believes that there is life on Venus’ expresses a relation between Harold and a certain abstract object, the proposition that there is life on Venus. The present essay first proposes an improvement to Schiffer’s ‘pleonastic’ theory of propositions. It then challenges the face-value analysis. There will be such things (...) as propositions only if they possess conditions of identity and distinctness. By analyzing Frege’s theory of propositions (Gedanken), I argue that such conditions may be found for the special case of beliefs and sayings advanced as premises and conclusions of deductive arguments. These conditions, however, are not applicable to most ordinary beliefs and sayings. Ordinary attributions and reports, then, do not place thinkers and speakers in relations to propositions. A bonus is exposure of the fallacy in the Putnam-Taschek objection to Frege’s theory of sense and reference. (shrink)

Frege's Puzzle is a founding problem in analytic philosophy. It lies at the intersection of central topics in the philosophy of language and mind: the theory of reference, the nature of propositional attitudes, the nature of semantic theorizing, the relation between semantics and pragmatics, etc. This chapter is an overview of the puzzle and of the space of contemporary approaches to it.

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

Existence as reflected in natural language is not a univocal notion, but divides into different modes of being, such as existence (as, roughly, endurance) and occurrence. One aim of the paper is to distinguish sharply between abstract artifacts and non-existent objects (e.g., plans vs. planned events that fail to occur); another is to argue for validity as a mode of being distinct from existence, as well as for corresponding distinctions among non-being.

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The theory that Kit Fine calls 'semantic relationism' replaces standard semantic compositionality with an alternative according to which statements of the form '... A … A ...’ and ‘... A … B ...’ (e.g., ‘Cicero admires Cicero’ and ‘Cicero admires Tully’) differ in semantic content—even where the two terms involved are exactly synonymous—simply in virtue of the recurrence that is present in the former statement and absent from the latter. A semantic-relationist alternative to standard compositionality was first explicitly proffered by (...) Hilary Putnam in 1954 and later by others in the latter part of the 20th Century. However, semantic relationism had already been implicitly rejected in Frege’s 1892 landmark masterpiece "Über Sinn und Bedeutung" (“On Sense and Reference”). The present compilation of three previously published essays cuts through the hype and thoroughly rebuts semantic relationism, particularly Fine’s more developed version (2007). A fatal fallacy is exposed in Fine's high-flown purported formal disproof of Millianism with standard compositionality. Standard Millianism does not implode; Fine's overzealous attempt to demolish it does. The failure of his purported disproof renders Fine's central notion of coordination either redundant or empty. So-called coordination is non-semantic if it is anything real. (shrink)

There is much to be said for a diachronic or interpersonal individuation of singular modes of presentation (MOPs) in terms of a criterion of epistemic transparency between thought tokens. This way of individuating MOPs has been discussed recently within the mental files framework, though the issues discussed here arise for all theories that individuate MOPs in terms of relations among tokens. All such theories face objections concerning apparent failures of the transitivity of the ‘same MOP’ relation. For mental files, these (...) transitivity failures most obviously occur because mental files can merge or undergo fission. In this paper I argue that this problem is easily resolved once mental files are properly construed as continuants, whose metaphysics is analogous to that of persons or physical objects. All continuants can undergo fission or fusion, leading to similar transitivity problems, but there are well-established theories of persistence that accommodate this. I suggest that, in particular, the stage theory best suits the purposes of a continuant theory of MOPs. (shrink)

This book addresses how our revisionary practices account for relations between texts and how they are read. It offers an overarching philosophy of revision concerning works of fiction, fact, and faith, revealing unexpected insights about the philosophy of language, the metaphysics of fact and fiction, and the history and philosophy of science and religion. It will be of interest to a wide range of scholars and advanced students working in philosophy of language, metaphysics, philosophy of literature, literary theory and criticism, (...) and history and philosophy of science and religion. (shrink)

This paper proposes a novel conception of mental files, aimed at addressing Frege puzzles. Classical Frege puzzles involve ignorance and discovery of identity. These may be addressed by accounting for a more basic way for identity to figure in thought—the treatment of beliefs by the believer as being about the same thing. This manifests itself in rational inferences that presuppose the identity of what the beliefs are about. Mental files help to provide a functional characterization of a mind capable of (...) this presupposition, but more must be said to show how it may be rational. I argue that this can be done by drawing out the way in which mental files interact with a thinker's motivational states and so come to have normative functional properties. I show how this theory works better than some other treatments of mental files. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

De jure coreference in a discourse is typically understood as explicit coreference that speakers are required to recognize in order to count as having correctly understood the discourse. For example, in an utterance of the sentence ‘Tom went to the market because he needed soy milk’, the two underlined terms are typically coreferential in a way that appreciating their coreference is required to fully understand the utterance. Often, de jure coreference is understood as an equivalence relation, so in particular it (...) is thought of as a transitive relation. However, Pinillos (Philos Stud 154(2):301–324, 2011) provides examples that apparently challenge the transitivity of de jure coreference. In this paper, I argue for two claims. First, while it is inconclusive whether the relevant terms in Pinillos’s examples satisfy his third condition, it is much clearer that they fail to satisfy his first two conditions. Given that Pinillos’s conditions capture important characteristics of de jure coreference, his examples do not successfully show the non-transitivity of de jure coreference. Second, I present an alternative account of his examples, one that shows which representation the anaphoric pronoun in an example of the sort that he presents is de jure coreferential with. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based reply (...) to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

Certain passages in Kaplan’s ‘Demonstratives’ are often taken to show that non-vacuous sentential operators associated with a certain parameter of sentential truth require a corresponding relativism concerning assertoric contents: namely, their truth values also must vary with that parameter. Thus, for example, the non-vacuity of a temporal sentential operator ‘always’ would require some of its operands to have contents that have different truth values at different times. While making no claims about Kaplan’s intentions, we provide several reconstructions of how such (...) an argument might go, focusing on the case of time and temporal operators as an illustration. What we regard as the most plausible reconstruction of the argument establishes a conclusion similar enough to that attributed to Kaplan. However, the argument overgenerates, leading to absurd consequences. We conclude that we must distinguish assertoric contents from compositional semantic values, and argue that once they are distinguished, the argument fails to establish any substantial conclusions. We also briefly discuss a related argument commonly attributed to Lewis, and a recent variant due to Weber. (shrink)

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...) In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers. (shrink)

Are there ‘self-referential’ propositions? That is, propositions that say of themselves that they have a certain property, such as that of being false. There can seem reason to doubt that there are. At the same time, there are a number of reasons why it matters. For suppose that there are indeed no such propositions. One might then hope that while paradoxes such as the Liar show that many plausible principles about sentences must be given up, no such fate will befall (...) principles about propositions. But the existence of self-referential propositions would dash such hopes. Further, the existence of such propositions would also seem to challenge the widespread claim that Liar sentences fail to express propositions. The aim of this paper is thus to settle the question–at least given an assumption. In particular, I argue that if propositions are structured, then self-referential propositions exist. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of (...) variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

It seems uncontroversial that Dalton wrongly believed that atoms are indivisible. However, the correct analysis of Dalton’s belief and the way it relates to contemporary beliefs about atoms is, on closer inspection, far from straightforward. In this paper, I introduce four features that any candidate analysis is plausibly bound to respect. I argue that theories that individuate concepts at the level of understanding are doomed to fail in this endeavor. I formally sketch an alternative and suggest that cases such as (...) the one presented provide support for the claim that the genuine source for concept individuation is public sharable thought. (shrink)

Paradigmatic cases of disagreement seem not to be compatible with a widespread kind of solution to Kripke’s celebrated Pierre puzzle. As a result, the classical puzzle about rational belief is shown to be also a puzzle about public disagreement/agreement phenomena. In this paper, I defend that the new public version of the puzzle is substantial and challenging and conclude that a full solution to Kripke’s considerations must offer a satisfactory account of both the rational and public character of belief attributions. (...) I then argue that a notion of non-belief-individuating understanding is plausibly the key notion that would allow us to arrest both versions of the Pierre puzzle. (shrink)

It seems plausible that successfully communicating with our peers requires entertaining the same thoughts as they do. We argue that this view is incompatible with other, independently plausible principles of thought individuation. Our argument is based on a puzzle inspired by the Kripkean story of Peter and Paderewski: having developed several variations of the original story, we conclude that understanding and communication cannot be modeled as a process of thought transfer between speaker and hearer. While we are not the first (...) to reach this conclusion, the significance of our argument lies in the fact that it only relies on widely accepted premises, without depending on any especially controversial theory of mental and linguistic content. We conclude by drawing out the implications of that conclusion: if communication and understanding do not require thought identity, then one important motivation for the postulation of inter-personally shared thoughts is undercut. (shrink)

Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory of identity statements. (...) To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)

At first pass, internalism about justification is the view that there is no justificatory difference without an internal difference. Externalism about mental content is the view that there are differences in mental content without an internal difference. Assuming mental contents are the primary bearers of justificatory features, the two views are in obvious tension. The goal of this paper is to determine how the tension is best resolved. The paper proceeds as follows. In §1 I explain the threat to justificatory (...) internalism from content externalism in more detail. In §2 I present Earl Conee and Richard Feldman’s “counterpart propositions” reply to the problem of content externalism. §3 criticizes the counterpart propositions reply. §4 presents a view in the metaphysics of belief that is widely adopted by content externalists: one that appeals to vehicles of content, modes of presentation of content, or ways of believing propositions. §5 exploits this metaphysics of belief in order to better accommodate justificatory internalist insights in light of content externalism. §6 shows how the new view can be used to address problems that face Conee and Feldman’s account. Finally, §7 provides a new argument from the Vehicle View for the language of thought hypothesis. (shrink)

This essay examines the syntax of names. It argues that names are a syntactically and not just semantically distinctive class of expressions. Its central claim is that names are a distinguished type of anaphoric device—devices of explicit co-reference. Finally it argues that appreciating the true syntactic distinctiveness of names is the key to resolving certain long-standing philosophical puzzles that have long been thought to be of a semantic nature.

I identify a notion of compositionality at the intersection of the different notions philosophers, linguists, and psychologists are concerned with. The notion is compositionality of expression content: the idea that the content of a complex expression in a context of its utterance is determined by its syntactic structure and the contents of its constituents in the contexts of their respective utterances. Traditional arguments from productivity and systematicity cannot establish that the contents of linguistic expressions are compositionally determined in this sense. (...) I present a novel argument for this thesis. (shrink)

In a recent book, Logical Form: between Logic and Natural Language, Andrea Iacona argues that semantic form and logical form are distinct. The semantic form of a sentence is something that (together with the meanings of its parts) determines what it means; the logical from of a sentence is something that (all by itself) determines whether it is a logical truth. Semantic form does not depend on context but logical form does: for example, whether ‘This is this’ is a logical (...) truth depends on whether the two occurrences of ‘this’ are used to demonstrate the same individual. I respond by claiming that logical form is indifferent to reference and is sensitive only to obligatory co-reference. When the speaker intends both occurrences of ‘this’ to be interpreted the same way the logical from of ‘This is this’ is a=a, while in a context where the speaker has no such intention it is a=b. This proposal allows a much more conservative revision of the traditional picture than the one suggested by Iacona. Instead of identifying the logical form of a natural language sentence by seeking a formalization in an artificial language, we obtain it through abstraction from its syntactic analysis: replacing the non-logical expressions by schematic letters, making sure that we use identical ones if and only if the speaker intended co-reference. (shrink)

Imagism about Phenomenal Thought is (roughly) the view that there is some concept *Q* (for some sensory quality Q) that we can employ only while we experience the quality Q. I believe this view is theoretically significant, is or can be made intuitively appealing, and is explicitly or implicitly accepted by many contemporary philosophers However, there is no good reason to accept it. Or so I argue.

While it is highly controversial whether Frege's criterion of sameness and difference for sense is true, it is relatively uncontroversial that that principle is inconsistent with Millian–Russellian views of content. I argue that this should not be uncontroversial. The reason is that it is surprisingly difficult to come up with an interpretation of Frege's criterion which implies anything substantial about the sameness or difference of content of anything.

Millians sometimes claim that we can explain the fact that sentences like "If Hesperus exists, then Hesperus is Phosphorus" seem a posteriori to speakers in terms of the fact that utterances of sentences of this sort would typically pragmatically convey propositions which really are a posteriori. I argue that this kind of pragmatic explanation of the seeming a posterioricity of sentences of this sort fails. The main reason is that for every sentence like the above which (by Millian lights) is (...) a priori, seems a posteriori to most speakers, and would typically be used to convey a posteriori propositions, there is another which (again, by Millian lights) is a priori, seems a posteriori to most speakers, but can only typically be used to convey a priori propositions. (shrink)

The paper reviews the central components of the cognitive theory of propositions and explains both its empirical advantages for theories of language and mind and its foundational metaphysical and epistemological advantages over other theories. It then answers a leading objection to the theory, before closing by raising the issue of how questions, which are the contents of interrogative sentences, and directives, which are the contents of imperative sentences, are related to propositions.

In recent years, two-dimensional (2D) semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics allows us to specify (...) a reference-fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (shrink)

In this paper, we argue that ordinary judgments about core normative topics purport to attribute stable, objective properties and relations. Our strategy is first to analyze the structures and practices characteristic of paradigmatically representational concepts such as concepts of objects and natural kinds. We identify three broad features that ground the representational purport of these concepts. We then argue that core normative concepts exhibit these same features.

This paper articulates two constraints on an acceptable account of meaning: (i) accessibility: sameness of meaning affords an immediate appearance of de jure co-reference, (ii) flexibility: sameness of meaning tolerates open-ended variation in speakers' substantive understanding of the reference. Traditional accounts of meaning have trouble simultaneously satisfying both constraints. I suggest that relationally individuated meanings provide a promising way of avoiding this tension. On relational accounts, we bootstrap our way to de jure co-reference: the subjective appearance of de jure co-reference (...) helps make it the case that two token representations really do co-refer. (shrink)

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s original argument (...) commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)

In this article I present HYPER-REF, a model to determine the referent of any given expression in First-Order Logic. I also explain how this model can be used to determine the referent of a first-order theory such as First-Order Arithmetic. By reference or referent I mean the non-empty set of objects that the syntactical terms of a well-formed formula pick out given a particular interpretation of the language. To do so, I will first draw on previous work to make explicit (...) the notion of reference and its hyperintensional features. Then I present HYPER-REF and offer a heuristic method for determining the reference of any formula. Then I discuss some of the benefits and most salient features of HYPER-REF, including some remarks on the nature of self-reference in formal languages. (shrink)

Because reference is not transparent, coreference is not transparent either: it is possible for the subject to refer to the same individual twice without knowing that the two acts of reference target the same individual. That happens whenever the subject associates two distinct yet coreferential files with two token singular terms. The subject may not know that the two files corefer, so her ascribing contradictory properties to the same object does not threaten her rationality. But if the subject deploys the (...) same file twice, in association with both of the singular terms, she is bound to know that she is referring to the same entity twice. (shrink)

My responses to seven critical reviews of my book *Mental Files* published in a special issue of the journal Disputatio, edited by F. Salis. The reviewers are: Keith Hall, David Papineau, Annalisa Coliva and Delia Belleri, Peter Pagin, Thea Goodsell, Krista Lawlor and Manuel Garcia-Carpintero.

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)