Existence a Bůh Pavel Tichý Journal of Philosophy, 1979

Slides:



Advertisements
Podobné prezentace
PLAYBOY Kalendar 2007.
Advertisements

Deduktivní soustava výrokové logiky
Doc. RNDr. Eduard Fuchs, CSc. VUT Brno
Fakulta životního prostředí Katedra informatiky a geoinformatiky
Města ČR – orientace na mapě
J. Pokorný 1 DOTAZOVACÍ JAZYKY slajdy přednášce DBI006 J. Pokorný MFF UK Odpřednášeno
TEORIE ROZHODOVÁNÍ A TEORIE HER
*Zdroj: Průzkum spotřebitelů Komise EU, ukazatel GfK. Ekonomická očekávání v Evropě Březen.
49. mistrovství světa ve zpracování textu na počítači
Magnetohydrodynamický (MHD) generátor
Predikátová logika1 Predikátová logika 1. řádu Teď „logika naostro“ !
PROGRAM PRO VÝUKU T ČLÁNKU
AutorMgr. Lenka Závrská Anotace Očekávaný přínos Tematická oblastOperace s reálnými čísly Téma PředmětMatematika RočníkPrvní Obor vzděláváníUčební obory.
Algebra.
Násobíme . 4 = = . 4 = = . 4 = = . 2 = 9 .
Elektrický obvod a jeho části
Zápis čísla v desítkové soustavě
Vizualizace projektu větrného parku Stříbro porovnání variant 13 VTE a menšího parku.
Vzdělávací materiál / DUMVY_32_INOVACE_02B14 Příkazový řádek: obsah souborů PŘÍKLADY AutorIng. Petr Haman Období vytvořeníLeden 2013 Ročník / věková kategorie3.
MODERNÍ A KONKURENCESCHOPNÁ ŠKOLA reg. č.: CZ.1.07/1.4.00/ Základní škola, Šlapanice, okres Brno-venkov, příspěvková organizace Masarykovo nám.
VY_32_INOVACE_ 14_ sčítání a odčítání do 100 (SADA ČÍSLO 5)
Proč je důležité studovat Principy
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK)
Základní číselné množiny
Řešení úloh v testech Scio z obecných studijních předpokladů zadaných ve školním roce 2011/2012 pro 6. ročník (26. – 34. úloha) IX. označení digitálního.
Dělení se zbytkem 6 MODERNÍ A KONKURENCESCHOPNÁ ŠKOLA
Dělení se zbytkem 5 MODERNÍ A KONKURENCESCHOPNÁ ŠKOLA
Název materiálu: OPAKOVÁNÍ 1.POLOLETÍ - OTÁZKY
Název školyIntegrovaná střední škola technická, Vysoké Mýto, Mládežnická 380 Číslo a název projektuCZ.1.07/1.5.00/ Inovace vzdělávacích metod EU.
Vlastnosti sčítání a odčítání
Jazyk vývojových diagramů

