This landmark work provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the "new theory of reference" and non-linguistic necessity and essentialism to "Kripke semantics.".

Referential opacity is the failure of substitutivity of identity (SI, for short) and in Quine’s view of existential generalization (EG, for short) as well. Quine thinks that its “solution” in epistemic and doxastic contexts, which relies on the notion of exportation, leads to undesirable results. But epistemic logicians such as Jaakko Hintikka and Wolfgang Lenzen provide another solution based on a different diagnosis: opacity is not, as in Quine’s view, due to the absence of reference, it is (...) rather due to the plurality of references; therefore, one must stabilize the reference to restore SI and EG. However, Hintikka’s semantics remains classical in its treatment of existence, which makes EG non-applicable to possible objects, while in Lenzen’s system, EG is applicable by means of a particular quantifier. But this requires adding the predicate of existence to account for real objects. In this paper, I will show the advantages and disadvantages of both solutions and will end by providing an alternative approach to the problem of non-existent objects, which stays into the frame of possible worlds semantics, but introduces some more restrictions, eliminates the problematic predicate of existence, and applies a neutral quantifier to possible non-existent objects. (shrink)

First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company.

This landmark dissertation provides a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics, from the 'new theory of reference' and non-linguistic necessity and essentialism to 'Kripke semantics'.

In Spinoza’s system, the identity of mental modes and extended modes is suggested, but a formal argument for its truth is difficult to extract. One prima facie difficulty for the claim that mental and extended modes are identical is that substitution of co-referential terms in contexts which are specific to thought or extension fails to preserve truth value. Della Rocca has answered this challenge by claiming that Spinoza relies upon referentially opaque contexts. In this essay, I defend this solution (...) by analyzing what is required to establish that Spinoza recognizes referentially opaque contexts as part of his system One objection that has been made to Della Rocca’s account is that he only establishes the intelligibility, not the actuality, of such mode-identity. In this essay, I argue that the intelligibility of mode-identity is sufficient to establish the existence of opaque attribute-specific contexts. (shrink)

The paper argues that Plato’s dialogue form creates a Quinean “opaque context” that segregates the assertions by Plato’s characters in the dialogues from both Plato and the real world with the result that the dialogues require a hermeneutical interpretation. Sec. I argues that since the assertions in the dialogues are located inside an opaque context, the forms of life of the characters in the dialogues acquires primary philosophical importance for Plato. The second section argues that the thesis of Sec. I (...) coheres with the claim in Plato’s Seventh Letter that since philosophical truth is incommunicable by means of language it is of primary importance for philosophers to develop proper “schemes of living”. Sec. III argues since the forms of life of the characters portrayed in the dialogues is of primary philosophical importance for Plato, and since hermeneutical methods are required to interpret emerging forms of life, Plato’s dialogues are positively crafted to be read hermeneutically. Sec IV argues that Heidegger, who is famous for seeing Plato’s views as antithetical to his own hermeneutical approach, is mistaken, and that Plato’s real views are, in principle, more akin to Heidegger’s views than he thinks. (shrink)

This essay reconstructs and evaluates Aristotle's argument in Nicomachean Ethics IX.9 that the happy person needs friends, in which Aristotle combines his well-known claim that friends are other selves with the claim that human perception is meta-perceptual: the perceiving subject perceives its own existence. After exploring some issues in the logic of perception, the essay argues that Aristotle's argument for the necessity of friends is invalid since perception-verbs create referentially opaque contexts in which the substitution of co-referential terms fails.

Three distinct things have been called "referential opacity," causing some confusion. A noun position in a sentence may be opaque in three different ways: (1) substitutivity of identity may fail there, (2) quantifiers prefixed to the sentence may not be able to bind variables in that position, or (3) substitutivity of identity may fail when the singular nouns in question are read as having small scope. Some connections among these three types of opacity are examined.

Quantified modal logic and propositional attitudes have long been regarded as sites susceptible to referential opacity — that curious affliction first diagnosed by Quine. In this paper I suggest a way of alleviating the symptoms of referential opacity as they manifest themselves in fictional contexts, contexts in which we are confronted by discourse about fiction. Indeed, a case might be made against Quine that it is fictional, rather than quotational, contexts which are the referentially opaque contexts (...) par excellence. For whether we take a Fregean line on the matter and consider the obliquity of fictional terms as due to shift of reference, or a Quinean line and consider their opacity as due to failure of reference, their non-standard occurrence is clear and avowed. Moreover, as the non-standardness or non-vulgarity of terms in fictional contexts is by design and not due to some mere accident of orthography, they seem in many ways to be both more interesting and potentially more revealing. (shrink)

