Negace a skopus kvantifikátorů
|
|
- Luděk Tobiška
- před 9 lety
- Počet zobrazení:
Transkript
1 Negace a skopus kvantifikátorů Mojmír Dočekal Hana Strachoňová Masarykova univerzita, Brno docekal@phil.muni.cz hana.strachonova@gmail.com ABSTRACT: We describe the reasons why the negative sentences with universal quantified subjects in contemporary Czech are interpreted with the wide scope of negation in case when the subject NP is bare and with the wide scope of the universal quantifier in case when the subject NP is modified. The major reason of the wide scope of negation in the first case is the concurence in grammar, the major reason of the wide scope of the NP in the second case is the interaction of negation and plurality denoting definite NPs. Our research is based on the data from SYN Úvod Tento článek analyzuje různé jazykové preference uživatelů češtiny, které řídí jejich interpretace vět s větnou negací a zájmenem všechen v subjektové pozici. Lingvistická analýza vychází z dat získaných z Českého národního korpusu. Větná negace a tzv. univerzální kvantifikátor denotovaný zájmenem všechen (včetně ostatních tvarů odvozených od stejného základu) chápeme jako logické operátory, tedy výrazy, které se vyznačují vlastností nazývanou skopus (dosah). Interpretace věty obsahující dva výrazy s různým skopem pak může být z principu dvojí, podle toho, který z výrazů má širší skopus. (1) Všichni studenti nemají peníze. Věta (1) může být tedy interpretována buď se širokým skopem univerzálního kvantifikátoru (formalizace a parafráze ve 2a), pak bychom popisovali situaci, ve které jsou všichni studenti bez peněz, nebo se širokým skopem větné negace (formalizace a parafráze ve 2b), což by odpovídalo např. situaci, ve které někteří studenti peníze mají a někteří nemají. (2a) x[student(x) má peníze(x)] Pro všechny x platí, že pokud je x student, pak nemá peníze. (2b) x[student(x) má peníze(x)] Není pravda, že platí pro všechny x, že pokud x je student, pak má peníze. Cílem našeho výzkumu bylo zjistit a vysvětlit preference mluvčích češtiny při interpretaci struktur se zájmenem všechen v subjektové pozici a větnou negací. Jako zdroj dat byl použit reprezentativní, morfologicky označkovaný elektronický korpus současné psané češtiny SYN2010, samotná interpretace získaných dat se opírala o metody formální sémantiky. Jednou z důležitých otázek, které stály na začátku našeho výzkumu, bylo, zda se preference v interpretování zkoumaného typu vět mění při změně linearity, tedy má-li aktuální členění věty schopnost ovlivnit skopus logických operátorů. Po analýze korpusového materiálu jsme došli k závěru, že spíše než aktuální členění věty je pro výslednou interpretaci rozhodující struktura nominální fráze s univerzálním kvantifikátorem. Výsledky korpusové 1
2 sondy jsme interpretovali s použitím teorie pluralit a v úvahu jsme vzali i fungování konkurence v gramatice přirozeného jazyka. V sekci 2 uvádíme stručný přehled korpusového materiálu, který má za úkol poskytnout čtenáři představu o tom, jak jsme pracovali s jazykovými daty. Sekce 3 se věnuje konkurenci v jazyce, v sekci 4 uvádíme některé poznatky z teorie pluralit, relevantní ke zkoumanému typu konstrukcí. V sekci 5 se krátce věnujeme schopnosti aktuálního členění větného disambiguovat skopus kvantifikátorů a v sekci 6 vyslovujeme dílčí závěry k problematice interpretace českých vět s univerzálním kvantifikátorem a větnou negací a vymezujeme oblasti pro další budoucí výzkum. 2 Sběr a klasifikace dat ze SYN Sběr Materiál pro sémantickou analýzu jsme čerpali z aktuálního reprezentativního korpusu současné psané češtiny (SYN2010). Pro vyhledávání prostřednictvím korpusového manažeru Bonito jsme použili následující 2 dotazy (pro dvě možné linearizace větné negace a lemmatu všechen, přičemž za základní je považována struktura se subjektem před slovesem): [lemma= všechen ] [] 0,10 [tag= V.....-N..* ] within <s id=.* /> [tag= V.....-N..* ] [] 0,10 [lemma= všechen ] within <s id=.* /> Prošli jsme a roztřídili přibližně 1000 náhodně vybraných vět, z nichž odpovídalo zkoumanému typu (lemma všechen v subjektu) přibližně Klasifikace Rozdělení na dvě skupiny podle linearizace lemmatu všechen a negovaného predikátového slovesa jsem zachovali i při dalším třídění vět. Věty jsme pak dělili opět na dvě skupiny podle toho, jaký způsob parafráze věty byl kompatibilní se širším kontextem. Věty parafrázovatelné způsobem uvedeným v příkladu (2a) byly zařazeny do skupiny s preferovanou interpretací univerzálního kvantifikátoru přes negaci ( ), věty parafrázovatelné podobně jako v příkladu (2b) jsme zařadili do skupiny s preferovanou interpretací negace přes univerzální kvantifikátor ( ). V rámci takto vytvořených skupin jsme sledovali, zda jedna z možných interpretací převažuje, případně zda je určitá interpretace vázána na specifickou strukturu. Následně jsme porovnávali výsledky mezi skupinami, které se lišily v linearizaci zkoumaných elementů. Cílem bylo zjistit, zda dojde ke změně v interpretaci skopu operátorů při přesunu univerzálního kvantifikátoru do rematické části věty. Tento předpoklad se na našem korpusovém materiálu nepotvrdil. Níže uvádíme několik příkladů pro každou skupinu vymezenou výše Základní linearita: všechen negace Interpretace: Široký skopus univerzálního kvantifikátoru jasně převažoval ve větách s modifikací kvantifikované nominální fráze pomocí ukazovacího zájmena (92 %; příklady 3), méně výrazně převažoval v případě jiných typů modifikace (cca 67 %, modifikace pomocí kolektivního modifikátoru dohromady příklady 4, modifikace vedlejší větou příklady 5). 2
3 Nominální fráze bez modifikace byly se širokým skopem univerzálního kvantifikátoru interpretovány jen ve 26 % (příklady 6). 1 (3) Tohle všechno mě nezajímá. Řekni mi, kde ho najdu, víc nechci. Měl jsem v Šanghaji svůj vlastní hotel. Ale to všechno dneska nic neznamená. Všichni ti muži nesouhlasili se Šengovou politikou někteří otevřeně, jiní opatrně. Všechny ty škody nemohly mít jiný účel než nadělat co nejvíc hluku. (4) Mimo to mu zajistili roční plat dolarů, což všechno dohromady nebylo málo. Třeba jsme to nakonec všichni dohromady neprovedli nejhůř, utěšoval spíš sebe než chlapce. (5) Všichni, kteří ho spěchali pronásledovat, neopomněli na usmířenou malé dárky. Pokud ovšem všechno, co jste prohlásila, není lež. Lisbeth zaplály oči. (6) Všechny dominantní ženy nesnáší ostatní dominantní ženy. Určitě chce vzbuzovat dojem, že všechny události s ním naprosto nesouvisejí. Ale všichni se přece mýlit nemůžeme. Samozřejmě že můžete. Všichni ostatní muži, včetně Lucana, se nemohou tomuhle neotesanci vyrovnat Interpretace: Široký skopus negace se tedy objevil v interpretaci vět s nominální frází modifikovanou ukazovacím zájmenem jen maximálně v 8 % (příklady 7) 2, v případě jiné modifikace ve 33 % (modifikace pomocí úplně v příkladu 8, modifikace vedlejší větou v příkladu 9). Preferovaným způsobem interpretace byla varianta se širokým skopem negace u vět s nominální frází bez další modifikace (74 %, příklady 10). (7) Je tu příliš světla. A všechna ta okna se nedají zakrýt. Je sice dobře nedůvěřovat okamžitému rozčilení, ale všichni ti výmluvní žalobci opilí nebyli. (8) Ale přece jen jí zůstala valná část jeho nejlepších věcí, úplně všechno se neztratilo. (9) Škoda, že všechny omyly, kterých se my lidé dopouštíme, nejsou tak příjemné. (10) Ty peníze byly v hotovosti a bylo jich tolik, že se mu všechny nevešly do kufříku. Všichni pacienti si ale protilátky nevytvářejí. Myslím, že všechny mrtvoly se ještě neobjevily. Všechny cesty, namítla suše, nevedou k sexu. 1 Všechny příklady v sekci 2 pocházejí z korpusu SYN2010. Český národní korpus - SYN2010. Ústav Českého národního korpusu FF UK, Praha Dostupný z WWW: < 2 V prvním z uvedených příkladů pro nás byly i po zobrazení širšího kontextu přijatelné obě parafráze věty (s mírnou preferencí ), proto uvádíme maximálně 8 % místo pouhého 8 %. 3
4 2.2.2 Změna linearity: negace všechen Interpretace: Pro doložení interpretace se skopem univerzálního kvantifikátoru přes negaci jsme v analyzovaném vzorku našli pouze jeden příklad. Šlo opět o větu s nominální frází modifikovanou pomocí kolektivního modifikátoru dohromady (příklad 11). Žádná z vět s nominální frází bez modifikace nebyla interpretována se širokým skopem univerzálního kvantifikátoru a příklady s nominální frází modifikovanou vedlejší větou nebo ukazovacím zájmenem v našem vzorku zastoupeny nebyly. (11) A mě před nimi nedokáží ochránit ani všechny špatné anglické zákony dohromady Interpretace: Široký skopus negace se vyskytoval ve všech případech vět s nominální frází bez další modifikace (tedy 100 %, příklady ve 12). (12) Aspoň že ještě není všechno ztraceno. Zatím tu ještě nejsou všichni, ale zbývající hosti jistě dorazí co nevidět. Krom toho přece nemůžeme být všichni tak dokonalí jako George. Nemůžou být všichni pryč. Ross zavěsil a vytočil číslo znovu. 2.3 Shrnutí Z klasifikace korpusových dat vyplynulo, že preference v interpretaci vět s lemmatem všechen v subjektu a větnou negací se nemění se změnou lineárního uspořádání daných výrazů ve větě. Zásadní se zdá být v případě rozhodování mezi možnými interpretacemi vnitřní struktura kvantifikované nominální fráze. Věty s nominální frázemi modifikovanými ukazovacím zájmenem, vedlejší větou nebo jinými výrazy (typicky kolektivním modifikátorem dohromady) jsou převážně interpretovány se širokým skopem univerzálního kvantifikátoru (85 %), zatímco věty s nominální frází bez další modifikace převážně se širokým skopem negace (87,5 %), a to v obou možných linearizacích. 3 Proč Při interpretaci výsledků datového výzkumu vycházíme z předpokladu, že konkurence je jedním z centrálních principů fungování přirozeného jazyka. Tím máme, velice zjednodušeně, na mysli představu, že je blokován složitější způsob vyjádření, pokud v gramatice již existuje jednodušší způsob vyjádření téhož významu (již například Panini, v současnosti Horn 1989, Kiparsky 1973). V češtině existuje pro případy, kdy má univerzální kvantifikátor skopus přes negaci, gramatikalizovaný lexikální prostředek. Jde o větnou negaci s negativní shodou viditelnou na negativním zájmenu. Takže například jeden z příkladů širokého skopu negace přes nemodifikovaný univerzálně kvantifikovaný subjekt (Všichni pacienti si ale protilátky nevytvářejí) by pro široký skopus univerzálního kvantifikátoru přes negaci byl jednoznačně vyjádřen jako v příkladu 13. (13) Žádní pacienti si nevytvářejí protilátky. x[pacient(x) vytváří protilátky (x)] 4
5 Je tedy oprávněné se domnívat, že v českých větách s výrazy typu všechen (tedy nositeli univerzálního kvantifikátoru) a větnou negací může univerzální kvantifikátor skopovat pouze pod negací (příklad 14). (14) Všichni pacienti si nevytvářejí protilátky. x[pacient(x) vytváří protilátky (x)] To je situace, která odpovídá interpretaci většiny korpusových dokladů se subjektovou nominální frází bez další modifikace (87,5 %). Pokud je tedy interpretace se širokým skopem z principu blokována kvůli možnosti vyjádřit stejný význam větami s negativní shodou, je třeba vysvětlit skutečnost, že ve většině vět s modifikovanou kvantifikovanou nominální frází (jakož i části vět s nemodifikovanou nominální frází) čtení se širokým skopem univerzálního kvantifikátoru dostáváme (85 %, resp. 12,5 %). V naší analýze ukazujeme, že tyto případy lze chápat jako tzv. iluzi skopu související s presupozicí homogenity u definitních nominálních frází denotujících plurality. 4 Něco z teorie pluralit První impulz k úvahám o nutnosti zapojení teorie pluralit do interpretace korpusových dat vychází z faktu, že téměř všechny korpusové doklady pro čtení se širokým skopem univerzálního kvantifikátoru obsahovaly nominální frázi následující struktury: to všechno/všechno to, ti všichni/všichni ti apod 3. Lze tedy říci, že v těchto případech daná nominální fráze denotuje určitý typ plurality. Interakcí negace a pluralit se zabývala například Beck(ová) (2001, pro angličtinu), která tvrdí, že definitní nominální fráze denotující pluralitu s sebou nese tzv. presupozici homogenity. Ta říká v podstatě to, že setká-li se pluralita s operátorem negace, musí být negace rozdistribuována na všechny atomy plurality (autorčina formalizace je zde v 15). (15) *P(A) =1 iff x[x A P(x)] =0 iff x[x A P(x)] jinak nedefinováno 4 Symbol * označuje pluralizaci v gramatice přirozeného jazyka, P je vlastnost vyjádřená predikátem (prototypicky denotovaná slovesem), A je množina individuí tvořících pluralitu (tedy prototypicky denotace nominální fráze). Vlastnost aplikovaná na pluralitu vytvoří pravdivou větu, tehdy a jen tehdy když pro všechna x platí, že pokud je x prvkem dané plurality, pak má vlastnost vyjádřenou predikátem P. Vlastnost aplikovaná na pluralitu vytvoří nepravdivou větu, tehdy a jen tehdy když pro všechna x platí, že pokud je x prvkem plurality A, pak nemá vlastnost vyjádřenou predikátem P. První případ demonstruje autorka na větě, kterou uvádíme pod (16a), druhý případ je zde jako (16b) 5. (16a) The children are asleep. urč. člen děti spí Ty děti spí. (16b) The children are not asleep. 3 Méně také typ všichni dohromady/všichni společně. 4 Beck(ová) (2001: 94). 5 Negovaných vět se tedy týká druhá z uvedených situací. 5
6 urč. člen děti nespí Ty děti nespí. 6 I když je poněkud problematické ztotožňovat česká ukazovací zájmena s určitým členem v angličtině, navrhujeme v tomto příspěvku platnost presupozice homogenity pro nominální fráze s univerzálním kvantifikátorem a ukazovacím zájmenem ten (typ ti všichni). (17) Ty všechny děti nespí. Při neutrální intonaci by pak věty typu (17) byly parafrázovatelné podobně jako (18a) a ne jako (18b). (18a) Žádné dítě nespí. (18b) Ne každé dítě spí. Právě definitnost se zdá být pro aktivaci presupozice homogenity klíčová. Beck(ová) ukazuje na angličtině, že zatímco věta s definitní nominální frází je interpretována běžně pouze jedním způsobem (tedy s iluzorním širokým skopem nominální fráze v důsledku presupozice homogenity), pro indefinitní nominální fráze jsou přípustné obě interpretace. V příkladech (19) (21) demonstrujeme platnost autorčina tvrzení pro češtinu. V příkladech (19) a (20) jsou věty s nominální frází s ukazovacím zájmen ten, které v tomto článku pokládáme za ekvivalent anglických definitních nominálních frází, a jejich možná (19b, respektive 20b) a vyloučená (19c, respektive 20c) interpretace. (19a) Ty děti nespí. (19b) NP spí (19c) * NP spí (20a) Ty všechny děti nespí. (20b) NP spí (20c) * NP spí Obě věty jsou tedy pravdivé v případě, že pro všechny atomy plurality denotované nominální frází platí, že nespí. Zatímco v situaci, kdy daná vlastnost (spát) platí pro některé atomy plurality a pro některé neplatí, jsou věty nepravdivé. Proto označujeme tuto interpretaci vět za nepřijatelnou (*). Ve větách s indefinitní nominální frází (v tomto případě s nominální frází s číslovkou) můžeme i v češtině pozorovat dvě přijatelné interpretace (21). (21a) Jedno dítě nespí. (21b) NP spí (21c) NP spí První interpretace (schematicky v 21b) odpovídá situaci, kdy má jedno specifické dítě tu vlastnost, že nespí (např. v situaci, kdy jedno z pěti dětí nespí, zatímco ostatní děti spí). Druhou interpretaci lze parafrázovat například tak, že není pravda, že jedno (jakékoliv dítě) spí. Druhé čtení by bylo pravdivé v situaci, kdy nespí žádné děti, protože toto čtení vylučuje možnost spánku pro jakoukoliv pluralitu dětí s kardinalitou jedna (a výš). 6 Beck(ová) (2001:93). 6
7 Motivací k zavádění presupozice homogenity do českých kvantifikovaných nominálních frází s ukazovacím zájmenem je skutečnost, že podobný jev můžeme sledovat i v chování operátoru konjunkce v češtině. 7 Souvislost mezi univerzálním kvantifikátorem a konjunkcí spočívá ve skutečnosti, že na určité úrovni abstrakce lze univerzální kvantifikátor na konjunkci převést 8 a oba operátory mohou být nahlíženy jako dvě realizace jednoho logického konceptu. V univerzu se třemi individui (a, b, c) pak platí ekvivalence uvedená v (22). (22) P(a) P(b) P(c) x.p(x) Konjunkce individuí, na které je aplikována vlastnost P, je logicky ekvivalentní množině všech individuí ( x) takových, že každé individuum má vlastnost P. Proto očekáváme, že univerzální kvantifikátor a konjunkce se budou v přirozeném jazyce chovat v relevantních ohledech podobně. Vrátíme-li se k příkladům z přirozeného jazyka, pak v negovaných větách s konjugovanými objekty lze pozorovat, že pravdivostní podmínky se v češtině a angličtině liší. (23a) Marie si nezapsala hokej a algebru. čeština (23b) (p q) interpretováno jako: p q (24a) Mary didn't take hockey and algebra. angličtina (24b) (p q) Marie aux neg zapsat si hokej a algebra 9 Marie si nezapsala hokej nebo algebru. interpretováno jako: p q Zatímco česká věta bude pravdivá v situaci, kdy si Marie nezapsala ani jeden z předmětů (Marie si nezapsala hokej a Marie si nezapsala algebru; logický zápis v 23b), pravdivostní podmínky anglické věty jsou jiné. Negace konjunkce je zde interpretována podle jednoho z tzv. de Morganových zákonů, tedy jako disjunkce negací (Marie si nezapsala buď jeden předmět, nebo druhý, nebo ani jeden z nich; logický zápis v 24b). Stejný efekt, jako zde demonstrujeme v českých větách, pozorovali Szabolcsi Haddican (2004) v maďarštině. Ani tam se interpretace vět neřídí de Morganovými zákony, což autoři vysvětlují právě presupozicí homogenity nesenou spojkou és 'a'. Široký skopus konjunkce v češtině (a maďarštině), stejně jako široký skopus univerzálního kvantifikátoru v našich korpusových příkladech, může být tedy souhrnně vysvětlen jako iluze způsobená presupozicí homogenity. Iluze proto, že efekt širokého skopu univerzálního kvantifikátoru není výsledkem změny skopu negace a tohoto kvantifikátoru, ale je výsledkem výše představeného beck(ovského) efektu všechno-nebo-nic: negace aplikovaná na definitní NP (na rozdíl od indefinitní NP) musí být aplikována na každý atom konstitující danou pluralitu. To, že nejde o skutečně skopální interakci, plyne z toho, že neurčité NP s negací volně interagují (viz výše), a také z toho, že singulární definitní NP dovolují (na rozdíl od plurálních NP) s negací dvojí interpretaci (srov. dvojznačnost věty Nejstarší obyvatel Měsíce nepíše poezii, která je pro široký skopus negace pravdivá, zatímco pro úzký skopus negace nepravdivá). 7 Předpokládáme, že operátor konjunkce je v češtině prototypicky nesen spojkou a. 8 Při konečném počtu elementů v diskurzu. 9 aux: pomocné sloveso; neg: výraz pro větnou negaci 7
8 5 Aktuální členění věty Řada lingvistů se v minulosti zabývala vlivem aktuálního členění věty na její pravdivostní podmínky. Například Jackendoff (1972) a Hajičová (1975) se shodují na tom, že aktuální členění věty má schopnost disambiguovat skopus negace a ostatních kvantifikátorů tak, že fokusovaný element má širší skopus. V angličtině, jakožto jazyce s pevným slovosledem, je fokusace vyjádřena intonací, a Jackedoff tedy demonstruje své tvrzení na příkladu, který zde uvádíme jako (25a). Věta bude podle něj interpretována způsobem (25b) a nikdy způsobem (25c). 10 (25a) [All] F the men didn't go. všichni def.art. muži aux neg jít Ti všichni muži neodešli. 11 (25b) x[muž(x) odejít(x)] Pro všechna x platí, ž pokud je x muž, pak neodešlo. (25c) * x[muž(x) odejít(x)] Neplatí pro všechna x, že pokud je x muž, pak odešlo. Jackendoffovo tvrzení, že fokusovaný kvantifikátor má v angličtině vždy široký skopus, bylo vyvráceno v pozdějších pracích 12. Podrobnou argumentaci autorů těchto prací zde neuvádíme, protože překlad původních anglických příkladů do češtiny nepovažujeme za účelný vzhledem k představované analýze českých dat. V češtině je (vedle intonace) hlavním prostředkem aktuálního členění věty linearizace větných konstituentů. Rozdělíme-li tedy tradičně českou větu na tematickou a rematickou část, operátor v rematické části by podle Jackendoffovy teze měl mít širší skopus. V důsledku takového tvrzení, by se měly pravdivostní podmínky vět v příkladech (26) a (27) lišit. (26) [Všichni muži] T [nepřišli] R. x[muž(x) přijít(x)] (27) [Nepřišli] T [všichni muži] R. x[muž(x) přijít(x)] Data z korpusu SYN2010 však tendenci ke změně skopu univerzálního kvantifikátoru v souvislosti se změnou linearity ve větě nepotvrdila. Jak již zmiňujeme v sekci 2, široký skopus univerzálního kvantifikátoru byl ve většině případů vázán na přítomnost ukazovacího zájmena ten a jeho variant, případně na další modifikaci kvantifikované nominální fráze, a to nezávisle na linearizaci nominální a verbální fráze. Aktuální členění věty má nepochybně významnou úlohu při aktivaci vhodného kontextu pro použití věty a fokusace činí široký skopus operátoru velmi pravděpodobným, naši analýzu korpusových dat však uzavíráme tvrzením, že aktuální členění věty skopus negace a univerzálního kvantifikátoru nedesambiguuje. 10 Jackedoff (1972: sekce 8.6). 11 [All] F : fokusovaný výraz; def. art.: určitý člen; aux: pomocné sloveso; neg: větná negace; *: nepřijatelná interpretace 12 Kadmon(ová) Roberts(ová) 1988; Kadmon(ová) 2001 přišly s příklady, na kterých ukázaly, že fokusované anglické kvantifikátory jsou zcela běžně interpretovány i s úzkým skopem. 8
9 6 Závěr a otázky pro budoucí výzkum Naše korpusová sonda ukázala, že v případě vět se subjektovým všechen a větnou negací, které jsou z principu dvojznačné díky dvěma možnostem skopování univerzálního kvantifikátoru a operátor negace, nelze tvrdit, že tematicko-rematická struktura věty má vliv na skopus logických operátorů, a má tedy schopnost disambiguovat větu. Analýzu získaných dat jsme založili na předpokladu, že v češtině může univerzální kvantifikátor skopovat pouze pod negací, a to z důvodu existence gramatikalizovaného lexikálního prostředku pro vyjádření jeho širokého skopu (negativní zájmeno a záporová shoda). Případy, které jsou přesto interpretovány se širokým skopem univerzálního kvantifikátoru, vysvětlujeme na základě tzv. presupozice homogenity jako případy iluzorního skopu univerzálního kvantifikátoru. Tvrdíme, že v těchto větách kvantifikovaná nominální fráze denotuje pluralitu stejného typu jako definitní nominální fráze v angličtině. Tyto nominální fráze (na rozdíl například od nominálních frází s číslovkou) s sebou nesou presupozici homogenity, a to jak ve větách negovaných, tak bez negace. Analýza korpusového materiálu nás dovedla k závěru, že pro interpretaci českých vět s univerzálním kvantifikátorem v subjektu (zde neseným lemmatem všechen) a větnou negací je relevantní vnitřní struktura kvantifikované nominální fráze. Vliv aktuálního členění větného se v tomto typu konstrukcí nepotvrdil. Výše uvedené závěry chápeme jako první krok k další, podrobnější analýze a interpretaci korpusových dat. Autentický materiál češtiny nám nabídl řadu podnětů pro další práci do budoucna. Jedním z problémů, na který jsme v představené analýze narazili, je otázka definitnosti v češtině (a obecně ve slovanských jazycích). Úkol, který na nás čeká v budoucnu, spočívá v empirickém podložení našeho tvrzení, že kvantifikované nominální fráze ze získaného datového vzorku interpretované se širokým skopem lze skutečně chápat jako definitní. LITERATURA BECK(ová), S. (2001): Reciprocals are definites. Natural language semantics, 9, HAJIČOVÁ, E. (1975): Negace a presupozice ve významové stavbě věty. Praha: Academia. HORN, L. (1989): A natural history of negation. Chicago: University of Chicago Press. JACKENDOFF, R. (1972): Semantic interpretation in generative grammar. Cambridge, Ma: MIT Press. KADMON(ová), N. (2001): Formal pragmatics. Blackwell Publishing. KADMON(ová), N. - ROBERTS(ová), C. (1988): Prosody and scope: The role of discourse structure. In: P. Farley, A. Farley K.-E. McCullough (eds.), CLS 22, Part 2: Papers from the Parasession on Pragmatics and Grammatical Theory. Chicago Linguistic Society, KIPARSKY, P. (1973): 'Elsewhere' in phonology. In: P. Kiparsky S. Anderson (eds.), A Festschrift for Morris Halle, New York: Holt, Rinehart and Winston. SZABOLCSI, A. - HADDICAN, B. (2004): Conjunction meets negation: a study in crosslinguistic variation. Journal of semantics, 21,
Predikátová logika Individua a termy Predikáty
Predikátová logika Predikátová logika je rozšířením logiky výrokové o kvantifikační výrazy jako každý, všichni, někteří či žádný. Nejmenší jazykovou jednotkou, kterou byla výroková logika schopna identifikovat,
1. Matematická logika
Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/07.0018 1. Matematická logika Základem každé vědy (tedy i matematiky i fyziky) je soubor jistých znalostí. To, co z těchto izolovaných poznatků
Výroková logika. p, q, r...
Výroková logika Výroková logika je logika, která zkoumá pravdivostní podmínky tvrzení a vztah vyplývání v úsudcích na základě vztahů mezi celými větami. Můžeme též říci, že se jedná o logiku spojek, protože
Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5.
Primární a sekundární výskyt označující fráze Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell, 17. - 18. 5. 2012 Russellovo rozlišení jména a popisu Označující fráze Primární a sekundární
Logika a logické programování
Logika a logické programování témata ke zkoušce Poslední aktualizace: 16. prosince 2009 Zkouška je písemná, skládá se obvykle ze sedmi otázek (může být více nebo méně, podle náročnosti otázek), z toho
Okruh č.3: Sémantický výklad predikátové logiky
Okruh č.3: Sémantický výklad predikátové logiky Predikátová logika 1.řádu formalizuje úsudky o vlastnostech předmětů a vztazích mezi předměty pevně dané předmětné oblasti (univerza). Nebudeme se zabývat
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.
Booleovská algebra. Booleovské binární a unární funkce. Základní zákony. Tomáš Bayer bayertom@natur.cuni.cz Katedra aplikované geoinformatiky a kartografie, Přírodovědecká fakulta UK. Tomáš Bayer bayertom@natur.cuni.cz
vztahy, konverzační implikatury, presupozice
: sémantika, formální sémantika, významové vztahy, konverzační implikatury, presupozice FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová
Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1
Negativní informace Petr Štěpánek S použitím materiálu M.Gelfonda a V. Lifschitze 2009 Logické programování 15 1 Negace jako neúspěch Motivace: Tvrzení p (atomická formule) neplatí, jestliže nelze odvodit
0. ÚVOD - matematické symboly, značení,
0. ÚVOD - matematické symboly, značení, číselné množiny Výroky Výrok je každé sdělení, u kterého lze jednoznačně rozhodnout, zda je či není pravdivé. Každému výroku lze proto přiřadit jedinou pravdivostní
1. Matematická logika
MATEMATICKÝ JAZYK Jazyk slouží člověku k vyjádření soudů a myšlenek. Jeho psaná forma má tvar vět. Každá vědní disciplína si vytváří svůj specifický jazyk v úzké návaznosti na jazyk živý. I matematika
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
Otázka 06 - Y01MLO Zadání Predikátová logika, formule predikátové logiky, sentence, interpretace jazyka predikátové logiky, splnitelné sentence, tautologie, kontradikce, tautologicky ekvivalentní formule.
On the Structure of Constituent Negation in Czech
On the Structure of Constituent Negation in Czech Kateřina Veselovská veselovska@ufal.mff.cuni.cz Institute of Formal and Applied Linguistics Faculty of Mathematics and Physics Charles University in Prague
KMA/MDS Matematické důkazy a jejich struktura
Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.0141 KMA/MDS Matematické důkazy a jejich struktura Seminář 3 Predikátový počet Uvažujme následující úsudek.
Spojování výroků (podmínek) logickými spojkami
Spojování výroků (podmínek) logickými spojkami Spojování výroků logickými spojkami a) Konjunkce - spojení A B; Pravdivostní tabulka konjunkce A B A B 0 0 0 0 1 0 1 0 0 1 1 1 AND; A a současně B Konjunkce
1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7
1 Výroková logika 1 Výroková logika 1 2 Predikátová logika 3 3 Důkazy matematických vět 4 4 Doporučená literatura 7 Definice 1.1 Výrokem rozumíme každé sdělení, o kterém má smysl uvažovat, zda je, či není
Logický důsledek. Petr Kuchyňka (7765@mail.muni.cz)
Logický důsledek Petr Kuchyňka (7765@mail.muni.cz) Úvod P 1 Logický důsledek je hlavním předmětem zájmu logiky. Je to relace mezi premisami a závěry logicky platných úsudků: v logicky platném úsudku závěr
Úvod do predikátové logiky. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 1
Úvod do predikátové logiky (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/28.0216 2013 1 / 1 Relace Neuspořádaná vs. uspořádaná dvojice {m, n} je neuspořádaná dvojice. m, n je uspořádaná dvojice. (FLÚ AV ČR) Logika:
Definice. Petr Kuchyňka
Definice Petr Kuchyňka (7765@mail.muni.cz) 1 Úvod Pravdivost vět či platnost argumentů lze kompetentně posoudit, jen když je jasné, co přesně znamenají výrazy v nich užité. Základním prostředkem specifikace
teorie logických spojek chápaných jako pravdivostní funkce
Výroková logika teorie logických spojek chápaných jako pravdivostní funkce zabývá se způsoby tvoření výroků pomocí spojek a vztahy mezi pravdivostí různých výroků používá specifický jazyk složený z výrokových
2.2 Sémantika predikátové logiky
14 [101105-1155] 2.2 Sémantika predikátové logiky Nyní se budeme zabývat sémantikou formulí, tj. jejich významem a pravdivostí. 2.2.1 Interpretace jazyka predikátové logiky. Interpretace predikátové logiky
Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz
Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz Jednoduché úsudky, kde VL nestačí Všechny opice mají rády banány Judy je opice Judy má ráda banány Z hlediska VL
Sémantika predikátové logiky
Sémantika predikátové logiky pro analýzu sémantiky potřebujeme nejprve specifikaci jazyka (doména, konstanty, funkční a predikátové symboly) příklad: formální jazyk s jediným binárním predikátovým symbolem
ZÁKLADY LOGIKY A METODOLOGIE
ZÁKLADY LOGIKY A METODOLOGIE Metodický list č. 1 Téma: Předmět logiky a metodologie, základy logiky a formalizace. Toto téma lze rozdělit do tří základních tématických oblastí: 1) Předmět logiky a metodologie
Zobecněné kvantifikátory, empirické argumenty pro unifikovanou sémantiku NP, negativně 1 / 20 p
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
Výroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2013/2014 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2013/2014 1 / 20 Základní syntax Jazyk Výroková logika je logikou
Větná polarita v češtině. Kateřina Veselovská Žďárek Hořovice,
Větná polarita v češtině Kateřina Veselovská Žďárek Hořovice, 27. 11. 2009 1 Polarita - úvod do problematiky Větná polarita: a) Cíl a motivace b) Charakteristika c) Možnosti výzkumu Větná polarita a vyhledávání
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.
Studijní text Co je singulární výrok SINGULÁRNÍ VÝROKY: PETR Petr je veselý. Jednoduchý singulární výrok vznikne spojením singulárního termínu s termínem obecným pomocí spony=slova je. Příklad: Pavel je
Formální systém výrokové logiky
Formální systém výrokové logiky 1.Jazyk výrokové logiky Nechť P = {p,q,r, } je neprázdná množina symbolů, které nazýváme prvotní formule. Symboly jazyka L P výrokové logiky jsou : a) prvky množiny P, b)
Predikátová logika (logika predikátů)
Predikátová logika (logika predikátů) Ve výrokové logice pracujeme s jednoduchými či složenými výroky, aniž nás zajímá jejich struktura. Příklad. Jestliže Karel je studentem, pak je (Karel) chytřejší než
Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.
Výroková logika I Výroková logika se zabývá výroky. (Kdo by to byl řekl. :-)) Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá. U výroku
Logika a jazyk. filosofický slovník, Praha:Svoboda 1966)
Logika a jazyk V úvodu bylo řečeno, že logika je věda o správnosti (lidského) usuzování. A protože veškeré usuzování, odvozování a myšlení vůbec se odehrává v jazyce, je problematika jazyka a jeho analýza
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 α
1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny
Predikátová logika dokončení
Predikátová logika dokončení Jiří Velebil: X01DML 1. října 2010: Predikátová logika dokončení 1/18 Syntaktická analýza Jako ve výrokové logice (syntaktické stromy). Každý list úspěšného stromu je obsazen
Matematika B101MA1, B101MA2
Matematika B101MA1, B101MA2 Zařazení předmětu: povinný předmět 1.ročníku bc studia 2 semestry Rozsah předmětu: prezenční studium 2 + 2 kombinované studium 16 + 0 / semestr Zakončení předmětu: ZS zápočet
Další (neklasické) logiky. Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20
Predikátová logika Jiří Velebil: AD0B01LGR 2015 Predikátová logika 1/20 Jazyk predikátové logiky Má dvě sorty: 1 Termy: to jsou objekty, o jejichž vlastnostech chceme hovořit. Mohou být proměnné. 2 Formule:
1 Výrok a jeho negace
1 Výrok a jeho negace Výrokem se rozumí sdělení, u něhož má smysl otázka, zda je, či není pravdivé. Budeme určovat tzv. pravdivostní hodnotu výroku (PH). Příklady výroků: V Úhlopříčky čtverce jsou na sebe
projevy University of Potsdam / SFB 632 Letní škola lingvistiky Dačice 22. srpna 2012
Aktuální členění věty: Danost a její formální projevy Radek Šimík University of Potsdam / SFB 632 simik@uni-potsdam.de Letní škola lingvistiky Dačice 22. srpna 2012 Vymezení aktuálního členění Vymezení
LOGIKA VÝROKOVÁ LOGIKA
LOGIKA Popisuje pravidla odvozování jedněch tvrzení z druhých. Je to myšlenková cesta ke správným závěrům. Vznikla jako součást filosofie. Zakladatelem byl Aristoteles. VÝROKOVÁ LOGIKA Obsahuje syntaktická,
λογος - LOGOS slovo, smysluplná řeč )
MATA P1: Výroky, množiny a operace s nimi Matematická logika (z řeckého slova λογος - LOGOS slovo, smysluplná řeč ) Výrok primitivní pojem matematické logiky. Tvrzení, pro které má smysl otázka o jeho
Predikátová logika. prvního řádu
Predikátová logika prvního řádu 2 Predikát Predikát je n-ární relace - vyjadřuje vlastnosti objektů a vztahy mezi objekty - z jednoduchého výroku vznikne vypuštěním alespoň jednoho jména objektu (individua)
VÝUKOVÝ MATERIÁL. Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632 Číslo projektu
VÝUKOVÝ MATERIÁL Identifikační údaje školy Vyšší odborná škola a Střední škola, Varnsdorf, příspěvková organizace Bratislavská 2166, 407 47 Varnsdorf, IČO: 18383874 www.vosassvdf.cz, tel. +420412372632
Anglický jazyk. Anglický jazyk. žák: TÉMATA. Fonetika: abeceda, výslovnost odlišných hlásek, zvuková podoba slova a její zvláštnosti
Prima jednoduše mluví o sobě Slovní zásoba: elementární slovní 1 B/ 26, 27, 29, 30 tvoří jednoduché otázky a aktivně je používá zásoba pro zvolené tematické okruhy odpovídá na jednoduché otázky obsahující
Matematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 20 Predikátová logika Motivace Výroková
Výroková logika - opakování
- opakování ormální zavedení Výroková formule: Máme neprázdnou nejvýše spočetnou množinu A výrokových proměnných. 1. Každá proměnná je výroková formule 2. Když α, β jsou formule, potom ( α), (α β), (α
Klasická výroková logika - tabulková metoda
1 Klasická výroková logika - tabulková metoda Na úrovni výrokové logiky budeme interpretací rozumět každé přiřazení pravdivostních hodnot výrokovým parametrům. (V případě přiřazení pravdivostních hodnot
Výroková logika. Teoretická informatika Tomáš Foltýnek
Výroková logika Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Teoretická informatika strana 2 Opakování z minulé přednášky Co je to formalismus a co je jeho cílem? Formulujte Russelův paradox
Matematická logika. Lekce 1: Motivace a seznámení s klasickou výrokovou logikou. Petr Cintula. Ústav informatiky Akademie věd České republiky
Matematická logika Lekce 1: Motivace a seznámení s klasickou výrokovou logikou Petr Cintula Ústav informatiky Akademie věd České republiky www.cs.cas.cz/cintula/mal Petr Cintula (ÚI AV ČR) Matematická
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...
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.... slovech správném myšlení myšlení Otázka číslo: 2 Základy
( ) ( ) Negace složených výroků II. Předpoklady:
1.4.7 Negace složených výroků II Předpoklady: 010405 Pedagogická poznámka: Na začátku hodiny slovně zadávám úkol najít negaci implikace. Teprve po zapsání do třídnice promítám zadání příkladů (kde je v
1. MATEMATICKÁ LOGIKA A MNOŽINY
. MATEMATICKÁ LOGIKA A MNOŽINY Průvodce studiem V následující kapitole si připomeneme některé význačné poznatky z matematické logiky a teorie množin, tvořící základ množinově logického aparátu. S celou
Matematika pro informatiky KMA/MATA
Matematika pro informatiky KMA/MATA Informace k předmětu Mgr. Přemysl Rosa rosapr00@pf.jcu.cz, J349 Konzultační hodiny v ZS: úterý 10-11, čtvrtek 15-16 nebo individuálně po předchozí domluvě aktivní účast
Matematická logika. Miroslav Kolařík
Matematická logika přednáška třetí Miroslav Kolařík Zpracováno dle textu R. Bělohlávka: Matematická logika poznámky k přednáškám, 2004. a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika
výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.
1 Základní pojmy matematické logiky Výrokový počet... syntaktické hledisko Predikátový počet... sémantické hledisko 1.1 VÝROKOVÝ POČET výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.
Logické programy Deklarativní interpretace
Logické programy Deklarativní interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 7 1 Algebry. (Interpretace termů) Algebra J pro jazyk termů L obsahuje Neprázdnou
Modifikace: atributivní použití adjektiv, druhy adjektiv,
: atributivní použití adjektiv, druhy adjektiv, adverbia jako modifikátory událostí/predikáty vyššího řádu FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
Výroková logika. Sémantika výrokové logiky
Výroková logika Výroková logika se zabývá vztahy mezi dále neanalyzovanými elementárními výroky. Nezabývá se smyslem těchto elementárních výroků, zkoumá pouze vztahy mezi nimi. Elementární výrok je takový
Databázové systémy. * relační kalkuly. Tomáš Skopal. - relační model
Databázové systémy Tomáš Skopal - relační model * relační kalkuly Osnova přednášky relační kalkuly doménový n-ticový Relační kalkuly využití aparátu predikátové logiky 1. řádu pro dotazování rozšíření
Základní pojmy matematické logiky
KAPITOLA 1 Základní pojmy matematické logiky Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. 1. Výroková logika Co je
Místo pojmu výroková formule budeme používat zkráceně jen formule. Při jejich zápisu
VÝROKOVÁ LOGIKA Matematická logika se zabývá studiem výroků, jejich vytváření a jejich pravdivostí. Základním kamenem výrokové logiky jsou výroky. Co je výrok nedefinujejme, pouze si řekneme, co si pod
Normální formy. (provizorní text)
Normální formy (provizorní text) Výrokový počet Definice. Jazyk výrokového počtu obsahuje výrokové proměnné p, q, r, s,..., spojky,,,.. a závorky (,). Výrokové proměnné jsou formule. Jestliže a jsou formule,
1.4.6 Negace složených výroků I
1.4.6 Negace složených výroků I Předpoklady: 010405 Pedagogická poznámka: Dlouho jsem se v počátcích své praxe snažil probrat negace za jednu hodinu. Tvorba negací je skvělým procvičováním schopnosti dodržovat
Využití korpusu InterCorp při vytváření ručních pravidel pro automatickou detekci pleonastického it a jeho českých ekvivalentů v závislostních datech
Využití korpusu InterCorp při vytváření ručních pravidel pro automatickou detekci pleonastického it a jeho českých ekvivalentů v závislostních datech Kateřina Veselovská ÚFAL MFF UK veselovska@ufal.mff.cuni.cz
Výroková a predikátová logika - VI
Výroková a predikátová logika - VI Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VI ZS 2017/2018 1 / 24 Predikátová logika Úvod Predikátová logika Zabývá
Výroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2015/2016 1 / 18 Základní syntax Jazyk Výroková logika je logikou
Výroková a predikátová logika - II
Výroková a predikátová logika - II Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - II ZS 2017/2018 1 / 17 Předběžnosti Základní pojmy n-ární relace a funkce
Shoda u českých složených základních číslovek obsahujících číslovku jeden
Shoda u českých složených základních číslovek obsahujících číslovku jeden Ivona Turinská, FF UK Žďárek 2009 Sto jeden žák, či sto jedna žáků? Shoda mezi složeným číslovkovým výrazem (SČV) a počítaným předmětem
Sémantický web a extrakce
Sémantický web a extrakce informací Martin Kavalec kavalec@vse.cz Katedra informačního a znalostního inženýrství FIS VŠE Seminář KEG, 11. 11. 2004 p.1 Přehled témat Vize sémantického webu Extrakce informací
Aplikace: Znalostní báze
Aplikace: Znalostní báze 1 Znalostní báze je systém, který dostává fakta o prostředí a dotazy o něm. Znalostní báze je agentem ve větším systému, který obsahuje prostředí (také agent), správce (agent),
Příklad z učebnice matematiky pro základní školu:
Příklad z učebnice matematiky pro základní školu: Součet trojnásobku neznámého čísla zvětšeného o dva a dvojnásobku neznámého čísla zmenšeného o pět se rovná čtyřnásobku neznámého čísla zvětšeného o jedna.
4.2 Syntaxe predikátové logiky
36 [070507-1501 ] 4.2 Syntaxe predikátové logiky V tomto oddíle zavedeme syntaxi predikátové logiky, tj. uvedeme pravidla, podle nichž se tvoří syntakticky správné formule predikátové logiky. Význam a
4. blok část A Logické operátory
4. blok část A Logické operátory Studijní cíl Tento blok je věnován představení logických operátorů AND, OR, NOT v jazyce SQL a práce s nimi. Doba nutná k nastudování 1-2 hodiny Průvodce studiem Při studiu
Výroková a predikátová logika - III
Výroková a predikátová logika - III Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - III ZS 2017/2018 1 / 16 2-SAT 2-SAT Výrok je v k-cnf, je-li v CNF a
Úvod do logiky (PL): analýza vět přirozeného jazyka
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) Úvod do logiky (PL): analýza vět přirozeného jazyka doc. PhDr.
Úvod do logiky (PL): logický čtverec
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) Úvod do logiky (PL): logický čtverec doc. PhDr. Jiří Raclavský,
Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda 1 / 12 a
Sublexikální sémantika: události, sémantické role; formalizace: množiny a funkce, lambda abstrakce FF MU Mojmír Dočekal ÚJABL Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik
Inteligentní systémy (TIL) Marie Duží
Inteligentní systémy (TIL) Marie Duží http://www.cs.vsb.cz/duzi/ /d Přednáška 3 Sémantické schéma Výraz vyjadřuje označuje Význam (konstrukce konstrukce) k ) konstruuje denotát Ontologie TIL: rozvětvená
Výroková a predikátová logika - V
Výroková a predikátová logika - V Petr Gregor KTIML MFF UK ZS 2015/2016 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - V ZS 2015/2016 1 / 21 Dokazovací systémy VL Hilbertovský kalkul Hilbertovský
7 Jemný úvod do Logiky
7 Jemný úvod do Logiky Základem přesného matematického vyjadřování je správné používání (matematické) logiky a logických úsudků. Logika jako filozofická discipĺına se intenzivně vyvíjí už od dob antiky,
Hodnocení psaní. Seminář Brno
Hodnocení psaní Seminář Brno 5.6.2013 1 Obsah a cíle semináře Hodnotící škály pro psaní - vývoj Hodnotící škály pro psaní - představení Ukázky hodnocení Kalibrace vzorků psaní Diskuse 2 Hodnotící škály
M - Výroková logika VARIACE
M - Výroková logika Autor: Mgr. Jaromír Juřek Kopírování a další šíření povoleno pouze s uvedením odkazu na www.jarjurek.cz. VARIACE 1 Tento dokument byl kompletně vytvořen, sestaven a vytištěn v programu
Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.
Logika 2. Výroková logika RNDr. Luděk Cienciala, Ph. D. Tato inovace předmětu Úvod do logiky je spolufinancována Evropským sociálním fondem a Státním rozpočtem ČR, projekt č. CZ. 1.07/2.2.00/28.0216, Logika:
[a) (4 (7 + 5) = 4 12) (4 12 = 48); b) ( 1< 1) (1< 3); c) ( 35 < 18) ( 35 = 18)]
Úloha 1 U každé dvojice výroků rozhodněte, zda výrok uvedený vpravo je negací výroku vlevo. Pokud tomu tak není, zdůvodněte proč. a) p: Mám bílý svetr. q: Mám černý svetr. b) r: Bod A leží vně kruhu K.
Kapitola Výroky
1 Kapitola 1 Výroková logika 1.1 Výroky 1.1.1 Příklad Rozhodněte, zda následující posloupnosti symbolú jsou výrokové formule. Jde-li o formuli, pak sestrojte její strom, určete její hloubku a uved te všechny
Výroková logika syntaxe a sémantika
syntaxe a sémantika Jiří Velebil: AD0B01LGR 2015 Handout 01: & sémantika VL 1/16 1 Proč formální jazyk? 1 Přirozené jazyky jsou složité a často nejednoznačné. 2 Komunikace s formálními nástroji musí být
1. Predikátová logika jako prostedek reprezentace znalostí
1. Predikátová logika jako prostedek reprezentace znalostí 1.1 Historie výrokové logiky Problém explicitních znalostí a údaj, kterých je obrovské množství, vedl ke vzniku výrokové logiky. lovk si obecn
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška první Miroslav Kolařík Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Co a k čemu je logika? 2 Výroky a logické spojky
Jak jsem potkal logiku. Převod formule do (úplného) disjunktivního tvaru. Jan Hora
Česká zemědělská univerzita 17. října 2011 U makléře Já: Dobrý den, rád bych koupil nějaký světlý byt. Chtěl bych, aby měl dvě koupelny a aby byl v domě výtah. A neměl by být nijak extrémně drahý. Makléř:
platné nejsou Sokrates je smrtelný. (r) 1/??
Predikátová logika plně přejímá výsledky výrokové logiky zabývá se navíc strukturou jednotlivých jednoduchých výroků na základě této analýzy lze odvodit platnost některých výroků, které ve výrokové logice
Demokracie, lidská práva a korupce mezi politiky
TISKOVÁ ZPRÁVA Centrum pro výzkum veřejného mínění Sociologický ústav AV ČR V Holešovičkách 41, Praha 8 Tel./fax: 02/86 84 0129, 0130 E-mail: cervenka@soc.cas.cz Demokracie, lidská práva a korupce mezi
Jak lze v korpusech hledat doklady pro výzkum morfologie?
Seminář cjbb75 1. 4. 2015 Jak lze v korpusech hledat doklady pro výzkum morfologie? Vyhledávání podle morfologické značky problém spolehlivosti desambiguace Vyhledejte v korpusu SYN2010 všechny vokativy
Zásadní gramatické struktury (pro SOU) Michal Kadlec, Dis
Zásadní gramatické struktury (pro SOU) Michal Kadlec, Dis BUDOUCÍ ČAS PROSTÝ (WILL) VY_32_INOVACE_AK_2_08 OPVK 1.5 EU peníze středním školám CZ.1.07/1.500/34.0116 Modernizace výuky na učilišti Název školy
Matematická indukce, sumy a produkty, matematická logika
Matematická indukce, sumy a produkty, matematická logika 8.9. -.0.009 Matematická indukce Jde o následující vlastnost přirozených čísel: Předpokládejme:. Nějaké tvrzení platí pro.. Platí-li tvrzení pro
Úvod do logiky (PL): negace a ekvivalence vět mimo logický
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) Úvod do logiky (PL): negace a ekvivalence vět mimo logický čtverec
Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy
Úvod do matematiky Mgr. Radek Horenský, Ph.D. Důkazy Matematika a matematické chápání jako takové je založeno na logické výstavbě. Základními stavebními prvky jsou definice, věty a důkazy. Definice zavádějí
Výroková a predikátová logika - VIII
Výroková a predikátová logika - VIII Petr Gregor KTIML MFF UK ZS 2017/2018 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - VIII ZS 2017/2018 1 / 21 Tablo Tablo metoda v PL - rozdíly Formule
Matematická logika. Rostislav Horčík. horcik
Matematická logika Rostislav Horčík horcik@math.feld.cvut.cz horcik@cs.cas.cz www.cs.cas.cz/ horcik Rostislav Horčík (ČVUT FEL) Y01MLO Letní semestr 2007/2008 1 / 18 Příklad Necht L je jazyk obsahující
Rezoluční kalkulus pro logiku prvního řádu
AD4M33AU Automatické uvažování Rezoluční kalkulus pro logiku prvního řádu Petr Pudlák Logika prvního řádu (Někdy nepřesně nazývaná predikátová logika.) Výhody Vyšší vyjadřovací schopnost jazyka, V podstatě
1 Pravdivost formulí v interpretaci a daném ohodnocení
1 Pravdivost formulí v interpretaci a daném ohodnocení Než uvedeme konkrétní příklady, zopakujme si definici interpretace, ohodnocení a pravdivosti. Necht L je nějaký jazyk. Interpretaci U, jazyka L tvoří