Implikace letitá, ale stále atraktivní dáma

Transkript

1 Implikace letitá, ale stále atraktivní dáma Jan Kábrt

2 Proč se zajímat o logiku a v ní právě o implikaci? Mimo jiné pro souvislost s takovými oblastmi lidského myšlení, jako jsou matematika, ostatní přírodní vědy, filosofie, ale také přijímací zkoušky na vysokou školu.

3 O čem bude řeč 1. Současná logika (dvě hodnoty, dva operandy) 2. Trocha historie (implikace ve starověku) 3. Novověk (rozlišení světa a jeho popisu) 4. Intenze a modalita (R. Carnap) 5. Ontologická kolize (běžné školní úlohy) 6. Modální logika (D. K. Lewis) 7. Modalita a čas (teorie relativity, determinismus, neurčitost)

4 1. Současná logika jak ji známe ze středních škol. (Extrémně stručně.) Boolova algebra, 16 logických spojek. Binární operace v bivalentní logice.

5 2. Trocha historie Aristotelés Nar. 384 př. n. l. ve Stageiře na poloostrově Chalkidiké, zemřel 322 př. n. l. v Chalkidě na ostrově Euboia. (Vyhnanství za rouhání bohům.) Obr.:

6 Zdroj:

7 Aristotelés užíval při filosofování (při myšlení o světě) prostředky subjekt predikátové logiky. Tu používali středověcí scholastikové a ještě i Gottfried Wilhelm Leibniz na přelomu 17. a 18. století. (U Aristotela lze najít i výroky modální logiky.)

8 Subjekt a predikát Subjekty jsou individua, o nichž cosi vypovídáme. Subjektem může být skupina všech individuí určitého typu při užití obecného kvantifikátoru skupina některých individuí (s alespoň jedním členem) při užití existenčního kvantifikátoru

9 Subjekt a predikát Predikáty jsou vlastnosti nebo vztahy, které subjektům buď přisuzujeme nebo upíráme

10 Příklady Výroky typu S je P Sókratés je moudrý. (Každý) člověk je smrtelný. Výroky typu S není P Moucha není savec. Existuje živočich, jenž nemá rohy.

11 Diodoros Chronos (asi 350 př. n. l. kolem 307 př. n. l.) lze jej považovat za spoluzakladatele dvouhodnotové výrokové logiky. Byl jedním z učitelů Zénóna z Kitia. (Zénóna z Kitia nezaměňujme se Zénónem z Eleje.)

