ABSTRACT
ThemotivationforimplementingIL*asalogical formforagrammarofEnglishismainlyitsgeneral (type-free)treatmentofnominalizationanditsnon commitmenttoweakintensionality:Ofcoursewehavenot builtyetagrammarofEnglishpredicativeexpressions. Probably,though,theMontaguegrammariancanalready imaginethelinesalongwhichsuchagrammarcanbe constructed.Wewilldevotesubsequentchaptersofthe presentworktothistask.Inasense,thekindsof argumentsinfavourofadoptingIL*wehaveconsidered thusfarareofa"negative"nature.Therearephenomena thatcanbetreatedonlyinaverycomplicatedwaygiven
arguments (instead of "raising" functions). This gives us the flexibility we need in handling certain facts and this
of finding systematic semantic explanations of phenomena
find as possible meanings of natural language express-
to formulate a theory which contains only a threefold type
individuationofclassificatorydevicesonsemantic
claims:(a)themeaningsofnaturallanguageexpressions havetofitthemoldofthreeandonlythreelogical
types,namely(i)individual(orargument)expressions, (typically,NPs),(ii)predicates(orpropositional functions:verbs,CNs,adjectives,sentences)and functors(everythingelse):(b)therearenogrammatical processesthatinvolvequantificationoverfunctors.