Fakulta životního prostředí Katedra informatiky a geoinformatiky
Únorové počítání.
Posloupnosti, řady Posloupnost je každá funkce daná nějakým předpisem, jejímž definičním oborem je množina všech přirozených čísel n=1,2,3,… Zapisujeme.
52_INOVACE_ZBO2_1364HO Výukový materiál v rámci projektu OPVK 1.5 Peníze středním školám Číslo projektu:CZ.1.07/1.5.00/ Název projektu:Rozvoj vzdělanosti.
Název materiálu: OPAKOVÁNÍ 1.POLOLETÍ - OTÁZKY
Zásady pozorování a vyjednávání Soustředění – zaznamenat (podívat se) – udržet (zobrazit) v povědomí – představit si – (opakovat, pokud se nezdaří /doma/)
Název materiálu: OPAKOVÁNÍ 1.POLOLETÍ - OTÁZKY
Fakulta životního prostředí Katedra informatiky a geoinformatiky
Cvičná hodnotící prezentace Hodnocení vybraného projektu 1.
Co je to ARGUMENT? Irena Schönweitzová FI - ŠF
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK) Logická analýza.
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK)
Pojmy a interpretace.
Téma: ABSOLUTNÍ HODNOTA CELÝCH ČÍSEL 2
Název materiálu: OPAKOVÁNÍ 1.POLOLETÍ - OTÁZKY
1 Celostátní konference ředitelů gymnázií ČR AŘG ČR P ř e r o v Mezikrajová komparace ekonomiky gymnázií.
Technické kreslení.
Název materiálu: OPAKOVÁNÍ 1.POLOLETÍ - OTÁZKY
Marie Duží vyučující: Marek Menšík Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia.
Predikátová logika.
INDIVIDUA KFI/ FIL1 Petr Hýža FI - FV Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ ,
Přednost početních operací
Rekurze Predikát predek(X,Y). predek(X,Y) :- rodic(X,Y). predek(X,Y) :- rodic(Z,Y),predek(X,Z).
Dostupné z Metodického portálu ISSN: , financovaného z ESF a státního rozpočtu ČR. Provozováno Výzkumným ústavem pedagogickým v Praze.
Autor: Ondřej Šimeček Verze: 1.1.3
Výroková logika.
Marie Duží Logika v praxi Marie Duží 1.
Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (reg. č. CZ.1.07/2.2.00/ , OPVK)
Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce
Marie Duží vyučující: Marek Menšík Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia.
Predikátová logika1 Predikátová logika 1. řádu Teď „logika naostro“ !
Environmentální etika uvedení do problému. Před samotnou environmentální etikou Jak absolvovat kurz a získat potřebné kredity? Jak absolvovat kurz a získat.
Deduktivní odvozování v TIL
Filosofie Základy logiky.
Marie Duží TIL ( ) Marie Duží
TIL: pojmové postoje, věty přací
Sémantika PL1 Interpretace, modely
Transkript prezentace:

Existence a Bůh Pavel Tichý Journal of Philosophy, 1979 Marie Duží marie.duzi@vsb.cz

Prof. Dr. Pavel Tichý 1954 – 1959: Karlova universita Filosofie a matematika 1968: emigrace do Anglie (Exeter) 1971: Nový Zéland, Otago, Prof. University of Dunedin 26. října 1994: +

Struktura přednášky Denotace a existence (obecné úvahy) Descartovův důkaz: dvě chyby Anselmův argument: logicky korektní, (pochybnost o platnosti jedné z premis) (Gödelův důkaz)

Denotace a existence Jimmy Carter je modrooký Ověřování pravdivosti: uchopíme individuum a zkoumáme, zda má rys (vlastnost) modrookosti Jimmy Carter existuje Je existence pouze další rys, který můžeme přisuzovat individuu? Jak bychom ověřovali pravdivost tohoto tvrzení? Uchopíme individuum, ale pak „existuje“! Množina individuí je dána a priori (předem, bez zkušenosti, „prekoncept“ v TILu) Kterékoli individuum je triviálně jedním z těch, která jsou Tedy každá věta vypovídající o existenci individua by byla nutně (analyticky, za všech okolností) pravdivá Hinttika

„Existence není vlastnost příslušející věcem“ ? Aristoteles, Kant, Russell Ale: Existence je netriviálně přisuzována a koherentně popírána Pravdivé, informativní věty: Americký president existuje Francouzský král neexistuje Tvrdí tyto věty existenci o nějakém individuu? Vždyť první věta nemluví o George W. Bushovi, a o kom by mluvila druhá věta?

Francouzský král neexistuje O čem vypovídá neexistenci? O „neexistujícím individuu“? – co by to bylo? Předmětem tvrzení je individuový úřad, role, „věc k bytí“: Francouzský král   Parciální funkce (zobrazení):   (  ) Úřady ve w,t : Obsazené – funkce má hodnotu Volné – funkce nemá hodnotu

Existence je vlastnost – čeho? Ne individuí, Ale intenzí: vlastnost „být obsazen“ ve w,t Existence / () President USA existuje: wt [0Existwt wt [0Presidentwt 0USA]] ()  ()  

Existence vypovídá o intenzi wt [0Existwt wt [0Presidentwt 0USA]] de dicto wt [0Modrookywt wt [0Presidentwt 0USA]wt ] de re

Definice existence 0Exist1 = wt p [0x [pwt x]], p  () 0Exist2 = wt u [0x [uwt = x]], u   wt [0Exist2wt wt [0Presidentwt 0USA]] = wt [wt u [0x [uwt = x]]wt wt [0Presidentwt 0USA]] = wt [0x [0Presidentwt 0USA] = x]] (-redukce)