12 Diodoros Chronos Slavný se stal tzv. argumentem či paradoxem Mistr. Podle některých výkladů se jedná o argumentaci pro determinismus, podle jiných o problematiku vztahu mezi časovostí a modalitou. (Zdroje:

13 Paradox Mistr podle Diodora Chrona (1) Všechno v minulosti pravdivé je nutné. (2) Nemožné nenásleduje možné. --- (3) Co je teď nepravdivé a vždy nepravdivé bude, je přesto možné (?) Zdroj:

14 Determinismus Neexistuje jiná možnost než nutnost. Objevuje se od stoiků přes mechanistické materialisty až do současnosti. Problematická slučitelnost s determinismem (1) Axiologie hodnotové systémy (2) Etika mravní hodnoty (3) Svoboda (4) Riziko (5) Odpovědnost

15 Filón z Megary (žil na rozhraní 4. a 3 století př. n. l.) byl pravděpodobně žák Diodora Chrona. (Pojem stoicko megarská škola. Eukleidés z Megary byl přítelem Sókrata.) Filón z Megary zanechal text, pro který se mu přisuzuje prvenství ve formulaci pravdivostní tabulky pro (materiální) implikaci. (Tohoto Filóna nezaměňujme s Filónem Alexandrijským. A Euklida z Megary nezaměňujme s geometrem Eukleidem.)

16 Filón z Megary: Kondicionál je tehdy pravdivý, když nezačíná pravdivým a nepravdivým končí. Tedy kondicionál je pravdivý třemi způsoby a jedním nepravdivý. Totiž když pravdivým začíná a pravdivým končí, je pravdivý.... A když začíná nepravdivým a nepravdivým končí, je také pravdivý. Stejně pravdivý je, když nepravdivým začíná a pravdivým končí. Pouze tehdy je nepravdivý, když pravdivým začíná a nepravdivým končí. Zdroj:

17 Operace a relace Binární operace na množině R (třeba na množině reálných čísel) spočívá v přiřazování dvojicím čísel výsledné číslo. Dvojice prvků z množiny R jsou prvky kartézského součinu R x R. Binární operace je zobrazení z R x R do R číslo operátor číslo = číslo např. 6 / 2 = 3.

18 Operace a relace Binární operace R x R R

19 Operace a relace Binární relace na téže množině je část R x R. To lze popsat jako přiřazování dvojicím čísel výslednou pravdivostní hodnotu. Binární relace je zobrazení z R x R do dvouprvkové množiny { pravda, nepravda }, {1, 0} nebo jinak zapisované buď číslo operátor číslo = pravda nebo číslo operátor číslo = nepravda. např. 6 > 2 = pravda.

20 Operace a relace Binární relace R x R {0, 1}

21 Operace a relace Je-li na místě R dvouprvková množina, zapisujme ji {0, 1}, { falsum, verum }, { nepravda, pravda }, rozdíl mezi operací a relací mizí. {0, 1} x {0, 1} {0, 1}

22 Filónův kondicionál : a antecedent, předpoklad b konsekvent, závěr

23 Chrýsippos ze Soloi (nar. 281 př.n.l.; zemřel 208 př.n.l.) vytvořil dvouhodnotovou axiomatickou výrokovou logiku. (Nikoliv ale kalkul v novodobém slova smyslu.) Definoval konjunkci a, negaci ne, kondicionál když a alternativu buď... anebo. (Stoická nebo stoicko megarská škola.) Zdroj:

24 Sedm logických spojek podle Chrýsippa doplněná o konstantu verum :

25 Přidáním negací předchozích osmi relací či operací obdržíme všech šestnáct:

26 3. Novověk Bernard Bolzano ( ) pražský filosof a matematik. Rozlišoval abstraktní věty a jimi popisované konkrétní situace jejich konkrétní realizace. Obr.:

27 George Boole ( ) irský matematik, zakladatel moderní logiky Boolovy algebry. (Logiky také Frege.) Obr.:

28 August de Morgan ( ) anglický matematik, přispěl k formalizaci logiky. Obr.:

29 Gottlob Frege ( ) něm. matem., kon. 19. stol. zakladatel moderní logiky (také Boole). Pojmy mají význam (k čemu se vztahují) a smysl (jak se vztahují pro to se ale intuitivně spíš používá označení význam ). Obr.:

30 Gottlob Frege Podle Fregeho má logika zkoumat především zákony pravdivosti. U Fregeho studoval R. Carnap, s Fregem se trochu přátelil L. Wittgenstein. Frege byl introvert, mnohé věci psal a nezveřejňoval. Obr.:

31 Alfred North Whitehead ( ) amer. matematik a logik. S B. Russellem napsali Principia Mathematica ( ), použili Peanovu symboliku a Fregeho pojetí logiky a jejího vztahu k matematice. ( Matematika je pokračováním logiky. ) Obr.:

32 Bertrand Russell ( ) objevil Fregeho myšlenky. U Russella studoval na Fregeho radu Wittgenstein. Obr.:

33 Rudolf Carnap ( ) něm. novopozitivistický filosof, studoval u Fregeho. 1. pol. 20. stol. logický empirismus: K čemu se pojem vztahuje Jak se vztahuje = extenze. = intenze. Podle Carnapa by logika popisující empirický světa měla z roviny extenzí vystoupit do roviny intenzí. Obr.:

34 4. Intenze a modalita Příklady extenze a intenze Jsem (budu) v Praze. Přijel jsem (přijedu) autem. Výroky pouze v rovině extenzí. Je možné, abych byl v Brně. Mohl bych jet vlakem. Výroky zahrnující také intenze

35 David Kellogg Lewis ( ) zakladatel moderní modální logiky 20. léta 20. stol. Původním záměrem Lewise nebylo vytvoření modální logiky, ale vytvoření lepší než klasické implikace. Obr.:

36 Paradoxy materiální implikace Pravda je implikována čímkoli A (B A) Nepravda implikuje cokoli A ( A B)

37 Lewisův návrh na vypořádání se s paradoxy materiální implikace: Materiální implikaci P Z lze přeformulovat jako (P Z) Namísto ní navrhl novou implikaci, která by odpovídala formulaci není možné, aby (P Z). Zápis: (P Z)

38 Vztah mezi možností, nutností a realitou Determinismus: Co je (reálný svět), nemůže být jinak. (Vše se děje nutně.) Rozlišení možného, nutného a reálného: Aristotelés, Tomáš Akvinský.

39 Zajímavý příspěvek k možnosti a nutnosti z českého prostředí 17. století: Jan Caramuel z Lobkovic ( ) cisterciák, ve 40. letech 17. stol. přišel do Prahy. Roku 1650 jmenován generálním vikářem a vrchním dozorcem duchovenstva v Čechách. Formuloval důkaz boží neexistence :

40 Jan Caramuel z Lobkovic Výrok nic neexistuje je zřejmě nepravdivý. Může být nepravdivý nutně nebo možně. Kdyby nutně, bylo by možno vyvodit spor. Ze záporného výroku nelze vyvodit kladný výrok, proto ten spor vyvodit nelze. Daný výrok je tedy pravdivý možně, tedy je možné, aby neexistovalo nic, ani bůh. Avšak bůh, který může nebýt, není pravý Bůh.

41 Jan Caramuel z Lobkovic Závěr bůh neexistuje vede Jana Caramuela k formulaci athesismu nic nelze předpokládat. Obr.:

42 Aristotelés a Tomáš Akvinský s aktuální existencí reálná Jsoucna možná pomyslná kontradiktorní

43 Scotismus: Co je možné, to je (nějakým způsobem) reálné. Jan Duns Scotus ( ) skotský mnich, františkán, teolog a filosof pozdní scholastiky. Obr.:

44 Jan Duns Scotus s aktuální existencí reálná Jsoucna možná pomyslná kontradiktorní

45 5. Ontologická kolize při řešení běžných středoškolských úloh reálná s aktuální existencí Jsoucna možná pomyslná kontradiktorní

46 Příklady (1) Jestliže má Česká republika méně než 1000 obyvatel, má její hlavní město více než 2000 obyvatel? V Boolově algebře jde o implikaci pravdivou, protože předpoklad je nepravdivý. (A nepravda implikuje cokoli.) V Lewisově modální logice je ona implikace nepravdivá, protože je možné, aby na území ČR žilo méně než 1000 obyvatel a zároveň její hlavní město mělo méně než 2001 obyvatele.

47 Příklady (2) Pokud jel z Prahy směrem na Brno a Bratislavu automobil prvních 100 km rychlostí 70 km/h a dalších 100 km rychlostí 130 km/h, byla jeho průměrná rychlost na této dvou set kilometrové dráze 100 km/h? V Lewisově modální logice jde o nepravdivou implikaci, protože není možné, aby platil současně předpoklad i závěr. (Průměrná rychlost je 91 km/h.) V Boolově algebře jde patrně o implikaci pravdivou, protože automobily jedoucí z Prahy po dálnici na Brno se asi nikdy nepohybují hodinu a 26 minut rychlostí 70 km/h a pak 46 minut rychlostí 130 km/h. (100 km relativně pomalu a pak 100 km maximální dovolenou a někde i nedovolenou rychlostí.)

48 Problém Úlohy typu (1) a (2) se mohou vyskytnout u přijímacích zkoušek na vysoké školy. Dokonce i obě tyto úlohy při jednom konkrétním přijímacím řízení. V případě (1) se (často implicitně) vyžaduje, aby uchazeč chápal implikaci jako materiální. Ve smyslu pozitivistického vidění světa. Uchazeč má považovat za pravdivé (jen?) to, je evidováno jako empirický fakt. Otázkou je, kdo a jak má fakta evidovat co jsem zažil, četl, slyšel, co je relevantní zdroj informací o faktech.

49 V případě (2) se naopak chce, aby uchazeč použil scotistický pohled na svět možná jsoucna patří mezi jsoucna reálná. (Možné věci jsou nějakým způsobem reálné.) Uchazeč má k zadání úlohy přistoupit jako k implikaci modální.

50 6. Modální logika Rozdělení soudů podle modality: Soudy (výroky, tvrzení) se dělí na kategorické a modální. Kategorické soudy pouze něco konstatují. (V aristotelské logice třeba S je P nebo S není P.) Modální soud navíc říká, zda S je (resp. není) P nutně, možná, náhodou, nyní, případně zda ona skutečnost je známa, je dobrá, je špatná

51 Modální logika Kategorická tvrzení konstatují nějaký fakt. Že něco je (či není) pravda. Modální soudy navíc říkají, jakým způsobem to je (či není) pravda.

52 Způsoby (mody) pravdivosti: Aletická modální logika možnost a nutnost Epistemická logika je známo, je prokázáno, osoba x je přesvědčena, Deontická logika je zakázáno, je přikázáno, je dovoleno, Temporální logika bylo pravda, bude pravda, vždy bylo, je a bude, Hodnotová logika je dobré, je špatné,

53 Aletická modální logika K výrokům klasické logiky přidává dva modální operátory (, ) nejčastěji interpretované jako: p p p Je možné, že p platí Je nutné, že p platí Platí p

54 Aletická modální logika Mezi těmito dvěma operátory je podobný vztah jako mezi kvantifikátory v predikátové logice (Jednu z obou modalit můžeme definovat pomocí druhé): p p p p (tvrzení p platí nutně právě tehdy, když není možná neplatnost p) (tvrzení p je možné, právě když není nutná neplatnost p)

55 Aletická modální logika V systémech, které odpovídají běžné intuici, kterou máme o nutnosti a možnosti, platí mezi modalitami vztahy: Co platí nutně, to také platí (je to pravdivé). Když něco platí, je to také možné. p p p p

56 Epistemické modální logiky Základními modalitami těchto systémů jsou modality: Kxp Uxp Bxp x ví, že platí p (z anglického know = vědět) x neví, že platí p (z anglického unknown = neznámé) x věří, že platí p (z anglického believe = věřit)

57 Deontická modální logika Rozlišují se tři většinou modality: O p F p P p Je přikázáno p (z anglického ordered = přikázáno) Je zakázáno p (z anglického forbidden = zakázáno) Je povoleno p (z anglického permitted = povoleno)

58 Deontická modální logika Vztahy: O p F p F p O p P p F p O p P p (Co je přikázáno, je také povoleno)

59 Deontická modální logika Ale zajisté neplatí O p p (Co je přikázáno, to že by i platilo, že by se to i dálo) Nebývá pravda, že se normy a příkazy vždy dodržují.

60 Temporální modální logika Základní časové modality tedy jsou: p (právě nyní) platí p F p (někdy v budoucnu) bude platit p G p vždy (v budoucnu) bude platit p P p (někdy v minulosti) platilo p H p vždy (v minulosti) platilo p

61 Temporální modální logika Vztahy: F p G p (p bude někdy platit právě tehdy, když není pravda, že bude vždy platit p) G p F p (p bude vždy platit právě tehdy, když není pravda, že někdy platit nebude) P p H p (p někdy platilo právě tehdy, když není pravda, že vždy neplatilo)

62 Temporální modální logika Vztahy: H p P p (p vždycky platilo právě tehdy, když není pravda, že někdy neplatilo) G p F p H p P p (když tvrzení bude platit vždy, tak bude (někdy) platit) (když tvrzení vždy platilo, tak (někdy) platilo)