; TeX output 1999.05.04:1214 LfT rhtml: html:LRDt G G cmr17Determiners,7tAdjectivqesandaQueryof nvan7tBenqthem'slύ MXQ cmr12EdwrardL.Keenanύ Marcrh,1999 ٯK`y
3
cmr101 *LfT rhtml: html:fT1rInethisnoteIdpro!videananswertoanapparentlytechnicalquerybyvdDan
rBen!themY[$html:4 html:y]concerningdenotationsofEnglishexpressions.ֶTheanswerturns rout:tobMerev!ealingofsomesystematicsemanticdierencesassoMciatedwith rcertaincategoriesofexpression.gThecategoriesofin!teresttousareillustrated rinf(1a)andgiv!enanextensionaltypMetheoreticanalysisin(1b). r
html: html:html: html:
4(1)' html:&b.} At# Vpn 5pa 0 0pa 851 -425fp-Npn 5pa 0 0pa -851 -425fp MS((e,t),t)덍 Qpn 5pa 0 0pa 681 -340fp ,pn 5pa 0 0pa -681 -340fp^((e,t),((e,t),t))
N m fe umost q(e,t)' &pn 5pa 0 0pa 354 -177fp k{pn 5pa 0 0pa -354 -177fp u((e,t),(e,t))
m fe gbald (e,t)
8I m fe JpMoets #Q(e,t)
-v m fe 9da!ydream p Sow!einterpretsentences(Ss)aselementsofthebMooleanalgebra+"V
3
cmbx102
='!",
3
cmsy10f1&b>
3
cmmi10;10g.
Andforeac!huniverseEEofob jects,}weinterpretnouns(Ns),}suchas. ':
3
cmti10ppoet,}andv!erbphrases(VPs)suchasdaydrpeam,:asfunctionsfromEointo2.CWeecallsuc!hfunctions(extensional)prpopertiesr(overE ).aWeewriteP2 cmmi8EforthesetofthesepropMerties;vingeneral[A^!B ]isthesetoffunctionsfromAin!toB.So &PE¹=:[E!!2]. KAsPEMisisomorphicto}(E ),~thepMo!wersetofE ,~weoftenZtreatpropMertiesassubsetsofE .(Themapsendingeac!hfin[E3!72]to fa2E#jf-(a)=1gisanisomorphism). MjAdjectiv!es,e.g.bpald,com!binewithexpressionsoft!ypMe(e,t)toformonesofthatsametypMe, andthusdenoteinrV[PE!^PE-].ANPs(NounPhrases)com!binewithVPstoformSsandhavet!ypMeT((e,t),t),%denotingin[PE
8/!
2].,Elementsofthissetarecalledgenerpalizedquantiers(o!ver(E ).AndDeterminers(Dets),Asuc!hasmost,Mal Fl,no,morpew&thanten,:1::W,fcom!binewithNstoformNPsandthusdenotein[PE
8/!
[PE!2]]. LeadingqYuptovdDanBen!them'squerye,wenotethatthedenotationsetsweha!ve
presented|2,wPE-,[PE
E!j2],[PE!j[PE!2]],wand
[PE!PE-]|pMossessa݅naturalbMoolean݅structure.9Feor2thisstructuisgiv!enbythestandardtruthtables}forconjunction,disjunctionandnegation.zFeorthegeneralizedquan!tiers,[PE
8/!
2],fitisgiv!enppointwise,illustratedby:html: html:html: html:
4(2)'