Graduate studies at Western
Journal of Logic, Language and Information 2 (3):171-215 (1993)
|Abstract||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)|
|Through your library||Configure|
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 B. Cocchiarella (2013). Predication in Conceptual Realism. Axiomathes 23 (2):301-321.
Added to index2009-01-28
Total downloads7 ( #142,523 of 739,463 )
Recent downloads (6 months)2 ( #37,337 of 739,463 )
How can I increase my downloads?