STUDENT:ESTRELLAJHOSELI

NFARELCI
.9107170

TASK#9 UNI
T9 LOGI
CINEVERYDAYLANGUAGE

Type-logicalsemant i
csstudieslinguisti
cmeani ngwi ththehelpoft het heoryoft ypes.
Thel atterori
ginatedwithRussellasananswert ot hepar adoxes,buthast headdi t
ional
vir
tuet hatitisv eryclosetoor dinarylanguage.I nf act
,t ypetheoryissomuchmor e
simil
art olanguaget hanpredicat
el ogicis,thatadoptingitasav ehi
cleofrepresentati
on
canov ercomet hemi smatchesbet weengr ammat icalform andpr edicatelogicalform
thatwer eobservedbyFr egeandRussel l.Thegr ammat icalformsofor dinarylanguage
sentencesconsequent l
ymaybet akentobemuchl essmi sl
eadingthanlogiciansinthe
fi
rsthal foft he twenti
eth centur y of
ten
thoughtt hem tobe.

Semant i
csi scommonl ydiv idedintolexical
semant i
cs,whi chst udiest hemeani ngof
words,andcomposi ti
onal semant ics,which
studi
est hewayi nwhi chcompl exphr ases
obtai
nameani ngf r
om t heirconstituents.Thestr
engt
hoft y
pe-logi
cal
semant
icsl
ieswith
thelatt
er,butty pe-
logicalt heori
escanbecombi nedwithmanycompet i
nghypotheses
aboutlexicalmeani ng,prov idedthesehy pot
hesesareexpressedusi
ngthel
anguageof
typetheory.