GRICE ITALO A-Z Q

 

Luigi Speranza – GRICE ITALO!; ossia, Grice e Quarta: la ragione conversazionale -- conversazione, e solidarietà – l’implicature conversazionali dell’utopico Campanella – la scuola di Leverano -- flilosofia pugliese -- filosofia italiana – Luigi Speranza (Leverano). Abstract. Keywords. Campanella. Filosofo italiano. Leverano, Lecce, Puglia. Essential Italian philosopher. Filosofo dell'utopia, sulla quale filosofa in Una re-interpretazione dell'utopia, Dedalo. Insegna a Salento. Studioso dell’Accademia sul quale scrive “L'utopia dell’Accademia: Il progetto politico, Dedalo – cf. CUOCO (si veda), Platone in Italia. Fonda un centro di ricerca sull'utopia. Altri saggi: More,  ECP; Globalizzazione, giustizia, solidarietà, Dedalo, Una nuova etica per l'ambiente, Dedalo, HOMO VTOPICVS: la dimensione storico-antropologica dell’utopia. Dedalo,  Filosofo dell'utopia. Grice: “Strictly, utopia is no-where, or erehwon if you must!” Luigi Speranza, “As in Lennon, “He’s a real nowhere man!” --. Gilbert and Sullivan, “Utopia, Ltd.” Grice: “I shall say no more on the ideal language versus ordinary language, but further into the general principles of rational discourse.” -- Grice: “I once told Austin that his Symbolo was utopic – “Utopian,” he corrected me!”  Of those who are approximately my contemporaries, Professor W. V.  Quine is one of the very few to whom I feel I owe the deepest of professional debts, the debt which is owed to someone from whom one has learned something very important about how philosophy should be done, and who has, in consequence, helped to shape one's own mode of thinking.  I hope that he will not think it inappropriate that my offering on this occasion should take the form not of a direct discussion of some part of Word and Object, but rather of an attempt to explore an alternative to one of his central positions, namely his advocacy of the idea of the general eliminability of singular terms, including names. I hope, also, that he will not be too shocked by my temerity in venturing into areas where my lack of expertise in formal logic is only too likely to be exposed. I have done my best to protect myself by consulting those who are in a position to advise me; they have suggested ideas for me to work on and have corrected some of my mistakes, but it would be too much to hope that none remain.1  I. THE PROBLEM  It seems to me that there are certain quite natural inclinations which have an obvious bearing on the construction of a predicate calculus. They are as follows:  To admit individual constants; that is to admit names or their representations. To allow that sometimes a name, like "Pegasus", is not the name of any existent object; names are sometimes 'vacuous'. In the light of (2), to allow individual constants to lack designata, so that sentences about Pegasus may be represented in the system. To regard Faand ~ Faas 'strong' contradictories; to suppose, that is, that one must be true and the other false in any conceivable state of the world. To hold that, if Pegasus does not exist, then "Pegasus does not fly" (or "It is not the case that Pegasus flies") will be true, while "Pegasus flies" will be false. To allow the inference rules U.I. and E.G. to hold generally, without special restriction, with respect to formulae containing individual constants. To admit the law of identity ((7x) x-x) as a theorem. To suppose that, if y is derivable from , then any statement represented by @ entails a corresponding statement represented by a. It is obviously difficult to accommodate all of these inclinations.  Given [by (7)] (Vx) x=x we ean, given (6), derive first a=a by U.I. and then (3x)x=a by E.G. It is natural to take (x)x=a as a representation of 'a exists'. So given (2) and (3), a representation of a false existential statement ('Pegasus exists') will be a theorem. Given (6), we may derive, by E.G., (#x) ~ Fx from ~ Fa. Given (3), this seemingly licenses an inference from "Pegasus does not fly" to "Something does not fly". But such an inference seems illegitimate if, by (5), "Pegasus does not fly" is true if Pegasus does not exist (as (2) allows). One should not be able, it seems, to assert that something does not fly on the basis of the truth of a statement to the effect that a certain admittedly non-existent object does not fly.  To meet such difficulties as these, various manoeuvres are available,  which include the following:  To insist that a grammatically proper name N is only admissible as a substituend for an individual constant (is only classifiable as a name, in a certain appropriate sense of 'name') if N has a bearer. So "Pegasus" is eliminated as a substituend, and inclination (3) is rejected. To say that a statement of the form Fa, and again one of the form ~ Fa, presupposes the existence of an object named by a, and lacks a truth-value if there is no such object. [Inclinations (4) and (5) are rejected.] To exclude individual constants from the system, treating ordinary names as being reducible to definite descriptions. [Inclination (I) is rejected.] To hold that "Pegasus" does have a bearer, a bearer which has being though it does not exist, and to regard (Sx) Fx as entailing not theexistence but only the being of something which is F. [Inclination (2) is rejected.] To allow U.I. and E.G. only in conjunction with an additional premise, such as Ela, which represents a statement to the effect that a exists. [Inclination (6) is rejected.] To admit individual constants, to allow them to lack designata, and to retain normal U.I. and E.G.; but hold that inferences made in natural discourse in accordance with the inference-licences provided by the system are made subject to the 'marginal' (extra-systematic) assumption that all names which occur in the expression of such inferences have bearers. This amounts, I think, to the substitution of the concept of *entailing subject to assumption A' for the simple concept of entailment in one's account of the logical relation between the premises and the conclusions of such inferences. [Inclination (8) is rejected.]  I do not, in this paper, intend to discuss the merits or demerits of any of the proposals which I have just listed. Instead, I wish to investigate the possibility of adhering to all of the inclinations mentioned at the outset; of, after all, at least in a certain sense keeping everything. I should emphasize that I do not regard myself as committed to the suggestion which I shall endeavour to develop; my purpose is exploratory.  II. SYSTEM Q: OBJECTIVES  The suggestion with which I am concerned will involve the presentation and discussion of a first-order predicate calculus (which I shall call Q). the construction of which is based on a desire to achieve two goals: i to distinguish two readings of the sentence "Pegasus does not fly" (and of other sentences containing the name "Pegasus" which do not explicitly involve any negation-device), and to provide a formal representation of these readings. The projected readings of "Pegasus does not fly" (S,) are such that on one of them an utterance of S, cannot be true, given that Pegasus does not exist and never has existed, while on the other an utterance of S, will be true just because Pegasus does not exist. (ii) to allow the unqualified validity, on either reading, of a step from the assertion of S, to the assertion (suitably interpreted) of "Something [viz., Pegasus] does not fly" (Sz).More fully, Q is designed to have the following properties.  U.I. and E.G. will hold without restriction with respect to any formula @ containing an individual constant «[(c)]: no additional premise is to be required, and the steps licensed by U.I. and E.G. will not be subject to a marginal assumption or pretence that names occurring in such steps have bearers. For some @(x), @ will be true on interpretations of Q which assign no designatum to x, and some such @ (a) will be theorems of Q. It will be possible, with respect to any $ (a), to decide on formal grounds whether or not its truth requires that & should have a designatun. It will be possible to find, in Q, a representation of sentences such as "Pegasus exists". There will be an extension of Q in which identity is represented. HI. SCOPE  The double interpretation of S, may be informally clarified as follows: if S, is taken to say that Pegasus has the property of being something which does not fly, then S, is false (since it cannot be true that a nonexistent object has a property); but if S, is taken to deny that Pegasus has the property of being something which flies, then S, is true (for the reason given in explaining why, on the first interpretation, S, is false).  It seems to be natural to regard this distinction as a distinction between differing possible scopes of the name "Pegasus". In the case of connec-tives, scope-differences mirror the order in which the connectives are introduced in the building up of a formula [the application of formation rules; and the difference between the two interpretations of S, can be represented as the difference between regarding S, as being i) the result of substituting "Pegasus" for "x" in "x does not fly" (negation having already been introduced), or (i) the result of denying the result of substituting "Pegasus" for "x" in "x flies" (the name being introduced before negation)].  To deal with this distinction, and to preserve the unrestricted application of U.I. and E.G., Q incorporates the following features:  (1) Normal parentheses are replaced by numerical subscripts which are appended to logical constants and to quantifiers, and which indicatescope-precedence (the higher the subscript, the larger the scope). Subscripts are attached also to individual constants and to bound variables as scope-indicators. For convenience subscripts are also attached to predicate-constants and to propositional letters. There will be a distine-tion between  (a) -2f1a3  and (b)  ~, F,a,.  (a) will represent the reading of S, in which S, is false if Pegasus does not exist; in (a) "a" has maximal scope. In (b) "a" has minimal scope, and the non-existence of a will be a sufficient condition for the truth of (b).  So (b) may be taken to represent the second reading of S,. To give further illustration of the working of the subscript notation, in the formula Fja,→3G,azV 4 H,bs *v' takes precedence over *→*, and while the scope of each occurrence of "a" is the atomic sub-formula containing that occurrence, the scope of "b" is the whole formula.  (2) The effect of extending scope-indicators to individual constants is to provide for a new formational operation, viz., the substitution of an individual constant for a free variable. The formation rules ensure that quantification takes place only after this new operation has been per-formed; bound variables will then retain the subscripts attaching to the individual constants which quantification eliminates. The following formational stages will be, for example, involved in the building of a simple quantificational formula:  I  Ii  Iii  There will be, then, a distinction between   (A  B  a) will, in Q, be derivable from ~, Fa,, but not from ~ , F,az; (b) will be derivable directly (by E.G.) only from ~, F,az, though it will bederivable indirectly from ~, F,a,. This distinction will be further dis-cussed.  (3) Though it was not essential to do so, I have in fact adapted a feature of the system set out in Mates' Elementary Logic; free variables do not occur in derivations, and U.I. always involves the replacement of one or more subscripted occurrences of a bound variable by one or more correspondingly subscripted occurrences of an individual constant.  Indeed, such expressions as Fix, and G, are not formulae of Q (though to refer to them I shall define the expression "segment"). F,x and G,xy are formulae, but the sole function of free variables is to allow the introduction of an individual constant at different formational stages.  F,a2→,G,a,V, H,x is admitted as a formula so that one may obtain from it a formula giving maximal scope to "b", viz., the formula  (4) Closed formulae of a predicate calculus may be looked upon in two different ways. The symbols of the system may be thought of as lexical items in an artificial language. Actual lexical entries (lexical rules) are provided only for the logical constants and quantifiers; on this view an atomic formula in a normal calculus, for example Fa, will be a categorical subject-predicate sentence in that language. Alternatively, formulae may be thought of as structures underlying, and exemplified by, sentences in a language (or in languages) the actual lexical items of which are left unidentified. On this view the formula Fav Gb will be a structure exemplified by a sub-class of the sentences which exemplify the structure Fa. The method of subscripting adopted in Q reflects the first of these approaches; in an atomic formula the subscripts on individual constants are always higher than that on the predicate-constant, in consonance with the fact that affirmative categorical subject-predicate sentences, like "Socrates is wise" or "Bellerophon rode Pegasus", imply the non-vacuousness of the names which they contain. Had I adopted the second approach, I should have had to allow not only F,az, etc., but also Fa,, etc., as formulae; I should have had to provide atomic formulae which would have substitution instances, e.g., Fa,→,G,b,, in which the scope of the individual constants does not embrace the whole formula.  The second approach, however, could be accommodated with appropriate changes.(5) The significance of numerical subscripts is purely ordinal; so, for example, ~, Fjaz and ~17 Fa, will be equivalent. More generally, any pair of "isomorphs" will be equivalent, and Q contains a rule providing for the interderivability of isomorphs. @ and & will be isomorphs iff (1) subscripts apart, @ and v are identical, and (2) relations of magnitude (=,<,>) holding between any pair of subscripts in are preserved between the corresponding pair of subscripts in & [the subscripts in 4 mirror those in @ in respect of relative magnitudes].  Professor C. D. Parsons has suggested to me a notation in which I would avoid the necessity for such a rule, and has provided me with an axiom-set for a system embodying it which appears to be equivalent to Q (Mr. George Myro has made a similar proposal). The idea is to adopt the notation employed in Principia Mathematica for indicating the scope of definite descriptions. Instead of subscripts, normal parentheses are retained and the scope of an individual constant or bound variable is indicated by an occurrence of the constant or variable in square brackets, followed by parentheses which mark the scope boundaries. So the distinction between ~, Faz and ~, Fa, is replaced by the distinction between ~[a] (Fa) and [a] (~Fa); and the distinction between x4~gFjxz and Ix~Fix, is replaced by the distinction between (5x) (~ [x] (Ex)) and (3x) ([x] (~ Fx)). Parson's notation may well be found more perspicuous than mine, and it may be that I should have adopted it for the purposes of this paper, though I must confess to liking the obviousness of the link between subscripts and formation-rules.  The notion of scope may now be precisely defined for Q  If n be a logical constant or quantifier occurring in a closed formula , the scope of an occurrence of y is the largest formula in @ which (a) contains the occurrence of n. (b) does not contain an occurrence a logical constant or quantifier bearing a higher subscript than that which attaches to the occurrence of n. If n be a term (individual constant or bound variable), the scope of y is the largest segment of @ which (a) contains the occurrence of n, (b) does not contain an occurrence of a logical constant bearing a higher subscript than that which attaches to the occurrence of n.  (3) A segment is a sequence of symbols which is either (a) a formula or (b) the result of substituting subscript-preserving occurrences ofvariables for one or more occurrences of individual constants in a formula.  We may now define the important related notion of "dominance". A term Ô dominates a segment @ iff @ falls within the scope of at least one of the occurrences, in @, of 0. In other words, 0 dominates if at least one occurrence of ® in @ bears a subscript higher than that attaching to any logical constant in @. Dominance is intimately connected with existential commitment, as will be explained.  NATURAL DEDUCTION SYSTEM Q  A. Glossary  If"" denotes a symbol of Q, "y." denotes the result of attaching, to that symbol, a subscript denoting n. "ф(aj, x)" = a formula @ containing occurrences of an individual constant a, each such occurrence being either an occurrence of a,, or of..., or of og'. [Similarly, if desired, for "Ф(@p... ox)", where "o" ('omega') denotes a variable.] "Ф"="a formula, the highest subscript within which denotes n". If 0, and 0, are terms (individual constants or bound variables), *(02/0,)' = the result of replacing each occurrence of 0, in $ by  an occurrence of 02, while preserving subscripts at substitution-points'. [The upper symbol indicates the substituend.]  B. Provisional Set of Rules for Q  1. Symbols  Predicate-constants (*F", "Fl" Individual constants (*a", 'a'*  "G"  ..).  4B.）  Variables ("x", "yl* Logical constants ("~* "&"  "v", "→")  (e) Quantification-symbols (V, 3*). [A quantification-symbol followed by a subscripted variable is a quantifier.]  Numerical subscripts (denoting natural numbers). Propositional letters (*p", "q",...). 2. Formulae  A subscripted n-ary predicate constant followed by n unsubscripted variables; a subscripted propositional letter. If @) is a formula, $(*+m/co) is a formula. If i is a formula, Vo, +m$(@/«) is a formula. [NB: Substitutions are to preserve subscripts.] If ) is a formula, 3c, +m (cox) is a formula. [NB: Substitutions are to preserve subscripts.] If a) is a formula, ~+m$ is a formula. If Cp-m and t-n are formulae, ф&,, фу,%. →, Vare for- mulae. is a formula only if it can be shown, by application of (1)-(6), that @ is a formula. 3. Inference-Rules  (1) [Ass] Any formula may be assumed at any point.  （3）［~一，DN」～日＋～。中に一ト中・  （4）［&+］中n-m1a-k「中&。  厂¢  Stov. V-n  （0）［V＋］キルーmトWoー』くョが  （2）スター日中、…・・がトら、  then  （4）や、中っ中、がっ中中トら。  （8）［→+，CP】18中一mV・0トXin-ne then v，...oトp→a2.  (9) [--,MPP] frnata-m] 하림.  (10) [V +] If v,... w*H) then v. @*-V@n+m @(w/c), provided  that a does not occur in '...., *  (I1) [V-] V∞,Ф+ф(a/o), provided that Vw, is the scope of Vo,.  (12) (*+)Ф -30, +mV, where y is like p except that, if a occurs in $, at least one such occurrence is replaced in & by an occurrence of o.  （13）（コー）30，中がっ…でトid（alo），x... rFt， provided  that 3w, is the scope of 3o, that a does not occur in any of , x',... x*, v. INB. All substitutions referred to in (10)-(13) will preserve sub-scripts.]  Rules (1) (13) are not peculiar to Q, except insofar as they provide for the use of numerical subscripts as substitutes for parentheses. The role of term-subscripts has so far been ignored. The following three rules do not ignore the role of term-subscripts, and are special to Q  (14) [Dom +] If(1) a dominates ф,  then  [NB. v, thus altered, must remain a formula; for example, a must not acquire a subscript already attaching to a symbol other than x.]  (14) provides for the raising of subscripts on a in &, including the case in which initially non-dominant a comes to dominate y.  [A subscript on an occurrence of a may always be lowered.]  (16) [Iso] If @ and f are isomorphs, ф-v.  V. EXISTENCE  A. Closed Formulae Containing an Individual Constant a  (i) If a dominates @ then, for any interpretation Z, @ will be true on Z only if a is non-vacuous (only if Ta+exists? is true, where '+' is a  concatenation-symbol). If & does not dominate , it may still be the case that @ is true only if & is non-vacuous (for example if ="~,~, F,a," or ="FazV g G,a,", though not if ="F,a,→,G,a,"). Whether or  not it is the case will be formally decidable. Let us abbreviate " is true only if a is non-vacuous" as "@ is E-committal for &". The conditions in which o is E-committal for x can be specified recursively:  (1)  If a dominates , is E-committal for a.  (2)  If =~,*-mV, and is E-committal for a, then $ is E-committal for a.  (3)  If o=v&,t, and either or x is E-committal for a, then $ is E-committal for a.  (4)  If -wVax, and both y and z are E-committal for &, then ф is E-committal for a.  (5)  If =→X, and both ~_ and z are E-committal for a, then @ is E-committal for & [in being greater than the number denoted by any non-term-subscript in 4].  (6)  If =Vo, or 3o,, and (B/∞) is E-committal for a, then ф is E-committal for a.  (ii) Since Fa, →, F,a, is true whether or not "a" is vacuous, the truth of F,a,→, Fa, (in which "a" has become dominant) requires only that a exists, and so the latter formula may be taken as one representation of  "a exists". More generally, if (for some n) a is the only individual constant in (o,) and =→/.-m then may be taken as a representation of Ta + exists?,  B. 3-quantified Formulae  An I-quantified formula Jo, will represent a claim that there exists an object which satisfied the condition specified in @ iff (a/∞) is E-com-mittal for a. To illustrate this point, compare  3x4~, Fx3, and  (ii)  ヨメュ～3F1x2  Since ~, Fa, is E-committal for "a" (is true only if a exists) while  ~, Fa, is not E-committal for "a", (i) can, and (ii) cannot, be read as a claim that there exists something which is not F. The idea which lies behind the treatment of quantification in Q is that while (i) and (i) may be taken as representing different senses or different interpretations of  "something is not F" or of "there is something which is not F", these locutions must be distinguished from "there exists something which is not F", which is represented only by (i). The degree of appeal which Q will have, as a model for natural discourse, will depend on one's willingness to distinguish, for example,  "There is something such that it is not the case that it flies" from "There is something such that it is something which does not fly", and to hold that (a) is justified by its being false that Pegasus flies, while (b) can be justified only by its being true of some actual object that it does not fly. This distinction will be further discussed in the next section.  Immediately, however, it must be made clear that to accept Q as a model for natural discourse is not to accept a Meinongian viewpoint; it is not to subscribe to the idea of a duality, or plurality, of 'modes of being'. Acceptance of Q as a model might be expected to lead one to hold that while some sentences of the form "Bertrand Russell will be interpretable in such a way as (i) to be true, and (ii) to entail not merely "there is something which __" but also "there exists something  __", sentences of the form "Pegasus -  _" will, if interpreted  so as to be true, entail only "there is something which -  _". But from  this it would be quite illegitimate to conclude that while Bertrand Russell both exists and is (or has being), Pegasus merely is (or has being). "Exists" has a licensed occurrence both in the form of expression "there exists something which —_" and in the form of expression "a exists"; "is" has a licensed occurrence in the form of expression "there is something which __", but not in the form a is". Q creates no ontological jungle.  VI. OBJECTION CONSIDERED  It would not be surprising if the combination of the admissibility, according to the natural interpretation of Q, of appropriate readings of  the inference-patterns  (1)  a does not exist a is not F  and (2)  a is (not) F  something is (not) F  have to be regarded as Q's most counter-intuitive feature.  Consider the following dialogue between A and B at a cocktail party:  A(I Is Marmaduke Bloggs here tonight?  B(1) Marmaduke Bloggs?  A(2) You know, the Merseyside stock-broker who last month climbed  Mt. Everest on hands and knees.  B(2) Oh! Well no, he isn't here.  A(3) How do you know he isn't here?  B(3) That Marmaduke Bloggs doesn't exist; he was invented by the  journalists.  A(4) So someone isn't at this party.  B(4) Didn't you hear me say that Marmaduke Bloggs does not exist?  A(5) I heard you quite distinetly; are you under the impression that you heard me say that there exists a person who isn't at this party?  B, in his remarks (3) and (4), seemingly accepts not only inference-pattern (L) but also inference-pattern (2).  The ludicrous aspects of this dialogue need to be accounted for. The obvious explanation is, of course, that the step on which B relies is at best dubious, while the step which A adds to it is patently illegitimate; if we accept pattern (I) we should not also accept pattern (2). But there is another possible explanation, namely that  (i given (P) "a does not exist and so a is not F" the putative conclusion from (P), "Something is not F" (C), is strietly speaking (on one reading) true, but  (i) given that (P) is true there will be something wrong, odd, or misleading about saying or asserting (C).  In relation to this alternative explanation, there are two cases to con-sider:  (a) that in which the utterer of (C) knows or thinks that a does not  exist, and advances (C) on the strength of this knowledge or belief; but the non-existence of a is not public knowledge, at least so far as the speaker's audience is concerned;  (b) that which differs from (a) in that all parties to the talk-exchange are aware, or think, that a does not exist. Case (a) will not, perhaps, present too great difficulties; if there is a sense of "Something is not F" such that for this to be true some real thing must fail to be F, the knowledge that in this sense something is not F will be much more useful than the knowledge that something is not Fin the other (weaker) sense; and ceteris paribus one would suppose the more useful sense of (C) to be the more popular, and so, in the absence of counter-indications, to be the one employed by someone who utters (C). Which being the case, to utter  (C) on the strength of the non-existence of a will be misleading.  Case (b) is less easy for the alternative explanation to handle, and my dialogue was designed to be an example of case (b). There is a general consideration to be borne in mind, namely that it will be very unplausible to hold both that there exists a particular interpretation or sense of an expression E, and that to use E in this sense or interpretation is always to do something which is conversationally objectionable. So the alternative explanation will have (I) to say why such a case (b) example as that provided by the dialogue is conversationally objectionable, (2) to offer some examples, which should presumably be case (b) examples, in which the utterance of (C), bearing the putative weaker interpretation would be conversationally innocuous. These tasks might be attempted as follows.  (1) To say "Something is (not) such-and-such" might be expected to have one or other of two conversational purposes; either to show that it is possible (not) to be such-and-such, countering (perhaps in anticipation) the thesis that nothing is even (not) such-and-such, or to provide a prelude to the specification (perhaps after a query) of an item which is (not) such-and-such. A's remark (4) "So someone is not at this party" cannot have either of these purposes. First, M.B. has already been agreed by A and B not to exist, and so cannot provide a counter-example to any envisaged thesis that every member of a certain set (e.g, leading local business men) is at the party. M.B., being non-existent, is not a member of any set. Second, it is clear that A's remark (4) was advanced on the strength of the belief that M.B. does not exist; so whatever specification is relevant has already been given.  (2) The following example might provide a conversationally innocuous use of (C) bearing the weaker interpretation. The cocktail party is a special one given by the Merseyside Geographical Society for its members in honour of M.B., who was at the last meeting elected a member as a recognition of his reputed exploit. A and B have been, before the party, discussing those who are expected to attend it; C has been listening, and is in the know about M.B.  C Well, someone won't be at this party  A, B Who?  C Marmaduke Bloggs  A, B But it's in his honour  C That's as may be, but he doesn't exist; he was invented by the  journalists.  Here C makes his initial remark (bearing putative weak interpretation), intending to cite M.B. in specification and to disclose his non-existence.  It should be made clear that I am not trying to prove the existence or admissibility of a weaker interpretation for (C); I am merely trying to show that the prima facie case for it is strong enough to make investigation worth-while; if the matter is worth investigation, then the formulation of Q is one direction in which such investigation should proceed, in order to see whether a systematic formal representation of such a reading of "Something is (not) F" can be constructed.  As a further consideration in favour of the acceptability of the weaker interpretation of "Something is (not) F", let me present the following  "slide":  (t) To say "M.B. is at this party" would be to say something which is not true.  To say "It is not true that M.B. is at this party" would be to say something which is true. To say "M.B. is not at this party" would be to say something which is true. M.B. is not at this party. (5)  M.B. can be truly said not to be at this party.  (6)  Someone (viz. M.B.) can be truly said not to be at this party.  (7) Someone is not at this party (viz. M.B.).  It seems to me plausible to suppose that remark (I) could have been uttered with truth and propriety, though with some inelegance, by B in the circumstances of the first dialogue. It also seems to me that there is sufficient difficulty in drawing a line before any one of remarks (2) to (T), and claiming that to make that remark would be to make an illegitimate transition from its legitimate predecessor, for it to be worth considering whether one should not, given the non-existence of M.B., accept all seven as being (strictly speaking) true. Slides are dangerous instruments of proof, but it may be legitimate to use them to back up a theoretical proposal.  VII. IDENTITY  So far as I can see, there will be no difficulty in formulating a system Q', as an extension of Q which includes an identity theory. In a classical second-order predicate calculus one would expect to find that the formula (VF) (Fa→Fb) (or the formula (VF) (Fa<+Fb)) is a definitional sub-stituend for, or at least is equivalent to, the formula a =b. Now in Q the sequence Fa-Fb will be incomplete, since subscripts are lacking, and there will be two significantly different ways of introducing subscripts,  (i) F,a3→2 F,b, and (il) F,az→4 F,b. In (i) "a" and "3" are dominant, and the existence of a and of b is implied; in (ii) this is not the case. This difference of subscripting will reappear within a second-order predicate calculus which is an extension of Q; we shall find both (i) (a) VF, F,&3→2 F,b, and (il) (a) VF,F,a2-4 F,by. If we introduce the symbol  ' into Q,  we shall also find iii) VF,F,a,→F,ba and (iv)  VF,F,a,+*,F,b,. We may now ask whether we want to link the identity of a and b with the truth of (iii) or with the truth of (iv), or with both. If identity is linked with (iii) then any affirmative identity-formula involving a vacuous individual constant will be false; if identity is linked with (iv) any affirmative identity formula involving two vacuous individual constants will be true.  A natural course in this situation seems to be to admit to Q' two types of identity formula, one linked with (fii) and one with (iv), particularly if one is willing to allow two interpretations of (for example) the sentence  "Pegasus is identical with Pegasus"  *, on one of which the sentence is false  because Pegasus does not exist, and on the other of which the sentence is true because Pegasus does not exist (just as "Pegasus is identical with  Bellerophon" will be true because neither Pegasus nor Bellerophon exist). We cannot mark this distinction in Q simply by introducing two different identity-signs, and distinguishing between (say) az=,b, and a, =, b3. Since in both these formulae "a" and "b" are dominant, the formulae will be true only if a and b exist. Just as the difference between (ill) and (iv) lies in whether "a" and "3" are dominant or non-dominant, so must the difference between the two classes of identity formulae which we are endeavouring to express in Q'. So Q' must contain both such formulae as az=,b, (strong' identity formulae) and such formulae as aj=,b2 (weak' identity formulae). To allow individual constants to be non-dominant in a formula which is not molecular will be a temporary departure from the practice so far adopted in Q; but in view of the possibility of eventually defining "=" in a second-order calculus which is an extension of Q one may perhaps regard this departure as justified.  Q' then might add to Q  one new symbol, "-"; two new formation rules; (1)  c'=,' is a formula,  (2)  If a, +x=, P,+, is a formula, a, +x mB,+, is a formula, where m>/+k and m> j+1.  (c) two new inference-rules  (1)  (2)  1-Vo,+,- =,0,-, [a weak identity law],  a, -Pe. Ф-ф(P/x). [There is substitutivity both on strong and on weak identity.]  I hope that these additions would be adequate, though I have not taken steps to assure myself that they are. I might add that to develop a representation of an interesting weak notion of identity, one such that Pegasus will be identical with Pegasus but not with Bellerophon, I think that one would need a system within which such psychological notions as "it is believed that" were represented.  VIII. SEMANTICS FOR Q  The task of providing a semantics for Q might, I think, be discharged in  more than one way; the procedure which I shall suggest will, I hope, continue the following features: (a) it will be reasonably intuitive, (b) it will not contravene the philosophical ideas underlying the construction of Q by, for example, invoking imaginary or non-real entities, (e) it will offer reasonable prospects for the provision of proofs of the soundness and completeness of Q (though I must defer the discussion of these prospects to another occasion).  A. Interpretation  The provision of an interpretation Z for Q will involve the following steps:  The specification of a non-empty domain D, within which two sub-domains are to be distinguished: the special sub-domain (which may be empty), the elements of which will be each unit set in D whose element is also in D; and the residual sub-domain, consisting of all elements of D which do not belong to the special sub-domain. The assignment of each propositional letter either to 1 or to 0. The assignment of each n-ary predicate constant y to a set (the E-set of n) of ordered n-tuples, each of which has, as its elements, elements of D. An E-set may be empty. The assignment of each individual constant a to a single element of D (the correlatum of a). If the correlatum of a belongs to the special sub-domain, it will be a unit-set whose element is also in D, and that element will be the designatum of a. If the correlatum of a is not in the special sub-domain, then a will have no designatum. [I have in mind a special case of the fulfilment of step (4), in which every individual constant has as its correlatum either an element of the special sub-domain or the null-set. Such a method of assignment seems particularly intuitive.] If an individual constant a is, in Z, assigned to a correlatum belonging to the special sub-domain, I shall say that the assignment of a is efficient. If, in Z, all individual constants are efficiently assigned, I shall say that Z is an efficient interpretation of Q  It will be noted that, as I envisage them, interpretations of Q will be of a non-standard type, in that a distinction is made between the correlation of an individual constant and its description. All individual constants are given correlata, but only those which on a given interpretation are non-vacuous have, on that interpretation, designata. Interpretations of this kind may be called Q-type interpretations.  B. Truth and Validity  I shall use the expressions "Corr (I)" and "Corr (O)" as abbreviations, respectively, for "correlated with 1" and "correlated with 0". By "atomic formula" I shall mean a formula consisting of a subscripted n-ary predicate constant followed by a subscripted individual constant.  I shall, initially, in defining "Corr(1) on Z" ignore quantificational  (I) If ф is atomic, @ is CorrI) on Z iff i) each individual constant in has in Z a designatum (i.e. its correlatum is a unit set in D whose element is also in D), and ii) the designata of the individual constants in , taken in the order in which the individual constants which designate them occur in , form an ordered n-tuple which is in the E-set assigned in Z to the predicate constant in ф.  (2) If no individual constant dominates $, ф is Corr(1) on Z iff  If =~,%, v is Corr(0) on Z;  (ii)  (iii)  If =v&,x. V and y are each Corr(1) on Z;  If =wv- X, either & or y is Corr(1) on Z;  (iv)  If =V→ax, either v is Corr(0) on Z or x is Corr(I) on Z.  If (x) is a closed formula in which a is non-dominant, and if is like i except that & dominates $, then @ is Corr(1) on Z iff i) v is Corr(1) on Z and (ii) a is efficiently assigned in Z. If a closed formula is not Corr(1) on Z, then it is Corr(0) on Z. To provide for quantificational formulae, some further notions are required.  An interpretation Z' is an i.c.-variant of Z iff Z' differs from Z (if at all) only in that, for at least one individual constant a, the correlatum of a in Z' is different from the correlatum of a in Z. Z' is an efficiency-preserving i.c.-variant of Z iff Z' is an i.c.-variant of Z and, for any a, if a is efficiently assigned in Z a is also efficiently assigned in Z'. Z' is an efficiency-quota-preserving i.c.-variant of Z iff Z' is an i.c.-variant of Z and the number of individual constants efficiently assigned in Z' is not less than the number efficiently assigned in Z.' Let us approach the treatment of quantificational formulae by consi dering the 3-quantifier. Suppose that, closely following Mates's procedure in Elementary Logic, we stipulate that Jc,ф is CorrI) on Z iff @ (x'/∞)  is Corr(I) on at least one i.c.-variant of Z, where a is the first individual constant in Q. (We assume that the individual constants of Q can be ordered, and that some principle of ordering has been selected). In other words, 3co,ф will be Corr(1) on Z iff, without altering the assignment in Z of any predicate constant, there is some way of assigning &' so that ф (a/c) is Corr(1) on that assignment. Let us also suppose that we shall define validity in Q by stipulating that @ is valid in Q iff, for any interpretation Z, @ is Corr(1) on Z.  We are now faced with a problem. Consider the "weak existential" formula 3x2~, F,x2. If we proceed as we have just suggested, we shall be forced to admit this formula as valid; if "a" is the first individual constant in Q, we have only to provide a non-efficient assignment for  "a" to ensure that on that assignment ~, Fa, is Corr(1); for any interpretation Z, some i.c.-variant of Z will provide such an assignment for "a", and so 3x4~3 F,x2 will be CorrI) on Z. But do we want to have to admit this formula as valid? First, if it is valid then I am reasonably sure that Q, as it stands, is incomplete, for I see no way in which this formula can be proved. Second, if in so far as we are inclined to regard the natural language counterparts of valid formulae as expressing conceptual truths, we shall have to say that e.g. "Someone won't be at this party", if given the 'weak' interpretation which it was supposed to bear in the conversations imagined in Section VI, will express a conceptual truth; while my argument in that section does not demand that the sentence in question express an exciting truth, I am not sure that I welcome quite the degree of triviality which is now threatened.  It is possible, however, to avoid the admission of Jx,~, Fix, as a valid formula by adopting a slightly different semantical rule for the  3-quantifier. We stipulate that 3c,, is Corr on on Z iff @ (c'/c) is CorrI) on at least one efficiency-preserving i.c. -variant of 2. Some interpretations of Q will be efficient interpretations, in which "a" will be efficiently assigned; and in any efficiency-preserving i.c.-variant of such an interpretation "a" will remain efficiently assigned; moreover among these efficient interpretations there will be some in which the E-set assigned to  "F" contains (to speak with a slight looseness) the member of each unit-set belonging to the special sub-domain. For any efficient interpretation in which "F" is thus assigned, Fja, will be Corr(1), and ~, F,a, will be Corr(0), on all efficiency-preserving i.c. -variants.  So 3xz~, Fx, will not be CorrI) on all interpretations, i.e. will not be valid.  A similar result may be achieved by using the notion of an efficiency-quota-preserving i.c.-variant instead of that of an efficiency-preserving i.c.-variant; and the use of the former notion must be preferred for the following reason. Suppose  that we use the latter notion;  (ií)  that "a?" is non-efficiently assigned in Z;  that "a" is the first individual constant, and is efficiently assigned in Z;  that "F" includes in its extension the member of each unit-set in the special sub-domain.  Then ~, Fa? is Corr(1) on Z, and so (by E.G.) 3x2~, Fix, is Corr(1) on Z. But "a" is efficiently assigned in Z, so ~3 F,a, is Corr(O) on every efficiency-preserving i.c.-variant of Z (since "F" includes in its extension every designable object). So 3x4~, Fix is Corr(0) on Z.  This contradiction is avoided if we use the notion of efficiency-quota-preserving i.c.-variant, since such a variant of Z may provide a non-efficient assignment for an individual constant which is efficiently assigned in Z itself; and so 3x~, F,x, may be Corr(1) on Z even though "a" is efliciently assigned in Z  So I add to the definition of "Cort(I) on Z'', the following clauses:  (5) If =Vo,, ф is Corr(1) on Z, if v(a'/o) is Corr(1) on every  efliciency-quota-preserving i.c.-variant of Z.  (6) If ф=Jog/, ф is Corr(1) on Z ill y(a'/c) is Corr(1) on at least  one efliciency-quota-preserving i.c.-variant of Z.  [In each clause, "a'" is to be taken as denoting the first individual constant in Q.]  Validity may be defined as follows:  is valid in Q iff, for any interpretation Z, $ is CorrI) on Z Finally, we may, if we like, say that p is true on Z iff p is CorrI) on Z.  IX. NAMES AND DESCRIPTIONS  It might be objected that, in setting up Q in such a way as to allow for the representation of vacuous names, I have ensured the abandonment, at least in spirit, of one of the desiderata which I have had in mind; for  (it might be suggested) if Q is extended so as to include a Theory of Descriptions, its individual constants will be seen to be indistinguishable, both syntactically and semantically, from unanalysed definite descrip-tions; they will be related to representations of descriptions in very much the same way as propositional letters are related to formulae, having lost the feature which is needed to distinguish them from representations of descriptions, namely that of being interpretable only by the assignment of a designatum.  I do not propose to prolong this paper by including the actual presentation of an extension of Q which includes the representation of descrip-tions, but I hope to be able to say enough about how I envisage such an extension to make it clear that there will be a formal difference between the individual constants of Q and definite descriptions. It is a familiar fact that there are at least two ways in which a notation for representing definite descriptions may be developed within a classical system; one may represent "The haberdasher of Mr. Spurgeon is bald" either by (1) G(ix. Fx) or by (2) (ix. Ex) Gx; one may, that is, treat "ix. Fo" either as a term or as being analogous to a (restricted) quantifier. The first method does not allow for the representation of scope-differences, so a general decision will have to be taken with regard to the scope of definite de-scriptions, for example that they are to have maximal scope. The second method does provide for scope-distinctions; there will be a distinction between, for example, (ix. Fx) ~ Gx and ~(ix.Fx) Gx. The apparatus of Q, however, will allow us, if we wish, to combine the first method, that of representing definite descriptions by terms, with the representation of differences of scope; we can, if we like, distinguish between e.g., ~Gax,Fix and ~4G, xgF,x2, and ensure that from the first formula we may, and from the second we may not, derive E!, 1x,F,x2. We might, alternatively, treat descriptions as syntactically analogous to restricted quantifiers, if we so desire. Let us assume (arbitrarily) that the first method is adopted, the scope-boundaries of a descriptive term being, in each direction, the first operator with a higher subscript than that borne by the iota-operator or the first sentential boundary, whichever is nearer.  Let us further assume (perhaps no less arbitrarily) that the iota-operator is introduced as a defined expression, so that such a formula as G, 1x3F x2+78 3x, FIx, 82G, x6 83 VyF,/2*3 V2 - , *2 is provable by defi-  nitional  substitution for the right-hand side of the formula  G,1x,F,x2→4G,1x,F,xz, together with applications of the rules for subscript-adjustment.  Now, as I envisage the appropriate extension of Q, the formal difference between individual constants and descriptive terms will lie in there being a legitimate step (by E. G.) from a formula containing a non-dominant individual constant to the related "weak' existential form, e.g.. from ~, Fa, to 3x4~, F,x2, while there will, for example, be no analogous step from ~ G,1x, F,x2 to 3x4~, G,x2. Such a distinction between individual constants and descriptive terms seems to me to have, at least prima facie, a basis in intuition; I have at least some inclination to say that, if Mr. Spurgeon has no haberdasher, then it would be true (though no doubt conversationally odd) to say "It is not the case that Mr. Spurgeon's haberdasher is bald" (S), even though no one has even suggested or imagined that Mr. Spurgeon has a haberdasher; even though, that is, there is no answer to the question who Mr. Spurgeon's haberdasher is or has been supposed to be, or to the question whom the speaker means by the phrase "Mr. Spurgeon's haberdasher." If that inclination is admissible, then it will naturally be accompanied by a reluctance to allow a step from S to "Someone is not bald" (S,) even when S, is given its 'weak' interpretation. I have, however, already suggested that an utterance of the sentence "It is not the case that Mr. Spurgeon is bald" (S') is not assessable for truth or falsity unless something can be said about who Mr. Spurgeon is or is supposed to be: in which case the step from S' to S, (weakly interpreted) seems less un-justifiable.  I can, nevertheless, conceive of this argument's failing to produce conviction. The following reply might be made: "If one is given the truth of S, on the basis of there being no one who is haberdasher to Mr. Spur-geon, all one has to do is first to introduce a name, say 'Bill', laying down that *Bill' is to designate whoever is haberdasher to Mr. Spurgeon, then to state (truly) that it is not the case that Bill is bald (since there is no such person), and finally to draw the conclusion (now legitimate) that someone is not bald (on the 'weak' reading of that sentence). If only a stroke of the pen, so to speak, is required to legitimize the step from S to S, (weakly interpreted), why not legitimize the step directly, in which case the formal distinction in Q" between individual constants and descriptive terms must either disappear or else become wholly arbitrary?"  A full treatment of this reply would, I suspect, be possible only within the framework of a discussion of reference too elaborate for the present occasion; I can hope only to give an indication of one of the directions in which I should have some inclination to proceed. It has been observeda that a distinction may be drawn between at least two ways in which descriptive phrases may be employed.  (I) A group of men is discussing the situation arising from the death of a business acquaintance, of whose private life they know nothing, except that (as they think) he lived extravagantly, with a household staff which included a butler. One of them says "Well, Jones' butler will be seeking a new position"  (2) Earlier, another group has just attended a party at Jones' house, at which their hats and coats were looked after by a dignified individual in dark clothes and a wing-collar, a portly man with protruding ears, whom they heard Jones addressing as "Old Boy", and who at one point was discussing with an old lady the cultivation of vegetable marrows.  One of the group says "Jones' butler got the hats and coats mixed up". (i The speaker in example (1) could, without impropriety, have inserted after the descriptive phrase "Jones' butler" the clause "whoever he may be". It would require special circumstances to make a corresponding insertion appropriate in the case of example (2). On the other hand we may say, with respect to example (2), that some particular individual has been "described as', 'referred to as', or 'called' Jones' butler by the speaker; furthermore, any one who was in a position to point out that Jones has no butler, and that the man with the protruding ears was Jones' gardener, or someone hired for the occasion, would also be in a position to claim that the speaker had misdescribed that individual as Jones' butler. No such comments are in place with respect to example (1).  (i) A schematic generalized account of the difference of type between examples (1) and 2) might proceed along the following lines. Let us say that X has a dossier for a definite description & if there is a set of definite descriptions which includes o, all the members of which X' supposes (in one or other of the possible sense of 'suppose") to be satisfied by one and the same item. In a type (2) case, unlike a type (I) case, the speaker intends the hearer to think (via the recognition that he is so intended) (a) that the speaker has a dossier for the definite description & which he has used, and (b) that the speaker has selected & from this dossier at least partly  in the hope that the hearer has a dossier for & which 'overlaps' the speaker's dossier for & (that is, shares a substantial, or in some way specially favoured, subset with the speaker's dossier). In so far as the speaker expects the hearer to recognize this intention, he must expect the hearer to think that in certain circumstances the speaker will be prepared to replace the remark which he has made (which contains &) by a further remark in which some element in the speaker's dossier for & is substituted for &. The standard circumstances in which it is to be supposed that the speaker would make such a replacement will be (a) if the speaker comes to think that the hearer either has no dossier for 8, or has one which does not overlap the speaker's dossier for & (i.e., if the hearer appears not to have identified the item which the speaker means or is talking about), (b) if the speaker comes to think that 8 is a misfit in the speaker's dossier for 6, i.e., that & is not, after all, satisfied by the same item as that which satisfies the majority of, or each member of a specially favoured subset of, the descriptions in the dossier. In example (2) the speaker might come to think that Jones has no butler, or that though he has, it is not the butler who is the portly man with the protruding ears, etc., and whom the speaker thinks to have mixed up the hats and coats.  (iii) If in a type (2) case the speaker has used a descriptive phrase (e.g.,  "Jones' butler") which in fact has no application, then what the speaker has said will, strictly speaking, be false; the truth-conditions for a type (2) statement, no less than for a type (I) statement, can be thought of as being given by a Russellian account of definite descriptions (with suitable provision for unexpressed restrictions, to cover cases in which, for example, someone uses the phrase "the table" meaning thereby "the table in this room"). But though what, in such a case, a speaker has said may be false, what he meant may be true (for example, that a certain particular individual [who is in fact Jones' gardener] mixed up the hats and coats).  Let us introduce two auxiliary devices, italics and small capital let-ters, to indicate to which of the two specified modes of employment a reported use of a descriptive phrase is to be assigned. If I write "S said 'The Fis G'," I shall indicate that S was using "the F" in a type  (1), non-identificatory way, whereas if I write "S said "THE F is G'," I shall indicate that S was using "the F" in a type (2), identificatory way.  It is important to bear in mind that I am not suggesting that the difference  between these devices represents a difference in the meaning or sense which a descriptive phrase may have on different occasions; on the con-trary, I am suggesting that descriptive phrases have no relevant systematic duplicity of meaning; their meaning is given by a Russellian account.  We may now turn to names. In my type (I) example, it might be that in view of the prospect of repeated conversational occurrences of the expression "Jones' butler," one of the group would find it convenient to say "Let us call Jones' butler 'Bill'." Using the proposed supplementa-tion, I can represent him as having remarked "Let us call Jones' butler  'Bill'." Any subsequent remark containing "Bill" will have the same truth-value as would have a corresponding remark in which "Jones" butler" replaces "Bill". If Jones has no butler, and if in consequence it is false that Jones' butler will be seeking a new position, then it will be false that Bill will be seeking a new position.  In the type (2) example, also, one of the group might have found it convenient to say "Let us call Jones' butler 'Bill'," and his intentions might have been such as to make it a correct representation of his remark for me to write that he said "Let us call JONES' BUTLER 'Bill'." If his remark is correctly thus represented, then it will nor be true that, in all conceivable circumstances, a subsequent remark containing "Bill" will have the same truth-value as would have a corresponding remark in which "Bill'" is replaced by "Jones's butler". For the person whom the speaker proposes to call "Bill" will be the person whom he meant when he said "Let us call JONES'S BUTLER 'Bill"," viz., the person who looked after the hats and coats, who was addressed by Jones as "Old Boy", and so on; and if this person turns out to have been Jones's gardener and not Jones's butler, then it may be true that Bill mixed up the hats and coats and false that Jones's butler mixed up the hats and coats. Remarks of the form "Bill is such-and-such" will be inflexibly tied, as regards truth-value, not to possible remarks of the form "Jones's butler is such-and-such", but to possible remarks of the form "The person whom X meant when he said  'Let us call Jones's butler "Bill"'' is such-and-such".  It is important to note that, for a definite description used in the explanation of a name to be employed in an identificatory way, it is not required that the item which the explainer means (is referring to) when he uses the description should actually exist. A person may establish or explain a use for a name a by saying "Let us call THE F a" or "THE F iS  called a" even though every definite description in his dossier for "the F" is vacuous; he may mistakenly think, or merely deceitfully intend his hearer to think, that the elements in the dossier are non-vacuous and are satisfied by a single item; and in secondary or 'parasitic' types of case, as in the narration of or commentary upon fiction, that this is so may be something which the speaker non-deceitfully pretends or *feigns'.  So names introduced or explained in this way may be vacuous.  I may now propound the following argument in answer to the objection that any distinction in Q between individual constants and descriptive terms will be arbitrary.  (1) For a given definite description ô, the difference between a type  (L) and type (2) employment is not to be construed as the employment of o in one rather than another of two systematically different senses of б.  A name a may be introduced either so as to be inflexibly tied, as regards the truth-value of utterances containing it, to a given definite description ó, or so as to be not so tied (6 being univocally employed); so the difference between the two ways of introducing a may reasonably be regarded as involving a difference of sense or meaning for a; a sense in which a may be said to be equivalent to a definite description and a sense in which it may not. It is, then, not arbitrary so to design Q that its individual constants are to be regarded as representing, among other lingustic items, names used with one of their possible kinds of meaning, namely that in which a name is not equivalent to a definite description. X. CONCLUDING REMARKS  I do not propose to attempt the important task of extending Q so as to include the representation of psychological verb-phrases, but I should like to point out a notational advantage which any such extension could be counted on to possess. There are clearly at least two possible readings of such a sentence as "John wants someone to marry him", one in which it might be paraphrased by "John wants someone or other to marry him" and another in which it might be paraphrased by "John wants a particular person to marry him" or by "There is someone whom John wants to marry him", Symbolizing "a wants that p" by Wap, and using the apparatus of classical predicate logic, we might hope to represent reading (I)  by W°(3x) (Fxa) and reading (2) by (Ix) (W"Exa). But suppose that John wants Martha to marry him, having been deceived into thinking that his friend William has a highly delectable sister called Martha, though in fact William is an only child. In these circumstances one is inclined to say that "John wants someone to marry him" is true on reading (2), but we cannot now represent reading (2) by (x) (WªFxa), since Martha does not exist.  The apparatus of Q should provide us with distinct representations for two familiar readings of "John wants Martha to marry him", viz., (a) WyF,bya, and (b) W9F,b,a,, Given that Martha does not exist only  (b) can be true. We should have available to us also three distinct J-quantificational forms (together with their isomorphs):  (i)  (ii)  3x,W2Fix4d3:  (ili)  Since in iii) "" does not dominate the segment following the 3-quantifier, (iii) does not have existential force, and is suitable therefore for representing "John wants a particular person to marry him" if we have to allow for the possibility that the particular person does not actually exist. [ and iii) will be derivable from each of (a) and (b); (ii) will be derivable only from (a)-]  I have in this paper developed as strong a case as I can in support of the method of treatment of vacuous names which I have been expounding.  Whether in the end I should wish to espouse it would depend on the outcome of further work on the notion of reference.  REFERENCES  1 I am particularly indebted to Charles Parsons and George Booles for some extremely helpful correspondence, to Geerge Myro for countless illuminating suggestions and criticisms, and to Benson Mates for assistance provided both by word of mouth and via his book Elementary Logic, on which I have drawn a good deal.  * I owe the idea of this type of variant to George Myro, whose invaluable help was essential to the writing of this section.  3 c.g. by K. S. Donnellan, 'Reference and Definite Descriptions", Philosophical Reviews  75 (1966) 281-304; as may perhaps be seen from what follows, I am not sure that I am wholly sympathetic towards the conclusions which he draws from the existence of the distinction. Of those who are approximately Grice’s contemporaries, Quine is one of the very few to whom Grice feels he owes the deepest of debts, the debt which is owed to someone from whom one has learned something very important about how philosophy should be done, and who has, in consequence, helped to shape one's own mode of thinking. Grice hopes that Quine will not think it inappropriate that Grice’s offering on that occasion should take the form NOT of a direct discussion of some part of “Word and Object,” but rather of an attempt to explore an alternative to one of Quine’s central positions, namely his advocacy of the idea of the general eliminability of ANY SINGULAR term, including names. Grice hopes, also, that Quine will not be too shocked by Grice’s temerity in venturing into areas where my lack of expertise in *formal* logic is only too likely to be exposed. Grice has done his best to protect himself by consulting those who are in a position to advise him; they have suggested ideas for him to work on and have corrected some of his mistakes, but it would be too much to hope that none remain. It seems to Grice that there are certain quite natural inclinations which have an obvious bearing on the construction of a PREDICATE calculus. They are as follows: To admit an individual constant, i. e., to admit a name or its representation. To allow that, sometimes, a name, like "Pegasus", is not the name of any existent thing. A name may be sometimes 'vacuous'. In the light of this, to allow an individual constant to lack a designatum, so that sentences about Pegasus may be represented in the system. To regard “Fa” and  “~Fa” as 'strong' contradictories; to suppose, i. e., that one must be true and the other false in any conceivable state of the world. To hold that, if Pegasus does not exist, "Pegasus does not fly" (or "It is not the case that Pegasus flies") is true, or 1-corr. while "Pegasus flies" is false. To allow the inference rules U.I. and E.G. to hold generally, without special restriction, with respect to formulae containing an individual constant. To admit the law of identity ((7x) x-x) as a theorem. To suppose that, if y is derivable from , any statement represented by @ entails a corresponding statement represented by a. It is obviously difficult to accommodate all of these inclinations. Given [by (7)] (Vx) x=x we can, given (6), derive, first, a=a by U.I., and then (3x)x=a by E.G. It is natural to take (x)x=a as a representation of 'a exists'. So given (2) and (3), a representation of a false existential statement ('Pegasus exists') will be a theorem. Given (6), we may derive, by E.G., (#x) ~ Fx from ~Fa. Given (3), this seemingly licenses an inference from “Pegasus does not fly” to "Something does not fly". But such an inference seems illegitimate if, by (5), "Pegasus does not fly" is true if Pegasus does not exist (as (2) allows). One should not be able, it seems, to assert that something does not fly on the basis of the truth of a statement to the effect that a certain admittedly non-existent thing does not fly. To meet such difficulties as these, various manoeuvres are available,  which include the following. To insist that a grammatically proper name N is only admissible as a substituend for an individual constant (is only classifiable as a name, in a certain appropriate sense of 'name') if N has a bearer. So "Pegasus" is eliminated as a substituend, and inclination (3) is rejected. To say that a statement of the form “Fa,” and again one of the form “~ Fa,” presupposes the existence of a thing named by a, and lacks a truth-value if there is no such object. Inclinations (4) and (5) are rejected. To exclude any individual constant from the system, treating an ordinary name as being reducible to a definite description. Inclination (I) is rejected. To hold that "Pegasus" does have a bearer, a bearer which has being though it does not exist, and to regard ‘(Ex) Fx’ as taking PEANO’s E as short for Latin essere, and entailing not the existence but only the being – essere -- of something which is F. Inclination (2) is rejected. To allow U.I. and E.G. only in conjunction with an additional premise, such as Ela, which represents a statement to the effect that a exists. Inclination (6) is rejected. To admit an individual constant, to allow it to lack a designatum, and to retain normal U.I. and E.G.; but hold that an inference made in natural discourse in accordance with the inference-licences provided by the system is made subject to the 'marginal' (extra-systematic) assumption that any name which occurs in the expression of such inferences has a bearer. This amounts, Grice thinks, to the substitution of the concept of *entailing subject to assumption A' for the simple concept of entailment in one's account of the logical relation between the premises and the conclusions of such inferences. Inclination (8) is rejected. Grice does not, in his essay, intend to discuss the merits or demerits of any of the proposals which he listed. Instead, Grice wishes to investigate the possibility of adhering to all of the inclinations mentioned at the outset; of, after all, at least in a certain sense keeping everything. Grice does emphasise that he does not regard himself as committed to the suggestion which he endeavours to develop. Grice’s purpose is exploratory.  SYSTEM G: OBJECTIVES The suggestion with which Grice is concerned involves the presentation and discussion of a first-order predicate calculus, which we shall call G, the construction of which is based on a desire to achieve two goals: to distinguish two readings of the ‘Pegasus does not fly’ or of other utterances containing the name "Pegasus" which do not explicitly involve any negation-device – Pegasus flies --, and to provide a formal representation of these two readings. The projected readings of ‘Pegasus does not fly’ (S,) are such that, on one of them, an utterance of S, cannot be true, given that Pegasus does not exist and never has existed, while on the other an utterance of S, is true just because Pegasus does not exist. to allow the unqualified validity, on either reading, of a step from the assertion of S, to the assertion, suitably interpreted, of "Something -- viz., Pegasus -- does not fly" (Sz).More fully, G is designed to have the following properties. U. I. and E. G. will hold without restriction with respect to any formula @ containing any individual constant «[(c)]. No additional premise is to be required, and the steps licensed by U. I. and E. G. will not be subject to a marginal assumption or pretence that a name occurring in such steps has a bearer. For some @(x), @ are true on interpretations of G which assign no designatum to x, and some such @ (a) are theorems of G It will be possible, with respect to any $ (a), to decide, on formal grounds, whether or not its truth requires that & should have a designatun. It will be possible to find, in G, a representation of a sentence such as "Pegasus exists". There will be an extension of G in which identity is represented. The double interpretation of S, may be informally clarified as follows. If S, is taken to say that Pegasus has the property of being something which does not fly, S, is false -- since it cannot be true that a nonexistent thing has a property. But if S, is taken to deny that Pegasus has the property of being something which flies, S, is true --for the reason given in explaining why, on the first interpretation, S, is false. It seems to be natural to regard this distinction as a distinction between differing possible scopes of the name "Pegasus". In the case of connectives, scope-differences mirror the order in which the connectives are introduced in the building up of a formula -- the application of formation rules. The difference between the two interpretations of S, can be represented as the difference between regarding S, as being the result of substituting "Pegasus" for "x" in "x does not fly" -- negation having already been introduced --, or the result of denying the result of substituting "Pegasus" for "x" in "x flies" -- the name being introduced before negation. To deal with this distinction, and to preserve the unrestricted application of U. I. and E. G., G incorporates the following features. Normal parentheses are replaced by numerical subscripts which are appended to a logical constant or to a quantifier, and which indicate scope-precedence: the higher the subscript, the larger the scope. A numerical subscripts may also be attached to an individual constant or to a bound variable as a scope-indicators. For convenience, numerical subscripts are also attached to a predicate-constants, and to a propositional letter. There will be a distinction between  (a) -2f1a3  and (b)  ~, F,a,.  The first will represent the reading of S, in which S, is false if Pegasus does not exist. In (a) "a" has maximal scope. In (b) "a" has minimal scope, and the non-existence of a will be a sufficient condition for the truth of (b). So (b) may be taken to represent the second reading of S,. To give further illustration of the working of the numerical-subscript notation, in the formula Fja,→3G,azV 4 H,bs *v' takes precedence over *→*, and while the scope of each occurrence of "a" is the atomic sub-formula containing that occurrence, the scope of "b" is the whole formula. The effect of extending scope-indicators to an individual constant is to provide for a formational operation, viz., the substitution of an individual constant for a free variable. The formation rules ensure that quantification takes place only after this operation has been performed. A bound variable will then retain the numerical subscript attaching to the individual constant which quantification eliminates. The following formational stages will be, for example, involved in the building of a simple quantificational formula:  I  Ii  Iii.There will be, then, a distinction between (A  B. a) will, in G, be derivable from “~, Fa,’ but not from ~ , F,az; (b) will be derivable directly by E. G. only from ~, F,az, though it will be derivable indirectly from ~, F,a,. This distinction will be further discussed. Though it is not essential to do so, Grice in fact adapts a feature of the system set out in Mates's Elementary Logic. A free variable does not occur in a derivation, and U. I. always involves the replacement of one or more numerically-subscripted occurrences of a bound variable by one or more correspondingly numerically-subscripted occurrences of an individual constant. Indeed, such expressions as Fix, and G, are not formulae of G -- though to refer to them Grice defines the expression "segment". F,x and G,xy are formulae, but the sole function of the free variable is to allow the introduction of an individual constant at different formational stages. F,a2→,G,a,V, H,x is admitted as a formula, so that one may obtain from it a formula giving maximal scope to "b", viz., the formula  (4). A closed formula of a predicate calculus may be looked upon in two different ways. A symbol of the system may be thought of as some lexical item in an a language. An actual lexical entry and a lexical rule are provided only for a logical constant and aquantifier. On this view, an atomic formula in a normal calculus, for example Fa, will be a categorical subject-predicate sentence in that language. Alternatively, a formula may be thought of as a structures underlying, and exemplified by, this or that sentence in a language, or in languages, any actual lexical item of which is left unidentified. On this view, the formula Fav Gb will be a structure exemplified by a sub-class of the sentences which exemplify the structure Fa. The method of numerical subscripting adopted in G reflects the first of these approaches. In an atomic formula, the numerical subscript on an individual constant is always higher than that on the predicate-constant, in consonance with the fact that an affirmative categorical subject-predicate sentence, like "Socrates is wise" or "Bellerophon rode Pegasus", implies the non-vacuousness of the names which it contains. Had Grice adopted the second approach, he should have had to allow not only F,az, etc., but also Fa,, etc., as formulae; Grice should have then had to provide atomic formulae which would have substitution instances, e.g., Fa,→,G,b,, in which the scope of the individual constant does not embrace the whole formula. The second approach, however, could be accommodated with appropriate changes. The significance of the numerical subscripts is purely ordinal; so, for example, ~, Fjaz and ~17 Fa, will be equivalent. More generally, any pair of "isomorphs" will be equivalent, and G contains a rule providing for the interderivability of isomorphs. @ and & will be isomorphs iff (1) subscripts apart, @ and v are identical, and (2) relations of magnitude -- =, <, > -- holding between any pair of numerical subscripts in are preserved between the corresponding pair of subscripts in & [the numerical subscripts in 4 mirror those in @ in respect of relative magnitudes. Parsons suggested to Grice a notation in which he would avoid the necessity for such a rule, and provided Grice with an axiom-set for a system embodying it which appears to be equivalent to G. Myro makes a similar proposal. The idea is to adopt the notation employed Whitehead’s and Russell’s “Principia Mathematica” for indicating the scope of a definite description. Instead of subscripts, normal parentheses are retained and the scope of an individual constant or bound variable is indicated by an occurrence of the constant or variable in square brackets, followed by parentheses which mark the scope boundaries. So the distinction between ~, Faz and ~, Fa, is replaced by the distinction between ~[a] (Fa) and [a] (~Fa); and the distinction between x4~gFjxz and Ix~Fix, is replaced by the distinction between (5x) (~ [x] (Ex)) and (3x) ([x] (~ Fx)). Parsons’s notation may well be found more perspicuous than Grice, and it may be that Grice should have adopted it for the purposes of his essay, though Grice confesses to liking the obviousness of the link between a numerical subscript and a formation rule. The notion of scope may now be precisely defined for G. If n be a logical constant or quantifier occurring in a closed formula , the scope of an occurrence of y is the largest formula in @ which (a) contains the occurrence of n. (b) does not contain an occurrence a logical constant or quantifier bearing a higher numerical subscript than that which attaches to the occurrence of n. If n be a term -- individual constant or bound variable --, the scope of y is the largest segment of @ which (a) contains the occurrence of n, (b) does not contain an occurrence of a logical constant bearing a higher numerical subscript than that which attaches to the occurrence of n.  A segment is a sequence of symbols which is either (a) a formula or (b) the result of substituting numerical subscript-preserving occurrences of variables for one or more occurrences of individual constants in a formula. We may now define the important related notion of "dominance". A term Ô dominates a segment @ iff @ falls within the scope of at least one of the occurrences, in @, of 0. In other words, 0 dominates if at least one occurrence of ® in @ bears a numerical subscript higher than that attaching to any logical constant in @. Dominance is intimately connected with existential commitment, as will be explained. NATURAL DEDUCTION SYSTEM G Glossary  If"" denotes a symbol of Q, "y." denotes the result of attaching, to that symbol, a numerical subscript denoting n. "ф(aj, x)" = a formula @ containing occurrences of an individual constant a, each such occurrence being either an occurrence of a,, or of..., or of og'. Similarly, if desired, for "Ф(@p... ox)", where "o" ('omega') denotes a variable.] "Ф"="a formula, the highest numerical subscript within which denotes n". If 0, and 0, are terms – an individual constant or a bound variable --, *(02/0,)' = the result of replacing each occurrence of 0, in $ by  an occurrence of 02, while preserving subscripts at substitution-points'. [The upper symbol indicates the substituend.]  B. Provisional Set of Rules for Q  1. Symbols  Predicate-constants (*F", "Fl" Individual constants (*a", 'a'*  "G"  ..).  4B. Variables ("x", "yl* Logical constants ("~* "&"  "v", "→")  (e) Quantification-symbols (V, 3*). [A quantification-symbol followed by a subscripted variable is a quantifier.]  Numerical subscripts (denoting natural numbers). Propositional letters (*p", "q",...). 2. Formulae  A subscripted n-ary predicate constant followed by n unsubscripted variables; a subscripted propositional letter. If @) is a formula, $(*+m/co) is a formula. If i is a formula, Vo, +m$(@/«) is a formula. [NB: Substitutions are to preserve subscripts.] If ) is a formula, 3c, +m (cox) is a formula. [NB: Substitutions are to preserve subscripts.] If a) is a formula, ~+m$ is a formula. If Cp-m and t-n are formulae, ф&,, фу,%. →, Vare for- mulae. is a formula only if it can be shown, by application of (1)-(6), that @ is a formula. 3. Inference-Rules  (1) [Ass] Any formula may be assumed at any point.  （3［~一，DN」～日＋～。中に一ト中・  （4）［&+］中n-m1a-k「中&。  厂¢  Stov. V-n  （0）［V＋］キルーmトWoー』くョが  （2）スター日中、…・・がトら、  then  （4）や、中っ中、がっ中中トら。  （8）［→+，CP】18中一mV・0トXin-ne then v，...oトp→a2.  (9) [--,MPP] frnata-m] 하림.  (10) [V +] If v,... w*H) then v. @*-V@n+m @(w/c), provided  that a does not occur in '...., *  (I1) [V-] V∞,Ф+ф(a/o), provided that Vw, is the scope of Vo,.  (12) (*+)Ф -30, +mV, where y is like p except that, if a occurs in $, at least one such occurrence is replaced in & by an occurrence of o.  （13）（コー）30，中がっ…でトid（alo），x... rFt， provided  that 3w, is the scope of 3o, that a does not occur in any of , x',... x*, v. INB. All substitutions referred to in (10)-(13) will preserve numerical subscripts. Rules (1) (13) are not peculiar to G, except insofar as they provide for the use of numerical subscripts as substitutes for parentheses. The role of term-subscripts has so far been ignored. The following three rules do not ignore the role of term-subscripts, and are special to G  (14) [Dom +] If(1) a dominates ф,  then  [NB. v, thus altered, must remain a formula; for example, a must not acquire a subscript already attaching to a symbol other than x. (14) provides for the raising of numerical subscripts on a in &, including the case in which initially non-dominant a comes to dominate y. A subscript on an occurrence of a may always be lowered. (16) [Iso] If @ and f are isomorphs, ф-v. EXISTENCE Closed Formulae Containing an Individual Constant a If a dominates @ for any interpretation Z, @ will be true on Z only if a is non-vacuous (only if Ta+exists? is true, where '+' is a  concatenation-symbol). If & does not dominate , it may still be the case that @ is true only if & is non-vacuous (for example if ="~,~, F,a," or ="FazV g G,a,", though not if ="F,a,→,G,a,"). Whether or  not it is the case will be formally decidable. Let us abbreviate " is true only if a is non-vacuous" as "@ is E-committal for &". The conditions in which o is E-committal for x can be specified recursively:  (1)  If a dominates , is E-committal for a.  (2)  If =~,*-mV, and is E-committal for a, then $ is E-committal for a.  (3)  If o=v&,t, and either or x is E-committal for a, then $ is E-committal for a.  (4)  If -wVax, and both y and z are E-committal for &, then ф is E-committal for a.  (5)  If =→X, and both ~_ and z are E-committal for a, then @ is E-committal for & [in being greater than the number denoted by any non-term-subscript in 4].  (6)  If =Vo, or 3o,, and (B/∞) is E-committal for a, then ф is E-committal for a.  (ii) Since Fa, →, F,a, is true whether or not "a" is vacuous, the truth of F,a,→, Fa, (in which "a" has become dominant) requires only that a exists, and so the latter formula may be taken as one representation of  "a exists". More generally, if (for some n) a is the only individual constant in (o,) and =→/.-m then may be taken as a representation of Ta + exists?,  B. 3-quantified Formulae  An I-quantified formula Jo, will represent a claim that there exists an object which satisfied the condition specified in @ iff (a/∞) is E-com-mittal for a. To illustrate this point, compare  3x4~, Fx3, and  (ii)  ヨメュ～3F1x2  Since ~, Fa, is E-committal for "a" (is true only if a exists) while  ~, Fa, is not E-committal for "a", (i) can, and (ii) cannot, be read as a claim that there exists something which is not F. The idea which lies behind the treatment of quantification in G is that while (i) and (i) may be taken as representing different senses or different interpretations of  "Something is not F" or of "There is something which is not F", these locutions must be distinguished from "There exists something which is not F", which is represented only by (i). The degree of appeal which G will have, as a model for natural discourse, will depend on one's willingness to distinguish, for example, "There is something such that it is not the case that it flies" from "There is something such that it is something which does not fly", and to hold that (a) is justified by its being false that Pegasus flies, while (b) can be justified only by its being true of some actual thing that it does not fly. Immediately, however, it must be made clear that to accept G as a model for natural discourse is not to accept a Meinongian viewpoint; it is not to subscribe to the idea of a duality, or plurality, of 'modes of being'. Acceptance of G as a model might be expected to lead one to hold that while some sentences of the form "Russell will be interpretable in such a way as (i) to be true, and (ii) to entail not merely "there is something which __" but also "there exists something  __", sentences of the form "Pegasus -  _" will, if interpreted  so as to be true, entail only "there is something which -  _". But from  this it would be quite illegitimate to conclude that while Russell both exists and is -- or has being --, Pegasus merely is -- or has being. "Exists" has a licensed occurrence both in the form of expression "There exists something which —_" and in the form of expression "a exists"; "is" has a licensed occurrence in the form of expression "There is something which __", but not in the form a is". Q creates no ontological jungle. OBJECTION CONSIDERED  It would not be surprising if the combination of the admissibility, according to the natural interpretation of G, of appropriate readings of the inference-patterns  (1)  a does not exist a is not F  and (2)  a is (not) F  something is (not) F  have to be regarded as Q's most counter-intuitive feature.  Consider the following dialogue between A and B at a cocktail party: A(I Is Marmaduke Bloggs here tonight?  B(1) Marmaduke Bloggs?  A(2) You know, the Merseyside stock-broker who last month climbed  Mt. Everest on hands and knees. B(2) Oh! Well no, he isn't here.  A(3) How do you know he isn't here?  B(3) That Marmaduke Bloggs doesn't exist; he was invented by the journalists. A(4) So someone isn't at this party.  B(4) Didn't you hear me say that Marmaduke Bloggs does not exist?  A(5) I heard you quite distinctly; are you under the impression that you heard me say that there exists a person who isn't at this party?  B, in his remarks (3) and (4), seemingly accepts not only inference-pattern (L) but also inference-pattern (2). The ludicrous aspects of this dialogue need to be accounted for. The obvious explanation is, of course, that the step on which B relies is at best dubious, while the step which A adds to it is patently illegitimate; if we accept pattern (I) we should not also accept pattern (2). But there is another possible explanation, namely that  (i given (P) "a does not exist and so a is not F" the putative conclusion from (P), "Something is not F" (C), is strietly speaking (on one reading) true, but  (i) given that (P) is true there will be something wrong, odd, or misleading about saying or asserting (C).  In relation to this alternative explanation, there are two cases to con-sider:  (a) that in which the utterer of (C) knows or thinks that a does not  exist, and advances (C) on the strength of this knowledge or belief; but the non-existence of a is not public knowledge, at least so far as the speaker's audience is concerned;  (b) that which differs from (a) in that all parties to the talk-exchange are aware, or think, that a does not exist. Case (a) will not, perhaps, present too great difficulties; if there is a sense of "Something is not F" such that for this to be true some real thing must fail to be F, the knowledge that in this sense something is not F will be much more useful than the knowledge that something is not Fin the other (weaker) sense; and ceteris paribus one would suppose the more useful sense of (C) to be the more popular, and so, in the absence of counter-indications, to be the one employed by someone who utters (C). Which being the case, to utter  (C) on the strength of the non-existence of a will be misleading.  Case (b) is less easy for the alternative explanation to handle, and my dialogue was designed to be an example of case (b). There is a general consideration to be borne in mind, namely that it will be very unplausible to hold both that there exists a particular interpretation or sense of an expression E, and that to use E in this sense or interpretation is always to do something which is conversationally objectionable. So the alternative explanation will have (I) to say why such a case (b) example as that provided by the dialogue is conversationally objectionable, (2) to offer some examples, which should presumably be case (b) examples, in which the utterance of (C), bearing the putative weaker interpretation would be conversationally innocuous. These tasks might be attempted as follows.  (1) To say "Something is (not) such-and-such" might be expected to have one or other of two conversational purposes; either to show that it is possible (not) to be such-and-such, countering (perhaps in anticipation) the thesis that nothing is even (not) such-and-such, or to provide a prelude to the specification (perhaps after a query) of an item which is (not) such-and-such. A's remark (4) "So someone is not at this party" cannot have either of these purposes. First, M.B. has already been agreed by A and B not to exist, and so cannot provide a counter-example to any envisaged thesis that every member of a certain set (e.g, leading local business men) is at the party. M.B., being non-existent, is not a member of any set. Second, it is clear that A's remark (4) was advanced on the strength of the belief that M.B. does not exist; so whatever specification is relevant has already been given.  (2) The following example might provide a conversationally innocuous use of (C) bearing the weaker interpretation. The cocktail party is a special one given by the Merseyside Geographical Society for its members in honour of M.B., who was at the last meeting elected a member as a recognition of his reputed exploit. A and B have been, before the party, discussing those who are expected to attend it; C has been listening, and is in the know about M.B.  C Well, someone won't be at this party  A, B Who?  C Marmaduke Bloggs  A, B But it's in his honour  C That's as may be, but he doesn't exist; he was invented by the  journalists.  Here C makes his initial remark (bearing putative weak interpretation), intending to cite M.B. in specification and to disclose his non-existence.  It should be made clear that I am not trying to prove the existence or admissibility of a weaker interpretation for (C); I am merely trying to show that the prima facie case for it is strong enough to make investigation worth-while; if the matter is worth investigation, then the formulation of Q is one direction in which such investigation should proceed, in order to see whether a systematic formal representation of such a reading of "Something is (not) F" can be constructed.  As a further consideration in favour of the acceptability of the weaker interpretation of "Something is (not) F", let me present the following  "slide":  (t) To say "M.B. is at this party" would be to say something which is not true.  To say "It is not true that M.B. is at this party" would be to say something which is true. To say "M.B. is not at this party" would be to say something which is true. M.B. is not at this party. (5)  M.B. can be truly said not to be at this party.  (6)  Someone (viz. M.B.) can be truly said not to be at this party.  (7) Someone is not at this party (viz. M.B.).  It seems to me plausible to suppose that remark (I) could have been uttered with truth and propriety, though with some inelegance, by B in the circumstances of the first dialogue. It also seems to me that there is sufficient difficulty in drawing a line before any one of remarks (2) to (T), and claiming that to make that remark would be to make an illegitimate transition from its legitimate predecessor, for it to be worth considering whether one should not, given the non-existence of M.B., accept all seven as being (strictly speaking) true. Slides are dangerous instruments of proof, but it may be legitimate to use them to back up a theoretical proposal.  VII. IDENTITY  So far as I can see, there will be no difficulty in formulating a system Q', as an extension of Q which includes an identity theory. In a classical second-order predicate calculus one would expect to find that the formula (VF) (Fa→Fb) (or the formula (VF) (Fa<+Fb)) is a definitional sub-stituend for, or at least is equivalent to, the formula a =b. Now in Q the sequence Fa-Fb will be incomplete, since subscripts are lacking, and there will be two significantly different ways of introducing subscripts,  (i) F,a3→2 F,b, and (il) F,az→4 F,b. In (i) "a" and "3" are dominant, and the existence of a and of b is implied; in (ii) this is not the case. This difference of subscripting will reappear within a second-order predicate calculus which is an extension of Q; we shall find both (i) (a) VF, F,&3→2 F,b, and (il) (a) VF,F,a2-4 F,by. If we introduce the symbol  ' into Q,  we shall also find iii) VF,F,a,→F,ba and (iv)  VF,F,a,+*,F,b,. We may now ask whether we want to link the identity of a and b with the truth of (iii) or with the truth of (iv), or with both. If identity is linked with (iii) then any affirmative identity-formula involving a vacuous individual constant will be false; if identity is linked with (iv) any affirmative identity formula involving two vacuous individual constants will be true.  A natural course in this situation seems to be to admit to Q' two types of identity formula, one linked with (fii) and one with (iv), particularly if one is willing to allow two interpretations of (for example) the sentence  "Pegasus is identical with Pegasus"  *, on one of which the sentence is false  because Pegasus does not exist, and on the other of which the sentence is true because Pegasus does not exist (just as "Pegasus is identical with  Bellerophon" will be true because neither Pegasus nor Bellerophon exist). We cannot mark this distinction in Q simply by introducing two different identity-signs, and distinguishing between (say) az=,b, and a, =, b3. Since in both these formulae "a" and "b" are dominant, the formulae will be true only if a and b exist. Just as the difference between (ill) and (iv) lies in whether "a" and "3" are dominant or non-dominant, so must the difference between the two classes of identity formulae which we are endeavouring to express in Q'. So Q' must contain both such formulae as az=,b, (strong' identity formulae) and such formulae as aj=,b2 (weak' identity formulae). To allow individual constants to be non-dominant in a formula which is not molecular will be a temporary departure from the practice so far adopted in Q; but in view of the possibility of eventually defining "=" in a second-order calculus which is an extension of Q one may perhaps regard this departure as justified.  Q' then might add to Q  one new symbol, "-"; two new formation rules; (1)  c'=,' is a formula,  (2)  If a, +x=, P,+, is a formula, a, +x mB,+, is a formula, where m>/+k and m> j+1.  (c) two new inference-rules  (1)  (2)  1-Vo,+,- =,0,-, [a weak identity law],  a, -Pe. Ф-ф(P/x). [There is substitutivity both on strong and on weak identity.]  I hope that these additions would be adequate, though I have not taken steps to assure myself that they are. I might add that to develop a representation of an interesting weak notion of identity, one such that Pegasus will be identical with Pegasus but not with Bellerophon, I think that one would need a system within which such psychological notions as "it is believed that" were represented.  VIII. SEMANTICS FOR Q  The task of providing a semantics for Q might, I think, be discharged in  more than one way; the procedure which I shall suggest will, I hope, continue the following features: (a) it will be reasonably intuitive, (b) it will not contravene the philosophical ideas underlying the construction of Q by, for example, invoking imaginary or non-real entities, (e) it will offer reasonable prospects for the provision of proofs of the soundness and completeness of Q (though I must defer the discussion of these prospects to another occasion).  A. Interpretation  The provision of an interpretation Z for Q will involve the following steps:  The specification of a non-empty domain D, within which two sub-domains are to be distinguished: the special sub-domain (which may be empty), the elements of which will be each unit set in D whose element is also in D; and the residual sub-domain, consisting of all elements of D which do not belong to the special sub-domain. The assignment of each propositional letter either to 1 or to 0. The assignment of each n-ary predicate constant y to a set (the E-set of n) of ordered n-tuples, each of which has, as its elements, elements of D. An E-set may be empty. The assignment of each individual constant a to a single element of D (the correlatum of a). If the correlatum of a belongs to the special sub-domain, it will be a unit-set whose element is also in D, and that element will be the designatum of a. If the correlatum of a is not in the special sub-domain, then a will have no designatum. [I have in mind a special case of the fulfilment of step (4), in which every individual constant has as its correlatum either an element of the special sub-domain or the null-set. Such a method of assignment seems particularly intuitive.] If an individual constant a is, in Z, assigned to a correlatum belonging to the special sub-domain, I shall say that the assignment of a is efficient. If, in Z, all individual constants are efficiently assigned, I shall say that Z is an efficient interpretation of Q  It will be noted that, as I envisage them, interpretations of Q will be of a non-standard type, in that a distinction is made between the correlation of an individual constant and its description. All individual constants are given correlata, but only those which on a given interpretation are non-vacuous have, on that interpretation, designata. Interpretations of this kind may be called Q-type interpretations.  B. Truth and Validity  I shall use the expressions "Corr (I)" and "Corr (O)" as abbreviations, respectively, for "correlated with 1" and "correlated with 0". By "atomic formula" I shall mean a formula consisting of a subscripted n-ary predicate constant followed by a subscripted individual constant.  I shall, initially, in defining "Corr(1) on Z" ignore quantificational  (I) If ф is atomic, @ is CorrI) on Z iff i) each individual constant in has in Z a designatum (i.e. its correlatum is a unit set in D whose element is also in D), and ii) the designata of the individual constants in , taken in the order in which the individual constants which designate them occur in , form an ordered n-tuple which is in the E-set assigned in Z to the predicate constant in ф.  (2) If no individual constant dominates $, ф is Corr(1) on Z iff  If =~,%, v is Corr(0) on Z;  (ii)  (iii)  If =v&,x. V and y are each Corr(1) on Z;  If =wv- X, either & or y is Corr(1) on Z;  (iv)  If =V→ax, either v is Corr(0) on Z or x is Corr(I) on Z.  If (x) is a closed formula in which a is non-dominant, and if is like i except that & dominates $, then @ is Corr(1) on Z iff i) v is Corr(1) on Z and (ii) a is efficiently assigned in Z. If a closed formula is not Corr(1) on Z, then it is Corr(0) on Z. To provide for quantificational formulae, some further notions are required.  An interpretation Z' is an i.c.-variant of Z iff Z' differs from Z (if at all) only in that, for at least one individual constant a, the correlatum of a in Z' is different from the correlatum of a in Z. Z' is an efficiency-preserving i.c.-variant of Z iff Z' is an i.c.-variant of Z and, for any a, if a is efficiently assigned in Z a is also efficiently assigned in Z'. Z' is an efficiency-quota-preserving i.c.-variant of Z iff Z' is an i.c.-variant of Z and the number of individual constants efficiently assigned in Z' is not less than the number efficiently assigned in Z.' Let us approach the treatment of quantificational formulae by consi dering the 3-quantifier. Suppose that, closely following Mates's procedure in Elementary Logic, we stipulate that Jc,ф is CorrI) on Z iff @ (x'/∞)  is Corr(I) on at least one i.c.-variant of Z, where a is the first individual constant in Q. (We assume that the individual constants of Q can be ordered, and that some principle of ordering has been selected). In other words, 3co,ф will be Corr(1) on Z iff, without altering the assignment in Z of any predicate constant, there is some way of assigning &' so that ф (a/c) is Corr(1) on that assignment. Let us also suppose that we shall define validity in Q by stipulating that @ is valid in Q iff, for any interpretation Z, @ is Corr(1) on Z.  We are now faced with a problem. Consider the "weak existential" formula 3x2~, F,x2. If we proceed as we have just suggested, we shall be forced to admit this formula as valid; if "a" is the first individual constant in Q, we have only to provide a non-efficient assignment for  "a" to ensure that on that assignment ~, Fa, is Corr(1); for any interpretation Z, some i.c.-variant of Z will provide such an assignment for "a", and so 3x4~3 F,x2 will be CorrI) on Z. But do we want to have to admit this formula as valid? First, if it is valid then I am reasonably sure that Q, as it stands, is incomplete, for I see no way in which this formula can be proved. Second, if in so far as we are inclined to regard the natural language counterparts of valid formulae as expressing conceptual truths, we shall have to say that e.g. "Someone won't be at this party", if given the 'weak' interpretation which it was supposed to bear in the conversations imagined in Section VI, will express a conceptual truth; while my argument in that section does not demand that the sentence in question express an exciting truth, I am not sure that I welcome quite the degree of triviality which is now threatened.  It is possible, however, to avoid the admission of Jx,~, Fix, as a valid formula by adopting a slightly different semantical rule for the  3-quantifier. We stipulate that 3c,, is Corr on on Z iff @ (c'/c) is CorrI) on at least one efficiency-preserving i.c. -variant of 2. Some interpretations of Q will be efficient interpretations, in which "a" will be efficiently assigned; and in any efficiency-preserving i.c.-variant of such an interpretation "a" will remain efficiently assigned; moreover among these efficient interpretations there will be some in which the E-set assigned to  "F" contains (to speak with a slight looseness) the member of each unit-set belonging to the special sub-domain. For any efficient interpretation in which "F" is thus assigned, Fja, will be Corr(1), and ~, F,a, will be Corr(0), on all efficiency-preserving i.c. -variants.  So 3xz~, Fx, will not be CorrI) on all interpretations, i.e. will not be valid.  A similar result may be achieved by using the notion of an efficiency-quota-preserving i.c.-variant instead of that of an efficiency-preserving i.c.-variant; and the use of the former notion must be preferred for the following reason. Suppose  that we use the latter notion;  (ií)  that "a?" is non-efficiently assigned in Z;  that "a" is the first individual constant, and is efficiently assigned in Z;  that "F" includes in its extension the member of each unit-set in the special sub-domain.  Then ~, Fa? is Corr(1) on Z, and so (by E.G.) 3x2~, Fix, is Corr(1) on Z. But "a" is efficiently assigned in Z, so ~3 F,a, is Corr(O) on every efficiency-preserving i.c.-variant of Z (since "F" includes in its extension every designable object). So 3x4~, Fix is Corr(0) on Z.  This contradiction is avoided if we use the notion of efficiency-quota-preserving i.c.-variant, since such a variant of Z may provide a non-efficient assignment for an individual constant which is efficiently assigned in Z itself; and so 3x~, F,x, may be Corr(1) on Z even though "a" is efliciently assigned in Z  So I add to the definition of "Cort(I) on Z'', the following clauses:  (5) If =Vo,, ф is Corr(1) on Z, if v(a'/o) is Corr(1) on every  efliciency-quota-preserving i.c.-variant of Z.  (6) If ф=Jog/, ф is Corr(1) on Z ill y(a'/c) is Corr(1) on at least  one efliciency-quota-preserving i.c.-variant of Z.  [In each clause, "a'" is to be taken as denoting the first individual constant in Q.]  Validity may be defined as follows:  is valid in Q iff, for any interpretation Z, $ is CorrI) on Z Finally, we may, if we like, say that p is true on Z iff p is CorrI) on Z.  IX. NAMES AND DESCRIPTIONS  It might be objected that, in setting up Q in such a way as to allow for the representation of vacuous names, I have ensured the abandonment, at least in spirit, of one of the desiderata which I have had in mind; for  (it might be suggested) if Q is extended so as to include a Theory of Descriptions, its individual constants will be seen to be indistinguishable, both syntactically and semantically, from unanalysed definite descrip-tions; they will be related to representations of descriptions in very much the same way as propositional letters are related to formulae, having lost the feature which is needed to distinguish them from representations of descriptions, namely that of being interpretable only by the assignment of a designatum.  I do not propose to prolong this paper by including the actual presentation of an extension of Q which includes the representation of descrip-tions, but I hope to be able to say enough about how I envisage such an extension to make it clear that there will be a formal difference between the individual constants of Q and definite descriptions. It is a familiar fact that there are at least two ways in which a notation for representing definite descriptions may be developed within a classical system; one may represent "The haberdasher of Mr. Spurgeon is bald" either by (1) G(ix. Fx) or by (2) (ix. Ex) Gx; one may, that is, treat "ix. Fo" either as a term or as being analogous to a (restricted) quantifier. The first method does not allow for the representation of scope-differences, so a general decision will have to be taken with regard to the scope of definite de-scriptions, for example that they are to have maximal scope. The second method does provide for scope-distinctions; there will be a distinction between, for example, (ix. Fx) ~ Gx and ~(ix.Fx) Gx. The apparatus of Q, however, will allow us, if we wish, to combine the first method, that of representing definite descriptions by terms, with the representation of differences of scope; we can, if we like, distinguish between e.g., ~Gax,Fix and ~4G, xgF,x2, and ensure that from the first formula we may, and from the second we may not, derive E!, 1x,F,x2. We might, alternatively, treat descriptions as syntactically analogous to restricted quantifiers, if we so desire. Let us assume (arbitrarily) that the first method is adopted, the scope-boundaries of a descriptive term being, in each direction, the first operator with a higher subscript than that borne by the iota-operator or the first sentential boundary, whichever is nearer.  Let us further assume (perhaps no less arbitrarily) that the iota-operator is introduced as a defined expression, so that such a formula as G, 1x3F x2+78 3x, FIx, 82G, x6 83 VyF,/2*3 V2 - , *2 is provable by defi-  nitional  substitution for the right-hand side of the formula  G,1x,F,x2→4G,1x,F,xz, together with applications of the rules for subscript-adjustment.  Now, as I envisage the appropriate extension of Q, the formal difference between individual constants and descriptive terms will lie in there being a legitimate step (by E. G.) from a formula containing a non-dominant individual constant to the related "weak' existential form, e.g.. from ~, Fa, to 3x4~, F,x2, while there will, for example, be no analogous step from ~ G,1x, F,x2 to 3x4~, G,x2. Such a distinction between individual constants and descriptive terms seems to me to have, at least prima facie, a basis in intuition; I have at least some inclination to say that, if Mr. Spurgeon has no haberdasher, then it would be true (though no doubt conversationally odd) to say "It is not the case that Mr. Spurgeon's haberdasher is bald" (S), even though no one has even suggested or imagined that Mr. Spurgeon has a haberdasher; even though, that is, there is no answer to the question who Mr. Spurgeon's haberdasher is or has been supposed to be, or to the question whom the speaker means by the phrase "Mr. Spurgeon's haberdasher." If that inclination is admissible, then it will naturally be accompanied by a reluctance to allow a step from S to "Someone is not bald" (S,) even when S, is given its 'weak' interpretation. I have, however, already suggested that an utterance of the sentence "It is not the case that Mr. Spurgeon is bald" (S') is not assessable for truth or falsity unless something can be said about who Mr. Spurgeon is or is supposed to be: in which case the step from S' to S, (weakly interpreted) seems less un-justifiable.  I can, nevertheless, conceive of this argument's failing to produce conviction. The following reply might be made: "If one is given the truth of S, on the basis of there being no one who is haberdasher to Mr. Spur-geon, all one has to do is first to introduce a name, say 'Bill', laying down that *Bill' is to designate whoever is haberdasher to Mr. Spurgeon, then to state (truly) that it is not the case that Bill is bald (since there is no such person), and finally to draw the conclusion (now legitimate) that someone is not bald (on the 'weak' reading of that sentence). If only a stroke of the pen, so to speak, is required to legitimize the step from S to S, (weakly interpreted), why not legitimize the step directly, in which case the formal distinction in Q" between individual constants and descriptive terms must either disappear or else become wholly arbitrary?"  A full treatment of this reply would, I suspect, be possible only within the framework of a discussion of reference too elaborate for the present occasion; I can hope only to give an indication of one of the directions in which I should have some inclination to proceed. It has been observeda that a distinction may be drawn between at least two ways in which descriptive phrases may be employed.  (I) A group of men is discussing the situation arising from the death of a business acquaintance, of whose private life they know nothing, except that (as they think) he lived extravagantly, with a household staff which included a butler. One of them says "Well, Jones' butler will be seeking a new position"  (2) Earlier, another group has just attended a party at Jones' house, at which their hats and coats were looked after by a dignified individual in dark clothes and a wing-collar, a portly man with protruding ears, whom they heard Jones addressing as "Old Boy", and who at one point was discussing with an old lady the cultivation of vegetable marrows.  One of the group says "Jones' butler got the hats and coats mixed up". (i The speaker in example (1) could, without impropriety, have inserted after the descriptive phrase "Jones' butler" the clause "whoever he may be". It would require special circumstances to make a corresponding insertion appropriate in the case of example (2). On the other hand we may say, with respect to example (2), that some particular individual has been "described as', 'referred to as', or 'called' Jones' butler by the speaker; furthermore, any one who was in a position to point out that Jones has no butler, and that the man with the protruding ears was Jones' gardener, or someone hired for the occasion, would also be in a position to claim that the speaker had misdescribed that individual as Jones' butler. No such comments are in place with respect to example (1).  (i) A schematic generalized account of the difference of type between examples (1) and 2) might proceed along the following lines. Let us say that X has a dossier for a definite description & if there is a set of definite descriptions which includes o, all the members of which X' supposes (in one or other of the possible sense of 'suppose") to be satisfied by one and the same item. In a type (2) case, unlike a type (I) case, the speaker intends the hearer to think (via the recognition that he is so intended) (a) that the speaker has a dossier for the definite description & which he has used, and (b) that the speaker has selected & from this dossier at least partly  in the hope that the hearer has a dossier for & which 'overlaps' the speaker's dossier for & (that is, shares a substantial, or in some way specially favoured, subset with the speaker's dossier). In so far as the speaker expects the hearer to recognize this intention, he must expect the hearer to think that in certain circumstances the speaker will be prepared to replace the remark which he has made (which contains &) by a further remark in which some element in the speaker's dossier for & is substituted for &. The standard circumstances in which it is to be supposed that the speaker would make such a replacement will be (a) if the speaker comes to think that the hearer either has no dossier for 8, or has one which does not overlap the speaker's dossier for & (i.e., if the hearer appears not to have identified the item which the speaker means or is talking about), (b) if the speaker comes to think that 8 is a misfit in the speaker's dossier for 6, i.e., that & is not, after all, satisfied by the same item as that which satisfies the majority of, or each member of a specially favoured subset of, the descriptions in the dossier. In example (2) the speaker might come to think that Jones has no butler, or that though he has, it is not the butler who is the portly man with the protruding ears, etc., and whom the speaker thinks to have mixed up the hats and coats.  (iii) If in a type (2) case the speaker has used a descriptive phrase (e.g.,  "Jones' butler") which in fact has no application, then what the speaker has said will, strictly speaking, be false; the truth-conditions for a type (2) statement, no less than for a type (I) statement, can be thought of as being given by a Russellian account of definite descriptions (with suitable provision for unexpressed restrictions, to cover cases in which, for example, someone uses the phrase "the table" meaning thereby "the table in this room"). But though what, in such a case, a speaker has said may be false, what he meant may be true (for example, that a certain particular individual [who is in fact Jones' gardener] mixed up the hats and coats).  Let us introduce two auxiliary devices, italics and small capital let-ters, to indicate to which of the two specified modes of employment a reported use of a descriptive phrase is to be assigned. If I write "S said 'The Fis G'," I shall indicate that S was using "the F" in a type  (1), non-identificatory way, whereas if I write "S said "THE F is G'," I shall indicate that S was using "the F" in a type (2), identificatory way.  It is important to bear in mind that I am not suggesting that the difference  between these devices represents a difference in the meaning or sense which a descriptive phrase may have on different occasions; on the con-trary, I am suggesting that descriptive phrases have no relevant systematic duplicity of meaning; their meaning is given by a Russellian account.  We may now turn to names. In my type (I) example, it might be that in view of the prospect of repeated conversational occurrences of the expression "Jones' butler," one of the group would find it convenient to say "Let us call Jones' butler 'Bill'." Using the proposed supplementa-tion, I can represent him as having remarked "Let us call Jones' butler  'Bill'." Any subsequent remark containing "Bill" will have the same truth-value as would have a corresponding remark in which "Jones" butler" replaces "Bill". If Jones has no butler, and if in consequence it is false that Jones' butler will be seeking a new position, then it will be false that Bill will be seeking a new position.  In the type (2) example, also, one of the group might have found it convenient to say "Let us call Jones' butler 'Bill'," and his intentions might have been such as to make it a correct representation of his remark for me to write that he said "Let us call JONES' BUTLER 'Bill'." If his remark is correctly thus represented, then it will nor be true that, in all conceivable circumstances, a subsequent remark containing "Bill" will have the same truth-value as would have a corresponding remark in which "Bill'" is replaced by "Jones's butler". For the person whom the speaker proposes to call "Bill" will be the person whom he meant when he said "Let us call JONES'S BUTLER 'Bill"," viz., the person who looked after the hats and coats, who was addressed by Jones as "Old Boy", and so on; and if this person turns out to have been Jones's gardener and not Jones's butler, then it may be true that Bill mixed up the hats and coats and false that Jones's butler mixed up the hats and coats. Remarks of the form "Bill is such-and-such" will be inflexibly tied, as regards truth-value, not to possible remarks of the form "Jones's butler is such-and-such", but to possible remarks of the form "The person whom X meant when he said  'Let us call Jones's butler "Bill"'' is such-and-such".  It is important to note that, for a definite description used in the explanation of a name to be employed in an identificatory way, it is not required that the item which the explainer means (is referring to) when he uses the description should actually exist. A person may establish or explain a use for a name a by saying "Let us call THE F a" or "THE F iS  called a" even though every definite description in his dossier for "the F" is vacuous; he may mistakenly think, or merely deceitfully intend his hearer to think, that the elements in the dossier are non-vacuous and are satisfied by a single item; and in secondary or 'parasitic' types of case, as in the narration of or commentary upon fiction, that this is so may be something which the speaker non-deceitfully pretends or *feigns'.  So names introduced or explained in this way may be vacuous.  I may now propound the following argument in answer to the objection that any distinction in Q between individual constants and descriptive terms will be arbitrary.  (1) For a given definite description ô, the difference between a type  (L) and type (2) employment is not to be construed as the employment of o in one rather than another of two systematically different senses of б.  A name a may be introduced either so as to be inflexibly tied, as regards the truth-value of utterances containing it, to a given definite description ó, or so as to be not so tied (6 being univocally employed); so the difference between the two ways of introducing a may reasonably be regarded as involving a difference of sense or meaning for a; a sense in which a may be said to be equivalent to a definite description and a sense in which it may not. It is, then, not arbitrary so to design Q that its individual constants are to be regarded as representing, among other lingustic items, names used with one of their possible kinds of meaning, namely that in which a name is not equivalent to a definite description. X. CONCLUDING REMARKS  I do not propose to attempt the important task of extending Q so as to include the representation of psychological verb-phrases, but I should like to point out a notational advantage which any such extension could be counted on to possess. There are clearly at least two possible readings of such a sentence as "John wants someone to marry him", one in which it might be paraphrased by "John wants someone or other to marry him" and another in which it might be paraphrased by "John wants a particular person to marry him" or by "There is someone whom John wants to marry him", Symbolizing "a wants that p" by Wap, and using the apparatus of classical predicate logic, we might hope to represent reading (I)  by W°(3x) (Fxa) and reading (2) by (Ix) (W"Exa). But suppose that John wants Martha to marry him, having been deceived into thinking that his friend William has a highly delectable sister called Martha, though in fact William is an only child. In these circumstances one is inclined to say that "John wants someone to marry him" is true on reading (2), but we cannot now represent reading (2) by (x) (WªFxa), since Martha does not exist.  The apparatus of Q should provide us with distinct representations for two familiar readings of "John wants Martha to marry him", viz., (a) WyF,bya, and (b) W9F,b,a,, Given that Martha does not exist only  (b) can be true. We should have available to us also three distinct J-quantificational forms (together with their isomorphs):  (i)  (ii)  3x,W2Fix4d3:  (ili)  Since in iii) "" does not dominate the segment following the 3-quantifier, (iii) does not have existential force, and is suitable therefore for representing "John wants a particular person to marry him" if we have to allow for the possibility that the particular person does not actually exist. [ and iii) will be derivable from each of (a) and (b); (ii) will be derivable only from (a)-]  I have in this paper developed as strong a case as I can in support of the method of treatment of vacuous names which I have been expounding.  Whether in the end I should wish to espouse it would depend on the outcome of further work on the notion of reference.  REFERENCES  1 I am particularly indebted to Charles Parsons and George Booles for some extremely helpful correspondence, to Geerge Myro for countless illuminating suggestions and criticisms, and to Benson Mates for assistance provided both by word of mouth and via his book Elementary Logic, on which I have drawn a good deal.  * I owe the idea of this type of variant to George Myro, whose invaluable help was essential to the writing of this section.  3 c.g. by K. S. Donnellan, 'Reference and Definite Descriptions", Philosophical Reviews  75 (1966) 281-304; as may perhaps be seen from what follows, I am not sure that I am wholly sympathetic towards the conclusions which he draws from the existence of the distinction. Nome compiuto: Quarta. Keywords: utopici, Campanella, solidarietà, erewhon, il linguaggio utopico di Campanella, Eco, lingua perfetta, deutero-Esperanto, caratteristica universale, il sistema G-hp di Myro. Refs.: Luigi Speranza, “Grice e Quarta” – The Swimming-Pool Library.

 