Rekvizity úřadu Vlastnost R je rekvizitou úřadu U: Nutně, jestliže někdo zastává U (), pak má vlastnost R ( ()) [0Rek R U] = wt [[0Existwt U]  [0Truewt wt [Rwt Uwt]]] Příklad. Rekvisity presidenta USA: být člověkem, být řádně zvolen, být inaugurován, být občanem USA, ...

Inferenční pravidlo Nesprávně: (+) R je rekvisitou úřadu U  ten, kdo zastává úřad U má vlastnost R [0Rek R U]  [0Truewt wt [Rwt Uwt]]: konstruuje nepravdu, pokud Uwt selže !! Správně: (++) Úřad U je obsazen; R je rekvisitou úřadu U  ten, kdo zastává úřad U má vlastnost R [0Rek R U] & [0Existwt U]  [0Truewt wt [Rwt Uwt]]

Inferenční pravidlo (++) [0Rek R U] = wt [[0Existwt U]  x [[Uwt = x]  [Rwt x]]] [0Rek R U] & [0Existwt U]  [[Uwt = x]  [Rwt x]]]

Úřady vyšší úrovně President USA /  Nejvyšší výkonný úřad USA je obsazován individui (Bushové, ...) (úroveň 1) Nejvyšší výkonný úřad USA je obsazován úřady: nyní je to úřad presidenta USA Objekt / ()  úroveň 2 Nejoblíbenější propozice A. Eisteina / () (zkuste analyzovat: “Nejoblíbenější propozice Alberta Einsteina je analyticky pravdivá“)

Co to znamená znát úřad ? Nemůžeme znát tu nespočetně nekonečně velkou množinu (funkci) Pouze rozumíme „zadání“: rozumíme-li výrazu ‘nejvyšší výkonný úřad USA’, pak známe význam (konstrukci), která udává kritérium, jak v libovolném stavu světa w,t hledat (tj. provádět tu proceduru) Neznamená to, že známe „držitele“ v aktuálním světě – hodnotu té funkce, čili to, co konstrukce v-konstruuje Nemůžeme fixovat (znát) aktuální svět – dostali bychom analyticky nutnou propozici

Co označuje výraz ‘Bůh’ ? Kdyby Bůh označoval individuum ( ), pak by bylo čistě náhodnou záležitostí, zda je dobrotivý, všemohoucí, ..., protože jakékoli individuum je myslitelně zlovolné výraz ‘Bůh’ označuje něco, čím individuum může být: „věc k bytí“ – individuový úřad ( ) Rekvizity Boha: dobrotivost, vševědoucnost, všemohoucnost, ..., („všechna nej“) Otázka: Existuje Bůh je smysluplná: ptáme se, zda je boží úřad obsazen

Descartův (ontologický) důkaz René Descartes (1596 – 1650) Francouzský matematik, fyzik, filosof, fyziolog Novověký racionalismus Považuje Boha za individuový úřad, jehož esenci (všechny rekvizity) tvoří všechny „dokonalé“ positivní, dobré vlastnosti

Descartův důkaz: dvě chyby Mezi rekvisity úřadu Boha zahrnuje existenci. Ale: rekvizity individuového úřadu jsou vlastnosti individuí  existence by musela být vlastnost individuí Používá neplatnou inferenci (+): Existence je rekvisitou Božího úřadu  ten, kdo zastává úřad má vlastnost existence, tj. existuje (chybí zde: pokud někdo takový je) Chybné schéma: Bůh má všechny „dokonalé“ vlastnosti. Existence je dokonalá vlastnost. Tedy – Bůh existuje

Schéma modálních ontologických důkazů Boží existence Esence Boha G = {P1,…,Pn}, kde Pi / () jsou všechna positiva Tedy, (analyticky) nutně (ex definitione) platí, že Bůh má všechny positivní vlastnosti (pokud je může mít, pokud si neprotiřečí): Pi(G)  ( Pi(G)  Pi(G)) = ( Pi(G)  Pi(G)) Existence E je positivní vlastnost (je lépe být než nicota), a je možné, že Bůh existuje (pojem Boha není kontradiktorický): E(G). Tedy, E(G) Bůh existuje, a to dokonce nutně.

