Deskripce a existence: uctívali Řekové olympské bohy?



Podobné dokumenty
Pravda jako funkce - ano, nebo ne?

Základní pojmy matematické logiky

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

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 α

Negativní informace. Petr Štěpánek. S použitím materiálu M.Gelfonda a V. Lifschitze. Logické programování 15 1

Příklad z učebnice matematiky pro základní školu:

Úvod do informatiky. Miroslav Kolařík

KMA/MDS Matematické důkazy a jejich struktura

1. Matematická logika

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

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

1. Matematická logika

Báze a dimenze vektorových prostorů

LOGIKA VÝROKOVÁ LOGIKA

Matematická indukce, sumy a produkty, matematická logika

4.2 Syntaxe predikátové logiky

Matematická logika. Rostislav Horčík. horcik

Matematická logika. Miroslav Kolařík

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

Predikátová logika Individua a termy Predikáty

Matematika III. Miroslava Dubcová, Daniel Turzík, Drahoslava Janovská. Ústav matematiky

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

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

Matematická analýza 1

Výroková logika dokazatelnost

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

doplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je

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

Zimní semestr akademického roku 2014/ prosince 2014

PŘEDNÁŠKA 2 POSLOUPNOSTI

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

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

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Primární a sekundární výskyt označující fráze. Martina Juříková Katedra filozofie, FF UP v Olomouci Bertrand Russell,

Matematická logika. Rostislav Horčík. horcik

Zavedení a vlastnosti reálných čísel

1 Základní pojmy. 1.1 Množiny

Matematická logika. Rostislav Horčík. horcik

Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16

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

Regulární matice. Věnujeme dále pozornost zejména čtvercovým maticím.

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

Úlohy k procvičování textu o univerzální algebře

Matematická logika. Miroslav Kolařík

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

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

ETIKA. Benedictus de SPINOZA

Kongruence na množině celých čísel

Matematická analýza pro informatiky I. Limita funkce

Matematická analýza pro informatiky I.

Systém přirozené dedukce výrokové logiky

9 Kolmost vektorových podprostorů

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...

Modely Herbrandovské interpretace

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

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.

Konstrukce relace. Postupně konstruujeme na množině všech stavů Q relace i,

Matematická analýza pro informatiky I. Limita posloupnosti (I)

Částečná korektnost. Petr Štěpánek. S využitím materialu Krysztofa R. Apta

Lineární algebra : Báze a dimenze

Logický důsledek. Petr Kuchyňka

přednáška 2 Marie Duží

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

Množiny, relace, zobrazení

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

Věta o dělení polynomů se zbytkem

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

zejména Dijkstrův algoritmus pro hledání minimální cesty a hladový algoritmus pro hledání minimální kostry.

1. Základy logiky a teorie množin

Matematická logika. Miroslav Kolařík

KMA/MDS Matematické důkazy a jejich struktura

Úvod do teorie deskripcí (pokračování)

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

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

Inteligentní systémy (TIL)

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

M - Výroková logika VARIACE

Lineární algebra : Lineární prostor

Základy logiky a teorie množin

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

0.1 Úvod do lineární algebry

Řešení 1. série. Řešení S-I-1-1 Nejdříve si uvědomme, že platí následující vztahy. h = 1 2 v d, h = 1 2 s k,

6 Lineární geometrie. 6.1 Lineární variety

Kvantifikované výroky a jejich negace

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

Definice 7.1 Nechť je dán pravděpodobnostní prostor (Ω, A, P). Zobrazení. nebo ekvivalentně

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

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

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

0.1 Úvod do matematické analýzy

Úlohy krajského kola kategorie C

Teorie množin Pavel Podbrdský

2.2 Sémantika predikátové logiky

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

Matice. a m1 a m2... a mn

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

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

Součin matice A a čísla α definujeme jako matici αa = (d ij ) typu m n, kde d ij = αa ij pro libovolné indexy i, j.

