Premisa Premisa Závěr

Podobné dokumenty
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.

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

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

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

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 α

Výroková logika dokazatelnost

Výroková logika. p, q, r...

Základy logiky a teorie množin

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

Okruh č.9: sémantické metody dokazování v PL1 model formule Tradiční Aristotelova logika kategorický sylogismus subjekt predikátové výroky

1. Matematická logika

Základní pojmy matematické logiky

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

KMA/MDS Matematické důkazy a jejich struktura

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

Kvantita (u subjektu) všechny prvky množiny (všichni, každý, nikdo, žádní ) některé prvky množiny (některý, existuje,.) predikát.

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

Logický důsledek. Petr Kuchyňka

Marie Duží

Matematická logika. Miroslav Kolařík

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

Kapitola Výroky

LOGIKA VÝROKOVÁ LOGIKA

Hilbertovský axiomatický systém

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á logika. Sémantika výrokové logiky

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

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

Aristotelská logika. Pojem

λογος - LOGOS slovo, smysluplná řeč )

Matematická indukce, sumy a produkty, matematická logika

Úvod do TI - logika 1. přednáška. 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

Nepřijde a nedám 100 Kč měl jsem pravdu, o této

1. Matematická logika

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

LOGIKA je účinným nástrojem mnoha vědních disciplin i každodenní mezilidské komunikace.

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

Spojování výroků (podmínek) logickými spojkami

Úvod do teoretické informatiky(2017/2018) cvičení 6 1

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

Logika a studijní předpoklady

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

Matematika pro informatiky KMA/MATA

Predikátová logika. Teoretická informatika Tomáš Foltýnek

Výroková logika II. Negace. Již víme, že negace je změna pravdivostní hodnoty výroku (0 1; 1 0).

Klasická výroková logika - tabulková metoda

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

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

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

Mezi... aspekty řadíme obecné pojmy, tvrzení či soudy a tvrzení následně vyvozená.

přednáška 2 Marie Duží

1 Výrok a jeho negace

Sylogistika. (FLÚ AV ČR) Logika: CZ.1.07/2.2.00/ / 16

Úvod do logiky a logického programování.

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

KMA/MDS Matematické důkazy a jejich struktura

ZÁKLADY LOGIKY A METODOLOGIE

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

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

Logika, výroky, množiny

Analytické myšlení TSP MU výroková logika II.

Výrok je každá oznamovací věta (sdělení), u níž dává smysl, když uvažujeme, zda je buď pravdivá, nebo nepravdivá.

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

Logika. Dana Nejedlová Katedra informatiky Ekonomická fakulta Technická univerzita v Liberci

Matematické důkazy Struktura matematiky a typy důkazů

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

1. MATEMATICKÁ LOGIKA A MNOŽINY

Sémantika predikátové logiky

1. Predikátová logika jako prostedek reprezentace znalostí

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

Úvod do výrokové a predikátové logiky

Matematická logika. Rostislav Horčík. horcik

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

2. přednáška - PRAVDĚPODOBNOST

Matematická logika. Miroslav Kolařík

Fuzzy logika a reálný svět, aneb jsou všechny hromady skutečně malé?

Výroková logika syntaxe a sémantika

postaveny výhradně na syntaktické bázi: jazyk logiky neinterpretujeme, provádíme s ním pouze syntaktické manipulace důkazy

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

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

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

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

Která tvrzení jsou pravdivá nezávisle na tom, který den v týdnu byla vyslovena? Tvrzení trosečníka Dana.

1 Základní pojmy. 1.1 Množiny

Obsah ZÁKLADNÍ POJMY LOGIKA DESKRIPTIVNÍHO JAZYKA 2 VÝROKOVÁ LOGIKA 49 3 VNITŘNÍ STAVBA VÝROKŮ 78

7 Jemný úvod do Logiky

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Matematická logika. Rostislav Horčík. horcik

1 Pravdivost formulí v interpretaci a daném ohodnocení

Normální formy. (provizorní text)

Úvod do informatiky. Miroslav Kolařík

KMA Písemná část přijímací zkoušky - MFS 2o16

Matematická analýza 1

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

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

09. seminář logika (úvod, výroková).notebook. November 30, Logika

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

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

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

Transkript:

Studijní text Argumentace Jak to v komunikaci přirozeně děláme, jak argumentujeme? Leden má 31 dní, protože je prvním měsícem roku. Vím, že nelze nekomunikovat. Tzn. každý člověk komunikuje. A Petr je člověk. Proto Petr komunikuje. Jestliže je každý kov elektricky vodivý a některé kapaliny (např. rtuť) jsou kovy, pak jsou některé kapaliny elektricky vodivé. Země je planeta a planeta se otáčí kolem Slunce, pak Země se otáčí kolem Slunce. Petr je větší než Pavel. Pavel je větší než Ondra. Pak Petr je větší než Ondra. Schematicky vyjádříme naši argumentaci např. takto: Tvrzení(závěr): Jeden možný způsob zápisu: Každý člověk komunikuje. Petr je člověk. Petr komunikuje. Premisa Premisa Závěr A schematicky vyjádřený další náš argument: Tvrzení(závěr): Každý kov je elektricky vodivý. Některé kapaliny (např. rtuť) jsou kovy. Některé kapaliny jsou elektricky vodivé. Jiný možný způsob zápisu: (P1, P2) Z Argument může mít jednu, dvě, tři i více premis. Schematicky vyjádřený argument s jednou premisou Leden má 31 dní, protože je prvním měsícem roku. Tvrzení(závěr): Leden je prvním měsícem roku. Leden má 31 dní. Způsob zápisu: (P1) Z Co je argument Jak si představit argumentaci? Zastáváme nějakou ne příliš zřejmou tezi, kterou zdůvodňujeme (obrazně řečeno podpíráme) jinými tvrzeními, o nichž se domníváme, že jsou 33

našemu komunikačnímu partnerovi/protivníkovi zřejmá, nebo že je, ať už z jakýchkoliv důvodů, akceptuje. Teze: Petr komunikuje. Tvrzení: Každý člověk komunikuje. Tvrzení: Petr je člověk. Země je planeta a planeta se otáčí kolem Slunce, pak Země se otáčí kolem Slunce. Teze(závěr): Země je planeta. Planeta se otáčí kolem Slunce. Země se otáčí kolem Slunce. Petr je větší než Pavel. Pavel je větší než Ondra. Pak Petr je větší než Ondra. Teze(závěr): Petr je větší než Pavel. Pavel je větší než Ondra. Petr je větší než Ondra. Premisa, závěr Každá argumentace tak představuje určitý uzavřený jazykový celek, který lze rozložit na dvě části. 1. Závěr, konkluze tvrzení (teze), které zdůvodňujeme 2. Předpoklady, premisy - tvrzení, pomocí nichž závěr zdůvodňujeme (podpůrná tvrzení) 34

U argumentu je určený předpokládaný proces vyplývání, tj. které tvrzení chceme zdůvodnit. Předpoklad Předpoklad Předpoklad... ARGUMENT je posloupnost VÝROKŮ, kde jeden výrok z ostatních vyplývá. Závěr V1: Každý člověk komunikuje. V2: Každý člověk má mozek. V3: Petr je člověk. V4: Petr má mozek a komunikuje (tvrzení, které chceme zdůvodnit). Definice: Argument (neboli sylogismus) S je posloupnost (V1,V2, V3, V4=Z), kde tvrdíme, že z výroků V1 a V2 a V3 vyplývá výrok V4. (tj. (V1,V2,V3) V4) Vyplývání může být domnělé (domníváme se) nebo skutečné (dokazatelné). Logická správnost argumentu U argumentu je jen někdy jednoduché posoudit, zda závěr vyplývá z premis, čili zda daný argument je nebo není správný. Jindy to vyžaduje rozhled v daném oboru a speciální znalosti. Logicky správný argument posloupnost výroků, kde závěr vyplývá z premis. Každý člověk komunikuje. Petr je člověk. Tvrzení(závěr): Petr komunikuje. (skutečné/dokazatelné vyplývání) 35

Logicky nesprávný argument posloupnost výroků, kde závěr nevyplývá z premis. Petr mluví česky. Petr je člověk. Tvrzení(závěr): Každý člověk mluví česky. (domnělé vyplývání) POZOR! U argumentu určujeme, zda je logicky správný/nesprávný, ne zda je pravdivý/nepravdivý. Pravdivý/nepravdivý může být pouze výrok. Pravidla vyplývání U logicky správného argumentu PLATÍ: Když jsou premisy (předpoklady) pravdivé, tak je i závěr pravdivý. Neboli, když existuje příčina, objeví se i následek. Jestliže (P1 a zároveň P2 a zároveň Pn), pak Z. (pravidlo MODUS PONENS) Když je nepravdivý závěr, pak je nepravdivá některá z premis (předpokladů). Neboli, nedošlo-li k následku, pak to bylo tím, že chyběla příčina. Jestliže není pravda Z, pak (není pravda P1 nebo není pravda P2 nebo není pravda Pn) (pravidlo MODUS TOLLENS) CO NEPLATÍ!!! (pozor na používání) Když jsou nepravdivé premisy (předpoklady), tak to neznamená, že je nepravdivý i závěr. Neboli, když odstraníme jednu příčinu, neznamená to, že odstraníme závěr. Když je pravdivý závěr, neznamená to, že pak jsou pravdivé i premisy (předpoklady). Neboli různé postupy mohou vést ke stejným výsledkům. Stejné události mohou mít různé příčiny, ke stejnému cíli se lze dostat různými cestami. To, zda je zkoumaný argument logicky správný (správně postavený), nezávisí na pravdivostních hodnotách jednotlivých výroků, ale na tom, zda závěr vyplývá z premis. Proces vyplývání - závisí na myšlenkových procesech (psychologismus, neformální logika) - existuje mimo lidskou mysl (je to vztah, formální logika) Logická forma Pro vyplývání a argument hraje důležitou roli pojem logické formy. 36

