Normal forms for characteristic functions on n-ary relations

Jan Van Eijck
University of Amsterdam
Functions of type n are characteristic functions on n-ary relations. Keenan [5] established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, i.e., functions of type n that cannot be represented as compositions of unary functions. Keenan proposed some tests for reducibility, and Dekker [3] improved on these by proposing an invariance condition that characterizes the functions with a reducible counterpart with the same behaviour on product relations. The present paper generalizes the notion of reducibility (a quantifier is reducible if it can be represented as a composition of quantifiers of lesser, but not necessarily unary, types), proposes a direct criterion for reducibility, and establishes a diamond theorem and a normal form theorem for reduction. These results are then used to show that every positive n function has a unique representation as a composition of positive irreducible functions, and to give an algorithm for finding this representation. With these formal tools it can be established that natural language has examples of n-ary quantificational expressions that cannot be reduced to any composition of quantifiers of lesser degree.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,955
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Polyadic Quantifiers.Johan Van Benthem - 1989 - Linguistics and Philosophy 12 (4):437-464.
Beyond the Frege Boundary.Edward L. Keenan - 1992 - Linguistics and Philosophy 15 (2):199-221.
Meanwhile, Within the Frege Boundary.Paul Dekker - 2003 - Linguistics and Philosophy 26 (5):547-556.

Add more references

Citations of this work BETA

Parasitic Scope.Chris Barker - 2007 - Linguistics and Philosophy 30 (4):407-444.

Add more citations

Similar books and articles


Added to PP index

Total views
43 ( #232,226 of 2,403,350 )

Recent downloads (6 months)
1 ( #551,892 of 2,403,350 )

How can I increase my downloads?


My notes