Linguistics and Philosophy 5 (3):303 - 354 (1982)
We started from the fact that type theory, in the way it was implemented in IL, makes it costly to deal with nominalization processes. We have also argued that the type hierarchy as such doesn't play any real role in a grammar; the classification it provides for different semantic objects is already contained, in some sense, in the categorial structure of the grammar itself. So, on the basis of a theory of properties (Cocchiarella's HST*) we have tried to build a language (IL*) whose syntax does not contain any explicit typing of expressions. Some of the consequences that this move brings about in the overall organization of the grammar can be summarized as follows:it allows for a simple treatment of infinitives, gerunds, factives and, in general, all those phenomena which might be analyzed as cases of nominalization;it provides a simpler and more constrained semantics than IL, since IL* doesn't go beyond second order, and its non-modal basis is axiomatizable;it suggests that the role of logical form in a theory of grammar could be that of a family of theories of semantic objects;it eliminates the extrinsic limitations of a type hierarchy on the choice of the system of syntactic categories.I think that it is interesting to notice how having an explicit semantic framework helps to provide a sense in which it is legitimate to regard the syntax of a language as ‘autonomous’
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Generalized Quantifiers and Natural Language.Jon Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Logics and Languages.M. J. Cresswell - 1973 - London: Methuen [Distributed in the U.S.A. By Harper & Row.
Towards a Proper Treatment of Quantification in English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
A Theory of Truth and Semantic Representation.Hans Kamp - 1981 - In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
Citations of this work BETA
Semantics and Property Theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.
Generic Terms and Generic Sentences.Greg N. Carlson - 1982 - Journal of Philosophical Logic 11 (2):145 - 181.
Logical Form: Types of Evidence. [REVIEW]Greg N. Carlson - 1983 - Linguistics and Philosophy 6 (3):295 - 317.
Similar books and articles
Intensionality and Context Change.Gennaro Chierchia - 1994 - Journal of Logic, Language and Information 3 (2):141-168.
Nominalization, Predication and Type Containment.Fairouz Kamareddine & Ewan Klein - 1993 - Journal of Logic, Language and Information 2 (3):171-215.
Montague Semantics, Nominalization and Scott's Domains.Raymond Turner - 1983 - Linguistics and Philosophy 6 (2):259 - 288.
Added to index2009-01-28
Total downloads87 ( #59,328 of 2,163,904 )
Recent downloads (6 months)2 ( #188,913 of 2,163,904 )
How can I increase my downloads?