1-20 of 76 Search Results for

variable binding

Follow your search
Access your saved searches in your account

Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Journal Article
The Philosophical Review (2006) 115 (4): 415–448.
Published: 01 October 2006
... operators, temporal operators, ‘believes that’, or quotation). More important for my present purpose, occurrence-based semantics illumi- nates just what is going on when a quantifi er binds a variable. Properly 2. Hence I reject Donald Davidson’s appeal to “pre-Fregean semantic innocence...
Journal Article
The Philosophical Review (2015) 124 (2): 207–253.
Published: 01 April 2015
... and as binding a variable within the scope of the attitude verb. This essay is interested in addressing the question what the semantic analysis of this kind of reading should look like from a Fregean perspective—a perspective according to which attitude states are generally relations to structured Fregean...
Journal Article
The Philosophical Review (2020) 129 (1): 53–94.
Published: 01 January 2020
... to govern binding are violated. In short, in a standard donkey case, the bound expression is not c-commanded by its antecedent. This could be a potential embarrassment to the variabilist who may have thought that simply analyzing names as variables would immediately solve the problem of bound...
Journal Article
The Philosophical Review (2008) 117 (4): 525–554.
Published: 01 October 2008
... here). While the variabilist makes use of a familiar mechanism of natu- ral language—variable binding—Kaplan’s proposal engrosses language with the power to reach into the model and meddle with the interpre- tation function. The outcome—for names...
Journal Article
The Philosophical Review (2011) 120 (2): 247–283.
Published: 01 April 2011
... devices handling binding and scope in familiar formal languages—variables and parentheses—are entirely missing from the surface of the languages we speak. We are so used to reintroducing them at the level of logical form that it is useful to remind ourselves every now...
Journal Article
The Philosophical Review (2013) 122 (4): 577–617.
Published: 01 October 2013
... for entire sentences in their scope, the quantifiers of first-order logic only selectively shift the individuals denoted by terms in their scope by binding some variables but not others. One can therefore account for the behavior of these pronouns by giving them a semantics analogous to that for variables...
Journal Article
The Philosophical Review (2002) 111 (4): 497–537.
Published: 01 October 2002
... the logical form of a functor. But like ‘dthat’, neither is it a singular term. Like the logician’s inverted iota, it is a variable-binding operator that forms singular terms from open formulas: ‘(zat x)(x is a man & x looks suspicious It is not required, however, that the open-formula matrix, ‘x is a man...
Journal Article
The Philosophical Review (2008) 117 (1): 99–117.
Published: 01 January 2008
... allows wide scope quantifiers to bind variables in ‘dthat’ terms. Thus, it might be thought thatthe 103 JEFFREY C. KING semantics of complex demonstratives, the expressions, gives no account of occurrences of complex demonstratives like...
Journal Article
The Philosophical Review (2012) 121 (3): 359–406.
Published: 01 July 2012
... . Partee Barbara . 1989 . “ Binding Implicit Variables in Quantified Contexts .” In Papers from CLS 25 , ed. Wiltshire C. Music B. Graczyk R. , 342 – 65 . Chicago : Chicago Linguistics Society . Perry John . 1977 . “ Frege on Demonstratives .” Philosophical Review 86...
Journal Article
The Philosophical Review (2008) 117 (1): 1–47.
Published: 01 January 2008
... agreed amongst linguists that there is a two-place operator Gen that functions as an adverb of quantification in the sense of Lewis 1975. That is, the operator Gen is unselective, binding any variables that are free in the sentence. Adverbs of quantification include ‘usu- ally’, ‘generally...
Journal Article
The Philosophical Review (2023) 132 (2): 173–238.
Published: 01 April 2023
... as loves . 1. The rule Exchange plays a crucial role in forming ‘converses’ like λ x y . R y x — is loved by —in which λ binds variables in a different order to the order in which they appear in the body of the term. 27 2. The rule Contraction allows one to form reflexivized...
Journal Article
The Philosophical Review (2015) 124 (3): 437–440.
Published: 01 July 2015
... that they will find contentious. I look forward to the discussion. One final complaint. Borg argues against views that posit a gappy proposition as the semantic value of ‘Joe is ready’. She offers the following argument: “Readings which make explicit the presence of an existentially bound variable in these cases...
Journal Article
The Philosophical Review (2008) 117 (2): 275–287.
Published: 01 April 2008
... to the conditions formed with the variables. (e) From (d), that quantification binding these variables is incoherent. In the introduction to the volume, Fine says that “the” failure occurs at the first step: in an example like 9 ≥ 7), 9 is the number of the planets, so ᮀ(the number...
Journal Article
The Philosophical Review (2020) 129 (4): 537–589.
Published: 01 October 2020
..., variables that can take the position of expressions of that type and quantifiers that can bind them. The language also contains a variable binding symbol, λ , for making predicates out of open formulas and doing analogous things to open expressions of other types (the function of this device will become...
Journal Article
The Philosophical Review (2008) 117 (3): 385–443.
Published: 01 July 2008
... a mark on the quantifiers binding arithmetical variables; for instance, one could write n’ in place of ‘∃n’. But this choice of notation would be an unhappy one, for at least two reasons. First, it could lead to a serious misunderstanding of the proposal...
Journal Article
The Philosophical Review (2017) 126 (3): 301–343.
Published: 01 July 2017
... operator is; 43 we adopt the following implementation primarily for concreteness. We assume that genericity is due to an operator GEN, usually tacit, with roughly the meaning of ‘generally’. GEN binds a time variable t in a tensed sentence ψ t to yield another sentence that says, essentially...
Journal Article
The Philosophical Review (2008) 117 (2): 314–316.
Published: 01 April 2008
... because it lies outside the scope of its antecedent ‘a donkey’, and hence can- not be bound by it. By formulating conditions for extending the scope of the antecedent and thus securing dynamic binding for the donkey pronoun, dynamic semantics can treat pronouns across the board as variables...
Journal Article
The Philosophical Review (2007) 116 (2): 219–250.
Published: 01 April 2007
... occurrences is put forward as a logical principle, it will be interpreted as if universal quantifi ers binding those variables had been prefi xed to it. Unless we are willing to endorse formulae such as ‘( ∀x ∃y)(x = y which state that everything is a necessary being, we should not accept...
Journal Article
The Philosophical Review (2008) 117 (2): 296–299.
Published: 01 April 2008
... of truth or of substitutional quantification introduce anaphoric devices that can appear in sentence position. Azzouni instead introduces a formal system that allows a quantifier to bind a single variable that occurs in both sentence and object position. Remarkably enough, in chapter 3, he gives...
Journal Article
The Philosophical Review (2007) 116 (1): 51–91.
Published: 01 January 2007
...- tifi ers, which bind variables taking the place of singular terms such as ‘Jones’, we can introduce “plural quantifi ers,” which bind variables tak- ing the place of plural terms such as ‘Tom, Dick, and Harry’. These are the quantifi ers ‘for some Xs’ and ‘for all Xs’ that I have been using...