Д1Х3Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika FF MU Mojm r DoБ0Н0ekal Б0Й3JABL Logika: syst movб0л5 r Ґmec rozvoje oboru v Б0М9R a koncepce logickб0л5ch propedeutik pro mezioborov Ґ studia (reg. Б0Н0. CZ.1.07/2.2.00/28.0216, OPVK) Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14
Д1Х3Outline 1 Kompozicionalita: vб0л5znam celku a Б0Н0 Ґst Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 2 / 14
(Ne)trivialita pravdivostn ch podm nek vб0л5znam v Іty = pravdivostn podm nky = mnoб0ч6ina situac, kdy je pravdiv Ґ (zd Ґnliv Ґ) trivialita: (1) Vilda m Њouk Ґ. = mnoб0ч6ina situac, kdy Vilda m Њouk Ґ objektovб0л5 jazyk a metajazyk (stejn ь), rб0ц1zn э rб0ц1znost objektov ho jazyka a metajazyka odhaluje netrivi Ґlnost naб0ф8ich s mantickб0л5ch intuic (2) Vilda m Њouk Ґ. a. Vilda is meowing. b. [ Ћx.x meows](vilda) Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 3 / 14
jeб0ф8t І podstatn ІjБ0Ф8 dб0ц1vod netriviality: jak je vб0л5znam v Іty sloб0ч6en z vб0л5znamu jej ch Б0Н0 Ґst? Б0Н0 m pб0ф0isp v Ґ Vilda k celku, aby vб0л5znamem v Іty byly pravdivostn podm nky? probl m kompozicionality: pro pб0ф0irozenб0л5 jazyk: gramatika + lexikon pб0ф0iб0ф0azen vб0л5znamu slovб0ц1m a gramatickб0л5m operac m: (3) a. Vilda m Њouk Ґ. b. Ferda m Њouk Ґ. c. Vilda kousl Ferdu. d. Ferda kousl Vildu. Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 4 / 14
Jm na referuj Vilda referuje stejn І jako Michal David hlavn m vб0л5znamem jmen je odkazovat/denotovat/referovat k objektб0ц1m jm na n Ґm umoб0ч6 Њuj zm nit objekt, aniб0ч6 bychom ho museli nosit s sebou (Guliver) (4) Vilda m Њouk Ґ. Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 5 / 14
Nekompletn propozice propozice je vб0л5znam v Іty: mnoб0ч6ina situac, kdy je v Іta pravdiv Ґ (5) Vilda m Њouk Ґ. m Њau Pravda olivy Nepravda Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 6 / 14
vб0л5znam jm na Vilda je objekt, vб0л5znam v Іty jsou pravdivostn podm nky ъ vб0л5znam predik Ґtu m Њouk Ґ je cokoliv, co ze jm na ud Іl Ґ pravdivostn podm nky je to nekompletn propozice, vlastnost, nesaturovanб0л5 predik Ґt m Њau Pravda olivy Nepravda Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 7 / 14
logick typy: e(ntity) a t(ruth), v matematice n(atural number) (6) a. Vilda... <e> b. Vilda m Њouk Ґ... <t> c. m Њouk Ґ <e,t> obecn І: (7) < Ѕ, >: a. Ѕ... vstupn typ b.... vб0л5stupn typ (8) funkce: y = f (x) a. y = x 2... <n,n> b. telefonn seznam: {<Petr,605123456>, <Karel,549491234>,... }... <n,e> Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 8 / 14
funkce je jednoznaб0н0n zobrazen z mnoб0ч6iny M do mnoб0ч6iny N Frege: funkce zjednoznaб0н0n pб0ф0irozenб0л5 jazyk a umoб0ч6n vyhnout se v ceznaб0н0nostem (9) a. {<2,4>, <3,9>,... }... ok b. {<2,4>, <2,6>,... }... mnoб0ч6ina uspoб0ф0 ҐdanБ0Л5ch dvojic, ne fce Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 9 / 14
slovn Б0Н0ek predik Ґt: gramatick Ґ jednotka... m Њoukat,... jm no, jmenn Ґ fr Ґze (NP) subjekt C gramatick Ґ funkce: nominativ, shoda,... vlastnost: s mantickб0л5 objekt: typu (prozat m) <e,t> referent: s mantickб0л5 objekt: typu <e> predikace: gramatickб0л5 vztah mezi predik Ґtem a subjektem saturace: s mantickб0л5 protiklad predikace: zapln Іn ne pln propozice (vlastnosti) entitou: <e,t>(<e>) ъ <t> argument: fr Ґze (slovo), jehoб0ч6 referent saturuje predik Ґt (10) Vilda chr Ґpe. Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 10 / 14
Kompozicionalita jazyk je nekoneб0н0nб0л5: rekurze, sб0ф0et Іzen spojkou a (11) Na kopci byl domeб0н0ek, ve kter m byl stб0ц1l, na tom stole sed Іla koб0н0ka, kter Ґ chytla myб0ф8, kter Ґ jedla sб0л5r, kterб0л5 byl ud ІlanБ0Л5 z ml ka, kter... jak lid (koneб0н0n ) mohou vytv ҐБ0Ф0et nekoneб0н0n mnoб0ч6stv v Іt? syntaktickб0л5 probl m i s mantickб0л5 probl m kreativita jazyka teoretick Ґ odpov ІБ0Н2: princip kompozicionality lexikon + omezen mnoб0ч6stv pravidel skl Ґd Ґn (1... 3) ъ nekoneб0н0nost jazyka Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 11 / 14
Syntax a s mantika s mantika pracuje na syntaktickб0л5ch struktur Ґch (uб0ч6 od Montagueho) (12) S NP N Vilda VP V m Њouk Ґ princip kompozicionality: vб0л5znam S se skl Ґd Ґ z vб0л5znamu NP a VP dv І teoretick moб0ч6nosti: 1 rule-to-rule hypot za: Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 12 / 14
1 vyt Ґhni z lexikonu slova Vilda a m Њoukat, z Ґrove Њ vyt Ґhni jejich vб0л5znam 2... 3 ve SpecVP proveб0н2 kop rov Ґn rysб0ц1 rodu, Б0Н0 sla a osoby ( -rysy) ze Spec na hlavu V, z Ґrove Њ saturuj <e,t> objektem <e> 2 interpretativn s mantika: 1 nechat projet syntax 2 hotov mu stromu pб0ф0iб0ф0adit s mantickou interpretaci rozd l: napб0ф0. pб0ф0i transformaci nemuz interpretativn s mantika ud Іlovat vб0л5znam ± pohybu: (13) S kб0л5m t Petr mluvil t? Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 13 / 14
obecn І cesta od (Montaguovsk ) s rie specifickб0л5ch pravidel k pravidlб0ц1m Б0Ф0 zenб0л5m typy: (14) M Ґ-li uzel S dva dceб0ф0inn uzly NP a VP, pak Д1 7SД1 7=Д1 7VPД1 7(Д1 7NPД1 7): vб0л5znam NP saturuje vб0л5znam VP. (15) M Ґ-li mateб0ф0skб0л5 uzel ( ) dva dceб0ф0inn uzly ( Ѕ a ), pak je vб0л5znam buб0н2 i) Д1 7 ЅД1 7(Д1 7 Д1 7), nebo ii) Д1 7 Д1 7(Д1 7 ЅД1 7): buб0н2 je vб0л5znam Ѕ saturov Ґn vб0л5znamem, nebo obr Ґcen І. s mantika se soustб0ф0ed na strukturu, ale nez ҐleБ0Ч6 ji syntaktickб0л5ch labelech (16) t e Vilda et m Њouk Ґ Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 14 / 14