, Volume 18, Issue 3, pp 403-431
Date: 09 May 2009

A New Theory of Quantifiers and Term Connectives

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


This paper sets forth a new theory of quantifiers and term connectives, called shadow theory, which should help simplify various semantic theories of natural language by greatly reducing the need of Montagovian proper names, type-shifting, and λ-conversion. According to shadow theory, conjunctive, disjunctive, and negative noun phrases such as John and Mary, John or Mary, and not both John and Mary, as well as determiner phrases such as every man, some woman, and the boys, are all of semantic type e and denote individual-like objects, called shadowsconjunctive, disjunctive, or negative shadows, such as John-and-Mary, John-or-Mary, and not-(John-and-Mary). There is no essential difference between quantification and denotation: quantification is nothing but denotation of shadows. Individuals and shadows constitute a Boolean structure. Formal language LSD (Language for Shadows with Distributivity), which takes compound terms to denote shadows, is investigated. Expansions and enrichments of LSD are also considered toward the end of the paper.