Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p

Podobné dokumenty
Typy predikátů: slovesa, predikativní jména, adjektiva, tranzitivní slovesa, relativní 1 věty / 10

Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a

Modifikace: atributivní použití adjektiv, druhy adjektiv,

vztahy, konverzační implikatury, presupozice

Plurály, látková jména, reference k druhům, základy formalizace: polosvazy, množiny 1 / 12

Úvod do logiky (PL): sémantika predikátové logiky

Obsah Předmluva Rekapitulace základních pojmů logiky a výrokové logiky Uvedení do predikátové logiky...17

Sémantika predikátové logiky

Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1

Úvod do logiky (PL): analýza vět přirozeného jazyka

Úvod do logiky (VL): 12. Ověřování platnosti úsudků metodou protipříkladu

Úvod do logiky (PL): analýza vět mimo logický čtverec

Logika a logické programování

Úvod do logiky (PL): negace a ekvivalence vět mimo logický

Transparentní intenzionální logika (TIL)

Klauzulární logika. úvod. Šárka Vavrečková. 20. října Ústav informatiky Filozoficko-Přírodovědecká fakulta Slezské univerzity, Opava

Úvod do logiky (PL): logický čtverec (cvičení)

platné nejsou Sokrates je smrtelný. (r) 1/??

Predikátová logika. prvního řádu

SINGULÁRNÍ VÝROKY: Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je.

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Úvod do logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 23

LOGIKA VÝROKOVÁ LOGIKA

Výroková logika. Sémantika výrokové logiky

Kompozicionalita: jm na a reference, logick typy, rule-to-rule vs. interpretativn s mantika 1 / 14

Inteligentní systémy (TIL) Marie Duží

Logika. Akademie managementu a komunikace, Praha PhDr. Peter Jan Kosmály, PhD.

Výroková a predikátová logika - III

Úvod do logiky (PL): ekvivalence a negace výroků logického

Logický čtverec. Tradiční logický čtverec

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Okruh č.3: Sémantický výklad predikátové logiky

Úvod do logiky: PL analýza vět mimo logický čtverec (cvičení)

Výroková a predikátová logika - III

Výroková a predikátová logika - VII

Logika. 1. Úvod, Výroková logika

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.

Úvod do logiky (VL): 11. Ověřování, zda je formule tautologií metodou protipříkladu

Úvod do informatiky. Miroslav Kolařík

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky

Úvod do TI - logika 1. přednáška. Marie Duží

Výroková a predikátová logika - II

Úvod do logiky (VL): 7. Ekvivalentní transformace

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

Matematická logika. Miroslav Kolařík

Přednáška 2: Formalizace v jazyce logiky.

Výroková a predikátová logika - VI

Matematická analýza 1

Výroková logika. Teoretická informatika Tomáš Foltýnek

Matematika pro informatiky KMA/MATA

Formální systém výrokové logiky

Predikátová logika Individua a termy Predikáty

6. Logika a logické systémy. Základy logiky. Lucie Koloušková, Václav Matoušek / KIV. Umělá inteligence a rozpoznávání, LS

Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)

Výroková logika syntaxe a sémantika

Úvod do logiky (VL): 4. Zjištění průběhu pravdivostních hodnot formule tabulkovou metodou

KMA/MDS Matematické důkazy a jejich struktura

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Výroková a predikátová logika - VIII

Logika 5. Základní zadání k sérii otázek: V uvedených tezích doplňte z nabízených adekvátní pojem, termín, slovo. Otázka číslo: 1. Logika je věda o...

Výroková a predikátová logika - IV

Logika. 6. Axiomatický systém výrokové logiky

Úvod do logiky (PL): logický čtverec

Fuzzy logika. Informační a znalostní systémy

Matematická logika. Miroslav Kolařík

Výroková a predikátová logika - VIII

Matematika B101MA1, B101MA2

1. Matematická logika

Převyprávění Gödelova důkazu nutné existence Boha

Matematická logika. Rostislav Horčík. horcik

Logika XI. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Úvod do logiky (VL): 8. Negace výroků

Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Databázové systémy. Přednáška č. 5

Stefan Ratschan. Fakulta informačních technologíı. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

Výroková a predikátová logika - II

Predikátová logika (logika predikátů)

Výroková logika dokazatelnost

10. Techniky formální verifikace a validace

0. ÚVOD - matematické symboly, značení,

Bakalářská matematika I

7 Jemný úvod do Logiky

ZÁKLADY LOGIKY A METODOLOGIE