V čem je chyba? (pomineme-li problém s existencí jakožto vlastností individuí) Chybná inference typu + Od nutné intensionální (de dicto) pravdy (ex definitione) přechod k extensionální (de re) pravdě Nutně, Francouzský král je král. (de dicto) Je možné, že Francouzský král je král. (de re)  Francouzský král je (nutně) král. (de re)

Modality de dicto / de re Francouzský král by nemusel být králem „Skoro“ analyticky pravdivá: Individuum, které zastává FK má vlastnost, že by nemusel být králem. Žádné individuum není nutně králem! Tedy, pokud FK existuje, pak tu vlastnost má: FK  , K  (), x  . wt [x [w*t* [Kw*t* x]] FKwt] de re Je možné, že Francouzský král není král Analyticky nepravdivá wt [w*t* [Kw*t* FKw*t*]] de dicto

Modality de dicto / de re Analogicky Dřevěné stoly jsou nutně dřevěné Nepravda! Nutně, dřevěné stoly jsou dřevěné Pravda! (analyzujte)

Anselmův ontologický argument Sv. Anselm z Canterbury (1033 – 1109) Scholastický filosof, arcibiskup, světec, autor Proslogion Proslogion obsahuje dva důkazy: Proslogion II – komplikovaný, trpí podobnými nedostatky jako Descartův a téměř všechny ontologické důkazy – teoretici se věnovali pouze tomuto důkazu Proslogion III (modlitba) – jednoduchý, elegantní, průhledný argument, byl teoretiky pominut

Anselmův ontologický argument: Ty, k němuž nic většího nelze pomyslet, existuješ tak pravdivě a reálně, že není ani myslitelné, že bys neexistoval. Neboť je myslitelné, že existuje něco, jehož neexistence je nepředstavitelná; A tato věc je větší než cokoli, jehož neexistence je představitelná. Proto, jestliže o tom, k němuž nic většího nelze pomyslet, by mohlo být myšleno, že neexistuje, pak ten, k němuž nic většího nelze pomyslet, by nebylo to, k němuž nic většího nelze pomyslet – spor

Anselm: „ty, k němuž nic většího nelze pomyslet“ Descartes směle předpokládá, že zná Boží esenci, tj. že ví, který úřad je úřad Boží Tato arogance je sv. Anselmovi cizí. Oslovuje Boha: ty, k němuž nic většího nelze pomyslet Analyzujeme nyní tento výraz

Anselm: „ty, k němuž nic většího nelze pomyslet“ ‘být větší než’  binární vztah mezi čím ? Karel je větší než Petr: „větší co“ ??? Úřad presidenta USA je větší než úřad nejbohatšího farmáře pěstujícího burské oříšky v Georgii, ale Jimmy Carter není větší než Jimmy Carter Tedy: pojmy obou úřadů jsou v (A) použity de dicto (substituční test B !) Být větší než  (  ) - vztah mezi úřady

„ty, k němuž nic většího nelze pomyslet“ „ty, k němuž nic většího nelze pomyslet“ – zkráceně NV  () NV je úřad druhé úrovně (úřad úřadu) úřad Boha zastává úřad NV Anselm (i Pošetilec) rozumí termínu NV, znají úřad NV, vědí, jaké požadavky jsou kladeny na úřad Boha: musí zastávat NV Ale nevědí, jaké požadavky musí splňovat indiviuum, aby zastávalo úřad Boha

„ty, k němuž nic většího nelze pomyslet“ - NV Rekvisity úřadu NV jsou vlastnosti individuových úřadů Existence je vlastnost individuového úřadu Tedy – existence může být rekvizitou úřadu NV Nutná existence: být obsazen nutně – ve všech světech

Anselmovy principy Individuový úřad, který má vlastnost nutné existence, je větší než kterýkoli jiný úřad, který ji nemá Tedy, za předpokladu, že existuje alespoň jeden úřad, který má nutnou existenci): Nutná existence je rekvisitou úřadu NV Anselm se nedopustil chyby (+) – slide 11

