David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 2 (3):171-215 (1993)
In an attempt to accommodate natural language phenomena involving nominalization and self-application, various researchers in formal semantics have proposed abandoning the hierarchical type system which Montague inherited from Russell, in favour of more flexible type regimes. We briefly review the main extant proposals, and then develop a new approach, based semantically on Aczel's notion of Frege structure, which implements a version ofsubsumption polymorphism. Nominalization is achieved by virtue of the fact that the types of predicative and propositional complements are contained in the type of individuals. Russell's paradox is avoided by placing a type-constraint on lambda-abstraction, rather than by restricting comprehension.
|Keywords||typed lambda calculus Russell's paradox property theory polymorphism natural language semantics|
|Categories||categorize this paper)|
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
P. Aczel (1980). Frege Structures and the Notions of Truth and Proposition. In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.
George Bealer (1982). Quality and Concept. Oxford University Press.
Gennaro Chierchia & Raymond Turner (1988). Semantics and Property Theory. Linguistics and Philosophy 11 (3):261 - 302.
Citations of this work BETA
No citations found.
Similar books and articles
Nick Chater (1997). What is the Type-1/Type-2 Distinction? Behavioral and Brain Sciences 20 (1):68-69.
Fairouz Kamareddine (1995). A Type Free Theory and Collective/Distributive Predication. Journal of Logic, Language and Information 4 (2):85-109.
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
Andrew M. Pitts & Paul Taylor (1989). A Note on Russell's Paradox in Locally Cartesian Closed Categories. Studia Logica 48 (3):377 - 387.
Fairouz Kamareddine & Twan Laan (2001). A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10 (3):375-402.
M. Randall Holmes, Automated Type-Checking for the Ramiﬁed Theory of Types of the Principia Mathematica of Russell and Whitehead.
Nino Cocchiarella (2013). Predication in Conceptual Realism. Axiomathes 23 (2):301-321.
Added to index2009-01-28
Total downloads11 ( #160,023 of 1,692,507 )
Recent downloads (6 months)1 ( #181,267 of 1,692,507 )
How can I increase my downloads?