David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Functions of type n are characteristic functions on n-ary relations. In Beyond the Frege Boundary , Keenan established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, where he called a function of type n reducible if it can be represented as a composition of functions of type 1 . We will give a normal form theorem for functions of type n , and use this to show that natural language has many examples of irreducible type n functions in a much stronger sense, where we take a function to be reducible if it can be represented as a composition of functions of lower types.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.
Paul Oppenheimer & Edward N. Zalta (2011). Relations Vs Functions at the Foundations of Logic: Type-Theoretic Considerations. Journal of Logic and Computation 21:351-374.
Kc Klement (2010). The Senses of Functions in the Logic of Sense and Denotation. The Bulletin of Symbolic Logic 16 (2):153-188.
Nick Chater (1997). What is the Type-1/Type-2 Distinction? Behavioral and Brain Sciences 20 (1):68-69.
Paul Dekker (2003). Meanwhile, Within the Frege Boundary. Linguistics and Philosophy 26 (5):547-556.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads1 ( #301,481 of 1,004,676 )
Recent downloads (6 months)0
How can I increase my downloads?