Základní pojmy matematické logiky

Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu

PLIN041 Vývoj počítačové lingvistiky Algebraická lingvistika. Mgr. Dana Hlaváčková, Ph.D. od 2. pol. 50. let 20. st.

Marie Duží

Teorie argumentace Pavel Arazim

přednáška 2 Marie Duží

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

Predikátová logika: Axiomatizace, sémantické stromy, identita. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 13

Úvod do logiky: klasická predikátová logika. Jiří Raclavský. Masarykova univerzita

teorie logických spojek chápaných jako pravdivostní funkce

Cvičení Aktivita 1. část 2. část 3. část Ústní Celkem Známka

Požadavky na zápočet a zkoušku

Základy logiky a teorie množin

Výroková a predikátová logika - IX

Transkript:

Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně polaritní výrazy FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/28.0216, OPVK) Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p

Outline 1 Kvantifikátory Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 2 / 20 p

jména, predikáty nereferenční užití jmen: Petr je učitel kvantifikátory: další nereferující výraz podobně jako (Russellovská analýza) neurčité NP: (1) Nobody has seen a unicorn, because there aren t any. kvantifikátory: (2) dva psi, několik zvířat, málo prasat, mezi 5 a 6 studenty, většina lidí, hodně bláta, několik knih, přesně tři domy, všichni lidé, někteří lidé v některých koncepcích i určité a neurčité NP, holé plurály a vlastní jména terminologie: každý člověk kvantifikátor každý determinátor inkorporované jméno ně-kdo, ni-kdo,... Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 3 / 20 p

Zobecněné kvantifikátory kompoziční příspěvek: (3) Všichni psi štěkali. dvě operace: saturace a modifikace (4) a. [[všichni psi] štěkali] b. všichni + et + et t c. krok 1: všichni psi + et t otočení vztahu predikát argument: (5) a. Aĺık štěkal.... stekat(alik) b. Všichni psi štěkali.... vsichni psi(stekat) v nereferenční analýze jde o vlastnost vlastnosti (predikát druhého řádu)... podobně jako adverbia Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 3 / 20 p

každý pes: vlastnost vlastností takové vlastnosti, které mají v dané situaci všichni psi (6) a. štěkat... {Aĺık, Baryk, Cecil} b. skákat... {Aĺık} c. běhat... {Aĺık, Baryk} (7) a. každý pes b. přesně jeden pes c. většina psů/někteří psi individua jsou vůči vlastnostem to, co jsou vlastnosti vůči kvantifikátorům Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 4 / 20 p

formálně: množiny množin (8) každý pes a. typ: <<e,t>,t> b. všichni psi... množina množin, které mají množinu psů jako podmnožinu c. {{x x je živý},{x x je zvíře},{x x je savec},... } d. λp x[pes (x) P(x)] teorie zobecněných kvantifikátorů: Barwise & Cooper všechny NP mají stejnou, kvantifikátorovou sémantiku např. jméno... množina vlastností, které dané individuum má individuová sublimace: (9) Arnold Schwarzeneger... {{x je Rakušan},{x je herec},... } důvod: Richard Montague (rule-to-rule) uniformita, všechny NP mají stejný sémantický typ Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 5 / 20 p

význam determinátoru (10) každý N platí o vlastnosti P, pokud je P pravdivá o všech N další abstrakce: (11) každý a. typ: <<e,t>,<e,t>,t>> b. λqλp x[q(x) P(x)] determinátor je dvojnásobně nesaturovaný (podobně jako tranzitivní sloveso) podobně: (12) někteří a. typ: <<e,t>,<e,t>,t>> b. λqλp x[q(x) P(x)] Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 6 / 20 p

(13) dva a. typ: <<e,t>,<e,t>,t>> b. λqλp x[q(x) P(x) x = 2] Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 7 / 20 p

Konjunkce NP hlavní empirický argument pro unifikovanou sémantiku NP konjunkce může spojit pouze dvě fráze, které mají stejný syntaktický i sémantický typ: (14) a. *Petr potkal Marii a v parku. b. Petr potkal Marii a Kláru jakékoliv jméno a kvantifikátor lze spojit konjunkcí: (15) a. Marie a Klára b. dvě děti a všichni psi c. Marie a všichni psi Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 8 / 20 p

