Skip Nav Destination
Close Modal
Search Results for
variable binding
Update search
Filter
- Title
- Authors
- Author Affiliations
- Full Text
- Abstract
- Keywords
- DOI
- ISBN
- eISBN
- ISSN
- EISSN
- Issue
- Volume
- References
Filter
- Title
- Authors
- Author Affiliations
- Full Text
- Abstract
- Keywords
- DOI
- ISBN
- eISBN
- ISSN
- EISSN
- Issue
- Volume
- References
Filter
- Title
- Authors
- Author Affiliations
- Full Text
- Abstract
- Keywords
- DOI
- ISBN
- eISBN
- ISSN
- EISSN
- Issue
- Volume
- References
Filter
- Title
- Authors
- Author Affiliations
- Full Text
- Abstract
- Keywords
- DOI
- ISBN
- eISBN
- ISSN
- EISSN
- Issue
- Volume
- References
Filter
- Title
- Authors
- Author Affiliations
- Full Text
- Abstract
- Keywords
- DOI
- ISBN
- eISBN
- ISSN
- EISSN
- Issue
- Volume
- References
Filter
- Title
- Authors
- Author Affiliations
- Full Text
- Abstract
- Keywords
- DOI
- ISBN
- eISBN
- ISSN
- EISSN
- Issue
- Volume
- References
NARROW
Format
Subjects
Journal
Article Type
Date
Availability
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?
1
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...
1