: This essay reconstructs and evaluates Aristotle’s argument in Nicomachean Ethics IX.9 that the happy person needs friends, in which Aristotle combines his well-known claim that friends are other selves with the claim that human perception is meta-perceptual: the perceiving subject perceives its own existence. After exploring some issues in the logic of perception, the essay argues that Aristotle’s argument for the necessity of friends is invalid since perception-verbs create referentially opaque contexts in which the substitution of co-referential terms (...) fails. (shrink)

The view that propositional knowledge is knowledge of facts is prima facie rather appealing, especially for realistically minded philosophers, but it is difficult to square with the referential opacity of knowledge attributions of the form ‘S knows that p’. For how could Lois Lane know that Superman can fly and ignore that Clark Kent can fly if knowledge is a two-place relation between an agent and a fact and the fact that Superman can fly just is the fact (...) that Clark Kent can fly? Giorgio Volpe reviews some attempts to tackle the problem and then proposes a new solution which exploits the contrastivist claim that knowledge is a three-place relation between an agent, a fact and a contrast. (shrink)

The problem discussed here is to find a basis for a uniform treatment of the relation between pronouns and their antecedents, taking into account both linguists' and philosophers' approaches. The two main candidates would appear to be the linguists' notion of coreference and the philosophers' notion of pronouns as variables. The notion of coreference can be extended to many but not all cases where the antecedent is non-referential. The pronouns-as-variables approach appears to come closer to full generality, but there (...) are some examples of pronouns of laziness which appear to resist either of the two approaches. (shrink)

It has been found that children appreciate the limited substitutability of co-referential terms in opaque contexts a year or two after they pass false belief tasks (e.g. Apperly and Robinson, 1998, 2001, 2003). This paper aims to explain this delay. Three- to six-year-old children were tested with stories where a protagonist was either only partially informed or had a false belief about a particular object. Only a few children had problems predicting the protagonist’s action based on his partial knowledge, (...) when he was only partially informed about a property of the desired object (e.g. he knew that it was a Lego® block, but not that it was a red Lego® block). But many had problems making the correct action prediction when he was only partially informed about dual identities (e.g. he knew it was a dog, but not that it was also an eraser). About as many children made an incorrect action prediction for partial knowledge problems involving dual identity as answered higher-order belief questions incorrectly. In contrast many more children answered first-order false belief questions correctly, as many as correct action predictions when the protagonist was partially informed about a property of an object. The results support the claim that children have a specific problem with dual identity, rather than a broader problem representing partial knowledge. (shrink)

SummaryThis paper firms up previous arguments for referential transparency in intensional constructions by providing conclusive proofs of this, both formal and informal. Centrally the paper uses epsilon terms to symbolise referring expressions, and so it obtains the rigid designators needed to allow the same object to be referred to in all worlds and minds. The details of several contrary ideas are examined to reinforce the claim that they are incorrect. But also certain world‐dependent or mind‐dependent objects are identified, using (...) epsilon terms, to give an understanding of what might have caused the historical belief in referential opacity. (shrink)

Philosophical logic has its problem-children; and among these the Principle of Substitutivity of codesignating expressions — the linguistic spawn of Leibniz's law—has achieved a place of prominence. It has become increasingly apparent that a certain style of linguistic analysis, which seeks to impose formal regimentation ruled by the constraints of classical quantification theory, does not yield results with the kind of uniformity and elegance one should hope for from a satisfyi.ng theory. The root of the difficulty, I believe, bears upon (...) the answers to fundamental questions concerning the nature of cognitive agents and the purposes which their use of language is designed to further. If this is the case, one might expect to find some of the trouble surfacing at precisely those points where the language is used to convey information about the cognitive activities associated with the use of language by such agents. So it is.The central problem of this essay is the interpretation of referential expressions in statements involving propositional attitudes, with the focus on belief contexts. But I shall begin by placing the discussion within a broader theoretical framework. (shrink)