fakulty MENDELU v Brně (LDF) s ohledem na disciplíny společného základu (reg. č. CZ.1.07/2.2.00/28.

Transkript:

Kapitola 4 Deskripce a existence: uctívali Řekové olympské bohy? Přestože jsme se v minulé kapitole zabývali subjekty a predikáty, existuje ještě jeden typ výrazů, který může vystupovat jako podmět oznamovací věty, ačkoliv jsme ho dosud nezmínili. Logikové těmto výrazům obvykle říkají určité deskripce (neboli: určité popisy) nebo stručněji jen deskripce. Poznamenejme však hned na úvod, že výraz deskripce zde používáme jako technický termín, nikoli v jeho běžném významu. Deskripce jsou výrazy typu první člověk, který vstoupil na Měsíc a jediné lidské dílo, které je z vesmíru viditelné pouhýma očima. Deskripce mají obecně následující tvar: ta právě jedna věc, která splňuje takovou a takovou podmínku. Budeme-li se řídit návrhem Bertranda Russella, dalšího ze zakladatelů moderní logiky, pak můžeme deskripce zapsat následujícím způsobem. Nejprve výraz první člověk, který vstoupil na Měsíc přeformulujme jako takový objekt x, že x je lidská bytost a x jako první vstoupil na Měsíc. Nyní zapišme výraz takový objekt x jako ιx. Dostaneme ιx(x je lidská bytost a x jako první vstoupil na Měsíc). Označíme-li navíc je lidská bytost jako L a první vstoupil na Měsíc jako M, dostaneme stručný zápis: ιx(xl & xm). Obecně platí, že deskripcí rozumíme nějaký výraz ve tvaru ιxc x, kde c x je určitá podmínka, kterou klademe na objekt x. (Fakt, že jde o podmínku kladenou na x, nám připomíná dolní index x.) Deskripce a existence 37

Logika Obr. 4. Bertrand Russell (1872 1970), další z otců moderní logiky. Protože deskripce jsou subjekty, můžeme je kombinovat s predikáty a dostat tímto způsobem celé věty. Kupříkladu zapíšeme-li výraz narodil se v USA pomocí písmene U, pak můžeme větu První člověk, který vstoupil na Měsíc, se narodil v USA zapsat jako: ιx(xl & xm)u. Zapišme výraz 38

ιx(xl & xm) pomocí zkratky µ. (Používám řecké písmeno, abych upozornil na to, že nejde o větu, ale o deskripci.) Pak se nám tento zápis zjednoduší na µu. Podobně větu První člověk, který vstoupil na Měsíc, je člověk a jako první vstoupil na Měsíc zapíšeme jako µl & µm. Podle rozdělení, které jsme zavedli v minulé kapitole, patří určité deskripce mezi jména, a nikoli mezi kvantifikátory. Jinými slovy, tyto výrazy referují k objektům máme-li to štěstí, že takové objekty existují. (K tomuto problému se ještě vrátíme.) Tudíž věta První člověk, který vstoupil na Měsíc, se narodil v USA, neboli µu, je pravdivá právě tehdy, když ta konkrétní osoba, k níž referuje jmenný výraz µ, splňuje vlastnost vyjádřenou predikátem U. Avšak deskripce jsou jména speciálního druhu. Na rozdíl od výrazů, které můžeme blíže označit jako vlastní jména, například Aneta, velký třesk a podobně, nesou v sobě deskripce nějakou informaci o objektu, k němuž referují. Například výraz první člověk, který vstoupil na Měsíc nese informaci o tom, že objekt, k němuž referuje, má vlastnost být člověkem a zároveň tu vlastnost, že jako první vstoupil na Měsíc. To může znít banálně, ale věci nejsou vždy tak jednoduché, jak se zdá na první pohled. Protože deskripce nesou v sobě nějakou informaci, hrají často ústřední roli v důležitých matematických a filozofických důkazech. Samozřejmě nejlepším způsobem, jak ocenit záludnost těchto úvah, je podívat se na příklad takového důkazu. Budeme tedy uvažovat další důkaz Boží existence, obvykle známý pod názvem ontologický důkaz. Tento důkaz existuje v nesčetně mnoha variantách, které jsou více či méně komplikované. Zde je jedna obzvláště jednoduchá verze: Deskripce a existence Bůh je bytost, která má všechny dokonalosti. Existence je dokonalost. Tudíž Bůh má existenci. 39

Logika Jinými slovy: Bůh existuje. Pokud jste se s tímto důkazem ještě nesetkali, připadá vám možná poněkud záhadný. Tak za prvé, co se rozumí dokonalostí? Inu, dokonalostí rozumíme přibližně něco jako vševědoucnost (vědění všeho, co se dá vědět), všemohoucnost (schopnost učinit všechno, co se dá učinit) a morální dokonalost (schopnost jednat způsobem, který je nejlepší ze všech dostupných možností). Obecně platí, že dokonalosti jsou takové vlastnosti, které je dobré a žádoucí mít. Druhá premisa důkazu nám říká, že existence je dokonalost. Co tím proboha chce autor říct? Přesné zdůvodnění toho, proč bychom měli existenci považovat za dokonalost, je poměrně komplikované a má svůj původ ve filozofické nauce jednoho ze dvou nejvlivnějších řeckých filozofů, slavného Platóna. Tímto problémem se zde naštěstí nemusíme zabývat. Pro naše účely docela stačí, vyjmenujeme-li několik vlastností jako vševědoucnost, všemohoucnost a tak dále, přičemž do tohoto výčtu zahrneme také existenci, a jednoduše prohlásíme, že dokonalostí rozumíme libovolnou vlastnost z uvedeného výčtu. Dále můžeme výraz Bůh považovat za synonymní s nějakou deskripcí, jmenovitě deskripcí ta bytost, která má všechny dokonalosti (neboli všechny vlastnosti z našeho výčtu). Obě premisy ontologického důkazu jsou považovány za pravdivé na základě definice, tudíž o jejich platnosti nejsou žádné pochybnosti. Celý ontologický důkaz tak můžeme zjednodušit na následující jednořádkový důkaz: Ten objekt, který je vševědoucí, všemohoucí, morálně dokonalý,, a existuje, existuje a můžeme dodat: a je vševědoucí, všemohoucí, morálně dokonalý a tak dále. Zdá se, že tato úvaha je naprosto v pořádku. Aby to však bylo ještě jasnější, předpokládejme, že Boží vlastnosti vyjmenujeme a poznamenáme si je v určitém pořadí jako P 1, P 2,, P n. Poslední vlastností v tomto sezna- 40

mu, neboli P n, rozumějme vlastnost existence. Výraz Bůh tak můžeme definovat jako: ιx(xp 1 & xp 2 & & xp n ). Zaveďme jako zkratku za tuto deskripci řecké písmeno β. Pak výše uvedený jednořádkový důkaz dostane tvar βp 1 & βp 2 & & βp n (odkud samozřejmě plyne, že platí βp n, neboli že Bůh existuje). Tato úvaha je speciálním případem obecného principu, který můžeme formulovat slovy: ta (právě jedna) věc, která splňuje takovou a takovou podmínku, splňuje právě tu podmínku. Tento princip je znám pod názvem charakterizační princip (věc má podle tohoto principu právě ty vlastnosti, které ji charakterizují) a nadále jej budeme označovat pomocí zkratky CP. Jedno konkrétní dosazení do CP jsme si uvedli už výše, jmenovitě větu První člověk, který vstoupil na Měsíc, je člověk a jako první vstoupil na Měsíc, neboli stručně µl & µm. Obecně platí, že vezmeme-li určitou deskripci ιxc x a dosadíme ji za každý výskyt proměnné x v podmínce c x, dostaneme konkrétní dosazení do principu CP. Zdá se, že CP je dobrý princip a že je pravdivý na základě definice. Samozřejmě platí, že věci mají právě ty vlastnosti, kterými jsou charakterizovány. Bohužel je CP jako obecný princip určitě nepravdivý. Z tohoto principu totiž neplyne jen výše uvedená pravdivá věta, ale také celá řada nepravdivých vět. Pro začátek uveďme, že pomocí tohoto principu lze deduktivně dokázat existenci nejrůznějších věcí, které ve skutečnosti neexistují. Uvažujme například kladná celá čísla 1, 2, 3, Neexistuje žádné největší kladné celé číslo. Použijeme-li však CP, můžeme snadno existenci tohoto čísla dokázat. Nechť c x je podmínka x je největší kladné celé číslo a x existuje. Zaveďme nyní zkratku δ za deskripci ιxc x. Z charakterizačního principu plyne, že věta δ je největší kladné celé číslo a δ existuje je pravdivá. Podobně absurdních dosazení do tohoto principu existuje nekonečně mnoho. Uvažujme například nějakého neženatého muže, kupříkla- Deskripce a existence 41

Logika du papeže. Jako c x si označme podmínku x je manželkou papeže. Nechť δ označuje deskripci ιxc x. Z CP bezprostředně plyne δ je manželkou papeže, tudíž že existuje někdo, s kým se papež oženil, neboli že papež je ženatý. Kde se stala chyba? Standardní moderní odpověď je zhruba následující. Uvažujme určitou deskripci ιxc x. Jestliže v nějaké situaci existuje právě jeden objekt x, který splňuje podmínku c x, pak řekneme, že tato určitá deskripce referuje k oné věci x. V jiném případě deskripce nereferuje vůbec k ničemu: je to jen jakési prázdné jméno. Je kupříkladu pravda, že existuje právě jedno takové x, že x je lidská bytost a x jako první vstoupil na Měsíc. Každý ví, že to je Neil Armstrong. Tudíž jmenný výraz takové x, že x je lidská bytost a x jako první vstoupil na Měsíc referuje k Neilu Armstrongovi. Podobně je pravda, že existuje nejmenší kladné celé číslo, jmenovitě číslo 1. Tudíž určitá deskripce nejmenší kladné celé číslo označuje číslo 1. Protože však neexistuje žádné největší kladné celé číslo, deskripce největší kladné celé číslo nereferuje k žádnému objektu. Z podobných důvodů platí, že ani výraz to jediné město v Austrálii, které má více než milion obyvatel nereferuje k žádnému objektu, tentokrát ovšem nikoli proto, že by takové město neexistovalo, ale naopak proto, že takových měst existuje více. Co mají tyto úvahy společného s principem CP? Tyto úvahy jednoduše naznačují, že existuje-li právě jeden objekt x, který v nějaké situaci splňuje podmínku c x, pak výraz ιxc x referuje k tomuto objektu x. Jinými slovy, v tomto případě dostaneme dosazením do principu CP pravdivou větu, která nám říká, že objekt ιxc x je jednou z těch věcí dokonce tou jedinou věcí která splňuje podmínku c x. Kupříkladu nejmenší kladné celé číslo je skutečně nejmenším kladným celým číslem; město, které je hlavním městem Austrálie, je skutečně hlavním městem Austrálie a tak dále. Některá dosazení do CP tedy vedou k pravdivým větám. 42

Jak je tomu však v případě, že neexistuje žádný jediný objekt x, který by splňoval podmínku c x? Jestliže n je nějaké jméno a P predikát, pak věta np je pravdivá právě tehdy, existuje-li objekt, k němuž referuje jméno n a který má vlastnost vyjádřenou predikátem P. Tudíž v případě, že n neoznačuje žádný objekt, musíme větu np považovat za nepravdivou. Neexistuje-li tedy žádná právě jedna věc taková, která má vlastnost P (kupříkladu když P znamená vlastnost je okřídleným koněm ), je věta (ιx xp)p ve skutečnosti nepravdivá. Jak se za těchto okolností dalo očekávat, princip CP selhal. Jistě se však už netrpělivě ptáte: jak to všechno souvisí s ontologickým důkazem? Připomeňme si, že CP nám v tomto případě říká, že je pravdivé tvrzení βp 1 & & βp n, kde β je určitá deskripce ιx(xp 1 & & xp n ). Inu, buď existuje nějaký objekt x, který podmínku xp 1 & & xp n splňuje, nebo žádný takový objekt neexistuje. Jestliže takový objekt x existuje, pak musí být právě jeden. (Nemohou existovat dvě všemohoucí bytosti: jestliže jsem všemohoucí já, pak vám mohu zabránit učinit nějaké věci, a tudíž vy už všemohoucí být nemůžete). V takovém případě β referuje k tomuto objektu a tvrzení βp 1 & & βp n je pravdivé. Jestliže žádný takový objekt neexistuje, pak β nereferuje k ničemu, tudíž všechny členy konjunkce βp 1 & & βp n jsou nepravdivé, neboli je nepravdivá také celá konjunkce. Jinými slovy, konkrétní dosazení do CP nám dává určitě pravdivý výsledek v případě, že Bůh existuje, ale nepravdivý výsledek v případě, že Bůh neexistuje. Chceme-li tedy podat platný důkaz Boží existence, nestačí odvolat se na to, že se jedná o konkrétní dosazení do principu CP: to vlastně znamená totéž, jako předpokládat to, co máme dokázat. Filozofové o tomto typu úsudku říkají, že požaduje dokazované tvrzení (begs the question), neboli že požaduje, abychom přijali právě ten závěr, který máme dokázat. Důkaz, který požaduje, abychom přijali to, co máme dokázat, samozřejmě nemůže fungovat. Deskripce a existence 43

Logika Tolik k ontologickému důkazu. Na závěr této kapitoly však poznamenejme, že analýza určitých deskripcí, kterou jsem vám právě předložil, je sama do určité míry problematická. Podle mého výkladu platí, že obsahuje-li věta δp určitou deskripci δ, která k ničemu nereferuje, pak je tato věta nepravdivá. Zdá se však, že to neplatí ve všech případech. Je kupříkladu zřejmě pravda, že staří Řekové zcela vážně uctívali svého nejmocnějšího boha. Tento bůh se nazýval Zeus a spolu s ostatními bohy přebýval na hoře Olymp. Podobná tvrzení zřejmě platí i o dalších řeckých bozích. Nicméně žádní řečtí bohové nejsou: jednoduše neexistují a nikdy neexistovali. Je-li toto tvrzení pravdivé, pak určitá deskripce nejmocnější bůh starověkého Řecka k ničemu nereferuje. V takovém případě však zřejmě existují pravdivé subjekt-predikátové věty, kde jmenný výraz na místě subjektu nereferuje k ničemu, například věta Nejmocnější bůh starověkého Řecka byl skutečně uctíván Řeky. Podáme-li trochu tendenční výklad tohoto faktu, pak můžeme říci, že existují pravdivé výpovědi o neexistujících objektech. Hlavní myšlenka kapitoly Věta (ιxc x )P je v nějaké situaci s pravdivá právě tehdy, když v této situaci existuje právě jeden objekt a takový, že a splňuje podmínku c x a platí ap. 44