Logická forma je jazyková forma argumentu, která je důležitá z hlediska správné argumentace. Z pohledu logických formulí nás nebude zajímat, co v obsahu tvrdíme. Každý člověk komunikuje. Petr je člověk. Tvrzení(závěr): Petr komunikuje. Zaměříme se na strukturu mající vliv na vyplývání, tj. na logickou formu. Každé X je Y. P je X. Tvrzení(závěr): P je Y. Y je komunikující X je člověk P - Petr PŘIPOMEŇTE SI, co jste se učili o množinách, co znamená že prvek patří/nepatří do množiny, jaké jsou vztahy mezi množinami navzájem co je to průnik, sjednocení, doplněk, podmnožina. Uveďme příklad argumentu: Každá dívka má ráda květiny. Karkulka je dívka. Karkulka má ráda květiny. (přidejte další příklady argumentů se stejnou logickou formou) V období antiky se setkáváme s pojmem sylogismus. Moderní logika používá pojem argument. Významy těchto pojmů můžeme pro účely úvodního kurzu do logiky považovat za shodné. 37

Kategorický sylogismus (podle Aristotela): skládá se ze dvou premis a závěru. Premisy i závěr jsou jednoduché výroky. A tudíž jejich forma závisí na vnitřní struktuře výroků, na pojmech, na jejich kvantitě a kvalitě. Hypotetický sylogismus (podle megarsko-stoické školy): výroky, které se v sylogismech vyskytují, mohou být složené z dalších výroků. Neanalyzuje se vnitřní struktura jednoduchého výroku. Základní jednotkou je výrok. Přínos Aristotela k logice: Název argumentu Druh výroků v argumentu Základní stavební kámen Typ proměnné Správnost argumentu závisí Logické částice Návaznost Kategorický sylogismus Jednoduché výroky, subjekt predikát Pojem Dosazuje se za pojem Na pospojování pojmů Každý, některý, žádný, není, je Na predikátovou logiku Přínos myslitelů megarsko-stoické školy k logice: Název argumentu Druh výroků v argumentu Základní stavební kámen Typ proměnné Správnost argumentu závisí Logické částice Návaznost Hypotetický sylogismus Alespoň jedna premisa je složeným výrokem Výrok Dosazuje se za výrok Na pospojování výroků Jestliže, pak, buď, anebo, a, nikoliv Na výrokovou logiku 38

Aplikace teorie do praxe Příklad: Rozhodněte, zda se jedná o argument. České zdravotnictví je nepružné, protože občané neplatí za péči u lékaře a nebyla přijata v oblasti zdravotnictví adekvátní rozhodnutí. Pokud ANO, určete, které výroky jsou premisami a který výrok je závěrem. Odpověď: Jedná se o argument. Je to uzavřený jazykový celek, který má 2 premisy a jeden závěr, včetně daného vztahu vyplývání (spojka protože charakterizující implikaci) Občané neplatí za péči u lékaře. V oblasti zdravotnictví nebyla přijata adekvátní rozhodnutí. Tvrzení(závěr): České zdravotnictví je nepružné. (logickou formu u tohoto argumentu se naučíme zapisovat ve studijní části: výroková logika) Příklad: Je dána věta: Smrk roste déle než topol a dub roste déle než smrk. Jedná se o argument? ANO - NE (a proč) Příklad: Je dán argument: Dub roste déle než smrk, protože smrk roste déle než topol a dub roste déle než topol. Určete logickou správnost argumentu. (a odůvodněte). Využijte k tomu nákres formou sloupcového grafu. Kontrolní otázky a cvičení Vysvětlete pojem argument. Uveďte příklady argumentů i příklady vět, které argumentem nejsou. Co je to premisa, co je to závěr. Uveďte příklady 2 argumentů, které mají vzájemně zaměněnou premisu a závěr. Co je to logická správnost argumentu. Vysvětlete na příkladech, kdy je argument logicky správný a kdy logicky nesprávný. Analyzujte vybraný text (novinový článek, zápis z porady, záznam diskuse, úryvek z knihy či divadelní hry) z pohledu znalostí o argumentech. 39