Plur´aly, l´atkov´a jm´ena, reference k druh˚ um, z´aklady formalizace: polosvazy, mnoˇziny FF MU Mojm´ır Doˇcekal ´ UJABL
ˇ a koncepce logick´ Logika: syst´ emov´ y r´ amec rozvoje oboru v CR ych propedeutik pro mezioborov´ a studia (reg. ˇ c. CZ.1.07/2.2.00/28.0216, OPVK) ´ Mojm´ır Doˇ cekal (UJABL) Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 1 / 12
Outline
1
Plur´aly a l´atkov´a jm´ena
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 2 / 12
Plur´ aly a l´ atkov´ a jm´ ena
Godehard Link: The Logical Analysis of Plural and Mass Terms: A Lattice-Theoretic Approach mnoˇzina entit asociovan´a s NP m´a intern´ı strukturu ta je vhodn´a pro formalizaci gramatick´eho ˇc´ısla jmen a l´atkov´ych (mass) jmen struktura: operace souˇctu (sum: t/+), relace b´yt ˇc´ast´ı (<) (1)
(2)
Jk˚ un ˇK = {A,B,C} a. Jk˚ un ˇSG K={A,B,C} b. Jk˚ un ˇPL K={A+B,B+C,A+C,A+B+C}
a. b.
K˚ un ˇ spal. Konˇe spali.
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 3 / 12
Plur´ aly a l´ atkov´ a jm´ ena
atomy, plur´alov´a individua, polosvaz atbtc
atb
atc
btc
a
b
c
Figure 8: Presuppositon homogeneity
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 3 / 12
Plur´ aly a l´ atkov´ a jm´ ena
adjektivn´ı teorie ˇc´ıslovek: <e,t> → <e,t> (3)
a. b. c. d. e.
k˚ un ˇ . . . {A,B,C} konˇe . . . {A+B,B+C,A+C,A+B+C} dva konˇe . . . {A+B,B+C,A+C} ti dva konˇe . . . nedefinov´ano ti tˇri konˇe . . . A+B+C
jazyky jako ˇc´ınˇstina nerozliˇsuj´ı gramatick´e ˇc´ıslo na jm´enech (4)
ma . . . {A,B,C,A+B,B+C,A+C,A+B+C} a. san pi ma\ tˇri CL koˇ novitost\ ‘tˇri konˇe’ san: poˇc´ıt´ame tˇri pi: poˇc´ıt´ame atomy velikosti zv´ıˇrat ma: koˇ novitost
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 4 / 12
Plur´ aly a l´ atkov´ a jm´ ena
ˇc´ınˇstina m´a jasnˇejˇs´ı vztah syntax/s´emantika v ide. jazyc´ıch je klasifik´ator zabudov´an vˇetˇsinou do jm´ena (sg/pl) nˇekdy do ˇc´ıslovky: (5)
a. b. c.
tˇri n´amoˇrn´ıci trojice n´amoˇrn´ık˚ u troj´ı n´amoˇrn´ıci
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 5 / 12
Plur´ aly a l´ atkov´ a jm´ ena
L´atkov´a jm´ena jm´ena jako zlato, prach, sn´ıh, . . . diagnostika: 1 2 3
nelze pluralizovat: #zlata, prachy nelze pˇr´ımo poˇc´ıtat: #podej mi dvˇe zlata, #podej mi dva prachy lze je spojovat se sg. univerz´aln´ım kvantifik´atorem: vˇsechno zlato, vˇsechen prach vs. #vˇsechna kn´ıˇzka, #vˇsechen pes jsou divizivn´ı alespoˇ n lingvisticky nekoneˇcnˇe jsou i kumulativn´ı
(6)
a. b. c. d.
zlato + zlato = zlato ˇc´ast zlata = zlato pes + pes 6= pes ˇc´ast psa 6= pes
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 6 / 12
Plur´ aly a l´ atkov´ a jm´ ena
Linkovo ˇreˇsen´ı: pro l´atkov´a jm´ena nem´a polosvaz atomy podobn´a ˇc´ınsk´ym jm´en˚ um jako ma jsou neprav´a l´atkov´a jm´ena (7)
n´abytek, obuv, . . . maj´ı z´akladn´ı atomickou strukturu, ale jsou kumulativn´ı nicm´enˇe pro poˇc´ıt´an´ı mus´ıme pouˇz´ıt klasifik´atory:
(8)
a. #tˇri n´abytk b. tˇri kusy n´abytku mezi l´atkov´ymi jm´eny a poˇcitateln´ymi jm´eny jde mapovat grinding a packaging nicm´enˇe jde to jen v urˇcit´ych pˇr´ıpadech
(9)
grinding: vˇsechny jablka, dvˇe jablka → poˇcitateln´e a. V sal´atu bylo jablko. . . . mass b. #V sal´atu byl pes. ´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 7 / 12
Plur´ aly a l´ atkov´ a jm´ ena
packaging: (10)
vˇsechna voda . . . mass a. packaging: Podej mi jednu vodu. mapov´an´ı dodrˇzuje intern´ı strukturu: dva prsteny P1 a P2 ze zlata Z1 a Z2 plur´alov´y poˇcitateln´y objekt P1 + P2 je tvoˇren nepoˇcitatelnou substanc´ı Z1 + Z2 nicm´enˇe mohou m´ıt r˚ uzn´e vlastnosti:
(11)
a. b.
Tento prsten je nov´y, ale je tvoˇren star´ym zlatem. Tahle socha je mˇes´ıc star´a, ale kov, kter´y ji tvoˇr´ı, je stolet´y.
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 8 / 12
Plur´ aly a l´ atkov´ a jm´ ena
Druhy anglick´e hol´e plur´aly se zdaj´ı b´yt velmi ambign´ı (12)
a. b. c. d. e.
Horses are rare. (group) Horses are mammals. (all) Horses have tails. (almost all) Horses give birth to theoir foals in the spring. (many of the female) Horses were galloping across the plain. (some)
nejde zˇrejmˇe o skuteˇcnou ambiguitu ↔ neexistence skuteˇcn´e ambiguity v jednotliv´ych pˇr´ıpadech Carlsonovo ˇreˇsen´ı: vˇsechny hol´e plur´aly maj´ı jedin´y v´yznam: druh (kind)
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇziny 9 / 12
Plur´ aly a l´ atkov´ a jm´ ena
druhov´a denotace: S´yˇcci jsou v Evropˇe rozˇs´ıˇren´ı. objektov´a denotace: V naˇsem Zoo pˇestuj´ı s´yˇcky. stage denotace: Vˇcera jsem v Zoo vidˇeli s´yˇcky.
1 2 3
hol´y plur´al vˇzdy referuje k druhu, nicm´enˇe predik´aty jsou selektivn´ı ˇcistˇe druhov´e predik´aty: b´yt rozˇs´ıˇren´y, vymˇr´ıt, vyhubit, . . . (13)
Zmije jeˇstˇe nevymˇreli. a. #Karel vymˇrel. b. #Petr vyhubil Karla. objektov´e predik´aty: trval´e nebo t´emˇeˇr trval´e vlastnosti napˇr. b´yt inteligentn´ı, ˇcernovlas´y, vysok´y, . . . nedovoluj´ı ˇcasoprostorovou modifikaci
(14)
Karel je inteligentn´ı. a. #Karel je inteligentn´ı ve sv´e kancel´aˇri. b. #Karel je vysok´y ve sv´em autˇe.
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇz10 iny/ 12
Plur´ aly a l´ atkov´ a jm´ ena
type-shiftovac´ı oper´atory: Gn (generic): zmˇena vlastnosti Gn(P) – vlastnost druhu, pokud je pravdiv´a o typick´ych instanc´ıch druhu (15)
Gn(maj´ı-hˇr´ıvy)(konˇe) stage-level predik´aty: napˇr. ut´ıkat, sp´at, ˇc´ıst, . . . vyjadˇruj´ı ˇcasovˇe omezenou vlastnost individua R: realizaˇcn´ı oper´ator: z druhu do individua
(16)
R(konˇe)(ut´ıkali) nˇekter´e realizace druhu konˇe ut´ıkali hol´e plur´aly v angliˇctinˇe vˇzdy referuj´ı k druhu predik´aty selektuj´ı druhy, objekty nebo stage ambiguita vych´az´ı z predik´atu
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇz11 iny/ 12
Plur´ aly a l´ atkov´ a jm´ ena
life-time effect: (17)
a. b. c.
Karel byl opil´y. Karel byl inteligentn´ı. Karel poch´azel z Brna.
´ Mojm´ır Doˇ cekal (UJABL)
Plur´ aly, l´ atkov´ a jm´ ena, reference k druh˚ um, z´ aklady formalizace: polosvazy, mnoˇz12 iny/ 12