Luigi Speranza – GRICE ITALO!; ossia, Grice e Quattromani: la ragione conversazionale e le conversazione -- la meta-fora come implicatura conversazionale in Catone, Virgilio ed Orazio – la scuola di Cosenza -- filosofia calabrese -- filosofia italiana -- Luigi Speranza (Cosenza). Abstract. Keywords: Catone, Petrarca, Virgilio, Telesio, Orazio. Filosofo italiano. Cosenza, Calabria. Essential Italian philosopher. Parente di Telesio, cresciuto in un ambiente strettamente collegato alla cultura e alla nobiltà cosentina, viene educato alle idee valdesiane da Fascitelli. Si trasfere a Roma. Qui frequenta la biblioteca in Vaticano e ha modo di intessere relazioni con diversi esponenti dell’ambiente filosofico. Uno studio riguardarono PETRARCA (si veda), con particolare riferimento alle sue fonti. Dopo un breve soggiorno a Napoli, torna a Cosenza. Da qui scrive a Rota, per suggerirgli alcune correzioni alla seconda edizione accresciuta delle sue rime. Effettua una serie di spostamenti tra la sua città natale e Roma. Il periodo è contrassegnato da alcune sue epistole, a carattere storico-letterario. Risiede a Napoli. Ri-entrato a Cosenza scrive a Cavalcanti, che è con lui consulente della congregazione dell’indice, e  assume la direzione dell’accademia di Cosenza, cui Q. da nuovo impulso, sia dal punto di vista squisitamente letterario, sia incentivando l'attenzione per la FILOSOFIA.  A Napoli pubblica La philosophia esperimentale dell’osservazione di TELESIO (si veda), che dedica a Carafa e le rime dedicate a Bernaudo. Rimonta, invece, la sua traduzione de Le historie del Cantalicio, nelle quali il nome è celato dietro lo pseudonimo di ‘incognito academico cosentino’.  Altre saggi: Manoscritti, Vaticano, Sonetto di Ms. della Casa. Oratione di MARCO CATONE, Giudizio sopra alcune stanze di TASSO (si veda), Vaticano, Commento a tre sonetti del Casa, lettera a Caro, lettera a Mauro, lettera al Principe della Scalea, lettera a Ardoino, lettera a Bombino, Lettera ad Amico, Lettera a Marotta, Lettera ad Egidio, Lettera a Bilotta, Parallelo tra il Petrarca e Casa, Della meta-fora -- You’re the cream in my coffee -- Sentimento della Poetica di ORAZIO (si veda); A Tasso Il Monta.no Acc.co Cose; Lettera a Pellegrino, Lettera a Sambiase  Lettera alla Duchessa, Lettera a Sirleto, Cosenza, biblioteca, ex libris, Bibliothecae Marchionis D. Matthaei de Sarno, Istoria della città di Cosenza, Biblioteca di Bonis, Lettere a Bernaudo da una raccolta favoritami da Bombini, Firenze, Biblioteca Nazionale Centrale, Fondo Palatino, Luoghi difficili del Bembo, Napoli, Biblioteca, manuscripta autographa Summontis et aliorum ætate eius clariorum, Lettera a Reski, Roma, Biblioteca Angelica, rilegato con Barrii Francicani de antiquitate et situ Calabriæ, Roma, Angelis; Annotationes Barrium Stampe; La philosophia esperimentale dell’osservazione di TELESIO, Ristretta in brevità, e scritta in lingua toscana dal Montano academico cosentino alla Eccellenza del Sig. Duca di Nocera con licenza de’ Superiori. Marchio ed. In Napoli Appresso Gioseppe Cacchi al ilustre S. G. Bernaudo, in a a le rime di Ardoino Academico Cosentino in morte della Signora Isabella Q. sua moglie con Licenza de' Superiori Marchio ed. in Napoli Appresso Gioseppe Cacchi. Le historie de Monsig. Gio. Battista Cantalicio vescovo di Civita di Penna, et d’altri delle guerre fatte in Italia da Aylar, di Cordova,  detto il gran capitano, tradotte in lingua toscana a richiesta di Gio. Maria Bernavdo in Cosenza per L. Castellano. Le historie de Cantalicio; Dele guerre fatte in Italia da Aylar, di Cordova, detto il gran capitano, tradotte in lingua Toscana a richiesta di Gio. Maria Bernaudo nuouamente corretta, et ristampata, in Cosenza per Leonardo Angrisano, e Castellano, ad istanza di Bacco, libraro in Napoli. Le historie di Monsig. G. Cantalicio, vescovo d’Atri et Civita di Penna, delle guerre fatte in Italia da Aylar, di Cordova, detto il gran Capitano, tradotte in lingua toscana  a richiesta di G. Bernaudo, Napoli Apresso Gio Giacomo Carlino Ad istanza di Bacco, alla Libraria dell'Alicorno rime di mons. Gio. Della Casa. Fregio In Napoli, appresso Lazaro Scoriggio, lettere divise in II libre e la tradottione del Quarto dell'Eneide di VIRGILIO (si veda) del medesimo Auttore all'Illustrissimo et Eccellentissimo Signor Marchese della valle, ecc. in Napoli, Per Scoriggio. Il IV libro di Vergilio in verso toscano. Trattato della Meta-Fora -- You’re the cream in my coffee” +> You are my pride and joy; Parafrasi Toscana della Poetica d’Orazio. Traduzione della medesima Poetica in verso toscano. Alcune annotazioni sopra di essa, alcune poesie toscane, e latine, Fregio in Napoli, Mosca con Licenza de' Superiori. Barrii Francicani: De Antiquitate et situ Calabriæ nunc primum ex authographo restitutos ac per capita distributi. Prolegomena, Additiones, et Notæ. Quibus accesserunt animadversions, Roma, S. Michaelis ad Ripam Sumptibus Hieronymi Mainardi Superiorum permissu. Scritti vari, editi per la prima volta in Napoli da Egizio ed ora riveduti, riordinati e ripubblicati in più nitida edizione da Stocchi, Castrovillari, Calabrese, A questo proposito, in un'articolata lettera inviata, da Roma a Cosenza,  illustra a Ferrao le ragioni per cui l'opera del PETRARCA merita la sua attenzione, e la ricerca che sta compiendo sui poeti provenzali, riferendo che di ciò aveva già parlato con Manuzio, edizione veneziana di Ferrari. Stessa cosa si verifica per la II edizione, mentre soltanto postumo, nell'edizione napoletana compare quale traduttore. Scienza e scienza della letteratura in Q., in Telesio e la cultura napoletana, Sirri e M. Torrini, Napoli L. Borsetto, La Poetica di ORAZIO tradotta. Contributo alla studio della ricezione oraziana tra Rinascimento e Barocco, in ORAZIO e la letteratura italiana, Roma Eadem, Enciclopedia oraziana, Eadem, Pulzelle e Femine di mondo. L'epistolario postumo, Alla lettera. Teorie e pratiche epistolari dai greci al Novecento, Chemello, Milano Capacius I.C., Illustrium mulierum et illustrium litteris virorum Elogia, Neapoli, Carlinus e Vitale, Chioccarello, De illustribus scriptoribus Regni Neapolitani, Cornacchioli, Nobili, borghesi e intellettuali nella Cosenza, Cosenza, Cozzetto, Aspetti della vita e inventano della biblioteca attraverso un documento cosentino, in «Periferia», Crupi P., Storia della letteratura calabrese. Autori e Testi, Cosenza, Franco La biblioteca di un letterato, Annali dell'Istituto Universitario Orientale, Frede, I libri di un letterato calabrese, Q., Napoli De Frede C., Un letterato e i suoi libri, Q. in «Atti dell'Accademia Pontaniana», Debenedetti, Gli studi provenzali in Italia, Torino  Egizio, Napoli, rist. in Q., Scritti vari, editi per la prima volta in Napoli d’Egizio ed ora riveduti, riordinati e ripubblicati in più nitida edizione da Stocchi, Dalla Tipografia del Calabrese, Castrovillari Filice E. E., Cosenza; Fratta, Il “Ristretto” nell'ambito delle traduzioni filosofiche, in Telesio e la cultura napoletana, Sirri e Torrini, Napoli Gorni G., Un commento inedito alle “Rime” del Bembo; Telesio, Della Casa, Q., interprete di Tasso, Gl’amori di Q., il disegno culturale. La critica e le lettere; “Telesio, Bari Zangari D., Di un manoscritto inedito di Q. e delle sue relazioni col Tasso; Dizionario biografico degli italiani, Istituto dell'Enciclopedia Italiana.  Dopo che Cesare finì di parlare, gli altri consentivano all'opinione dell'uno o dell'altro con una sola parola. Ma quando venne chiesto a M. Porcio Catone di esprimere il suo parere, egli tenne un discorso del genere: "Assai diverso è il mio animo, o padri coscritti, quando considero la nostra vicenda e i pericoli, e quando fra me valuto l'opinione di alcuni. Mi sembra che essi abbiano dissertato sulla pena per coloro che hanno preparato una guerra contro la loro patria, contro i parenti, contro gli altari e i focolari; ma la situazione ci ammonisce a difenderci contro di essi piuttosto che consultarci sulle condanne da infliggere loro. Tutti gli altri crimini vengono puniti quando sono stati commessi; questo invece, se non ti adopererai per non farlo accadere, una volta avvenuto invocherai inultilmente le sentenze: presa la città, nulla resta per i vinti. Ma, per gli Dei immortali, mi rivolgo a voi che avete avuto a cuore i palazzi, le ville, le statue, i quadri, piuttosto che la repubblica: se volete conservare tali beni, di qualunque tipo essi siano e ai quali siete così attaccati, se volete dedicarvi tranquillamente ai vostri piaceri, svegliatevi infine, e prendete in mano il destino della repubblica. Non si tratta di tributi o di offese agli alleati: sono in gioco la libertà e la nostra vita. Spesso, o padri coscritti, ho parlato a lungo in vostra presenza; spesso ho biasimato il lusso e l'avidità dei nostri concittadini, e per questo motivo mi si sono fatto molti nemici. Per me, che non avrei mai perdonato a me stesso e al mio animo nessun delitto, non era facile perdonare ad altri le malefatte della loro libidine. Ma nonostante a voi non importasse di ciò, tuttavia la repubblica era forte: la ricchezza tollerava la negligenza. Ma ora non si tratta di questo, se viviamo virtuosamente o viziosamente, né di quanto sia grande e magnifico l'impero del popolo romano, ma di sapere se questi beni, in qualunque modo li si valuti, rimarranno nostri o cadranno insieme a noi nelle mani del nemico. E ora qualcuno mi viene a parlare di clemenza e di pietà? Già da tempo, a dire la verità, abbiamo disimparato il vero senso delle parole: poiché dilapidare il denaro altrui si dice generosità e l'audacia nei malaffari si chiama coraggio, per questo la repubblica è ridotta allo stremo. Poiché tali sono i costumi, siano pure generosi con le ricchezze degli alleati; lascino impuniti i ladri dell'erario; ma non giochino con il nostro sangue, e per risparmiare pochi disgraziati, non mandino tutti i galantuomini in rovina. Con parole compunte ed eleganti Cesare ha giustappoco dissertato sulla vita e sulla morte, reputando come favole, io credo, le leggende sugli Inferi, secondo le quali i malvagi, per cammino diverso dai buoni, sono assegnati a luoghi tetri, selvaggi, spaventosi e luridi. E così ha proposto di sequestrare i beni dei colpevoli, e di tenere costoro in prigione nei municipi, evidentemente per paura che, qualora restassero a Roma, siano liberati con la forza dai complici della congiura e da gentaglia aizzata per tale fine: come se i malvagi e i criminali si trovassero solo in città, e non in tutta Italia, e come se l'audacia non avesse più potere dove minori sono le forze della difesa. Perciò è sicuramente inutile questo provvedimento, se Cesare teme un pericolo da parte di quelli; se fra lo spavento di tutti egli è il solo a non avere paura, tanto più importa che io e voi temiamo. Perciò, quando voi vi pronuncerete sulla sorte di Lentulo e degli altri, date per sicuro che deciderete anche dell'esercito di Catilina e di tutti i congiurati. Quanto più energicamente agirete voi, tanto più debole sarà il loro animo; se vi vedranno vacillare appena un poco, subito si ergeranno tutti come belve. Non pensate che i nostri antenati, da piccola, abbiano fatto grande la repubblica con le armi. Se fosse così, noi oggi la avremmo ancora più bella, visto che senza dubbio abbiamo maggiore abbondanza di alleati e di cittadini, e maggior numero di armi e di cavalli di quanti ne ebbero loro. Ma furono altre cose, che noi invece non abbiamo affatto, a renderli grandi: la laboriosità in patria, la giustizia nel governare all'estero, l'animo indipendente nel decidere, libero da rimorsi e passioni. Al loro posto noi abbiamo lusso e avidità, misere le finanze pubbliche, e opulente le private; lodiamo le ricchezze, aspiriamo all'ozio, non vi è alcuna distinzione fra buoni e cattivi; ogni ricompensa dovuta alla virtù è in mano all'imbroglio. Né c'è da meravigliarsi: quando voi deliberate separatamente, ognuno a proprio vantaggio, quando in casa siete schiavi del piacere, e qui del denaro e del favore, da ciò consegue che si faccia violenza allo Stato indifeso. Ma lasciamo perdere questo argomento. Cittadini della più alta nobiltà hanno congiurato per mettere la patria a ferro e fuoco; chiamano alla guerra il popolo dei Galli, il più ostile al nome romano; il capo dei nemici ci sta col fiato sul collo con un esercito: e voi ancora indugiate ed esitate riguardo alla punizione da infliggere a nemici catturati dentro le mura della città? Abbiatene pietà, vi suggerisco; sono ragazzi, hanno sbagliato per ambizione; anzi di più, liberateli armati; purché questa vostra clemenza e pietà, se essi prendono le armi, non si trasformi in rovina. Di certo la questione è grave, ma voi non la temete. Anzi vi terrorizza: ma per inerzia e mollezza d'animo voi prendete tempo aspettando l'uno dopo l'altro, certamente confidando negli Dei immortali, che hanno salvato sempre questa repubblica nei più grandi pericoli. Ma con voti o le suppliche delle donne non si ottiene l'aiuto degli Dei, mentre con la vigilanza, l'azione, le sagge decisioni, tutte le cose volgono al meglio. Se ti abbandonassi all'inerzia e all'ignavia, invano imploreresti gli Dei; essi sarebbero arrabbiati e ostili. Al tempo dei nostri antenati, A. Manlio Torquato, durante la guerra contro i Galli fece giustiziare suo figlio perché contro gli ordini aveva attaccato il nemico, e quel giovane valoroso pagò con la morte la colpa di un eccessivo coraggio; e voi osate esitare nello stabilire la sorte dei più crudeli parricidi? Certamente tutta la loro vita passata è in contrasto con questo loro crimine. Ebbene rispettate l'onore di Lentulo, se egli ebbe mai riguardo del suo pudore e della sua reputazione, degli Dei e degli uomini; perdonate la giovinezza di Cetego, se non è la seconda volta che egli prende le armi contro la patria. E che dire di Gabinio, Statilio, Cepario? Se avessero mai avuto scrupoli non avrebbero organizzato un tale progetto contro la repubblica. Infine, o padri coscritti, se potessimo, per Ercole, rischiare di sbagliare, lascerei volentieri che voi foste corretti dagli eventi, visto che non vi curate delle parole. Ma siamo circondati da tutte le parti; Catilina con l'esercito ci serra la gola, altri nemici sono tra le mura, nel cuore della città, e non si può preparare né decidere nulla in segreto: ragione in più per sbrigarci. Perciò io propongo: poiché per scellerato complotto di delinquenti la repubblica è stata messa in gravissimo pericolo, e, poiché convinti su denuncia di T. Volturcio e degli ambasciatori Allobrogi essi stessi hanno confessato il proposito di stragi, incendi e altri turpi e crudeli atti contro i cittadini e la patria, come colti in flagrante delitto capitale, siano condannati a morte secondo l'uso degli antichi." Nome compiuto: Sertorio Quattromani. Quattromani. Keywords: implicature, la philosophia di Telesio, Orazio, Poetica, Tratatto della metafora, You’re the cream in my coffee +> You are my pride and joy; Il Quarto di Virgilio, Petrarca, Marco Catone. Refs.: Luigi Speranza, “Grice e Quattromani” – The Swimming-Pool Library.

 