In this introduction I start by presenting and examining the main positions on the current debate concerning the semantic analysis of sentences containing definite descriptions. As is known, the debate in question has started off with Russell's proposal, which has been initially criticized by both Strawson and Donnellan. Nowadays, waters are divided on this issue: some philosophers, representing the so-called univocality approach, defend Russell's original analysis, according to which all definite descriptions are quantificational expressions, whereas there are others who, following (...) Strawson´s and Donnellan´s objections, consider that at least some descriptions are genuine singular terms and hence have referential meanings. Among the defendants of the last approach, known as the ambiguity theory, we can find Michael Devitt. In the second part of the paper, I then survey Devitt's stance on some traditional arguments for the ambiguity theory -mainly, the arguments from misdescription, incompleteness, opacity, and anaphora-, and finally I consider the new ones that he has put forward in favor of the existence of referential descriptions: the argument from regularity, the one based on the comparison with demonstratives, and the argument based on weak rigidity. En esta introducción comienzo por presentar y analizar las distintas posiciones que caracterizan el debate actual en torno al análisis semántico de las oraciones que contienen descripciones definidas. Como es sabido, tal debate se origina a partir de la propuesta de Russell, la cual fue inicialmente objetada por Strawson y por Donnellan. En la actualidad las aguas están divididas: algunos filósofos, representantes del aquí llamado enfoque de la univocidad, defienden el análisis russelliano, según el cual todas las descripciones son susceptibles de ser analizadas como expresiones cuantificacionales ; otros, por el contrario, haciéndose eco de las objeciones anteriores, consideran que algunas descripciones son términos singulares genuinos y, en tanto tales, expresiones referenciales. Entre los defensores más conspicuos de este enfoque, conocido como teoría de la ambigüedad, se encuentra Michael Devitt. En la segunda parte de esta introducción, resumo la posición de Devitt respecto de los argumentos tradicionales a favor del enfoque de la ambigüedad -fundamentalmente, los argumentos basados en las descripciones fallidas, las descripciones incompletas, los casos de opacidad y los de anáfora-, y luego presento y analizo los nuevos argumentos por él ofrecidos, a saber, el argumento basado en el uso regular, aquél basado en la comparación con los demostrativos y el que se vale de la noción de rigidez débil. (shrink)

This paper is about the semantic analysis of referentially opaque verbs like seek and owe that give rise to nonspecific readings. It is argued that Montague's categorization (based on earlier work by Quine) of opaque verbs as properties of quantifiers runs into two serious difficulties: the first problem is that it does not work with opaque verbs like resemble that resist any lexical decomposition of the seek ap try to find kind; the second one is that it wrongly predicts de (...) dicto (i.e. narrow scope) readings due to quantified noun phrases in the object positions of such verbs. It is shown that both difficulties can be overcome by an analysis of opaque verbs as operating on properties. This is a strongly modified version of a paper entitled lsquoDo We Bear Attitudes towards Quantifiers?rsquo that I have presented at conferences in Gosen (Gesellschaft für Sprachwissenschaft), Ithaca (SALT I), and Konstanz (Lexikon). I owe a special debt to Hans Kamp and Arnim von Stechow for shaping my views on the subject of this paper during the past ten years or so. Comments from and discussions with the following friends and colleagues have also led to considerable improvements: Heinrich Beck, Steve Berman, David Dowty, Veerle van Geenhoven, Fritz Hamm, Irene Heim, Wolfgang Klein, Angelika Kratzer, Michael Morreau, Barbara Partee, Mats Rooth, Roger Schwarzschild, Wolfgang Sternefeld, Emil Weydert, Henk Zeevat, and three referees. (shrink)

“Intentional Attributions to Animals without Language: Aspectuality and Referential Opacity”. It is generally accepted that intentional attributions are referentially opaque. But, as it is also stressed in the literature, referential opacity introduces difficulties to those who defend the attribution of intentionalmental states to non-human animals. In this paper: i) I identify one of these difficulties –which I call the problem of nonsense –; ii) I offer an answer to that problem. In order to accomplish ii), I (...) begin by examining which are the behavioral and representational requisites that a creature has to satisfy so that our mental states attributions to it are referentially opaque but, at the same time, avoid the problem of nonsense. Secondly, I offer some empirical examples of non-human animals which seem to follow such requirements. (shrink)

In this paper I examine Davidson’s argument from referential opacity against the attribution of thoughts to non-linguistics animals. I will begin by reconstructing the strongest version of the argument — i.e., the one which is better suited to overcome the different objections that have been raised against it. Once that is done, I will also object this version arguing, in a nutshell, that the fact that non-human animals lack language does not preclude us from acquiring some knowledge of (...) their mental contents. Thus, I conclude that the argument from referential opacity fails to support Davidson’s radical skepticism regarding the possibility of acquiring knowledge of the mental contents of non-linguistic animals, and of legitimately attributing intentional mental states to them. (shrink)

The problems of referential opacity in psychological contexts require a solution, of which three types are indicated, that contains a profound theory of predication, identity, and individuation. a radical theory, not in the spirit of the current fashions, is outlined. it is called the guise-consubstantiation, conflation, and consociation theory. this theory was first expounded in "thinking and the structure of the world," "philosophia" (1974) and "critica" (1972). the present paper is an introduction to this essay, motivated by two (...) criticisms of romane clark in "not every object of thought has being," "nous" (1978). it is shown that clark's arguments rest on equivocations, one involving the data and the theory, and the other within the theory itself. thus, a discussion of philosophical method turns out to be crucial, and an analysis of expression 'true of' is offered. (shrink)