Anselmovy předpoklady (i) Existuje alespoň jeden ind. úřad, který má nutnou existenci (tj. nepředstavitelná neexistence) (považoval Anselm za samozřejmý, Tichý raději dokázal) (ii) úřad s nutnou existencí je větší, než kterýkoli jiný (iii) Úřad NV je obsazen (O): (Anselm se nedopouští chyby (+) – ukazuje to)

Předpoklad i) – existuje alespoň jeden nutně existující úřad Tichý: dá se definovat úřad druhé úrovně L, který má vlastnost nutné existence: Úřad L nejnepatrnějšího obsazeného individuálního úřadu

Anselmovův (korektní) úsudek Pak bude: Úřad NV má rekvizitu nutnou existenci, Úřad NV je obsazen, Úřad Boha, který obsazuje NV má vlastnost nutné existence, tedy Bůh existuje (nutně). Tedy: existuje jeden individuový úřad, k němuž si nelze představit větší, a tento úřad je (nutně) obsazen individuem, které je Bůh („hraje roli“ Boha) ???

Předpoklad obsazenosti NV Existují maximální úřady, k nimž si nemůžeme představit větší, existuje však největší? Reductio ad absurdum: kdyby byly dvě takové věci, pak by musely být větší skrze dvě různé věci, ale pak by bylo představitelné, že je větší věc, která má obě Závěr: Bůh existuje nutně, tedy také ve skutečnosti ?

Gaunilo Stejně lze dokázat existenci dokonalého ostrova (???) Úřad NVO – největší ostrovní úřad – nemá rekvizitu nutné existence I kdyby bylo pravda, že v našem aktuálním světě vždy byly a budou ostrovy, není se světem, který je zcela prost ostrovů, spojeno nic nemožného

Klíčový předpoklad Anselmův (slide 25): úřad, který má vlastnost nutné existence, je větší než kterýkoli jiný Úřad, který je nutně obsazen, tj. vždy a za každých myslitelných okolností obsazen, je eo ipso větší než jakýkoli úřad, který je myslitelně prázdný? Čím větší (významnější) úřad, tím více vyžaduje od svých držitelů, tím obtížnější je pro individuum úkol zastávat tento úřad

Klíčový předpoklad Anselmův První člověk, který zaběhne 100 m pod 9 s je větší (tedy méně obsazen) než První člověk, který zaběhne 100 m pod 10 s Tichý – nutně obsazený úřad L: nejnepatrnější ... Úřad nejzkaženějšího jablečného ohryzku v odpadkovém koší v Chicagu (hraje roli L), tedy je významnější než úřad Papeže ???

Klíčový předpoklad Anselmův – oslabíme: (A’) ke každému úřadu, který není nutně obsazen, existuje větší úřad, který je nutně obsazen (A’) a (O) stačí pro odvození První člověk, který zaběhne 100 m pod 9 s Nemá nutnou existenci Rozšiřme jej na nutně obsazený úřad: přiřadíme v každém w,t (kde je neobsazen) nějaké individuum jako hodnotu Ale: tím ten úřad zkazíme – nebude mít potřebné rekvizity – dosáhneme nutné obsazenosti za cenu velikosti: z nedostatku lepších kandidátů bude obsazován nekvalitními individui

Nutná existence a velikost Navzdory Anselmovi Nutná obsazenost pracuje proti velikosti L* (opak L): úřad největšího obsazeného úřadu L* není nijak zvlášť velký: jeho rekvizitou není žádná dokonalá vlastnost, jeho esence je bídná Čím obvykleji je úřad obsazen, tím chudší je jeho esence Existují jistě světy, kde je každý neznalý toho či onoho faktu: v tomto w,t je L* obsazen nekvalitním individuem, prostě z nedostatku lepších kandidátů.

Propozice a pravda Čím obecněji (ve více w,t) je propozice pravdivá, tím méně je informativní Nutně pravdivá propozice je informačně bezcenná Nutně obsazený individuální úřad je nudný a šedivý

Tichý: Tato analogie je dokonce přesnější, než by se mohlo zdát. Individuální úřad má nutnou existenci právě tehdy, když je propozice, že je tento úřad obsazen, pravdivá ve všech světech a časech. Kdyby tedy Bůh existoval nutně, pak by propozice, že Bůh existuje, byla tautologií. Je těžké uvěřit a pro zainteresované jistě nepřijatelné, že by se věřící lišil od ateisty tím, že souhlasí s tautologií.