2) Logika a lingvistika

More documents

Recommendations

Info

3. Výroková logika. <strong>Logika</strong> a <strong>lingvistika</strong> II (3. – 4.) Hypotetický sylogismus: v hypotetickém sylogismu jsou proměnnými celé výroky, nikoli jen termíny. Jedna z premis je složeným výrokem. Správnost argumentu závisí na spojení výroků. Jejich formu zajišťují větné spojky (na rozdíl od kvantifikátorů kategorického sylogismu). Podobně jako 4 dokonalé mody, existuje 5 dokonalých (tj. zřejmých) sylogismů hypotetických: modus ponens modus tollens kontrární kontradikce subkontrární Jestliže p, pak q. Jestliže p, pak q. Nikoliv p a q. Buď p, anebo q. p nebo q Avšak p. Avšak ne q. Avšak p. Avšak p. Avšak ne q. Tedy q. Tedy ne p. Tedy ne q. Tedy ne q. Tedy p. Formalizace výrokové logiky: Jestliže p, pak q = implikace: p → q Není pravda, že p = negace: ~ p p a q = konjunkce: p /\ q p nebo q = disjunkce: p \/ q modus ponens modus tollens kontrární kontradikce subkontrární p → q p → q ~ (p /\ q) (p \/ q) /\ ~ (p /\ q) p \/ q p ~ q p p ~ q q ~ p ~ q ~ q p 1. interpretace (modus ponens, modus tollens): p = Praha je velkoměsto q = Praha má více než 100 tis. obyvatel 2. interpretace (kontrární, kontradiktorický) p = Praha je město q = Praha je vesnice 3. interpretace (subkontrární – z nepravdivosti jednoho → pravdivost druhého; ale z pravdivosti jednoho nevyplývá pravdivost druhého) p = Praha je město q = Praha je velkoměsto
4. Predikátová logika a) terminologie: singulární termíny = individuové konstanty: a, b, c ... (vlastní jména, deskripce atd.) obecné termíny = a) individuové proměnné: x, y, ... obecné termíny = b) predikátové konstanty: F, G, ... obecný kvantifikátor: (pro každé ...) existenční kvantifikátor: (existuje ...) b) zápis jednotlivých typů výroků: Každý lingvista je vtipný L a V x (L (x) → V (x)) Žádný lingvista není vtipný L e V x (L (x) → ~ V (x)) Někteří lingvisté jsou vtipní L i V x (L (x) /\ V (x)) Někteří lingvisté nejsou vtipní L o V x (L (x) / \ ~ V (x)) b) ekvivalence logického čtverce: A: Každý lingvista je vtipný: E: Žádný lingvista není vtipný: x (L (x) → V (x)) x (L (x) → ~ V (x)) ~ x (L (x) / \ ~ V (x)) ~ x (L (x) /\ V (x)) I: Někteří lingvisté jsou vtipní: O: Někteří lingvisté nejsou vtipní: x (L (x) / \ V (x)) x (L (x) /\ ~ V (x)) ~ x (L (x) → ~ V (x)) ~ x (L (x) → V (x)) c) cvičení: který z následujících zápisů odpovídá příslušným výrokům: 1. Někteří logikové jsou blázni: a) ~ x (L (x) → ~ B (x)) b) x (L (x) → B (x)) c) x (L (x) /\ B (x)) d) x (L (x) → ~ B (x)) 2. Žádný pes neumí mluvit: a) ~ x (P (x) /\ M (x)) b) ~ x (P (x) → M (x)) c) ~ x (P (x) → ~ M (x)) d) x (P (x) /\ ~ M (x)) 3. Každý člověk, který vydělává, platí daně a) x ((Č (x) /\ V (x)) → P (x)) b) ~ x ((Č (x) /\ V (x)) → ~ P (x)) c) x ((Č (x) /\ V (x)) /\ P (x)) d) ~ x ((Č (x) /\ V (x)) /\ ~ P (x)) Více cvičení viz interaktivní online „cvičebnice“: http://www.wwnorton.com/college/phil/logic3/ch14/index.htm
Page 1 and 2: Logika a lingvistika I (1. - 2.) 1.
Page 3: ) Někteří lingvisté nejsou vtip

2) Logika a lingvistika

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?