Abstract
In this paper I argue that descriptive content associated with a proper name can serve as a truth-conditionally relevant adjunct and be an additional contribution of the name to the truth-conditions. Definite descriptions the so-and-so associated by speakers with a proper name can be used as qualifying prepositional phrases as so-and-so, so sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so). Used as an adjunct, the descriptive content of a proper name expresses the additional circumstances of an action (a manner, reason, goal, time or purpose) and constitute a part of a predicate. I argue that qualifying prepositional phrases should be analyzed as predicate modifiers and propose a formal representation of modified predicates. The additional truth-conditional relevance of the descriptive content of a proper name helps to explain the phenomenon of the substitution failure of coreferential names in simple sentences.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In 2004 in Austria a scandal erupted around the holiday taken in the Tyrol region by the Belarusian president, Alexander Lukashenko. ‘Europe’s last dictator’ bypassed the EU sanctions which prohibited the entry of the Belarusian president to the European Union. But how was he able to do so despite being blacklisted? It transpired that Lukashenko also chaired the Belarusian Olympic Committee and some Austrian bankers managed to circumvent the ban on his entry to the EU by inviting him as the chairman of the Belarusian Olympic Committee. In the context of this unbelievable (but true) story, consider the two sentences below:
- (1):
-
The President of Belarus is blacklisted
- (2):
-
The chairman of the Belarusian Olympic Committee is not blacklisted
As we know, the President of Belarus and the chairman of the BOC is the same person. Intuitively both sentences could be true at the same time but, according to the standard definition of the satisfaction of formulas with a definite description in a modal logic given for example by Fitting and Mendelsohn (1998: 232, 254), these sentences are contradictory. Let ‘B’ stand for ‘to be blacklisted’, ‘ιx.P(x)’ stand for ‘the present President of Belarus’ and ‘ιx.C(x)’ stand for ‘the present chairman of the Belarusian Olympic Committee’. According to standard definition,
- (1):
-
\(\begin{aligned} & {\mathfrak{M}}^{g w t} { \vDash }\left( {\lambda y.B\left( y \right)} \right)\left( {\iota x.P\left( x \right)} \right)iff \\ & {\mathfrak{M}}^{{g(_{y}^{d} ) wt}} { \vDash }B\left( y \right),where\,d = I_{{\left\langle {w, t} \right\rangle }}^{g} \left( {\iota x.P\left( x \right)} \right). \\ \end{aligned}\)
- (2):
-
\(\begin{aligned} & {\mathfrak{M}}^{gwt} { \vDash }\left( {\lambda y.\sim\,B\left( y \right)} \right)\left( {\iota x.C\left( x \right)} \right)\,iff \\ & {\mathfrak{M}}^{{g(_{y}^{d} )wt}} { \vDash }\sim\,B\left( y \right),\,where\,d = I_{{\left\langle {w, t} \right\rangle }}^{g} \left( {\iota x.C\left( x \right)} \right)\,iff \\ & {\mathfrak{M}}^{{g(_{y}^{d} )wt}} { \nvDash }B\left( y \right),\,where\,d = I_{{\left\langle {w, t} \right\rangle }}^{g} \left( {\iota x.C\left( x \right)} \right). \\ \end{aligned}\)
As we know from the story above, \(I_{{\left\langle {w, t} \right\rangle }}^{g} \left( {\iota x.P\left( x \right)} \right) = I_{{\left\langle {w, t} \right\rangle }}^{g} \left( {\iota x.C\left( x \right)} \right)\), so sentences (1) and (2) are contradictory because one and the same person could not be blacklisted and not blacklisted at the same time.Footnote 1 Sentences such as (1) and (2) constitute an example of non-substitutivity between two coreferential expressions in simple sentences. Link (1983), Landman (1989) and Szabó (2003) drew attention to the fact that the phenomenon of lacking substitutivity is widespread and, apart from descriptions, concerns coreferential groups terms (The Committee Puzzle), plural terms (‘The judges/the hangmen are on strike’, Landman 1989: 724) and natural kinds terms (‘Water is often dirty, but H2O is never dirty’, Szabó 2003: 387). Recently Saul (1997, 2007) noted that a substitution failure also occurs in simple sentences when a change from one coreferential proper name to another affects the truth-value of a sentence in an extensional context. Consider:
- (3):
-
Cassius Clay was never beaten whereas Muhammad Ali lost five times.
Intuitively, (3) could be true: Muhammad Ali was never beaten when he fought as Cassius Clay and he lost five times when he fought as Muhammad Ali. The divergences between intuitions and formal truth conditions suggest that the role of descriptive content associated with proper names (and other terms) could not only be reference determining but this content could also be truth-conditionally relevant in some other way and be an additional contribution of a proper name into truth-conditions. This hypothesis explains why intuitive truth-conditions for sentences with proper names (and other terms) could differ from the truth-conditions of these sentences in a standard model. In this paper I will concern myself with the descriptive content of proper names and develop a hypothesis that it could behave as a truth-conditionally relevant adjunct and, as such, could modify a predicate (that is, could express truth-conditionally relevant circumstances of action named by the predicate). The main thesis of this paper is that identifying descriptions the so-and-so associated by speakers with a proper name could be used as qualifying prepositional phrases as so-and-so, so the sentences containing a proper name NN is doing something could be understood as NN is doing something as NN (which means as so-and-so).
The paper is structured in the following manner. In the next two sections I explain the notion of as-phrases modification and list its semantic properties. In Sect. 4 I propose a formal representation of as-phrases modification and, in Sect. 5, I briefly outline a way in which the puzzle of substitution failure of proper names in simple sentences could be solved with the help of this formalism. Section 6 contains concluding remarks and finally in Sect. 7 I present the formal machinery for predicate modifiers and prove some statements.
2 Qualifying prepositional as-phrases
Let us look again at (1), (2) and (3) sentences. It is very natural to paraphrase all of them using as-phrases: Lukashenko had a ban on visiting the EU as the President of Belarus but had no ban on visiting the EU as the chairman of BOC. Similarly the greatest boxer was never beaten when he fought as Cassius Clay and he lost five times when he fought as Muhammad Ali.Footnote 2 All the paraphrases contain the as preposition which, as with all prepositions, syntactically should be completed by a NP-phrase (Carnie 2006: 69). Such a NP-phrase could be very complex and contain explicitly expressed predicates or it could be represented by the anaphoric pronoun such (as such). The presence of the such pronoun in a paraphrase is evidence of adjectival anaphora with a property-denoting expression taken as antecedent.Footnote 3,Footnote 4 For example, if we paraphrase (1) as ‘The President of Belarus is blacklisted as such’ we naturally understand that the anaphoric pronoun such stands in this sentence for ‘the President of Belarus’. Similarly in cases of sentences containing an as-phrase and a proper name (as in Forbes’ example ‘Lex fears Clark, not as such but as Superman’) the proper name is understood as standing for a property, and that is why it can be replaced by the pronoun such which takes an adjective as an antecedent.
From the syntactical point of view as-prepositional phrases are adjunctsFootnote 5 and predicate modifiers (Carnie 2006: 164, 168).Footnote 6 In our Lukashenko story he was blacklisted as the President of Belarus but not as the chairman of BOC. Intuitively, the sentences (1) and (2) paraphrased as (1′) and (2′),
- (1′):
-
The President of Belarus is blacklisted as the President of Belarus
- (2′):
-
The chairman of the BOC is not blacklisted as the chairman of the BOC
Could both be true. In such paraphrases a prepositional as-phrase modifies a predicate (Figs. 1, 2):
Sentences (1) and (2) are ambiguous and could be understood as stating that the referent of a description (Lukashenko) is (is not) blacklisted or that the referent of a description is (is not) blacklisted as the President of Belarus (as the BOC chairman). In the last case the sentences are understood in a way in which the descriptive content of a description modifies the predicate (Fig. 3).
The codenoting descriptions ‘the BOC chairman’ and ‘the President of Belarus’ have different descriptive content which modifies the main predicate differently, and that is why the change of one description to another could affect the sentence truth-conditions. In effect, this possible change in truth-condition blocks the substitution of descriptions. I think that we have the same phenomenon in the case of the substitution failure of coreferential proper names. But before I go further and present the semantics for modified predicates and outline how the descriptive content of proper names could be a predicate modifier, I need to mention the objections against predicate modification by as-phrases raised by Szabó (2003).
Szabó raised two objections against treating as-phrases as predicate modifiers (2003: 392). His syntactic objection has a general form and is raised against treating as-phrases as modifiers of any sort. If as-phrases are modifiers it should be possible to iterate them but it is not the case (‘*John earns $50,000 as a judge as a janitor’). His semantic objection concerns an intuitive semantic connection between initial and modified predicates. Intuitively from ‘John was invited as a mathematician to the congress’ it is possible to conclude that ‘John was invited to the congress’ but for those who advocate predicate modification, an initial and modified predicates are different, so the connection between them is lost. Keeping in mind these objections, in the next two sections I will briefly present my proposal for treating as-phrases as predicate modifiers.
3 Semantic properties of prepositional as-phrases
Semantically, adverbs and adjuncts are used to express a manner, reason, goal, time, location, condition or purpose of action. Undoubtedly, prepositional phrases used as adjuncts are not adverbs but from the formal point of view both prepositional phrases and adverbs have been treated by philosophers in the same manner. In my proposal of semantics for as-phrases I will use some of the ideas of Romain Clark (1970) who proposed a logic for predicate modifiers.Footnote 7 The logic of predicate modifiers was intensively developed in the seventiesFootnote 8 as an alternative to Davidsonean (1967) semantics for action sentences. I will briefly present Clark’s idea in a nutshell. Consider Davidson’s well-known example:
- (4):
-
Sebastian strolled through the streets of Bologna at 2 a.m.
Davidson’s core idea was to add an additional argument place to action-predicates for an event-variable which could be bound by a quantifier. So, for example, sentences like (4) should have a logical form as in (4′) (1967: 167):
- (4′):
-
\(\exists_{e} \left( {Strolled\left( {S,e} \right) \wedge Through \,the \,streets\, of \,Bologna\left( e \right) \wedge At \,2\, a.m.\left( e \right)} \right)\)
As a result of such analysis it is easy to keep an intuitive entailment between (4′) and (4) which was one of the main advantages of the Davidsonean account. Using standard predicate calculus it is impossible to conclude from ‘Sebastian strolled through the streets of Bologna at 2 a.m.’ that ‘Sebastian strolled’, because you need a 1-place predicate to represent ‘stroll’ and 3-place predicate to represent ‘stroll-through-at’, so in effect the semantic connection between the predicates is lost. Moreover, because adverbs and adjuncts are iterable, you can add any number of them to ‘stroll’ and in effect obtain plenty of semantically unconnected predicates, a somewhat undesirable consequence.
Clark (1970) proposed an alternative treatment of adverbs and prepositional phrases.Footnote 9 The core of his proposal is the idea that predicates could be built recursively out of n-place predicate constants by adding modifiers which have i places in total. So let us take ‘stroll’, for example. It is 1-place predicate. If you add the adverb ‘slowly’ to ‘stroll’ (getting ‘slowly stroll’) you would not increase the number of argument places. So ‘slowly’ is a 0-place modifier (as are many other adverbs). The extension of ‘slowly stroll’ is a subset of the extension of ‘stroll’ (Clark 1970: 325) and that is why you can infer from ‘Sebastian slowly strolled’ that ‘Sebastian strolled’ but not the other way around. This type of adverbial entailment failure is known as Non-Entailment (Davidson 1967; Katz 2008). Now take ‘at’ and ‘through’. Each of them are 1-place modifiers and if you add them to ‘stroll’ (getting ‘stroll-through-at’) you will increase the number of argument-places and will get a new 3-place predicate out of a 1-place initial one. You can infer from ‘Sebastian strolled through the streets of Bologna at 2 a.m.’ (Davidson 1967: 167) that ‘Sebastian strolled’ because the new 3-place predicate is connected with the initial 1-place predicate ‘stroll’ by a requirement that an object occupying the first place of the triple (Sebastian) should belong to the extension of ‘stroll’ (this type of entailment is called Drop). I will leave aside a syntactical definition of adjuncts [see (Carnie 2006: 162; 2008: 151)] together with all syntactic features specific for adjuncts such as iteration, reordering [called Permutation, see (Davidson 1967; Katz 2008)] and the ability of adjuncts to stand next to each other (Carnie 2006: 168). By ‘an adjunct predication’ I will understand predication fulfilling Non-Entailment and Drop semantic requirements [see (Davidson 1967; Katz 2008)].
Except for the mentioned adverbial entailment properties, sentences with as-phrases have one more type of entailment. I will use one of Szabó’s examples (2003: 406) to explain it. Consider: ‘John is rational as a chess-player’. Applying Drop we are able to infer from this that John is rational. But intuitively we can’t infer that John is rational simpliciter—he is rational in quite a specific way, that is, as a chess-player (compare a similar case with another prepositional phrase (Szabó 2003: 400): ‘I am happy about the news’. Intuitively, you can’t infer that I am happy simpliciter). From the conclusion you get after applying Drop, ‘X is φ’, you cannot infer that ‘X is φ simpliciter’.Footnote 10 The Drop entailment seems to be unproblematic whereas conditions for the simpliciter entailment are not so easy to discern (cf. Szabó 2003: 403–404). It seems that it is possible to infer from \(A \,as\, B\, is\, C\) that \(A \,is\, C\) simpliciter when for any D (such that \(A \,as\, D\, is\, C\) is true) both \(A \,as\,D \,is\, C\) and \(A \,as \sim\,D\, is\, C\) are true (so there is no need to qualify, ‘She likes him as a philosopher and not as a philosopher—she simply likes him’) but this condition could be too strong, so I leave this entailment unsolved.
4 Modified predicates semantics
I propose to treat prepositional as-phrases (‘invited as a mathematician’) as 0-place predicate modifiers. Unlike other prepositional phrases, as-phrases do not increase the number of argument-places (‘invited’), and, unlike adverbs, they do not modify a predicate with all its argument places as a whole. Instead, they modify it on one argument-place only. Imagine a situation in which an object d is an agent of two simultaneous actions, A and B, but only one of these actions is such that d is doing it as φ. Szabó attempted to give an appropriate truth-conditions for such a situation by means of a requirement that only one action from A and B was a part of d’s state φ. I will preserve the spirit of such an intuition but instead of assuming a mereology of states and events I will use the inclusion relation between predicates’ extensions (we will see that these two ideas, whilst the same in spirit, will give different results, see footnote 14). Note that if you know that d is doing A and B and is φ, you can’t infer that A or B is done by d as φ (by Non-Entailment). This entailment failure shows that the extension of a modified predicate \(doing \,A \,as\, \varphi\) although depending on the extensions of A and φ (by Drop), is not fully determined by them. As we see, the Non-Entailment property is the key property in solving the failure of the substitution puzzle. Now let me present the core of modified predicates analysis.
4.1 Syntax
The core idea is simple: intuitively, predicate modifiers make predicates from predicates (see Clark 1970: 320; Pörn 1982: 294; Thomason and Stalnaker 1973: 201; van Fraassen 1973: 104, 107). Formally predicates are built from predicate constants in a recursive way and, due to this, we will use the term ‘predicate’ to refer to all kinds of predicates—atomic predicates (predicate constants), predicate abstracts, modified predicates and modified predicate abstracts.
Let us start from modifiers. By modifier we will understand all predicates abstracted from an atomic formula or a conjunction of atomic formulas with one free variable, e.g., \({\lambda x.Q(x), \, \lambda x.(P(x)\, \wedge\, Q(x)) }\). I assume for simplicity that modifiers are subclass of predicates abstracts and have no free occurrence of variables. Now I will define how atomic predicates are modified:
Definition 1
If \(Q\) is a n-place predicate constant and (\({\lambda x.\varphi }\)) is a modifier then \(Q_{\lambda x.\varphi }^{i}\) is n-place predicate modified by (\({\lambda x.\varphi }\)) on ith argument place of \(Q\) (where 1 ≤ i ≤ n).
Notation ‘\({\lambda x.\varphi }\)’ means that a predicate \(Q\) is modified by a predicate \({\lambda x.\varphi }\) on ith argument place: \(Q\left( {y_{1} , \ldots ,\underbrace {{y_{i} }}_{\lambda x.\varphi }, \ldots , y_{n} } \right)\). We can treat \({\varphi }\) as complex adjective—it can’t change the number of arguments of a predicate (as we remember, it is 0-place modifier). Let me give an example: \(greet\) is a two-place predicate, \({\varphi(x) }\) is a formula with one free variable in which \({\varphi }\) means ‘a host of a party’. \(greet_{\lambda x.\varphi }^{1}\), \(greet_{\lambda x.\varphi }^{2}\) are predicates built via modification from the predicate constant \(greet\); we read them ‘as a host of a party \(x\) greets \(y\)’ (modification on the 1st argument place) and as ‘\(x\) greets \(y\) as a host of a party’ (modification on the 2nd argument place). We will use a simplifying convention and in case a modifier is a predicate abstracted from an atomic formula, \(P(x)\), we will simply write ‘\(Q_{P}^{i}\)’ instead of ‘\(Q_{\lambda x.P\left( x \right)}^{i}\)’ and in case \(Q\) is 1-place predicate we will write ‘\(Q_{P}\)’ instead of ‘\(Q_{P}^{1}\)’.
It is a remarkable fact about sentences with prepositional phrases that they can often be structurally ambiguous when it is not clear what exactly a prepositional phrase modifies. Consider the example of such a sentence represented in Fig. 4 belowFootnote 11.
By modifying the same predicate see on different argument places we could avoid the structural ambiguity and emphasize the meaning which could not be emphasized by a conjunction of predicates. The sentence ‘Sherlock saw the man and was using binoculars’ is true in a situation in which Sherlock saw the man ‘with the unaided eye’ and was using binoculars (for example, scratching his knee with them). Intuitively the truth-conditions of the sentence describing the situation on the left picture differ from the truth-conditions of the sentence with a conjunction of two predicates.
I allow predicate modification only on one (ith) argument place and do not say how to modify a predicate on other argument-places or on the same argument place again (I do not allow for iteration).Footnote 12 Nevertheless, the iteration of as-phrases is preserved in a limited form, because I allow that predicates abstracted from a conjunction of atomic formulas could be modifiers. Modifiers could be iterated by conjoining with and connective. In that way the Szabó example ‘*John earns $50,000 as a judge as a janitor’ is ungrammatical (in the same way as ‘*John eats his steak with a fork with a knife’ because you cannot saturate the same argument position twice) but paraphrased with a conjunction (‘John earns $50,000 as a judge and as a janitor’) becomes grammatical (this is my response to Szabó’s syntactic objection).
Now let me say a few words about the modification of predicate abstracts. Although a predicate could be abstracted from any formula, I will limit predicate abstracts which could be modified to predicates abstracted from atomic formulas and the negations of atomic formulas, \(\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)\) and \(\lambda x.\sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right)\). A modifier \({\lambda y.\psi }\) modifies a predicate abstract on ith argument place of \(Q\) (written ‘\((\lambda x.\varphi )_{\lambda y.\psi }^{i}\)’ in general notation).Footnote 13 Formulas with all kinds of predicates are built in a standard way.
4.2 Semantics
A few proposals concerning the semantics of modified predicates could be found in the literature and I will briefly mention one important moral which could be drawn from them before I explain my own proposal. As we said earlier, Clark (1970: 325) proposed treating a 0-place modifier such as ‘slowly’ in such a way that, when added to a predicate ‘slowly strolled’, it gives you a subset of ‘stroll’. But exactly which subset from a family of subsets of the predicate extension does it give? In order to answer this question it seems very natural to add a choice function to Clark’s account (e.g. Pörn 1982: 296). The role of a choice function would be to pick up one subset from the family of subsets of a predicate’s extension. Bas van Fraassen (1973) and James Fulton (1979) noted a serious problem with such an addition. I will use one of George Lakoff’s examples (1970: 5) to explain it. The problem appears when predicates have exactly the same extension. Consider a situation in which there are three guys, Albert (\(a\)), Bernard (\(b\)) and Clyde (\(c\)), and each of them ate a hotdog and drank a beer. Let \(H\) stand for ‘to eat a hotdog’ and \(B\) stand for ‘to drink a beer’. These two predicates have the following interpretation: \(I(H)=\left\{a,\,b,\,c\right\}\), \(I(B)=\left\{a,\,b,\,c\right\}\). ‘Slowly’ is a modifier and is supposed to be analyzed as a choice function on the family of subsets of extension of a predicate (minus the empty set). Because it is a function it would necessarily pick up exactly the same subsets in the case of coextensive predicates, so it would necessarily be so that exactly the same guys who slowly ate a hotdog also slowly drank a beer, which is unintuitive. That is why it seems reasonable to return to Clark’s idea (1970: 325) and let an interpretation \(I\) assign to a modified predicate \(MQ\) (formed from a predicate \(Q\) by prefixing a modifying operator \(M\) of degree zero) a subset of the extension assigned to \(Q\): \(I\left( {MQ} \right) = \left( {MQ} \right)^{{{\mathfrak{M}}g}} \subseteq Q^{{{\mathfrak{M}}g}}\). Subsets assigned to modified coextensive predicates could differ, for example:
Taking these arguments into account I defined an interpretation of modified predicates in the following way (for simplicity I will give first the definition of 1-place predicates \(Q\) and \(P\)) (Fig. 5).
The definition of the interpretation of a modified predicate has the following general form:
Definition 2
If \(Q\) is a n-place predicate constant, \(P\) is a 1-place predicate constant and \(x\) is a variable, then \(I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x.P\left( x \right)}^{i} } \right) \in {\mathcal{P}}\left( {\left\{ {\left\langle {d_{1} , \ldots ,d_{i} , \ldots ,d_{n} } \right\rangle \in I_{{\left\langle {w, t} \right\rangle }} \left( Q \right):d_{i} \in I_{{\left\langle {w, t} \right\rangle }} \left( P \right)} \right\}} \right).\)
A modified predicate is still a predicate—it is interpreted as a subset of the extension of the predicate being modified, a set of ordered n-tuples of objects of a domain. However, there is an additional condition: it should be such a set of n-tuples that every ith element in n-tuples fulfills the descriptive content φ with respect to the time and world of evaluation. This condition is needed to avoid the unintuitive consequence that an n-tuple could belong to the extension of a modified predicate, despite the fact that the ith element in the n-tuple does not fulfill the descriptive content which modifies the predicate. In that way the interpretation of a modified predicate is related to the extension of the predicate being modified (we get Drop from Definition 2 which is a response to Szabó’s semantic objection).Footnote 14
So let us return to the story with Lukashenko. It is possible to be the President of Belarus and to visit Austria without visiting this country as the President of Belarus because a person could belong to the extension of ‘to visit Austria’ \((I(A))\) and to the extension of ‘to be the President of Belarus’ \((I(P))\) but not to the extension of ‘to visit Austria as the president of Belarus’ \((I(A_{P}))\). The extension of this last predicate is a subset of the extension of the set of people who are visiting Austria and are presidents of Belarus (singleton), and this subset could be empty (Fig. 6).
In such a way somebody could have a property \(\varphi\) but not a property ‘\(\varphi \, as \,\psi\)’ or could have a property ‘\(\varphi \,as\, \psi\)’ but not a property \(\varphi\) in any other way (to be \(\varphi \, only\, as \, \psi\)). For example, the extension of the modified predicate ‘to give an interview as a boxer’ is a subset of people who gives an interview. Intuitively we could say about Madonna that she belongs to the set of people who gives an interview (\(GI\)) but not to the subset of those who give interviews as a boxer . Intuitively, we could say about Michael Phelps that he took part in the Olympic Games (PO) but only as a swimmer (PO swimmer ), so we would not find him in any other subset of people taking part in the Olympic Games, .Footnote 15 Also if somebody has a property \(\varphi\) and a property \(\psi\), we could not conclude that that he has a property ‘\(\varphi \, as\, \psi\)’ (by Non-Entailment). The failure of making such a conclusion was noticed by Aristotle (On Interpretation XI 20b 35): ‘Thus, again, whereas, if a man is both good and a shoemaker, we cannot combine the two propositions and say simply that he is a good shoemaker.’
Modifiers are closed under conjunction.
Definition 3
If \(Q\) is a n-place predicate constant, \(x\) is a variable, and \((\lambda x . \varphi),\,(\lambda x . \psi)\) are modifiers, then \(I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{{\lambda x . \left( {\varphi \wedge \psi } \right)}}^{i} } \right) = I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . \varphi }^{i} } \right) \cap I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . \psi }^{i} } \right)\).
In a similar way, modifiers could be closed under disjunction but I do not add such a definition. I need to say that the generalized logic of modified predicates seems to be a hard nut to crack. One of the puzzling things that comes to mind is a definition of a modifier’s negation (‘but now I am visiting your school not as a police officer’). You cannot define it simply as \(I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . \sim\varphi }^{i} } \right) = I_{{\left\langle {w, t} \right\rangle }} \left( Q \right){ \setminus }I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . \varphi }^{i} } \right)\), because such a definition excludes the possibility for somebody who does \(Q\, as\, \varphi\) to do \(Q\, not\, as\, \varphi\) simultaneously (‘I came to your school as a police officer but also I came to your school not as a police officer—as a father of one of the pupils’). You cannot define the modifier’s negation also as \(I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . \sim\varphi }^{i} } \right) = {\mathcal{P}}\left( {I_{{\left\langle {w, t} \right\rangle }} \left( Q \right)} \right){ \setminus }I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . \varphi }^{i} } \right)\), because you will have exactly the same consequence in case the extension of \(Q\) is a singleton (thanks to Leszek Wroński for discussion here). If you subtract any non-empty set from the family of subsets of \(Q\), you will have the empty set, so it will be impossible for someone to do \(Q\, as\, \varphi\) and to do \(Q\, not\, as\, \varphi\) simultaneously. Maybe in order to define what does it mean that somebody does \(Q\, not\, as\, P\) it would be better to follow the intuition that it means that somebody does \(Q\) in some other way R, where R ≠ P.
The other puzzling thing besides modifier negation is modification by a predicate abstracted from a formula with temporal operators (‘She blessed him as a future son-in law’ [as somebody who would be a son-in-law], ‘As a former police officer [as somebody who was a police officer], he investigated quickly which kid scratched the car’). In a standard way a formula prefixed with a temporal operator is satisfied in a model iff the model satisfies the formula without the temporal operator with respect to a new time-parameter (shifted by the temporal operator). Such a definition is compositional—we drop the temporal operator and check if the formula without it is satisfied in a new time-parameter. It is clear that the compositionality is lost in the case of formulas with predicates modified by a predicate abstracted from a formula with a temporal operator. Intuitively, a guy who, as a former police officer, now investigates who scratched the car may have nothing in common with guys who at some time in the past investigated as police officers who scratched the car. You cannot simply, as before, shift a time parameter and check the truth-conditions of a formula without a temporal operator.
In my examples I have mentioned mainly as-phrases used as adjuncts of manner (‘I will use the rest of the olive oil as a base for a salad dressing’) but besides expressing a manner as-phrases could be used to express time (‘Ann was fat as a child’), reason (‘As a firefighter, John was asked to help in the rescue action’) and purpose (‘They hired him as a launching engineer’). Maybe as-phrases could be used to express other characteristics of action or state named by a predicate and it is not clear if the analysis proposed here covers all types of use. For certain it doesn’t cover as-phrases used as adjunct of comparison (‘He is in his mid-forties but his mother still treats him as a child’, ‘He used a spoon as a beer bottle opener’). Understood in the most classical way, a comparison is an act of comparing thing A to thing B under respect C. Comparing A to B we are not saying that A is B (contrary to Definition 2 requirements). Intuitively, when we say ‘Your knife is blunt because you often use it as screwdriver and as a tent peg’ we do not say that some particular knife is a screwdriver and is a tent peg (and, as a consequence, should belong to extensions of these predicates). All we are saying is that this particular knife is often used in a similar way as screwdrivers are used and in a similar way as tent pegs are used. So we can’t use the semantics proposed here to analyze such examples because otherwise all objects such as a screwdriver, a tent peg, a knife, a sharpened ferule, etc. would belong to the extension of ‘a screwdriver’/’a tent peg’ predicates, which is unintuitive consequence. It seems to me that in case of as-phrases used as an adjunct of comparison we should give up the requirement that the object taking the ith argument-place should belong to the extension of a modifying predicate (in such a way as-phrases used as an adjunct of comparison may be analyzed in the same manner as adverbs in Clark’s semantics).
5 Modification of a predicate by the descriptive content of a proper name
As I noted earlier, the phenomenon of substitution failure is quite widespread and seems to concern not only names but other corefering NPs, such as group terms, plural terms, natural kind terms and definite descriptions. All these expressions possess a descriptive content that determines an expression’s reference.Footnote 16 As we have seen, sentences like (1) and (2), except of exemplifying the substitution failure, are ambiguous between modified and unmodified readings. This regular ambiguity provides evidence that the descriptive content of a nominal phrase except for determining its extension functions as truth-conditionally relevant adjuncts and constitute an additional contribution to the truth-conditions (so I entirely agree with Szabó’s proposal on this point). Regularity and truth-conditional relevance in its turn shows that the descriptive content is not suggested or implicated. I agree with Forbes (2006: 158) that the as-phrase invokes the mode of presentation connected with an expression and propose to treat this ‘ways of giving’ in a similar way as adverbs are treated—as predicates modifiers.
In this section I will explain how the descriptive content of proper names could modify a predicate and briefly sketch how the cases of substitution failure of coreferential proper names in simple sentences could be solved with the help of the formal semantics presented here (I will concern myself with proper names only and leave aside pseudonyms such as ‘Superman’ or ‘Batman’. For a detailed solution of the puzzle see (Poller (under review a)). Consider our example (3) slightly modified as (3′):
- (3′):
-
Cassius Clay was never beaten.
We have mixed intuitions about this sentence, because it seems true and untrue the same time. ‘Cassius Clay’ refers to Muhammad Ali and it was true about him that he never lost a fight when he fought as Cassius Clay but he lost five fights in his boxing career. But when we paraphrase (3′) as (3″) or (3‴) using as-phrase, both sentences seems true:
- (3″):
-
Cassius Clay was never beaten as Cassius Clay.
- (3‴):
-
Cassius Clay was never beaten as such.
The reason why we have mixed intuitions about sentences from the puzzle such as (3′) is because they are ambiguous between modified and unmodified readings. We could replace (3″) with (3‴), using the adjectivally anaphoric pronoun such which stands for a property. The possibility of such replacement supports the claim that proper name in the as-phrase in (3″) is understood as standing for a property, so the predicate in (3″) is modified not by a proper name but by a descriptive content of a proper name. So the idea at play behind the semantics of predicate modification by proper names is simple: the modifying content of a proper name \(n\) is a predicate \({\lambda x.\varphi }\) abstracted from the formula \({\varphi }\) of a definite description \({\iota y.\varphi }\) connected with a proper name \(n\). In order to write this idea as a definition I need to go through some syntactic definitions and to explain what it means for a description ‘to be connected with a proper name \(n\)’.
Despite being a descriptivist (in my opinion speakers do associate definite descriptions with a proper name), I do not take the phenomenon of predicate modification by the descriptive content of proper names as an argument in favor of the descriptive theory of reference fixing. If you prefer another theory of names you could also accept the phenomenon of predicate modification by descriptive content of names—for example you can hold that descriptions are contained in mental files connected with names and used by speakers to modify predicates but nevertheless the descriptions do not semantically determine name’s reference. Over the next two pages I will outline a way in which proper names could be formally represented. This formal representation is compatible with descriptive thesis about reference determination, that is, with thesis that the reference of a name is semantically determined via satisfaction of descriptive properties. This means that the interpretation of a term which formally represents a proper name depends on the interpretation of a description which, in turn, depends on the interpretation of the predicates it contains. If you do not accept descriptivism you can find a way to connect sets of descriptions with names without an interpretation dependency. Note that the majority of model domains contain no speakers, and that is why I will leave aside all epistemic objections raised against descriptivism and concern on modal and circularity objections only. I am not defending descriptivism in this paper and epistemic objections stay unanswered here (I answered them in Poller (under review b)).
I represent proper names formally as special terms which I call ‘name-terms’. Such terms are rigid but semantically complex and receive their interpretation via a special sort of definite descriptions. I will briefly outline the idea behind such formal representation (a full version of the formal representation of proper names in accordance with the descriptive theory of reference can be found in (Poller 2014). Let me start from iota-terms. In a standard way they are built via applying a \({\iota}\)-operator to a formula \({\varphi }\) and designate with respect to a parameter of evaluation if there is only one object which fulfills \({\varphi }\) in a set assigned to the evaluation parameter (otherwise iota-terms fail to designate, Fitting and Mendelsohn 1998: 254, 104). Iota-terms designate contingently with respect to possible worlds but if you add time as another point of evaluation, iota-terms would also designate contingently with respect to times. For example, take ‘the Pope’. It designates different people with respect to different times in our world (or fails to designate). This expression does not designate somebody in particular unless you add ‘present’ to it, getting ‘the present Pope’, or you express a time explicitly (e.g. ‘the Pope in 1967’). ‘The present Pope’, ‘the Pope in 1967’ expressions designate exactly one and the same person (if designates at all) with respect to a possible world and any time. So by ‘a definite description’ I understand a special kind of iota-terms of the form \(\iota x.[_{i} ]\varphi\), where ‘[\({_i}\)]’ is a notational variant of \({\mathbf{then}}_{i}\) operator (‘true at \(t_{i}\)’) taken after (Rini and Cresswell 2012). The time operator [\({_i}\)] fixes a time of evaluation, so for any world \({w}\), time \({t}\) and assignment \({g}\) \(I_{{\left\langle {w, t} \right\rangle }}^{g} \left( {\iota x.[_{i} ]\varphi } \right) = I_{{\left\langle {w, t_{i} } \right\rangle }}^{g} \left( {\iota x.\varphi } \right)\). In other words, a definite description \(\iota x.[_{i} ]\varphi\) designates with respect to any time \({t}\) the object designated by iota-term \(\iota x.\varphi\) with respect to time \({t_{i}}\). I will call definite descriptions \(\iota x.[_{i} ]\varphi\) actual with respect to \({t_{i}}\).
As we know from the previous section the account of modified predicates presented here is not general, so our most complicated modifier could be a predicate abstracted out of a conjunction of atomic formulas with one free variable. That is why I can use only some of definite descriptions \(\iota x.[_{i} ]\varphi\). To represent proper names formally we need a language \({\mathcal{L}}\) with a set of distinguished predicates \({\left(N_{1},\,N_{2},\,N_{3},\,\ldots\right)}\) which we will read as ‘called \({\alpha}\)’, where ‘\({\alpha}\)’ is a string of sounds or an inscription [arguments supporting such view on verbs of naming could be found in (Geurts 1997: 326–328), see also (Matushansky 2008: 578, 580–581)]. I will use symbol ‘\(!x. \varphi\)’ for iota-terms \(\iota x.\varphi\) with only one variable \({x}\) which occurs free in \({\varphi}\). All descriptions \(!x.[_{i} ]\varphi\) which we connect with a name-term have a form of \(!x.[_{i} ]\left( {N_{j} \left( x \right) \wedge Q\left( x \right)} \right)\), where ‘\({N_{j}}\)’ is a distinguished predicate and ‘\({Q}\)’ is a 1-place undistinguished, e.g. ‘the (present) president called [obama]’. A set of such descriptions will be called ‘\({{\Gamma }}_{{\mathcal{L}}}\)’ (see Sect. 7, Def.VI.S(a)). We avoid Kripke’s circularity argument by treating [obama] as a physical object (a sound or an inscription) which belongs to a model domain, not to a language. It is used as a mark to distinguish somebody (cf. Mill 1889/2011: 41), but the property of ‘being called [obama]’ is not sufficient to determine the reference because a lot of people are called so.
In order to avoid circularity we also need to be sure that the definite descriptions connected with a proper name contain no proper names. That is why we consider two languages, \({\mathcal{L}}\) and \({\mathcal{L}}^{ + }\) (\({\mathcal{L}} \subset {\mathcal{L}}^{ + }\)). Let me start from language \({\mathcal{L}}\). All terms it contains are variables and iota-terms (so there are no individual constants in \({\mathcal{L}}\)). We will use definite descriptions from \({\mathcal{L}}\) to give interpretation of name-terms from \({\mathcal{L}}^{ + }\). The idea behind connecting proper names with descriptions is simple: we let name-terms (formally representing names) designate through equivalence classes of descriptions which designate one and the same individual and contain one and the same predicate \({N_{j}}\) (relation \({\mathbb{R}}\), see Sect. 7, Def.VI.S(c)). We need this last requirement in order to be able to formally distinguish formally two co-referring but distinct proper names (to represent them as two different name-terms). Because descriptions denote contingently we need to define an equivalence relation not on a set of descriptions \({{\Gamma }}_{{\mathcal{L}}}\) but on a set of pairs containing a description and a world in which description designates (set \({\Delta }\), see Sect. 7, Def.VI.S(b)). So for example take two descriptions, ‘the planet called [fosforus]’, ‘the planet called [hesperus]’ (we name them \({\gamma_{1}}\), \({\gamma_{2}}\) respectively). Both descriptions \({\gamma_{1}}\), \({\gamma_{2}}\) designate in our world w, but pairs \(\left\langle {\gamma_{1} ,\,w} \right\rangle ,\, \left\langle{\gamma_{2} ,\,w} \right\rangle\) will belong to different equivalence classes because \({\gamma_{1}}\) contains predicate ‘called [fosforus]’ while \({\gamma_{2}}\) contains different predicate ‘called [hesperus]’. This idea is represented schematically in Fig. 7.
I won’t go into formal details (full versions of definitions can be found in Sect. 7) and will instead just explain the key steps. In order to define an interpretation of a name-term \({n_{i}}\) I need two functions—one which connects \({n_{i}}\) with an equivalence class (function \({\mathbb{Q}}^{ \le }\), Def.VI.S(e)) and the other which takes an equivalence class and gives the object designated by every description in the class (function \({\mathbb{F}}\), Def.VI.S(d)). I presented this idea in Fig. 8.
The first function \({\mathbb{Q}}^{ \le }\) for every name-term \({n_{i}}\) gives an equivalence class, and the second function \({\mathbb{F}}\) for every equivalence class gives an object designated by every description in that class, . Now, letting a model \({\mathfrak{M}}^{ \le }\) be a model for \({\mathcal{L}}^{ + }\) we can define an interpretation of a name-term in it as follows:
In effect I have exactly what the description theory of reference postulates: new name-terms refer to objects via definite descriptions and that definite descriptions are used only to fix a reference and are not synonymous with name-terms. Such terms are obstinately rigid and not sensitive to the scope differences of temporal and modal operators in formulas without predicate modification by the descriptive content of a term (cf. Poller 2014, for proofs see also Poller 2014).
Now I will return to the question of modification. I let name-terms occupy an argument position of predicate abstracts only, \((\lambda x. \varphi)(n)\). Let me add some syntactic definitions (I will present them here in a simplified manner, see Def. V.R13, R17, R18, R22 in Sect. 7):
5.1 Syntax
Definition 4
If \({n}\) is a name-term, then \({n}\) is a modifier;
Definition 5
If \(\left( {\lambda x.\,Q\left( {y_{1} , \ldots ,y_{m} } \right)} \right)\), \(\left( {\lambda x.\sim\,Q\left( {y_{1} , \ldots ,y_{m} } \right)} \right)\) are predicate abstracts and \({n}\) is a naming term, then \((\lambda x.Q\left( {y_{1} , \ldots , y_{m} } \right))_{n}^{i}\), \(\left( {\lambda x.\sim\,Q\left( {y_{1} , \ldots ,y_{m} } \right)} \right)_{n}^{i}\) are predicates abstracts modified by \({n}\) on ith argument-place of \({Q}\) (where \(1\leq\, i\leq\, m\));
Definition 6
If \(\left( {\lambda x.\varphi } \right)_{n}^{i} \) is a modified predicate abstract and \({n}\) is a name-term, then \(\left( {\lambda x.\varphi } \right)_{n}^{i}\,\left(n\right) \) is a formula.
Note that in case a predicate abstract is modified by a name-term, such a predicate and a name-term could form a formula iff the name-term occupying an argument place is the same as modifying name-term. As I noticed earlier, sentences as (3′) could be paraphrased as (3‴) with the anaphoric pronoun such (cf. ‘Lex fears Superman as such’, Forbes 2006: 158). Treating this case of anaphora in the most classical way, namely as a phenomenon of the interpretation dependence of occurrence of one expression on the interpretation of an occurrence of another expression, it is natural to suppose that the anaphoric pronoun takes as an antecedent an occurrence of the expression explicitly expressed in the same sentence (a proper name) which is the most salient occurrence of an expression.
Now I will return to the semantics of predicate modification by the descriptive content of a proper name. As I said earlier, the idea is quite simple: a formula \(\left( {\lambda x.\varphi } \right)_{n}^{i} \,\left( n \right)\) is satisfied in a model with respect to a world w and a time t iff there is a description \(!y.[_{j} ]\psi\) in the set of descriptions for the term n and the world w such that the model satisfies \(\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i} \left( n \right)\) with respect to \(\left\langle {w, \,t} \right\rangle\). In this definition I am trying to encapsulate the following idea: if we say that NN is doing something as NN, we mean by this that there is a (unspecified) way of describing NN such that NN is doing something in that way. All I have to do now is to explain what is the set of descriptions for the term \({n}\) and the world \({w}\) (I drop time-parameter \({t}\) because, as I have said earlier, by a definite description I understand a iota-term \({\iota x.[_{i}]\varphi}\) with a fixed time-parameter). What we have now is a connection between name-terms and equivalence classes of description-world pairs provided by \({\mathbb{Q}}^{ \le }\) function, for example:
We will evaluate formulas with predicates modified by a descriptive content of proper names with respect to a possible world \({w}\) and a time \({t}\). With respect to \({w}\) we want to take into account only those descriptions which designate in \({w}\). That is why we need a function (let us call it h ≤) which for a term \({n}\) and a world \({w}\) returns a ‘smaller’ equivalence class of those descriptions which denote in \({w}\) and is undefined in case there is no such class (see Sect. 7, Def.VI.S(f), Def.VI.S(g)). For example, for a term \({n}\) and world \({w_{1}\, h ^{\leq}}\) gives you the following set:
Now to have a set of descriptions (not pairs of descriptions and world) we take the first projection \({\pi_{1}\, \text{of} \, h ^{\leq}\left(n,\, w_{1}\right)}\) which gives a set of the first elements from every pair in a class:
Now we can define a modification of a predicate by a descriptive content of a proper name as follows:
Definition 7
\({\mathfrak{M}}^{{ \le g w t_{j} }} { \vDash }\left( {\lambda x.\varphi } \right)_{n}^{i} \left( n \right)\) iff there is a description \(!y. [_{j} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g w t_{j} }} { \vDash }\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i} \left( n \right)\).
There are two interesting consequences for this definition. Note that although a name-term n is obstinately rigid (it refers to the same thing regardless of changes of time and world-parameters), its modifying descriptive content (\(\lambda y. \psi\) obtained from a definite description \(!y. [_{j} ]\psi\) by dropping fixing-time operator \([_{j} ]\)) changes with respect to time and world of evaluation. This means that—while the name-term is not sensitive to the scope differences of modal and temporal operators—its descriptive content is sensitive. In Definition 7 we step from a formula \((\lambda x.\varphi )_{n}^{i} \left( n \right)\) to a formula \((\lambda x.\varphi )_{\lambda y.\psi }^{i} \left( n \right)\) and this last formula is satisfied in a standard way, when the referent of n belongs to the extension of the predicate \((\lambda x.\varphi )_{\lambda y.\psi }^{i}\) regardless of satisfying any descriptive content. All the term’s descriptive content does here is pick up the reference, and it is inessential in what way it does so because all you need for truth-conditions is just the referent itself and a property named by a predicate. Therefore, it is without any significance if the descriptive content of the name-term lies within or beyond the scope of a modal or temporal operator—nothing depends on a change in content. But when you want the descriptive content to express the additional circumstances of an action that should be taken into account you make the descriptive content a part of the predicate. The name-term is still not sensitive to points of evaluation but the predicate modified by the descriptive content of a term is sensitive. When we say that NN is doing something as NN we understand by it that NN is doing something in a descriptive way \(\psi\) actual with respect to a time (and a world) of evaluation. So by saying (3) (‘Cassius Clay was never beaten whereas Muhammad Ali lost five times’) we convey the idea that the greatest boxer never lost a fight during the period of time when he was a boxer actually called ‘Cassius Clay’ (and he lost five times after changing his name to ‘Muhammad Ali’). What important conclusion could possibly be drawn from name-term’s rigidity and the sensitivity of predicates modified by the name’s descriptive content to points of evaluation? Perhaps in the case of proper names it is wrong to equate their rigidity with regards to the sameness of the truth-conditions of the two readings with wide and narrow scopes of sentences containing the term and a temporal and a modal operator.Footnote 17 For example, take a sentence \(\left( {\lambda x.Q\left( x \right)} \right)_{n}^{i} \left( n \right)\) and the possibility operator \(\diamond\). Applied in a wide-scope reading, \(\diamond \left( {\lambda x.Q\left( x \right)} \right)_{n}^{i} \left( n \right)\), the possibility operator shifts a world of evaluation so the modifying descriptive content would be taken from a new world-parameter. But in a narrow-scope reading, \(\left( {\lambda x.\diamond Q\left( x \right)} \right)_{n}^{i} \left( n \right)\), we take first a modifying descriptive content from a world of evaluation and then check if it is the case that the term’s referent belongs to its extension. A term’s descriptive content taken from different world-parameters could differ, so the predicates modified by it could be different and in effect it is possible for formulas with both a narrow and a wide scope to differ in truth-conditions. This is only a hypothetical possibility which cannot be proven yet because of a limitation of predicate abstracts which could be modified to predicates abstracted from atomic formulas and negations of atomic formulas. Nevertheless, it is possible to prove that formulas \(\sim\,\left( {\lambda x.\,Q\left( x \right)} \right)_{n}^{i} \left( n \right)\) and \(\left( {\lambda x.\sim\,Q\left( x \right)} \right)_{n}^{i} \left( n \right)\) with different scope of negation have no equal truth-conditions (see Statement I in Sect. 7). In the case of modified predicates, \(\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i}\), we are talking about \(\varphi\) and a way of doing it \(\psi\). But in case a predicate abstract is modified by a name-term \(n,\,(\lambda x.\varphi)_{n}^{i}\), we are not talking about any particular way of doing \(\varphi\). Consider:
- (5):
-
Lukashenko is not blacklisted (as such)
We can write (5) either as (5′) or as (5″):
- (5′):
-
\(\left( {\lambda x.\sim\,V\left( x \right)} \right)_{n} \left( n \right)\)
- (5″):
-
\(\sim\,\left( {\lambda x.V\left( x \right)} \right)_{n} \left( n \right).\)
According to Definition 7 (5′) is true then there is a description from the set of descriptions associated with ‘Lukashenko’, for example ‘the BOC chairman called [lukašenko]’, such that it is true about Lukashenko that he is not blacklisted as the BOC chairman called [lukašenko]. As we know from the story in the beginning, (5′) is true. In (5″) we deny that there is any description in the set of descriptions associated with ‘Lukashenko’, such that it is true about him that he is blacklisted in any way. But he is blacklisted as the President of Belarus called [lukašenko], so (5″) is false. It is important to notice that \(\left( {\lambda x.\sim\,V\left( x \right)} \right)_{n} \left( n \right)\) and \(\left( {\lambda x.\,V\left( x \right)} \right)_{n} \left( n \right)\) could be true together, that is why it is possible to simultaneously agree and disagree with (5) and remain consistent. In such cases such as this when we know that there is a description \(!y. [_{j} ]\varphi\) associated with a proper name \(n\) such that \(d\), the referent of \(n\), is \(Q \, \text{as}\, \varphi\), \( {d \in I}(Q_{\lambda y. \varphi})\), and we know that there is another description \(!y .[_{j} ]\psi\) associated with the proper name such that \( {d \notin I}(Q_{\lambda y. \varphi})\), we explicitly express this modifying content (‘Paderewski is popular as a musician but he is not popular as a politician’).
I am grateful to an anonymous referee for calling my attention to sentences with modified predicate of identity, ‘to be identical as \(\varphi\)’. From a technical point of view, there is nothing in semantics presented here which restrains you from choosing any subset of extension of identity predicate as a representation of extension ‘to be identical as \(\varphi\)’ predicate (e.g. you can choose a proper subset, an empty set or the whole set of pairs \(\left\langle {d, \,d} \right\rangle\) such that \(d\) is \(\varphi\)). Could something, taken as \(\varphi\), not be identical with itself (e.g. taken as \(\psi\)) or not?—At this stage the notion needs further investigation and thus I leave it open. However, I think that an interpretation ‘to be identical as being called \(\alpha\)’ is simply a set of pairs \(\left\langle {d, \,d} \right\rangle\) such that \(d\) is called \(\alpha\), and that is why I share the referee’s intuition that there is no true reading of sentences such as ‘Muhammad Ali is not (identical with) Cassius Clay (as such)’. Let me show that there is no true reading of negated sentences with a predicate of identity modified by a descriptive content of a proper name (assuming that an interpretation of ‘to be identical as being called \(\alpha\)’ is simply a set of pairs \(\left\langle {d, \,d} \right\rangle\) such that \(d\) is called \(\alpha\)). As I mentioned earlier, sentences with predicates modified by a descriptive content of proper names and negation are ambiguous between two readings. One of the readings says that there is a description \(!x.[_{i} ]\varphi\) in the set of descriptions associated with ‘Muhammad Ali’, such that it is true about Ali that he as \(\varphi\) is not identical with Cassius Clay. Formula \(\varphi\) is a conjunction \(called \left[ {muhammad \,ali} \right]\left( x \right) \wedge Q\left( x \right)\), where \(Q\) is an atomic predicate true of Ali/Cassius. By definition modifiers are closed under conjunction so for ‘Ali is not identical with Cassius Clay as being called [muhammad ali] and \(Q\),’ to be true it should be so that Ali is not identical with Cassius Clay as being called [muhammad ali]. Yet this contradicts with our assumption—it is highly doubtful that an interpretation of predicates ‘to be identical as being called \(\alpha\)’ differs from the set of pairs \(\left\langle {d, \,d} \right\rangle\) such that \(d\) is called \(\alpha\). The other reading says that there is no description in the set of descriptions associated with ‘Muhammad Ali’ such that it is true about Ali that he is identical with Cassius Clay in any way. This reading is clearly false for the same reason. Both readings emerge as being false which means that sentences of the form NN is MM as such, where NN and MM are coreferential names, are true according to this account (under the assumption that an interpretation of ‘to be identical as being called \(\alpha\)’ is simply a set of pairs \(\left\langle {d, d} \right\rangle\) such that is called \(\alpha\)).
6 Concluding remarks
I raise the hypothesis that sentences with proper names as [Name][Predicate] are ambiguous between two readings, (I) and (II),
\(\left( {\text{I}} \right)\quad \left[ {Name} \right]\left[ {Predicate} \right]\),
\(\left( {\text{II}} \right) \quad\left[ {Name} \right]\underbrace {\left[{Predicate}\right]}_{{{\bf{modified}}\, {\bf{by}} \,\left[{Name} \right]}}.\)
From a pragmatic point of view readings (I) and (II) are non-equal. For example, using the criterion of relevance of an input to an individual from The Relevance Theory (Sperber and Wilson 1995: 265–266), we can predict that reading (I) should be a default reading. You need more effort to process (II)—you should additionally take into account circumstances of action expressed by modifying descriptive content—so (II) would be less relevant to you unless it has a greater cognitive effect overcoming the additional costs of processing. Consider for example:
- (6):
-
The papal nuncio supported an anarchist protest
What you understand as a default is that the papal nuncio supported an anarchist protest as the papal nuncio, because, read in this way, (6) has the effect of an information bomb (compared to the information that the papal nuncio supported the protest as a private person). I agree with Landman (1989: 741) that sentences have preferred readings with modified predicates when there is a (salient) semantic connection between meanings of a modifying predicate and a predicate being modified. Consider his example: ‘The chairman is well-paid’. Both predicates ‘being well-paid’ and ‘being a chairman’ are semantically related because both concern a job. The stronger the connection is, the easier it leads to substitution failure (comparative to sentences with less related predicates, e.g. ‘The chairman wants to eat meat’, 1989: 741).
Unlike definite descriptions, proper names are rigid designators and are not-sensitive to scope differences. When a proper name’s descriptive content is used only to pick up the reference and not to modify a predicate, there are no differences in operators’ scope. Consider:
- (7):
-
Romain Gary won the Prix Goncourt in 1975
- (8):
-
Romain Gary was the only person who won the Prix Goncourt twice
Sentence (7) could be written as (7′) or as (7″) (I will use ‘\(w\)’ for ‘win’ and ‘\(n\)’ for ‘Romain Gary’):
- (7′):
-
\({\mathbf{P}}\left( {\lambda x.W\left( x \right)} \right)\left( n \right)\)—‘a certain person, Romain Gary, won the Prix Goncourt in 1975′;
- (7″):
-
\({\mathbf{P}}\left( {\lambda x.W\left( x \right)} \right)_{n} \left( n \right)\)—‘a certain person, Romain Gary, won the Prix Goncourt in 1975 (as Romain Gary)’
Formula (7′) has exactly the same truth-conditions as formula \(\left( {\lambda x.{\mathbf{P}}W\left( x \right)} \right)\left( n \right)\) because in both cases you check if the certain person, Romain Gary, won the Prix. He won, so (7′) is true. But he won it not as Romain Gary, but as Émile Ajar. He is the only author to have won the Prix Goncourt twice. This prize for French language literature is awarded only once to an author and Gary, who had already received the prize in 1956, wrote a book as Emile Ajar to receive the prize again. So (7″) is false. In a similar way, if the sentence (8) is understood without modification, it is true (‘a certain person, Romain Gary, was the only person who won the Prix Goncourt twice’), but if it is understood as ‘a certain person, Romain Gary, won the Prix Goncourt twice as Romain Gary’) it is false.
The substitution of coreferential names in simple sentences could fail, because the different descriptive content of proper names modifies the main predicate differently, so in effect sentences could have different truth conditions. The double truth conditions of different readings (simple and modified) are responsible for the mixed intuitions which speakers feel about such examples. The raised hypothesis about the additional truth-conditional relevance of descriptive content associated with a proper name allows one to explain why speakers associate a descriptive content with a proper name—using the descriptive content as adjuncts, they could express propositions that could not be expressed in any other way (without as-phrases), for example ‘Romain Gary won the Prix Goncourt twice but only once as Romain Gary’.
In Appendix I will present a formal machinery [languages \({\mathcal{L}}\) and \({\mathcal{L}}^{ + }\) (without and with name-terms)] and prove some useful statements.
Change history
16 January 2017
An erratum to this article has been published.
Notes
A scope of a negation is without importance here because it does not affect truth-conditions—assuming that the descriptions designate, formula (2) and its variant with a negation in wide scope have exactly the same truth-conditions.
Similarly all examples with terms other than proper names and descriptions could also be paraphrased with as-phrases: ‘The judges are on strike as judges’/‘The hangmen, as hangmen, are not on strike’ (Landman 1989: 729–730); ‘Water is often dirty but H2O as such is never dirty’, ‘The statue is made of copper but the copper as such isn’t made of anything’ (Szabó 2003: 388), ‘Lex fears Superman as such’, ‘Lex fears Clark, not as such but as Superman’ (Forbes 2006: 158, 159).
(Carlson 2003: 1231): ‘A wide variety of other anaphoric forms, beyond personal pronouns and temporal anaphora, make reference to an extensive array of other types of things. […] Other forms take as antecedents phrases that are not NPs. […] ‘such’ takes a modifier […] If intelligent students attend college, such students usually do very well.’ (Landman and Morzycki 2003: 140–141): ‘Such, then, can be interpreted as a property of individuals that realize a contextually supplied kind.’ Landman (2006: 56): ‘As observed above, examples like the following […] suggest an account of such as a property variable, as such appears to pick up the reference of a preceding adjective […]’. The view that such is anaphoric to kinds is due to Carlson (1980: 230–236). Arguments supporting the claim that such behaves syntactically and semantically as an adjective and not as adjectival phrase could be found in Siegel (1994: 482) and in Wood (2002: 91).
Forbes (2006) proposed a solution of The Superman Puzzle based on a semantics of ‘as such’ phrases. According to him, in cases of intuitive substitution failure, simple sentences with proper names such as ‘Lex fears Superman’ should be understood as containing a covert prepositional phrase ‘Lex fears Superman as such’ (2006: 157–158). Forbes treats the such pronoun as a case of logophora (a special case of anaphora in which an expression serving as antecedent is taken itself as a referent of an anaphoric pronoun, 2006: 155, 158), but contrary to him I think that such is adjectivally anaphoric.
Arguments in favor of this view are given by Szabó (2003: 395–397).
By ‘modification’ I understand here a syntactical relation defined as follows (Carnie 2006: 85): ‘If an XP (that is, a phrase with some category X) modifies some head Y, then XP must be a sister to Y (i.e., a daughter to YP).’ Strictly speaking, modifying position for adjuncts on a tree is not to be a sister to N, V, A or P but to N′, V′, A′ or P′ (Carnie 2006: 162), which constitutes the main syntactical difference between adjuncts and complements. However I will leave aside this difference in tree position between complements and adjuncts (so I will present adjuncts in simplified manner as ‘sisters’ to ‘V’ on the trees below).
Besides the standard predicate modifiers Clark proposed the semantics for modifiers that he called ‘fictionalizers’ and ‘negators’ (1970: 329). The characteristic feature of such ‘falsifiers’ is that the intersection of two extensions—of initial predicate (‘Ming vase’) and of it being modified by a falsifier (‘a fake Ming vase’)—is an empty set. The proposition of analyzing expressions as ‘fake’, ‘mythical’, ‘simulated’ in a different way is due to Twardowski (1927). In this paper I will consider only standard modifiers and leave ‘falsifiers’ aside [more can be found in Poli (1991), Cocchiarella (2005), van der Schaar (2013)].
A similar treatment can be found in (McConnell-Ginet 1982).
Katz (2008: 229) takes cases like these as supplying the claim that state verbs (contrary to events verbs) could be restricted from Drop.
This picture is taken from von Fintel, Kai. 24.903 Language and its Structure III: Semantics and Pragmatics, Spring 2005. (MIT OpenCourseWare: Massachusetts Institute of Technology), http://ocw.mit.edu/courses/linguistics-and-philosophy/24-903-language-and-its-structure-iii-semantics-and-pragmatics-spring-2005 (Accessed 26 May, 2014). License: Creative Commons BY-NC-SA.
It seems that in natural language as-phrases could be iterated and could modify a modified predicate on the same argument place or on different argument place. Consider for example: ‘Teryl Austin has been confirmed as being hired as the Lions new defensive coordinator’ (example from ‘World News’, accessed 11 July, 2014; http://article.wn.com/view/2014/01/18/Lions_hire_Teryl_Austin_as_defensive_coordinator_retain_8_fr/). Intuitively, it is not only the case that Teryl Austin has been confirmed as being hired and as being the Lions new defensive coordinator (conjunction of modifiers), but he has been confirmed as being hired as the Lions new defensive coordinator (modification of a predicate confirmed by the already modified predicate hired as a defensive coordinator). Also a predicate could be modified on several argument-places, e.g., ‘As a cardiologist, I refuse to buy you a box of Havana cigars as a birthday gift’.
I will preserve the intuition that a modified predicate abstract \(\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i}\) and a predicate abstracted from a formula with a modified predicate \(\left( {\lambda x.Q_{\lambda y.\psi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)} \right)\) are one and the same predicate (so you can take a modifier ‘in and out’ of a predicate abstract, see Theorem I in Sect. 8).
Note that the interpretation of \(Q_{P}\) and \(P_{Q}\) predicates could differ. In case of \(I(Q_{P} )\) and \(I\left( {P_{Q} } \right)\) we have the same requirement that their extension should be a subset of \(I\left( Q \right) \cap I\left( P \right)\) set. Nothing restrains these sets from being different. But, assuming a mereology of states (as Szabó did), you would get quite an unintuitive result. Let me briefly explain. What does it mean on Szabó’s (2003) account that somebody, say \(d\), belongs to \(I(Q_{P} )\) and \(I\left( {P_{Q} } \right)\)? This means [2003: 404 def. (51b)] that there are two states, \(s\) and \(s^{\prime}\), such that \(d\) is agent of both of them and \(P\left( s \right),\,Q\left( {s^{\prime}} \right)\) are true. Moreover, because \(d \in I\left( {P_{Q} } \right)\), it should be so that \(s\) is a part of \(s^{\prime}\). In a similar way, because \(d \in I\left( {Q_{P} } \right)\), it also should be so that \(s^{\prime}\) is a part of \(s\). This means that \(s\) and \(s^{\prime}\) is one and the same state. I find this consequence quite unwelcome. Imagine that Jones is sentenced as a tax-dodger and as a prisoner he does not pay taxes. So his state \(s\) if being a prisoner is a part of his state \(s^{\prime}\) of being a taxes nonpayer. In a similar way, his state \(s^{\prime}\) is a part of state \(s\). This means that his state \(s\) of being a prisoner and his state \(s^{\prime}\) of being a nonpayer of taxes is one and the same state. This means in turn that every predicate true of \(s\) should also be true of \(s^{\prime}\). Imagine that Jones is a convinced anarchist and is unhappy to be imprisoned but is happy not to pay taxes. So he is both in a happy and an unhappy state. Assuming a mereology of states, Szabó was trying to avoid such a dilemma (2003: 400), but as we see, the dilemma still remains. Compare a similar example: ‘As a suspect, Jones refuses to make a statement’/‘As refusing to make a statement, Jones becomes a suspect’. On Szabó’s account Jones’s refusing-to-make-a-statement state and becoming-a-suspect state should be one and the same state but intuitively these states are two different states.
I assume in this example that it is only possible to take part in the Olympic Games as an athlete of some kind.
An anonymous referee drew my attention to possible extension of the proposed account to indexicals. It seems, however, that there is no straightforward way to extend this account to sentences with indexicals, e.g. ‘He (pointing at young Cassius Clay’s photo in a newspaper) was never beaten but he (pointing at Muhammad Ali in another photo) was beaten five times’. Contrary to sentences with other coreferential NPs this is not a descriptive content of indexicals which is used as an adjunct (e.g. ‘male individual’ for ‘he’) because that is stable and thus could not modify the same predicate differently. The descriptive content which is used as an adjunct in this example is a contextually salient property (different in two acts of demonstration) possessed by a referent of an indexical, e.g. ‘a boxer named [cassius clay]’, ‘a boxer named [muhammad ali]’. Firstly, it is unclear how one could extract such a property (should it be a description at all?), and secondly it is far from obvious how one should semantically connect such a property with an indexical. On the other hand, once the property is extracted and by ‘He (pointing) was never beaten but he (pointing) was beaten five times’ one understands something like ‘He, as a boxer named [cassius clay], was never beaten but he, as a boxer named [muhammad ali] was beaten five times’ or something like ‘He was never beaten before 1964 but he was beaten five times after 1964’, one can use the analysis of predicate modification presented here.
Compare Kripke’s remark about rigidity and scopes of alethic modalities in (1980: 12 footnote 15). Fitting and Mendelsohn (1998: 217) characterize a term’s rigidity as the equality of the broad scope to the narrow scope reading.
References
Carlson, G. (1980). Such. In G. Carlson (Ed.), Reference to kinds in English (pp. 219–236). New York: Garland.
Carlson, G. (2003). Anaphora. In L. Nadel (Ed.), Encyclopedia of cognitive science (pp. 1230–1236). London: Nature Publishing.
Carnie, A. (2006). Syntax. A generative introduction (2nd ed.). Oxford: Blackwell.
Clark, R. (1970). Concerning the logic of predicate modifiers. Noûs, 4(4), 311–335.
Cocchiarella, N. B. (2005). Denoting concepts, reference, and the logic of names, classes as many, groups and plurals. Linguistics and Philosophy, 28, 35–179.
Davidson, D. (1967). (Ed.). The logical form of action sentences. In Essays on actions and events (pp. 105–121). Oxford: Claredon Press.
Fitting, M., & Mendelsohn, R. L. (1998). First-order modal logic. Dordrecht: Kluwer.
Forbes, G. (2006). ‘As such’. In G. Forbes (Ed.), Attitude problems. An essay on linguistic intensionality (pp. 157–164). Oxford: Claredon Press.
Fulton, J. A. (1979). An intensional logic of predicates and predicates modifiers without modal operators. Notre Dame Journal of Formal Logic, XX(4), 807–834.
Geurts, B. (1997). Good news about the description theory of names. Journal of Semantics, 14, 319–348.
Katz, G. (2008). Manner modification of state verbs. In L. McNally & C. Kennedy (Eds.), Adjectives and adverbs (pp. 220–248). New York: Oxford University Press.
Lakoff, G. (1970). Adverbs and modal operators (second draft). Retrieved May, 21, 2014, from http://georgelakoff.files.wordpress.com/2011/01/adverbs-and-modal-operators-lakoff-1970.pdf.
Landman, F. (1989). Groups II. Linguistics and Philosophy, 12(6), 723–744.
Landman, M. L. (2006). Adjectival anaphora. In M. L. Landman, (Ed.), Variables in natural language (pp. 44–110). Dissertation, University of Massachusetts.
Landman, M. L., & Morzycki, M. (2003). Event-kinds and the representation of manner. In N. M. Antrim, G. Goodal, M. Schulte-Nafeh, & V. Samiian (Eds.), Proceedings of the Western Conference in Linguistics (WECOL) (Vol. 14, pp. 136–147). Fresno: California State University.
Link, G. (1983). The Logical Analysis of Plurals and Mass Terms: A Lattice-theoretical Approach. In R. Bäuerle, C. Schwarze, & A. von Stechow (Eds.), Meaning, use, and the interpretation of language (pp. 302–323). Berlin: de Gruyter.
Matushansky, O. (2008). On the linguistic complexity of proper names. Linguistics and Philosophy, 31(5), 573–627.
McConnell-Ginet, S. (1982). Adverbs and logical form: A linguistically realistic theory. Language, 58(1), 144–184.
Mill, J. S. (1889/2011). A system of logic. South Australia: eBooks@Adelaide, University of Adelaide.
Parsons, T. (1970). Some problems concerning the logic of grammatical modifiers. Synthese, 21, 320–334.
Poli, R. (1991). Twardowski’s theory of modification against the background of traditional logic. Axiomathes, 1, 41–57.
Poller, O. (2014). Formal representations of proper names in accordance with a descriptive theory of reference. Polish Journal of Philosophy, 8(1), 37–52.
Poller, O. (under review a). All the Superhero’s names.
Poller, O. (under review b). Obrona deskrypcyjnej teorii odniesienia nazw [Defending a Descriptive Theory of Reference; in Polish].
Pörn, I. (1982). On the logic of adverbs. Studia Logica, XLII(2/3), 293–298.
Richards, B. (1976). Adverbs: From a logical point of view. Synthese, 32(3/4), 329–337.
Rini, A. A., & Cresswell, M. J. (2012). The world-time parallel: Tense and modality in logic and metaphysics. New York: Cambridge University Press.
Saul, J. M. (1997). Substitution and simple sentences. Analysis, 57(2), 102–108.
Saul, J. M. (2007). Simple sentences, substitution and intuitions. Oxford: Oxford University Press.
Siegel, M. E. (1994). Such: Binding and the pro-adjective. Linguistics and Philosophy, 17, 481–497.
Sperber, D., & Wilson, D. (1995). Relevance. Communication and cognition (2nd ed.). Oxford: Blackwell.
Szabó, Z. G. (2003). On qualification. Philosophical Perspectives, 17, 385–414.
Thomason, R. H. (1971). Logic and adverbs. The Journal of Philosophy, 68(20), 715–716.
Thomason, R. H., & Stalnaker, R. C. (1973). A Semantic theory of adverbs. Linguistic Inquiry, 4(2), 195–220.
Twardowski, K. (1927). Issues in the logic of adjectives. In J. Pelc (Ed.), Semiotics in Poland 1894–1969 (pp. 28–30), Synthese Library (Vol. 119, 1979). Warsaw: PWN.
van der Schaar, M. (2013). Wooden horses and false friends: On the logic of adjectives. In K. Mulligan, K. Kijania-Placek & T. Placek (Eds.), The history and philosophy of Polish logic: Essays in honour of Jan Woleński (pp. 103–116). Basingstoke: Palgrave Macmillan.
van Fraassen, B. C. (1973). Extension, Intension, and Comprehension. In M. Munitz (Ed.), Logic and ontology (pp. 101–131). New York: New York University Press.
Wood, J. L. (2002). Much about Such. Studia Linguistica, 56(1), 91–115.
Acknowledgements
I am especially indebted to Katarzyna Kijania-Placek who provided advice and encouragement at every step of the preparation of this paper. I owe many thanks also to Professor Adam Olszewski for his remarks about the formal semantics presented here. I have also benefited greatly from many discussions with members of Department of Epistemology, Institute of Philosophy, Jagiellonian University and especially with Professor Tomasz Placek, Leszek Wroński, Jacek Wawer, Juliusz Doboszewski and Maja (Sherlock) Białek. A version of this paper was presented at the PhiLang 2013 conference held at the University of Łódź (09.05.–11.05.2013) and I would like to thank all of the audience for their valuable comments on this occasion and especially to Stefano Predelli, Tadeusz Ciecierski and Krzysztof Posłajko. This project was supported by the Ministry of Science and Higher Education of Poland, DEC-2012/05/N/HS1/01429.
Author information
Authors and Affiliations
Corresponding author
Additional information
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
An erratum to this article is available at https://doi.org/10.1007/s11098-017-0864-y.
Appendix: The formal representation of modified predicates
Appendix: The formal representation of modified predicates
The languages \({\mathcal{L}}\) and \({\mathcal{L}}^{ + }\) are based on first-order predicate logic with identity and descriptions (I followed Fitting and Mendelsohn 1998). I will skip all standard definitions and present the definitions that are specific for a formal representation of modified predicates. Let me start from the language \({\mathcal{L}}\) which contains only two sorts of terms: variables and iota-terms.
Definition I
The alphabet of \({\mathcal{L}}\).
A first-order language \({\mathcal{L}}\) contains the following symbols: sentential connectives \(\wedge, \, \vee,\, \rightarrow, \, \leftrightarrow,\, \sim\); quantifiers \(\exists, \, \forall\); an infinite set of individual variables \(x_{1}, \,x_{2}, \, x_{3},\, \cdots\); an infinite set of predicate constants \(P_{1}, \,P_{2}, \, P_{3},\, \cdots\), with a positive integer (an arity) assigned to each of them; identity sign =; the definite descriptions operator ι; the abstraction operator \({\lambda}\); temporal operators of past \({\mathbf{P}}\) and future \({\mathbf{F}}\); an infinite set of temporal operators [ i ] (‘true at t i ’), where \(i \in \mathbf{N}\); modal operators \(\square\), \({\diamond}\); an infinite set of distinguished predicate constants \(N_{1}, \,N_{2}, \, N_{3},\, \cdots\); a set of numerical symbols for natural numbers; the left parenthesis (, the right parenthesis ).
Definition II
The syntax of \({\mathcal{L}}\).
Predicate constants and the predicate abstracts, modified atomic predicates and modified predicate abstracts defined below are predicates of \({\mathcal{L}}\). An atomic predicate of \({\mathcal{L}}\) is any predicate constant. The notions of a formula, a term, a predicate and free variable occurrence are defined as follows:
the notions of a variable (R1), a predicate constant (R2), an atomic formula (R3), \({\sim \varphi}\) (R4), \({\left(\varphi \wedge \psi\right)}\), \({\left(\varphi \vee \psi\right)}\), \(\left( {\varphi \to \psi } \right)\), \(\left( {\varphi \leftrightarrow \psi } \right)\) (R5), \({\mathbf{P}}\varphi\), \({\mathbf{F}}\varphi\), \([_{i}]\varphi\) (R6), \({\square \varphi,\, \diamond\varphi\, (R7), \,\forall_{x}\varphi,\, \exists_{x}\varphi\,(R8),\,\iota x. \varphi\, (R9),\, (\lambda x. \varphi)}\) (R10) are defined in a standard way;
- R11.:
-
if \(Q\) is a 1-place predicate constant and \(x\) is a variable, then (\({(\lambda x.Q(x))}\) is a modifier. Modifiers contain no free variable occurrences;
- R12.:
-
if (\({\lambda x.\varphi}\)), (\({\lambda x.\psi}\)) are modifiers, then \(\left( \lambda x. (\varphi \, \wedge \, \psi) \right)\) is a modifier;
- R13.:
-
if \({Q}\) is a \({n}\)-place predicate constant and (\({\lambda x.\varphi}\)) is a modifier then \(Q_{\lambda x.\varphi }^{i}\) is n-place atomic predicate modified by \(\left({\lambda x.\varphi}\right)\) on ith argument place of \({Q}\) (where \(1\, \le\, i\, \le\, n\));
- R14.:
-
if \(\left( {\lambda x. Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)\) is a predicate abstract and \({\lambda x.\psi}\) is a modifier, then \(\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i}\) is a predicate abstract modified by \(\left({\lambda x.\psi }\right)\) on ith argument place of \(Q\) (where \(1\, \le\, i\le\, n\)); the free variable occurrences in \(\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i}\) are those of \(\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)\)
- R15.:
-
if \(\left( {\lambda x.\sim Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)\) is a predicate abstract and \(\left({\lambda x.\psi}\right)\) is a modifier, then \(\left( {\lambda x.\sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i}\) is a predicate abstract modified by \(\left({\lambda x.\psi}\right)\) on ith argument place of \(Q\) (where \(1\, \le\, i\le\, n\)); the free variable occurrences in \(\left( {\lambda x.\sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i}\) are those of \(\left( {\lambda x. Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)\);
- R16.:
-
if \(Q\) is a n-place predicate constant, \(Q_{\lambda x.\varphi }^{i}\) is n-place modified predicate and \(z_{1}, \ldots, \, z_{n}\) is an n-element sequence of variables, then \(Q_{\lambda x.\varphi }^{i} \left( {z_{1} , \ldots , z_{n} } \right)\) is a formula in which all variable occurrences in the n-element sequence are free;
- R17.:
-
if \(\left({\lambda x.\varphi}\right)\) is a predicate abstract and \(s\) is a term, then \(\left({\lambda x.\varphi}\right)(s)\) is a formula; the free occurrences of variables in \(\left({\lambda x.\varphi}\right)(s)\) are those of \(\left({\lambda x.\varphi}\right)\) together with those of \(s\);
- R18.:
-
if \((\lambda x.\varphi )_{\lambda y.\psi }^{i}\) is a modified predicate abstract and \({\textit{s}}\) is a term, then \((\lambda x.\varphi )_{\lambda y.\psi }^{i} \left( s \right)\) is a formula; the free occurrences of variables in \((\lambda x.\varphi )_{\lambda y.\psi }^{i} \left( s \right)\) are those of \((\lambda x.\varphi )_{\lambda y.\psi }^{i}\) together with those of \({\textit{s}}\);
- R19.:
-
nothing else is a formula, a term, a predicate, a modifier and a free occurrence of a variable.
Notational convention:
-
if \({Q}\) is a 1-place predicate constant and \({\beta}\) is a modifier, then instead of ‘\(Q_{\beta }^{1}\) ’ we will write ‘\(Q_{\beta }\)’;
-
if \({Q}\) is a n-place predicate constant and (\({\lambda x.P\left( x \right)}\)) is a modifier, then instead of ‘\(Q_{\lambda x.P\left( x \right)}^{i}\)’ we will write ‘\(Q_{P}^{i}\)’.
Definition III
The semantics of \({\mathcal{L}}\).
A varying domain first-order model \({\mathfrak{M}}\) for \({\mathcal{L}}\) is a structure \({\mathfrak{M}} = \left\langle {{\mathcal{D}},T, < ,W,I} \right\rangle\), such that:
-
\({\mathcal{D}}\) is a domain function mapping pairs of possible world and time \(\left\langle {w, \,t} \right\rangle\) to non-empty sets. The domain of the model is the set \(\cup \left\{ {{\mathcal{D}}_{{\left\langle {w, t} \right\rangle }} :w \in W,t \in T} \right\}\). We write \({\mathcal{D}}_{{\mathfrak{M}}}\) for the domain of the model \({\mathfrak{M}}\) and \({\mathcal{D}}_{{\left\langle {w, t} \right\rangle }}\) for a value of the function \({\mathcal{D}}\) for an argument \(\left\langle {w, \,t} \right\rangle\);
-
\({T}\) is a set of natural numbers and \({<}\)(‘earlier then’) is a linear order defined on elements of \({T}\) (a set \({\left(T, <\right)}\) is thought as a flow of time);
-
\({W}\) is a non-empty set of possible worlds;
-
\({I}\) is a function which assigns an extension to each pair of an atomic predicate or modified atomic predicate of \({\mathcal{L}}\) and a pair \(\left\langle {w, \,t} \right\rangle\), where \({w\, \in \,W}, \,{t \, \in \, T}\), in the following way:
-
if \({Q}\) is a n-place predicate constant, then \(I_{{\left\langle {w,\,t} \right\rangle }} \left( Q \right) \subseteq {\mathcal{D}}_{{\mathfrak{M}}}^{n}\);
-
\(I_{{\left\langle {w,t} \right\rangle }} \left( = \right) = \left\{ {\left\langle {d,d} \right\rangle \in {\mathcal{D}}_{{\mathfrak{M}}} } \right\}\);
let \({g}\) be a variable assignment (a mapping that assigns to each free variable \({x}\) some member \({g}\)(\({x}\)) of the model domain \({\mathcal{D}}_{{\mathfrak{M}}}\)) and let \(I_{{\left\langle {w,t} \right\rangle }}^{g}\) be a function which assigns an extension to each pair of an atomic predicate, a modified predicate or a term of \({\mathcal{L}}\) and a pair \(\left\langle {w,t} \right\rangle\), where \({w\, \in \,W}\), \({t \, \in \, T}\), in the following way:
-
if \({x}\) a variable, then \(I_{{\left\langle {w,t} \right\rangle }}^{g} \left( x \right) = g\left( x \right)\) for any \(\left\langle {w, t} \right\rangle\);
-
\({I\, \subseteq\, I^{g}}\) for any \({g}\);
-
the notion of interpretation of terms other then variables and interpretation of modified predicates and satisfaction of formulas in \({\mathfrak{M}}\) are defined as follows:
- S1.:
-
if \({Q}\) is a n-place predicate constant and \(y_{1},\, \ldots, y_{n}\) are variables, then \({\mathfrak{M}}^{ g w t} { \vDash } Q\left( {y_{1} , \ldots ,y_{n} } \right)\,{\text{iff}}\,\left\langle {g\left( {y_{1} } \right), \ldots , g\left( {y_{n} } \right)} \right\rangle \in I_{{\left\langle {w,\,t} \right\rangle }} \left( Q \right)\);
the notions of satisfaction of \(\sim \varphi \left( {S2} \right), \, (\varphi \wedge \psi ) \, \left( {S3} \right), \, (\varphi \vee \psi ) \, \left( {S4} \right), \left( {\varphi \to \psi } \right) \left( {S5} \right), \, \left( {\varphi \leftrightarrow \psi } \right) \, \left( {S6} \right)\) are defined in a standard way;
- S7.:
-
if \({Q}\) is a n-place predicate constant, \({P}\) is a 1-place predicate constant and x is a variable, then \(I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . P\left( x \right)}^{i} } \right) \in {\mathcal{P}}\left( {\left\{ {\left\langle {d_{1} , \ldots ,d_{i} , \ldots ,d_{n} } \right\rangle \in I_{{\left\langle {w, t} \right\rangle }} \left( Q \right):d_{i} \in I_{{\left\langle {w, t} \right\rangle }} \left( P \right)} \right\}} \right);\)
- S8.:
-
if \(Q_{\lambda x.P\left( x \right)}^{i} ,\,Q_{\lambda y.P\left( y \right)}^{i}\) are n-place atomic predicates modified by \(\lambda x. P(x)\), \(\lambda y. P(y)\) on ith argument place and \(x\), \(y\) are variables, then \(I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda x . P\left( x \right)}^{i} } \right) = I_{{\left\langle {w, t} \right\rangle }} \left( {Q_{\lambda y . P\left( y \right)}^{i} } \right);\)
- S9.:
-
if \({Q}\) is a n-place predicate constant, \({x}\) is a variable, and (\(\lambda x. \varphi\)), (\(\lambda x. \psi\)) are modifiers, then \(I_{{\left\langle {w,\,t} \right\rangle }} \left( {Q_{{\lambda x.\left( {\varphi \wedge \psi } \right)}}^{i} } \right) = I_{{\left\langle {w,\,t} \right\rangle }} \left( {Q_{\lambda x.\varphi }^{i} } \right) \cap I_{{\left\langle {w,\,t} \right\rangle }} \left( {Q_{\lambda x.\psi }^{i} } \right);\)
- S10.:
-
if \( Q\left( {z_{1} , \ldots ,z_{n} } \right) \) is an atomic formula and \(\left( {\lambda x . Q\left( {z_{1} ,\, \ldots ,\,z_{n} } \right)} \right)_{\lambda y . \psi }^{i}\) is a modified predicate abstract, then \(I_{{\left\langle {w,\,t} \right\rangle }}^{g} \left( {\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i} } \right) = \left\{ {d \in {\mathcal{D}}_{{\mathfrak{M}}} :{\mathfrak{M}}^{{ g \left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right)w t}} { \vDash }Q_{\lambda y.\psi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)} \right\};\)
- S11.:
-
if \( \sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right) \) is a negation of an atomic formula and \(\left( {\lambda x . \sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y . \psi }^{i}\) is a modified predicate abstract, then \(I_{{\left\langle {w,\,t} \right\rangle }}^{g} \left( {\left( {\lambda x.\sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y . \psi }^{i} } \right) = \left\{ {d \in {\mathcal{D}}_{{\mathfrak{M}}} :{\mathfrak{M}}^{{ g \left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right)w t}} { \nvDash }Q_{\lambda y.\psi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)} \right\};\)
- S12.:
-
if \({Q}\) is a n-place predicate constant, (\(\lambda x. \varphi\)) is a modifier and \(Q^i_{\lambda x. \varphi}\) is a n-place modified predicate, then \({\mathfrak{M}}^{ g w t} { \vDash } Q_{\lambda x.\varphi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)\,{\text{iff}}\,\left\langle {g\left( {z_{1} } \right), \ldots , g\left( {z_{n} } \right)} \right\rangle \in I_{{\left\langle {w,t} \right\rangle }} \left( {Q_{\lambda x.\varphi }^{i} } \right);\)
the notions of satisfaction \({\mathbf{P}}\varphi\) (S13), \({\mathbf{F}}\varphi\) (S14) are defined in a standard way;
- S15.:
-
if \({\varphi}\) is a formula, then \({\mathfrak{M}}^{{ g w t_{j} }} { \vDash }[_{i} ]\varphi \,{\text{ iff }}\,{\mathfrak{M}}^{{ g w t_{i} }} { \vDash }\varphi ;\)
the notions of satisfaction \({\square \varphi\,(S16),\, \diamond\varphi\, (S17), \,\forall_{x}\varphi\,(S18),\,\exists_{x}\varphi\, (S19)}\) are defined in a standard way;
- S20.:
-
if \({\mathfrak{M}}^{{ g \left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right)w t}} { \vDash }\varphi\) for exactly one \(d \in {\mathcal{D}}_{{\mathfrak{M}}}\), then \(I_{{\left\langle {w,t} \right\rangle }}^{g}\left (\iota x.\varphi\right)=d\); if it is not the case that \({\mathfrak{M}}^{{ g \left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right)w t}} { \vDash }\varphi\) for exactly one \(d \in {\mathcal{D}}_{{\mathfrak{M}}}\), then \(\iota x. \varphi\) fails to designate at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}\) with respect to \(g\);
the notion of satisfaction of \((\lambda x. \varphi)(s)\) (S21) is defined in a standard way;
- S22.:
-
if a term s designates at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}\) with respect to g and \((\lambda x.\varphi )_{\lambda y.\psi }^{i}\) is a modified predicate abstract, then \({\mathfrak{M}}^{ g w t} { \vDash }\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i} \left( s \right)\,{\text{iff}}\,I_{{\left\langle {w,t} \right\rangle }}^{g} \left( s \right) \in I_{{\left\langle {w,t} \right\rangle }}^{g} ((\lambda x.\varphi )_{\lambda y.\psi }^{i} ) ;\) if a term s fails to designate at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}\) with respect to g, then \({\mathfrak{M}}^{ g w t} { \nvDash }\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i} \left( s \right).\)
I will use symbol ‘\(!x. \varphi\)’ for a special case of \(\iota x. \varphi\) terms with only one variable \(x\) which occurs free in \(\varphi\). There are no free variable occurrences in \(!x. \varphi\) and due to this if \(I_{{\left\langle {w,t} \right\rangle }}^{g} \left( {!x. \varphi } \right)\) is defined then \(I_{{\left\langle {w,t} \right\rangle }}^{g} \left( {!x. \varphi } \right) = I_{{\left\langle {w,t} \right\rangle }}^{{g^{\prime}}} \left( {!x. \varphi } \right)\) for any assignments \(g\) and \(g\)′. That is why instead of ‘\(I_{{\left\langle {w,t} \right\rangle }}^{g} \left( {!x. \varphi } \right)\)’ we will write ‘\(I_{{\left\langle {w,t} \right\rangle }} \left( {!x. \varphi } \right)\)’ which should be understood as ‘\(I_{{\left\langle {w,t} \right\rangle }}^{g} \left( {!x. \varphi } \right)\)’ where \(g\) is any assignment.
Now I will expand language \({\mathcal{L}}\) to \({\mathcal{L}}^{ + }\) by adding name-terms. I will skip all syntactical and semantic definitions of \({\mathcal{L}}^{ + }\) duplicating the definitions of \({\mathcal{L}}\) and will write below only new ones.
Definition IV
The alphabet of \({\mathcal{L}}^{ + }\).
A first-order language \({\mathcal{L}}^{ + }\) contains all symbols of \({\mathcal{L}}\) with the addition of an infinite set of name-terms \({\mathcal{N}} = \left\{ {n_{1} ,n_{2} ,n_{3} , \ldots } \right\}\).
Definition V
The syntax of \({\mathcal{L}}^{ + }\).
- R1.:
-
the same as R1. of \({\mathcal{L}}\);
- R2.:
-
a name-term n i is a term with no free variable occurrences;
- R3.–R12.:
-
are the same as R2.–R11. of \({\mathcal{L}}\);
- R13.:
-
n i is a modifier, where n i is a name-term;
- R14.–R16.:
-
are the same as R12.–R14. of \({\mathcal{L}}\);
- R17.:
-
if (\(({\lambda x. Q(z_{1},\, \ldots,\, z_{n}))}\) is a predicate abstract and \({n_{j}}\) is a name-term, then \(\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{{n_{j} }}^{i}\) is a predicate abstract modified by \({n_{j}}\) on ith argument place of \({Q}\) (where \({1\leq \, i\, \leq n}\)); the free variable occurrences in \(\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{{n_{j} }}^{i}\) are those of (\(\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)\);
- R18.:
-
if \(\left( {\lambda x.\sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)\) is a predicate abstract and \({n_{j}}\) is a name-term, then \(\left( {\lambda x.\sim\,Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{{n_{j} }}^{i}\) is a predicate abstract modified by n j on ith argument place of \({Q}\) (where \({1\leq \, i\, \leq n}\)); the free variable occurrences in \(\left( {\lambda x.\sim Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{{n_{j} }}^{i}\) are those of \(\left( {\lambda x.\sim Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right);\)
- R19.–R21.:
-
are the same as R16.–R18. of \({\mathcal{L}}\);
- R22.:
-
if \(\left( {\lambda x.\varphi } \right)_{{n_{j} }}^{i}\) is a modified predicate abstract and \({n_{k}}\) is a name-term, then \(\left( {\lambda x.\varphi } \right)_{{n_{j} }}^{i} \left( {n_{k} } \right)\) is a formula iff \({k=j}\); the free variable occurrences in \(\left( {\lambda x.\varphi } \right)_{{n_{j} }}^{i} \left( {n_{k} } \right)\) are those of \(\left( {\lambda x.\varphi } \right)\);
- R23.:
-
the same as R19. of \({\mathcal{L}}\)
Definition VI
The semantics of \({\mathcal{L}}^{ + }\)
Let \({\mathfrak{M}} = \langle{\mathcal{D}},T, < ,W,I\rangle\) be a model of \({\mathcal{L}}\). A varying domain first-order model \({\mathfrak{M}}^{ \le }\) for \({\mathcal{L}}^{ + }\) is a structure \({\mathfrak{M}}^{ \le } = \langle{\mathcal{D}},T, < ,W,I^{ \le }\rangle\), where \(I^{ \le } { \upharpoonright \mathcal{L}} = I\).
Using already defined properties of \({\mathfrak{M}}\) (Definition III) we define the following sets, relations and functions.
S(a): set \({{\Gamma }}_{{\mathcal{L}}}\)
Set \({{\Gamma }}_{{\mathcal{L}}}\) is a set of iota-terms \(!x.[_{i} ]\varphi\) of \({\mathcal{L}}\). \(\iota x.[_{i} ]\varphi \in {{\Gamma }}_{{\mathcal{L}}}\) iff 1) there is a world \(w \in W\) such that for every time \(t \in T\) \(!x.[_{i} ]\varphi\) designates at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}\); 2) \(\varphi= (N_{i}(x)\,\wedge\,Q(x))\) where \(N_{i}\) is a distinguished predicate and \({Q}\) is a 1-place undistinguished predicate. (I will use symbols ‘\({\gamma _{i}}\)’, ‘\({\gamma _{j}}\)’, for members of \({{\Gamma }}_{{\mathcal{L}}}\)).
S(b): set \({\Delta }\)
\({\Delta } \subseteq {{\Gamma }}_{{\mathcal{L}}} \times W\). \(\left\langle {\gamma_{i} ,w} \right\rangle \in {\Delta }\) iff for any time \(t \in T\,I_{{\left\langle {w,t} \right\rangle }} \left( {\gamma_{i} } \right)\) is defined.
S(c): relation \({\mathbb{R}}\)
\({\mathbb{R}} \subseteq {\Delta }^{2}\). \(\left\langle {\gamma_{i} ,w} \right\rangle {\mathbb{R}}\left\langle {\gamma_{j} ,w^{'} } \right\rangle\) iff for any time \(t \in T\,I_{{\left\langle {w,t} \right\rangle }} \left( {\gamma_{i} } \right) = I_{{\left\langle {w',t} \right\rangle }} \left( {\gamma_{j} } \right)\) and there is the same predicate N k in γ i , γ j .
Let \({\Delta }{ / {\mathbb{R}}}\) be a partition of set \({\Delta }\) by equivalence relation \({\mathbb{R}}\) and \(\left[ {\left\langle {\gamma_{i} ,w} \right\rangle } \right]_{{\mathbb{R}}}\) be an equivalence class from \({\Delta }{ / {\mathbb{R}}}\).
S(d): function \({\mathbb{F}}\)
\({\mathbb{F}}:{\Delta }{ / {\mathbb{R}}} \to {\mathcal{D}}_{{\mathfrak{M}}}\). For any \(\left[ {\left\langle {\gamma_{i} ,w} \right\rangle } \right]_{{\mathbb{R}}} \in {\Delta \mathord{\left/ {\vphantom {\Delta {\mathbb{R}}}} \right. \kern-0pt} {\mathbb{R}}},\,{\mathbb{F}}\left( {\left[ {\left\langle {\gamma_{i} ,w} \right\rangle } \right]_{{\mathbb{R}}} } \right) = d\), where for any time \(t \in T\,d = I_{{\left\langle {w,t} \right\rangle }} \left( {\gamma_{j} } \right)\) for any \(\left\langle {\gamma_{i} ,w} \right\rangle \in \left[ {\left\langle {\gamma_{j} ,w} \right\rangle } \right]_{{\mathbb{R}}}\).
Let \({\leq}\) be any well-order relation on a set \({\Delta }{ / {\mathbb{R}}}\) and let \(\langle{\Delta }/{\mathbb{R}}, \le\rangle\) be well-ordered set.
S(e): function \({\mathbb{Q}}^{ \le }\)
\({\mathbb{Q}}^{ \le } :{ \mathcal{N}} \to {\Delta }{ / {\mathbb{R}}}\). Function \({\mathbb{Q}}^{ \le }\) for an argument n i gives an equivalence class \(\left[ {\left\langle {\gamma_{i} ,w} \right\rangle } \right]_{{\mathbb{R}}}\) in the following way:
-
for n 1 \({\mathbb{Q}}^{ \le }\) gives the least element of \(\langle{\Delta }/{\mathbb{R}}, \le\rangle\);
-
for every next element of \({\mathcal{N}}\) (with respect to an index) \({\mathbb{Q}}^{ \le }\) gives next element of \(\langle{\Delta }/{\mathbb{R}}, \le\rangle\);
-
in case there are no next element in \(\langle{\Delta }/{\mathbb{R}}, \le\rangle\), then for a next element of \({\mathcal{N}}\) \({\mathbb{Q}}^{ \le }\) gives the least element of \(\langle{\Delta }/{\mathbb{R}}, \le\rangle\).
S(f): relation \({\mathbb{S}}\)
\({\mathbb{S}} \subseteq {\Delta }^{2} .\,\left\langle {\gamma_{i} ,w} \right\rangle {\mathbb{S}}\left\langle {\gamma_{j} ,w^{'} } \right\rangle \, {\text{iff}}\,\left\langle {\gamma_{i} , w} \right\rangle ,\left\langle {\gamma_{j} , w^{'} } \right\rangle\) belong to the same equivalence class \(\left[ {\left\langle {\gamma_{i} ,w} \right\rangle } \right]_{{\mathbb{R}}}\) and w = w′.
S(g): function \({h^{\leq}}\)
\(h^{ \le } :{ \mathcal{N}} \times W \to {\Delta }{ / {\mathbb{S}}}\). For any \(n_{i} \in {\mathcal{N}},w \in W\,h^{ \le } \left( {n_{i} ,w} \right) = \left[ {\left\langle {\gamma_{j} ,w} \right\rangle } \right]_{{\mathbb{S}}} \subseteq {\mathbb{Q}}^{ \le } \left( {n_{i} } \right)\) if there is such equivalence class, otherwise \({h^{\le} \left(n_{i},\,w\right)}\) is undefined.
Semantic rules S1.–S20. of language \({\mathcal{L}}^{ + }\) are the same as rules S1.–S20. of language \({\mathcal{L}}\) (except of talking about \({I^{\le}}\) instead of \({I}\));
- S21.:
-
if \({n_{i}}\) is a name-term and \({{\Gamma }}_{{\mathcal{L}}} \ne \emptyset\), then \(I_{{\left\langle {w,t} \right\rangle }}^{ \le } \left( {n_{i} } \right) = {\mathbb{F}}\left( {{\mathbb{Q}}^{ \le } \left( {n_{i} } \right)} \right)\); if \({{\Gamma }}_{{\mathcal{L}}} = \emptyset\), then \({n_{i}}\) fails to designate in \({\mathfrak{M}}^{ \le }\) (at any \(\left\langle {w',t'} \right\rangle\));
- S22.:
-
if a term \({s}\) designates at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}^{ \le }\) with respect to \({g}\), then \({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x . \varphi } \right)\left( s \right)\) iff \({\mathfrak{M}}^{{ \le g \left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right)w t}} { \vDash }\varphi\), where \(d = I_{{\left\langle {w,t} \right\rangle }}^{ \le g} \left( s \right)\); if a term \({s}\) fails to designate at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}^{ \le }\) with respect to \({g}\), then \({\mathfrak{M}}^{ \le g w t} { \nvDash }\left( {\lambda x.\varphi } \right)\left( s \right)\);
- S23.:
-
if a term \({s}\) designates at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}^{ \le }\) with respect to \({g}\) and \((\left(\lambda x.\varphi\right )_{\lambda y.\psi }^{i} )\) is a modified predicate abstract, then \({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i} \left( s \right)\,{\text{ iff }}\,I_{{\left\langle {w,t} \right\rangle }}^{\le g} \left( s \right) \in I_{{\left\langle {w,t} \right\rangle }}^{\le g} ((\lambda x.\varphi )_{\lambda y.\psi }^{i} )\); if a term \({s}\) fails to designate at \(\left\langle {w,t} \right\rangle\) in \({\mathfrak{M}}^{ \le }\) with respect to \({g}\), then \({\mathfrak{M}}^{ \le g w t} { \nvDash }\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i} \left( s \right)\);
- S24.:
-
if \({n_{k}}\) is a name-term and \(\left( {\lambda x.\varphi } \right)_{{n_{k} }}^{i}\) is a predicate abstract modified by \({n_{k}}\), then \({\mathfrak{M}}^{{ \le g w t_{j} }} { \vDash }\left( {\lambda x . \varphi } \right)_{{n_{k} }}^{i} \left( {n_{k} } \right)\) iff there is a description \(!y. [_{j} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n_{k} ,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g w t_{j} }} { \vDash }\left( {\lambda x.\varphi } \right)_{\lambda y.\psi }^{i} \left( {n_{k} } \right)\).
Theorem I (taking a modifier ‘in and out’ of a predicate abstract)
Let \({s}\) be any term, \({Q\left(z_{1},\,\ldots,\, z_{n}\right)}\) any atomic formula, \({\lambda{y}. \psi}\) any modifier, \(\left\langle {w,t} \right\rangle\) any evaluation point, \({g}\) any variable assignment and \({\mathfrak{M}}^{ \le }\) any model. Then:
\({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x.Q_{\lambda y . \psi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)} \right)\left( s \right)\) iff \({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y . \psi }^{i} \left( s \right)\).
Proof
If s fails to designate in \({\mathfrak{M}}^{ \le }\) at \(\left\langle {w,t} \right\rangle\) with respect to g, then (Def. VI.S22, S23) both formulas are not satisfied in \({\mathfrak{M}}^{ \le }\) at \(\left\langle {w,t} \right\rangle\) with respect to g. Let us assume that s designates in \({\mathfrak{M}}^{ \le }\) at \(\left\langle {w,t} \right\rangle\) with respect to g.
\({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x.Q_{\lambda y.\psi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)} \right)\left( s \right)\) iff (Def.VI.S22) \({\mathfrak{M}}^{{ \le g\left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right) w t}} { \vDash }Q_{\lambda y . \psi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)\), where \(d = I_{{\left\langle {w,t} \right\rangle }}^{ \le g} \left( s \right)\) iff (Def.VI.S10) \(d \in I_{{\left\langle {w,t} \right\rangle }}^{ \le g} \left( {\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i} } \right)\). Because \(d = I_{{\left\langle {w,t} \right\rangle }}^{ \le g} \left( s \right)\), this is so iff (Def.VI.S23) \({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y.\psi }^{i} \left( s \right)\).□
Theorem II (taking a modifier ‘in and out’ of a predicate abstracted from negated atomic formula)
Let s be any term, \(\sim Q\left( {z_{1} , \ldots ,z_{n} } \right)\) any negated atomic formula, λy.ψ any modifier, \(\left\langle {w,t} \right\rangle\) any evaluation point, g any variable assignment and \({\mathfrak{M}}^{ \le }\) any model. Then:
\({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x . \sim Q_{\lambda y . \psi }^{i} \left( {z_{1} , \ldots ,z_{n} } \right)} \right)\left( s \right)\,iff\,{\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x . \sim Q\left( {z_{1} , \ldots ,z_{n} } \right)} \right)_{\lambda y . \psi }^{i} \left( s \right).\)
Proof
Analogously as in Theorem I. □
1.1 Statement I (difference in negation scopes)
There is a model \({\mathfrak{M}}^{ \le }\), a point of evaluation \(\left\langle {w,t} \right\rangle\), a variable assignment g, a name-term n and a predicate constant \(Q\) such that
\({\mathfrak{M}}^{ \le g w t} { \vDash }\left( {\lambda x.\sim Q\left( {z_{1} , \ldots ,z_{m} } \right)} \right)_{n}^{i} \left( n \right)\,and\,{\mathfrak{M}}^{ \le g w t} { \nvDash }\sim \left( {\lambda x.Q\left( {z_{1} , \ldots ,z_{m} } \right)} \right)_{n}^{i} \left( n \right).\)
Proof
Let \({\mathfrak{M}}^{ \le }\) be a model of \({\mathcal{L}}^{ + }\), W = {w}, for i ≠ 1. Let us use symbols ‘P’, ‘S’, ‘R’ instead ‘P 1′, ‘P 2′, ‘P 3′ of \({\mathcal{L}}^{ + }\). Let I ≤ be defined in the following way:
Let \( I_{{\left\langle {w,t } \right\rangle }}^{ \le } \left( Q_{Q} \right)=I_{{\left\langle {w,t } \right\rangle }}^{ \le } \left( Q \right)\) for any predicate constant Q and any \(\left\langle {w,t} \right\rangle\). For every predicate not mentioned above and any \(\left\langle {w,t} \right\rangle\) function I ≤ gives \( \emptyset\). According to definitions (Def. VI.S(a)–S(c), S(f)), \({{\Gamma }}_{{\mathcal{L}}} = \left\{ {\gamma_{1} ,\gamma_{2} ,\gamma_{3} } \right\}\), \({\Delta } = {\Delta }/{\mathbb{R}} = {\Delta }/{\mathbb{S}}\):
Let \({\mathcal{L}}^{ + }\) contain a name-term for any \(\left\langle {w,t} \right\rangle\). Let us prove that
\(\left( 1 \right) {\mathfrak{M}}^{{ \le g w t_{1} }} { \vDash }\left( {\lambda x.\sim P\left( x \right)} \right)_{n} \left( n \right)\) and \(\left( 2 \right) {\mathfrak{M}}^{{ \le g w t_{1} }} { \nvDash }\sim \left( {\lambda x.P\left( x \right)} \right)_{n} \left( n \right)\).
\(\left( 1 \right) {\mathfrak{M}}^{{ \le g w t_{1} }} { \vDash }\left( {\lambda x.\sim P\left( x \right)} \right)_{n} \left( n \right)\) iff (Def.VI.S24) there is a description
\(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n ,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g w t_{1} }} { \vDash }\left( {\lambda x.\sim P\left( x \right)} \right)_{\lambda y.\psi } \left( n \right)\) iff (Theorem II)
there is a description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g w t_{1} }} { \vDash }\left( {\lambda x.\sim P_{\lambda y.\psi } \left( x \right)} \right)\left( n \right)\) iff (Def.VI.S22) there is a description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that
\({\mathfrak{M}}^{{ \le g\left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right) w t_{1} }} { \vDash }\sim P_{\lambda y.\psi } \left( x \right)\), where \(d = I_{{\left\langle {w,t_{1} } \right\rangle }}^{ \le } \left( n \right)\) iff (Def. VI.S2) there is a description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g\left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right) w t_{1} }} { \nvDash }P_{\lambda y.\psi } \left( x \right)\), where \(d = I_{{\left\langle {w,t_{1} } \right\rangle }}^{ \le } \left( n \right)\) iff (Def.VI.S12) there is a description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \(d \notin I_{{\left\langle {w,t_{1} } \right\rangle }}^{ \le } \left( {P_{\lambda y.\psi } } \right)\), where \(d = I_{{\left\langle {w,t_{1} } \right\rangle }}^{ \le } \left( n \right)\).
. Let a description \(!y. [_{1} ]\psi\) be description γ 3, \(!x. [_{1} ]\left( {R\left( x \right) \wedge N_{1} \left( x \right)} \right)\). . This means that (1) is true.
(2) \({\mathfrak{M}}^{{ \le g w t_{1} }} { \vDash }\sim \left( {\lambda x.P\left( x \right)} \right)_{n} \left( n \right)\) iff (Def.VI.S2)
\({\mathfrak{M}}^{{ \le g w t_{1} }} { \nvDash }\left( {\lambda x.P\left( x \right)} \right)_{n} \left( n \right)\) iff there is no a description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g w t_{1} }} { \vDash }\left( {\lambda x.P\left( x \right)} \right)_{\lambda y.\psi } \left( n \right)\) iff (Theorem II) there is no description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g w t_{1} }} { \vDash }\left( {\lambda x.P_{\lambda y.\psi } \left( x \right)} \right)\left( n \right)\) iff (Def.VI.S22) there is no description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \({\mathfrak{M}}^{{ \le g\left( {\begin{array}{*{20}c} d \\ x \\ \end{array} } \right) w t_{1} }} { \vDash }P_{\lambda y.\psi } \left( x \right)\), where \(d = I_{{\left\langle {w,t_{1} } \right\rangle }}^{ \le } \left( n \right)\) iff (Def.VI.S12) there is no description \(!y. [_{1} ]\psi \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), such that \(d \in I_{{\left\langle {w,t_{1} } \right\rangle }}^{ \le } \left( {P_{\lambda y.\psi } } \right)\), where \(d = I_{{\left\langle {w,t_{1} } \right\rangle }}^{ \le } \left( n \right)\).
, so (Def.VI.S9) . This means that (Def.VI.S8) . Description \(!x. [_{1} ]\left( {S\left( x \right) \wedge N_{1} \left( x \right)} \right) \in \pi_{1} \left( {h^{ \le } \left( {n,w} \right)} \right)\), so (2) is false.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Poller, O. The descriptive content of names as predicate modifiers. Philos Stud 174, 2329–2360 (2017). https://doi.org/10.1007/s11098-016-0801-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11098-016-0801-5