spojení predikátů: (16) Karel je chytrý a šťastný. a. chytry (karel ) stastny (karel ) b. nebo...,... podobně pro kvantifikátory (17) dvě děti a všichni psi... množina vlastností splněná konjunkcí NP a. λp[ x[dite (x) P(x) x = 2] x[pes (x) P(x)]] podobně pro individuovou sublimaci (18) Marie a všichni psi... množina vlastností splněná Maríı a všemi psy a. λp[p(marie )] x[pes(x) P(x)]] Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 9 / 20 p

Negativně polaritní výrazy každý přirozený jazyk obsahuje výrazy vyskytující se především ve větách s negativní polaritou české příklady: vůbec, sebemenší šance v angličtině ever, any (19) a. Petr nemá sebemenší šanci na úspěch. b. Petr nevěděl vůbec nic. (20) a. *Petr má sebemenší šanci na úspěch. b. *Petr věděl vůbec něco. kromě negace: otázky, antecedent implikace, dosah některých kvantifikátorů Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 10 / 20 p

(21) a. Má Petr sebemenší šanci na úspěch? b. Ví o tom Petr vůbec něco? (22) a. Kdyby měl Petr sebemenší šanci na úspěch, tak bych si vsadil. b. Jestli Petr vůbec něco věděl, tak to určitě zapomněl. (23) a. Každý závodník, který měl sebemenší šanci na úspěch, se zapsal. b. Každý student, který vůbec něco tušil, přišel na tu zkoušku. vs.: (24) a. *Někteří závodníci, kteří měli sebemenší šanci na úspěch, se zapsali. b. *Někteří studenti, kteří vůbec něco tušili, přišli na tu zkoušku. Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 11 / 20 p

hlavní otázky: 1 distribuce 2 co je společný jmenovatel distribuce kvantifikátory nutno rozlišovat NP a VP argument kvantifikátoru (25) S každý NP NP et VP et Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 12 / 20 p

(26) OK s NPI v NP argumentu a. Každý závodník, který měl sebemenší šanci na úspěch, se zapsal. b. Málo závodníků, kteří měli sebemenší šanci na úspěch, se zapsalo. (27) *s NPI v NP argumentu a. *Někteří závodníci, kteří měli sebemenší šanci na úspěch, se zapsali. b. *Tři závodníci, kteří měli sebemenší šanci na úspěch, se zapsali. Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 13 / 20 p

(28) OK s NPI v VP argumentu a. Málo studentů mělo sebemenší šanci uspět. (29) *s NPI ve VP argumentu a. *Každý student tušil vůbec něco. b. *Někteří studenti tušili vůbec něco. c. *Tři studenti tušili vůbec něco. Fauconnier/Ladusaw: vyplývání směrem dolů (downward entailing): (31) vs. vyplývání směrem nahoru (upward entailing): (30) (30) a. Potkal jsem psa. b. Potkal jsem zvíře. (31) a. Nepotkal jsem zvíře. b. Nepotkal jsem psa. Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 14 / 20 p

kvantifikátory jsou charakterizovatelné svým vyplýváním každý: NP ( ), VP ( ) (32) a. Každý pes štěká. b. Každý jezevčík štěká. c. Každé zvíře štěká. (33) a. Každý pes štěká. b. Každý pes štěká zuřivě. c. Každý pes vydává zvuk. někteří: NP ( ), VP ( ) málo: NP ( ), VP ( ) tři: NP ( ), VP ( ) přesně odpovídá distribuci NP negace je Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 15 / 20 p

(34) NPI výrazy se vyskytují v dosahu operátorů vyplývajících dolů ( ). další typy NPI: (35) živá duše, hnout prstem, dát si kapku, pětník,... většina NPI popisuje minimální jednotku na škále objekt/událost/... v pozitivním prostředí téměř nepřidá žádnou informaci k významu věty (36) Petr má vůbec nějaké peníze. Petr má peníze. vs. (37) Petr nemá vůbec žádné peníze. rozšíření domény: ani neplatné, malé, divné,... Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 16 / 20 p

Kvantifikátory v objektové pozici v subjektu typy sedí: (38) t ett et každý pes V poznal Karla Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 17 / 20 p

v objektu ne: (39)? e VP Petr eet ett poznal každého psa Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 18 / 20 p

transformační/montaguovské quantifying-in řešení: přes lambda abstrakci (40) každého ett psa et t e VP Petr eet e poznal (41) x[pes (x) λy[poznat (Petr, y)]] t1 Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 19 / 20 p

netransformační řešení: význam kvantifikátoru v objektové pozici je jiný než v subjektové pozici případně se změní typ slovesa z eet na funkci z kvantifikátorů Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 20 / 20 p