All Categories

  • Johan Van Benthem
Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 29)


Our investigation up till now has been concerned with the linguistic category of determiners, including quantifiers. But, the techniques developed can be brought to bear upon arbitrary grammatical types: adjectives, connectives, adverbs, etc. To broaden our scope, we will work against the background of an extensional categorial grammar, with basic types e (‘entity’) and t (‘truth value’) — as in Section 1.1. — allowing formation of functional types (a, b) (‘from a-denotations to b-denotations’). Models will then be semantic structures (D a ) a TYPE, With base domains D e , D t and a recursive construction rule D(a, b) = D b D a . Chapter 7 is devoted to further theoretical study of this mechanism as such.


Binary Relation Noun Phrase Transitive Verb Boolean Homomorphism Logical Item 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company 1986

Authors and Affiliations

  • Johan Van Benthem
    • 1
  1. 1.Mathematics InstituteUniversity of AmsterdamThe Netherlands

Personalised recommendations