Failure of substitutivity of coreferential terms, one of the hallmarks of referential opacity, is standardly explained in terms of the presence of an expression (such as a verb of propositional attitude, a modal adverb or quotation marks) with opacity-inducing properties. It is thus assumed that any term in a complex expression for which substitutivity fails will be within the scope of an expression of one of these types, and that where there is an expression of one of (...) these types there will be failure of substitutivity for terms within its scope. I shall discuss a series of examples that have been thought to challenge this explanation by exhibiting failure of substitutivity of coreferential terms for positions not within the scope of any of the standard opacity-inducing expressions. If these examples are genuine, then the usual explanations of opacity are either incomplete – because there are sources of opacity other than those standardly identified, or completely mistaken – because the standardly identified expressions are not causes of opacity. I will argue, however, that the examples only exhibit failure of substitutivity of non-coreferential terms, and, hence, do not present a challenge to standard explanations of opacity. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often (...) maintain that counterfactuals with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

In this paper, I assess whether indexical attitudes, e.g. beliefs and desires, have any special properties or present any special challenge to theories of propositional attitudes. I being by investigating the claim that allegedly problematic indexical cases are just instances of the familiar phenomenon of referential opacity. Regardless of endorsing that claim, I provide an argument to the effect that indexical attitudes do have a special property. My argument relies on the fact that one cannot account for what (...) is it to share someone else’s indexical attitudes without rejecting some plausible thesis about propositional attitudes. In the end, I assess Herman Cappelen and Josh Dever’s considerations on intentional action and extract an argument from them that could – if successful – neutralize my own. I finish by arguing that their argument has an important flaw, thus failing to convince us that indexical attitudes are just as ordinary as any other. (shrink)

summaryMartin and Pfeifer have claimed“that the most typical characterizations of intentionality… all fail to distinguish … mental states from …dispositional physical states.”The evidence they present in support of this thesis is examined in the light of the possibility that what it shows is that intentionality is the mark, not of the mental, but of the dispositional. Of the five marks of intentionality they discuss a critical examination shows that three of them, Brentano's inexistence of the intentional object, Searle's directedness and (...) Anscombe's indeterminacy, are features which distinguish T‐inten Tional/dispositional The other two are either, as in the case of Chisholm's permissible falsity of a propositional attitude ascription, a feature of linguistic utterances too restricted in its scope to be of interest, or, as in the case of Frege's indirect reference/Quine's referential opacity, evidence that the S‐intenSional locution is a quotation either of what someone has said in the past or might be expected to say, if the question were to arise at some time in the future. (shrink)

My paper characterizes religious beliefs in terms of vagueness. I introduce my topic by providing a general overview of my main claims. In the subsequent section, I develop basic distinctions and terminology for handling the notion of religious tradition and capturing vagueness. In the following sections, I make the case for my claim that religious beliefs are vague by developing a general argument from the interconnection between the referential opacity of religious belief content and the long-term communitarian history (...) of the precisification of what such content means. I start from describing an empirical example in the third section, and then I move to settle the matter in a conceptually argumentative frame in the fourth one. My conclusions in the final section address a few of consequences relevant to debates about religious epistemology and religious diversity. (shrink)

This is an investigation of Aristotle's conception of accidental compounds (or "kooky objects," as Gareth Matthews has called them)—entities such as the pale man and the musical man. I begin with Matthews's pioneering work into kooky objects, and argue that they are not so far removed from our ordinary thinking as is commonly supposed. I go on to assess their utility in solving some familiar puzzles involving substitutivity in epistemic contexts, and compare the kooky object approach to more modern approaches (...) involving the notion of referential opacity. I conclude by proposing that Aristotle provides an implicit role for kooky objects in such metaphysical contexts as the Categories and Metaphysics. (shrink)

This paper argues that the Theaetetus establishes conditions on objects of knowledge which entail that only of Forms can there be knowledge. Plato's arguments for this are valid. The principles needed to make Plato's premises true will turn out to have deep connection with important parts of Plato's over-all theory, and to have consequences which Plato, in the middle dialogues, seems to welcome on other grounds as well.

This paper raises two objections to Tyler Burge's externalist theory of privileged self-knowledge. The first point is that Burge owes us an account of external content-determining factors of our belief concept. The second point is that that Burge can reconcile externalism with self-knowledge only at the price of abandoning Frege's insight concerning the referential opacity of propositional attitudes.