Cognitive Science > Introduction to Semantics > Predication, Modification & Reference

Jump to: navigation, search

Contents

[edit] Predication

  • copula sentences
    C is a horse.
  • function application reduces number of arguments

[edit] Predicative expressions

  • monadic
    • Intransitive Verbs, Adjectives, Nouns
    • [|limps|] = LaTex: \lambda x \in De. x limps
  • dyadic
    • Transitive Verbs, family relations, comparison constructions
    • [|likes|] = LaTex: \lambda x \in De.[LaTex:  \lambda x \in De. y likes x]

[edit] Nominal Predication

  • [|horse|]S = LaTex:  \lambda x . x is a horse in S
  • VP [|is a horse|] = LaTex:  \lambda x . x is a horse in S
    • "is a " are doin' nothin'
    • [|a|] = [|is|] = LaTex:  \lambda P \in D<e,t>. P
    • seems to be vacuous (be critical here)

[edit] Modification

[edit] Predicate Modification (PM)

  • "intersective modification", "conjunctive composition"
  • [|LaTex: \alpha|] = LaTex:  \lambda x \in De. [|LaTex: \beta|](x) = [|LaTex: \gamma|](x)= 1
  • [|city in Texas|]
    • = LaTex: \lambda x \in De. [|city|](x) = [|in Texas|](x) = 1
    • = LaTex: \lambda x \in De. x is a city and x is in Texas

[edit] Functional Application (FM)

  • revising the entries for adjectives, PPs etc.

[edit] Comparison

[edit] Adjectives

[edit] Vague

  • [|small cat|] = LaTex:  \lambda x. x is small for a cat
  • [|small cat|] = LaTex:  \lambda P \lambda x. P(x) and the size of x is below the average size of the elements of P
→ only FA seems to yield correct results

[edit] Intensional

  • former, alleged