835 65 1MB
Pages 15 Page size 595 x 842 pts (A4) Year 2008
Modality and Reference Author(s): Richmond H. Thomason and Robert C. Stalnaker Source: Noûs, Vol. 2, No. 4, (Nov., 1968), pp. 359-372 Published by: Blackwell Publishing Stable URL: http://www.jstor.org/stable/2214461 Accessed: 16/04/2008 09:59 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=black. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.
JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We enable the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected].
http://www.jstor.org
Modalityand Reference1 RICHMOND H. THOMASON YALE UNIVERSITY
ROBERT C.
STALNAKER
UNIVERSITY OF ILLINOIS
1. In the philosophical logic of the past twenty years or so, a great deal of attention has been devoted to puzzles having to do with quantification into intensional, or modal, contexts. Recent semantical analyses of modal logic have resulted in the solution, or at least the clarification, of a number of these puzzles. Although one may still fly from intension for philosophical reasons, these analyses make it impossible to excuse the flight by pointing to logical incoherencies. Although these semantical theories of quantification and modality have been remarkably successful in clarifying the nature of reference, we believe that a puzzle or two remain in this area; this paper is devoted to their isolation and solution. Although our discussion presupposes technical material, it will remain nontechnical; we will avoid metamathematical notation as much as possible, and will provide no proofs of metamathematical claims.2 Our primary concern will be the application of our work to a philosophical understanding of modality and reference. 2. Formalization contributes in a number of ways to the resolution of ambiguities present in natural language. For instance, formal systems are arranged so that different senses of expressions 1 This research was supported by National Science Foundation grant GS-1567. 2 See Stalnakerand Thomason [8], where the semantical theory discussed informally here is presented rigorously, and is shown to characterize an axiomatic extension of the system Q3 discussed in Thomason [9] and [10].
359
360
NOUS
which are equivocal in natural language are represented formally by syntactically different expressions. A simple example of this is the English 'or', which has two truth-functional senses. In sentential calculi, then, there are two different connectives which may serve to translate 'or'. In cases of this sort where the ambiguous expression is regarded as complex, one is inclined to speak of a difference in use of the parts of the expression; this is typical of cases where the ambiguity may be rendered by a difference of scope. A good example of this is the following.3 (1) Socrates can run while not running. A linguist would be likely to regard (1) as having an ambiguous syntactical structure; it may result from the addition of the modal Ccan'to a sentence such as 'Socrates runs while not running', or from the addition of the adverbial phrase 'while not running' to a sentence such as 'Socrates can run'. Logicians, however, habitually arrange their formal languages so that each formula can display only one syntactical structure; thus, there are two ways of rendering (1) formally, as follows.
(2) (3)
O(P A UP) OP A UP.
According to this way of construing the ambiguity in (1), there is no question of different senses of 'can'; rather, two different uses of 'can' are disclosed: in particular, two ways of construing the syntactical structure of (1), in which 'can' appears in different contexts. Logicians tend to subscribe to the mathematician's policy of keeping primitive notions at a minimum; a theory should have few simple notions, and achieve richness of content through combinations of these. This has the corollary that, whenever possible, ambiguity in natural language should be explained as a difference in the use of simple expressions, rather than as a difference in their sense. All things being equal, it is better to regard (1) as translated by two different formulas, rather than as determining two different possibility-signs. Such an account has advantages over and above economy; often, for instance, it sheds light on other matters related to the 3 Aristotle, De Sophisticus Elenchus, 165a25.
MODALITY
AND REFERENCE
361
original problem of ambiguity. Once we see, for example, that the differencebetween (4) Everyonecan come along with us and (5) Anyonecan come along with us correspondsto the differencein scope between (6) O (x)P(x) and (7) (x) O P(x), a beginning has been made in sortingout the complexitiesof 'every' and 'any'in English usage. 3. A logical theory, however, must do more than resolve ambiguities; this resolutionmust be placed within a general and systematic metatheory. This metatheory may include a syntactical treatmentof inference,using the notion of a formalproof. But to be of much philosophical interest, this should be accompanied by a semantical study of the conditions under which formulas may be regarded as true and false. By showing that circumstancesmay arise in which (3) is true and (2) false, such a semantical theory helps us to explain why a syntacticaldistinctionis needed between them; thus, a successfulsemanticalaccount will also provide a general and systematic frameworkwithin which philosophical issues may be focused and clarified. In the case of modal logic, for instance, semantical considerationsserve to direct issues concerning iterated modalities to questions regarding relationships among "possibleworlds",and issues concerning quantificationinto modal contexts to the problem of "identifyingindividuals across worlds". In the present paper, we require a theory adequate to deal with modality,quantification,and definitedescriptions.A numberof such theories have been developed in recent years, which happily do not differ in respects relevant to our purposes.We will require that formulasbe interpretedin a structure consisting of "possible worlds", where associated with each such world is a domain of individuals-those individuals which "exist"in the world. Truth under an interpretationis defined relative to the possible worlds in the structure.A necessity formula, WA, is true in a given possible world a just in case A is true in all worlds which are possible with
362
NOUS
respect to a. A universally quantified formula (x)A is true in a given possible world a just in case the formula A is satisfied in a by all of the individuals that exist in a. The traditional puzzles arise in the interpretation of formulas involving both the necessity sign and the quantifier. For example, in order to evaluate the truth of (x) FLP(x) in a, we must ask whether an open sentence, P(x), is satisfied in possible worlds other than a by the individuals which exist in a. To answer this question, we must be able to recognize the individuals of one domain (those that exist in one possible world) as the same individuals, when they appear in another possible world. We accomplish this by presupposing in the definition of a structure that its individuals are already "identified across worlds", and in fact are the same from one world to another. That is, we suppose that an individual will be invarient under change of perspective from one world to another; it will "be" in many different worlds at once. (How this identification is carried out in special cases is a pragmatic question, which may lead to philosophical problems concerning criteria of identification. But such questions can be treated independently of the general semantical theory which is our present concern.) Following the terminology of [9], we speak of individuals, in the sense in which individuals are identified across worlds, as substances. A term that refers to the same substance in each possible world we call a substance term.4 An individual constant may or may not be a substance term, depending on whether it is more like 'Socrates' or 'Miss America'; 'Socrates' refers to the same person at all times, while 'Miss America' names a different person each year. An individual variable,however, must always be a substance term. Individual variables range over substances, and hence play a more specific logical role than do singular terms in general. Thus, e.g., 'Miss America is mortar would not be regarded as an instantiation of a formula of the sort P(x), whereas 'Socrates is mortal' would.5 4 A substance term is much like what Russell called a logically proper name, since it is a referring expression for which the relation between term and referent is not a function of any contingent fact. We would differ with Russell about what sorts of names are examples of substance terms, or logically proper names, but the disagreement depends on differences of epistemology and pragmatics rather than logic. 5 For an example where the restriction on the role of variables makes a difference formally, note that the formula x = y D [Ix = y is valid, while the more general schema, t = s D Clt = s (where t and s are any singular terms) is invalid.
MODALITY
AND REFERENCE
363
In contrast with the Russellian analysis, definite descriptions are treated as genuine singular terms; but in general, they will not be substance terms. An expression likeiP (x) is assigned a referent which may vary from world to world. If in a given world there is a unique existing individual which has the property corresponding to P. this individual is the referent of iP (x); otherwise, 1 aP( x) refers to an arbitrarily chosen individual which does not exist in that world.6 4. With these resources mobilized, let's consider the following example. (8) The largest state in the Union might be smaller than some state in the Union. Like (1), this sentence is likely to be regarded as contradictory, unitil reflection reveals a possible ambiguity. A user of (8), speaking several years ago, might have been using 'the largest state in the Union' to refer to Texas, and have asserted (8) while contemplating the possible admission to statehood of Alaska. Similarly, in view of constitutional provisions, one would be inclined to regard (9) The President of the U.S. is necessarily a citizen of the U.S. as true. However, circumstances can be imagined in which 'The President of the U.S. might not be a U.S. citizen' would be true; e.g., it might be used to mean that the President, Johnson, was considering resigning his office, relinquishing his citizenship and fleeing to Argentina. In sorting out the ambiguity here, it is plausible to say that, on the one hand, (9) may be used to assert, roughly, that being the President of the U.S. entails being a citizen of the U.S. Nothing is said here of any one person; what is being discussed is the office. On the other hand, (9) may also be used to say that a certain person, LBJ, (who happens to be President of the U.S.) is essentially, or necessarily, a citizen of the U.S. We can resolve the ambiguity by paraphrasing the sentence in the following two ways. (10) It is necessarily the case that the President of the U.S. is a citizen of the U.S. 6 The theory of descriptions sketched here is spelled out more fully in [9]. For other discussions of description theory, and brief criticisms of Russell's analysis, see [2], [5], and [11].
364
NOUS
(11) The President of the U.S. has the property of being necessarilya citizen of the U.S. When the differenceis put this way, it is seen to correspondto a traditionaldistinction;(10) is an assertionof modalityde dicto, and (11) an assertionof modality de re. Our problem,now, is to give a formalaccountof this distinctions 5. The constructionsinvolved in (10) and (11) suggest a formal difference in the scope of a modal operator. We want to distinguishbetween it being necessary that the President of the U.S. has a certain property,and the Presidentof the U.S. having a propertynecessarily.This, however, cannot be expressed,using just the usual notation of the predicate calculus; ZQ( (l $P( x)) may be regardedequally well as the result of applying LIQto $P(x), or as the result of applying El to Q(1 XP(x)). To overcome this difficulty, we need a notation in which predicationis renderedwithout makingthis presupposition. A notation of this kind is ready to hand, in the so-called abstractionoperatorof higher-orderlogic. Adopting just enough of this notation to meet our present needs, we will allow formulasof the sort MA(t),where A is a formulaand t a term. This permits us to renderthe differencebetween (10) and (11) as follows. (12) [RQ(i P(x) ) ( 13) yFGQ(y)(ix P(x) ) The formula (12) may be rewritten using abstractsto help make the contrastwith (13) clearer.
(12') RLgQ(y)(iP(x)) The differencebetween (12) and (13) (or between (12') and 13)) is plainly a matter of scope in (12) and (12'), the singular 7 The distinction between de dicto and de re is not entirely clear, perhaps because it has never been explicated within a fully adequate logical theory. But our formal theory seems to us to capture the intuitive content of the distinction.Where H is a modal operator, HA is a de dicto formula, since in it the modal operator is applied to a formula A, representing a dictum. On the other hand, xHA(t) is a de re formula since in it the modal operator is used to construct a predicate xHA, which is then applied to a singular term; such a formula, then, represents the ascription of a modal property to a thing. In connection with a theory of essential predicates (i.e., of predicates P used in identifying individuals across worlds, so that (x) (P(x) D IZP(x) ) holds true), one can go far in explaining many of the things Aristotle says about modal logic in terms of this reconstructionof the distinction.
MODALITY
AND REFERENCE
365
term 2 $P(x) falls within the scope of the necessity-sign,whereas in (13) it does not. That is, in (13) the necessity-signapplies only to the formulaQ(y); in ( 12T)it applies to j Q(y) (i2P (x) ). We have now found a syntacticalway of renderingthe ambiguityrepresented by (10) and (11). 6. In order,however, to establishthat the distinctionbetween (12) and (13) has any logical or philosophicalsignificance,we must provide a semanticaltheory which shows these formulascapable of saying different things. Since, as we remarkedin 3, above, we are presupposingsemanticalrules which sufficeto accountfor modality, quantifiers, and descriptions, we need only to decide the truthconditionsfor formulasof the kind iA(t) to have a theory capable of settling this question. Classically,iA(t) is true (with respect to an interpretationI) if A is true of the object I(t) denoted by t. This can be stated more precisely by letting II(t)/x be the result of adjustingI so that x is assigned the value I(t). Then &A(t) is made true by I if and only if A is made true by II(t)/x. The modal analogue of this is that &A(t) should be true in a possible world a if A is true in a of the object referredto by t. But there is an ambiguity here. In general, to determinewhetherA is true in a of the referent of t we will need to know what this referent is in other possible worlds. But the referentof t may vary fromworld to world. If we return at this point to the intuitive meaning of iA(t), it will be clear that we are interested here only in the substance denoted by t in the world a; the referent of t in other possible worlds is irrelevant.The sentence (14) The man sittingin the cornercan ride a horse would ordinarily be translated by a formula of the kind &A(t). Here, in a given situation (say, a), certain features of this situation are used to pick out a referent, the man sitting in the corner.Then it is asserted this person, in other circumstances,and with the appropriatedesires,would ride a horse.8Now, in these circumstances, he would, of course, not be sitting in the corner; nevertheless,he would be the same man, in a sense of "same"which presupposes that individuals can be identified from situation to situation. This 8 Though this is adequate for our present purposes, it is not a satisfactory rendering of the dispositional sense of 'can' which is at stake in (14). An adequate formalizationcan be obtained using the conditional connective of
[61 and [71.
366
NOUS
last presupposition,as we explained in 3, above, is already built into our semanticaltheory. We want to say, then, that I makesiA(t) true in a if A is true in a of the referent IL(t) of t in a. As in the classical case, this can be made mathematicallyprecise. Let JTa(t)/xbe the interpretation which is like I except in assigning the object Ia(t) (i.e., the substance referred to by t in a) to the variable x. (Note that since variablesmust be assigned the same referent in all possible worlds, this means that IIra(t)/xgives x the value Ia(t) uniformlyto x, in every world.) Then I makes &A(t) true in a if and only if IIaMt/x makesA true in a. This semanticalrule accords with the differencein scope between, e.g., LiP(x) (a) and x?LiP(x)(a). Since in the latter formula a does not occur within the scope of a modal operator, its truth-valuein a should depend only on the referentof a in a. This criterionof extensionalityis built into our definition,and in consequence all formulas of the sort s - t D (iA(s) _ ZA(t)) will be valid. Thus, we have to make no changes in the principle of substitutivity of identicals salva veritate in contexts not falling within the scope of a modal operator. Also, applying our theory to examples (12') and (13) we find that these formulas are not semanticallyequivalent; in fact, both
( 5)
(x) ( IwP(x)) D ^xOlQ~ ( 1$P( ]x^Q
)
and (16 XLIIQ(x)(i P(x)) D Lx'Q(x)(i YP(x)) are invalid. Both invalidationscan be carriedout in a model structure in which there are just two possible universes,a and , (both of these universesbeing possible relative to one another), where the domainsof each of these universes consist of just two individuals, say, the numbers1 and 2. Furthermore,we can let P be true of 2 and false of I in a, and true of I and false of 2 in A,so that xP(x) refers to 2 in a and to 1 in P. To make (15) false in a, let Q be true of 2 and false of 1 in a, and true of 1 and false of 2 in P. (For example, a may be the actual universe,P a possible universein which Mars has just one moon, and P may stand for 'is a number of the moonsof Mars'.And in this case, Q may also stand for 'is a number of the moonsof Mars'.) To make (16) false in a, change the above interpretationso that Q is true of 2 and false of 1 in both a and (3. (E.g., let Q stand for 'is greaterthan 1'.)
MODALITY
367
AND REFERENCE
Thus, our semantical theory justifies the distinction we have made between (12') and (13). If we are right in regarding these as alternative constructions resolving an ambiguity in, e.g., (17) The number of moons of Mars is necessarily greater than 1, the above examples also show how our theory disarms Quine's modal "paradox"about the number of planets. It becomes a simple fallacy of ambiguity.9 Our theory also renders the equivalence
( 18) [12(i q P( X))
x'Q( x) (i P(x )) valid, thus justifying our equating of (12) and (12'). The validity of (18) follows from the principle that if x does not occur within the scope of a modal operator in A, then At/x = iA ( t) is valid. 7. Most of the semantical concepts developed for the interpretation of necessity and possibility have also been applicable to tense logic, deontic logic, and the logic of propositional attitudes. The ambiguities of scope which are resolved by the abstraction operator are also present in these other kinds of modal logic, and have been responsible for some traditional sophistical puzzles. We shall illustrate the application of our distinction in these areas with a number of examples. The ambiguity in question is partly responsible for the puzzles that both ancient and modern philosophers have found in the notion of a false belief. No one believes that the unjust is just, or the ugly beautiful. Yet if I believe that the Vietnam war is just, or that Medusa is beautiful, it seems plausible that these paradoxical statements correctly describe my opinions. Quine makes this kind of example precise in an argument against quantification into belief contexts. Suppose John believes that Tegucigalpa is in Nicaragua. Then there is something that John believes to be in Nicaragua, and that something is the capital of Honduras. Although John would never assent to the proposition that the capital of Honduras is in Nicaragua, there is a sense in which John believes that the capital of Honduras is in Nicaragua. This sense is formalized as follows: [2-
9 This account supplements the one given of Thomason [9], where the force of the paradox is attributed to the fact that this invalid argument is an instantiation of a valid argument. The two accounts are closely connected, inasmuch as the failure of the principle of instantiation and of the principle of abstractionare two sides of the same coin.
368
NOUfS
(19) x^BQ(x)(i -P(x)). The claim formalizedby the following formula, however, is false: (20) BxQ(x) (i $P(x) ).
This last statement is false since John knows, of course, that the capital of Honduras is in Honduras, and not in Nicaragua. The ambiguity may be resolved in English by reading (19) as "John believesof the capitalof Hondurasthat it is in Nicaragua." In a sense, tomorrownever comes, since it is always today. Yet in a sense, tomorrowwill come. In fact, it will come tomorrow. The referent of a descriptionmay change with time, and thus the same kind of ambiguity arises in a language which has tenses. In one sense, I am quite positive that the President of the United States will never be a woman. In another sense, I am willing to admit that the proposition might be debated. These distinctions can be made in the same way, by meansof abstracts. We know of no stock puzzles of this kind from deontic logic, but again these distinctions prove to be useful. If, for instance, I have found a watch, there are two senses of (21) I am obliged to returnthis watch to the man who owns it. The morenaturalone would be renderedby a formulasuch as i (22) OQ(a,vP(x, a) ); in this sense, (21) is true. However, in the sense which corresponds to (23) xQQ(x, a)(QiP(x, a)), (21) is false. (This would be better expressedin English by 'It is true of the man who owns the watch that I am obliged to returnit to him.') Indeed, unless the owner of the watch identifies himself to me as its owner, I should not returnit to him. This exampleillustrates nicely how epistemic considerationsinfluence obligations; what we do not know can multiply deontic possibilities, and thus renderformulassuch as (23) false. (I.e., (23) is false because since I do not know who the owner is, there is a deontically possible world in which the owner is Jones, a deontically possible world 'in which the owner is Smith, etc. Thus, I am not obliged to return it to anyoneuntil furtherknowledgeis obtained.)
MODALITY
AND REFERENCE
369
Contrary-to-fact conditionals may be regarded as statements about non-actual possible situations. Consequently, similar puzzles arise in connection with such conditionals. Goodman, in his early paper on counterfactuals, discusses a special class of counterfactuals which he calls counter-comparatives. For example, consider (24) If I had more money, I'd buy a car. "The trouble with these", Goodman wrote, is that when we try to translate the counterfactual into a statement about a relation between two tenseless non-modal sentences, we get an antecedent something like If "I have more money than I have" were true... which wrongly represents the original antecedent as self-contradictory.10 The problem is that only one of the amounts of money being compared is the amount of money I have in the situation referred to by the antecedent. Using abstracts, we can formalize the conditional as follows:
(25) "(Q(i.P(x), y) > R) (I xZP(x)) Here, Q stands for the relation 'is greater than', P for 'is a total amount of money I have', and R for 'I buy a car'. The corner, >, is the conditional connective. 8. In most examples that some come readily to mind, the distinction of scope that we have been discussing could be represented by using identity and quantification rather than abstracts. For example, in case there is in fact a unique city which is a capital of Honduras, then the following two propositions are equivalent: (26) John believes of the capital of Honduras that it is in Nicaragua. (27) There is a city which is identical to the capital of Honduras, and John believes that it is in Nicaragua. This follows formally from the general principle that if ( 3 x) x = t is true." is true, then ( 3 x) (x =t A A) -iA(t) '0 Goodman [1], p. 16. 11Hintikka [3], pp. 155ff. and [4], pp. 46ffT,uses identity and quantification to make the distinction we formalize using, e.g., EP(a) and x2P(x) (a). These works contain, however, no explicit theory of descriptions; we consider the theory presented in [2] unsatisfactory.
370
NOUS
This suggests that our introduction of abstracts may be superfluous, since iA(t) might be replaceable by a contextual definition. But there is a flaw in this; the definition is plausible only in t is true, i.e., only in those cases in those cases in which ( 3 x)x t A A) is which the referent of t exists. In other cases, ( 3 x) (x false, and thus, though the "contextual definition" is satisfactory in most cases which arise in practice, it is in general unsatisfactory, for the same reasons that render Russell's theory of descriptions unwelcome. Thus, this attempt to define abstraction fails, and in fact it can be proved that any such attempt will fail; abstraction, as we have characterized it semantically, is not definable in the modal logic Q3. 9. Before concluding our discussion of abstracts and their use in modal logic, there is a further point which merits consideration. In devising a notation to resolve certain ambiguities which we found in natural language, we found we needed a syntactical device which would distinguish between applying LiP to a, and applying F] to P(a), and we used xLiIP(x)(a) and LiP(a) for this purpose. This notation is familiar, as is the term "abstract", which we have also used. However, we have not justified our use of this familiar terminology; do formulas of the sort xcjP(x) (a), as we have interpreted them, really involve abstracts? This is a legitimate question, since according to our theory the familiar law of abstraction, -
(28) iA(t) = At/x, fails.12 To answer it, we must show that our theory is embeddable within a plausible second-order modal logic. In such a logic, can abstracts be regarded as referring to properties? A detailed discussion of the semantics of second-order modal logic is beyond the scope of this paper; however, it is not difficult to see, informally, how we can interpret formulas of the sort iA(t) as expressing the result of applying a property, or propositional function, referred to by xA to an object referred to by t. The modal analogue of the classical notion of a propositional function (of one argument) is a function taking possible worlds and substances into truth values. Thus, if f is a propositional function, a a possible world and d an object, then f (a, d) = T or f (a, d) =F. Singular 12 Here, At/x is the result of replacing all free occurrences of x in A by occurrences of t (relettering bound variables, if necessary, to avoid rendering cation to make the distinction we formalize using, e.g., IP(a) and xEP(x) (a). any of the variables occurring in the new occurrences of t bound).
MODALITY
AND REFERENCE
371
terms, on the other hand, will correspond with what are called world-lines in [9]: functions taking possible worlds into objects. If h is such a function and a a possible world, then h( a) = d for some object d. (Note that since individual variables range over substances, an individual variable x must always be assigned a constant world-line: a world-line h such that for all worlds a and (3 h h(a) h(n).) Now, suppose that iA is correlated with such a propositional funtion, f, and t with a world-line h. Then, f applies to h in a possible world a if f(a,h(a)) T, and iA(t) is true in a if f applies to h in a. This understanding of things generates precisely the semantical rules we developed in 6, above. And this shows, we believe, that the similarity of our notation to that of higher-order logic is not merely accidental. What we have developed here is a correct fragment of higher-order logic. This fragment is, nevertheless, entirely first-order in character, since abstracts appear only in contexts of the sort iA(t). In view of the modal failure of (28), however, such formulas are required in first-order modal logic for expressive completeness. 10. Logicians call classical logic "classical" not because of any affinities with antiquity, but because it serves as a locus classicus, or paradigm for research. In developing a novel logical theory, one looks for the right analogues of classical results, and then tries to establish these; failure to do this is often a sign that something has gone wrong. But, of course, if the material is really new, it will differ in some respects from the classical case; one cannot expect all classical results to carry over. Thus, one of the most important prerequisites of successful research is a good feel for what is "important" and "natural"in classical logic, a sense for distinguishing those features which should be expected in new material from those which may be discarded. We can now see that the major impediment to the development of a successful theory of quantified modal logic has been lack of success in making distinctions of this sort: in particular, in realizing which features of classical logic are mere special cases, and need not hold generally. In [9], it was argued that it was failure to dispense with the principle of instantiation, (xx)A D At/x, which hindered a successful generalization of classical logic; here, we have shown that this may equally well be regarded as failure to discard the principle (28) of abstraction.
372
NOUS
REFERENCES 1. Goodman, N. Fact, Fiction, and Forecast. (Cambridge, Mass.: Harvard University Press, 1955). 2. Hintikka, J. "Towards a Theory of Definite Descriptions," Analysis, XIX (1959): 79-85. 3. Hintikka, J. "Knowledgeand Belief." (Ithaca, New York: Cornell University Press, 1962). 4. Hintikka, J. "Individuals, Possible Worlds, and Epistemic Logic," Nous, 1 (1967): 33-62. 5. Scott, D. "Existence and Description in Formal Logic," Bertrand Russell: Philosopher of the Century, ed. R. Schoenman. (Boston: 1967): 181-200. 6. Stalnaker, R. "A Theory of Conditionals," Studies in Logical Theory (American Philosophical Quarterly supplementary monograph series), forthcoming. 7. Stalnaker, R. and R. Thomason. "A Semantic Analysis of Conditional Logic." Mimeo., 1967. 8. Stalnaker,R. and R. Thomason. "Abstractionin First Order Modal Logic," Theoria, forthcoming. 9. Thomason, R. "Modal Logic and Metaphysics," The Logical Way of Doing Things, ed. K. Lambert. (New Haven, Conn., 1968). 10. Thomason, R. "Some Completeness Results for Modal Predicate Calculi," Philosophical Developments in Non-standard Logic, ed. K. Lambert, forthcoming. 11. Van Fraassen, B. and K. Lambert. "On Free Description Theory," Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 13 (1967): 225-240.