Luigi Speranza – GRICE ITALO!; ossia, Grice e Quintilio: la ragione conversazionale all’orto romano – ragione, conversazione e l’ambizione ed adulazione nell’implicatura conversazionale di Virgilio – Roma – filosofia italiana – Luigi Speranza (Roma). Abstract. Keywords: l’orto, Virgilio, Siro. Filosofo italiano. Orto. Pupil of SIRO (si veda), with VIRGILIO (si veda), and of Filodemo. He writes two philosophical essays: one on greed, and one on flattery – “which amusingly, Virgil tended to confuse!” – Grice. Nome compiuto: Quintilio Varo. Quintilio.

 

Luigi Speranza – GRICE ITALO!; ossia, Grice e Quinto: la ragione conversazionale degli scolari dell’antica Roma – la scuola di Pieve -- filosofia toscana -- filosofia italiana – Luigi Speranza (Pieve). Abstract. Keywords: scatologia filosofica, allegoria, analogia. Vio. Filosofo italiano. Pieve, Toscana. Essential Italian philosopher. Studia a Conegliano e Milano sotto Pupi. Contrassegnate dall'adozione d’un rigoroso metodo filologico, studia la storia del concetto di “scolastica”. Altri saggi: Timor e timiditas. Note di lessicografia d’AQUINO (si veda), La lingua del Lazio: latino patristico e latino scolastico. Dalla comprensione della lingua del Lazio all'interpretazione del pensiero, Sui sensi, sensi, medio-evo; Il timor nella lingua della scolastica, Archivum latinitatis medii ævi, Per la storia del trattato d’AQUINO de passionibus animi. Il timor. Le scholæ del medio-evo come comunità di sapienti, Scholastica. Storia di un concetto, Padova. Lectio, dis-putatio, prae-dicatio: la triade dell'esercizio scolastico secondo AQUINO, In principio est verbum. Testi sul timore del divino dal ms. Rivista di Storia della Filosofia, Teologia allegorica, e teologia scolastica in alcuni commenti all’historia scholastica” di Comestore. Nome compiuto: Riccardo Quinto. Quinto. Keywords: gli scolari, sensi non sunt multiplicanda praeter necessitatem, aequivocale, sensus, analogia, Vio, allegoria. Refs.: Luigi Speranza, “Grice e Quinto” – The Swimming-Pool Library.