Kurt Gödel Argumentul ontologic

Similar documents
Titlul lucrării propuse pentru participarea la concursul pe tema securității informatice

Metrici LPR interfatare cu Barix Barionet 50 -

Reflexia şi refracţia luminii. Aplicaţii. Valerica Baban

ARBORI AVL. (denumiti dupa Adelson-Velskii si Landis, 1962)

D în această ordine a.î. AB 4 cm, AC 10 cm, BD 15cm

Olimpiad«Estonia, 2003

Subiecte Clasa a VI-a

Procesarea Imaginilor

Semnale şi sisteme. Facultatea de Electronică şi Telecomunicaţii Departamentul de Comunicaţii (TC)

Structura și Organizarea Calculatoarelor. Titular: BĂRBULESCU Lucian-Florentin

În continuare vom prezenta unele dintre problemele de calcul ale numerelor Fibonacci.

The First TST for the JBMO Satu Mare, April 6, 2018

2. Setări configurare acces la o cameră web conectată într-un router ZTE H218N sau H298N

Grafuri bipartite. Lecție de probă, informatică clasa a XI-a. Mihai Bărbulescu Facultatea de Automatică și Calculatoare, UPB

Problema identitatii la Aristotel. Problema identității la Aristotel. Gheorghe Ştefanov ABSTRACT:

Mods euro truck simulator 2 harta romaniei by elyxir. Mods euro truck simulator 2 harta romaniei by elyxir.zip

Sunt termenii care stau pentru genuri naturale designatori rigizi?

GHID DE TERMENI MEDIA

Versionare - GIT ALIN ZAMFIROIU

ARGUMENTUL ONTOLOGIC

Reticențele lui Wittgenstein față de teorema de incompletitudine a lui Gödel

Textul si imaginile din acest document sunt licentiate. Codul sursa din acest document este licentiat. Attribution-NonCommercial-NoDerivs CC BY-NC-ND

Auditul financiar la IMM-uri: de la limitare la oportunitate

Mecanismul de decontare a cererilor de plata

Aspecte controversate în Procedura Insolvenţei şi posibile soluţii

Ghid identificare versiune AWP, instalare AWP şi verificare importare certificat în Store-ul de Windows

Modalitǎţi de clasificare a datelor cantitative

Prima. Evadare. Ac9vity Report. The biggest MTB marathon from Eastern Europe. 7th edi9on

INTRODUCERE ÎN LOGICA FILOSOFICĂ

Printesa fluture. Мобильный портал WAP версия: wap.altmaster.ru

ANALELE UNIVERSITĂŢII BUCUREŞTI

Arbori. Figura 1. struct ANOD { int val; ANOD* st; ANOD* dr; }; #include <stdio.h> #include <conio.h> struct ANOD { int val; ANOD* st; ANOD* dr; }

Candlesticks. 14 Martie Lector : Alexandru Preda, CFTe

CHAMPIONS LEAGUE 2017 SPONSOR:

PACHETE DE PROMOVARE

INFORMAȚII DESPRE PRODUS. FLEXIMARK Stainless steel FCC. Informații Included in FLEXIMARK sample bag (article no. M )

REVISTA NAŢIONALĂ DE INFORMATICĂ APLICATĂ INFO-PRACTIC

The driving force for your business.

ISBN-13:

2. In the pattern below, which number belongs in the box? 0,5,4,9,8,13,12,17,16, A 15 B 19 C 20 D 21

CAIETUL DE SARCINI Organizare evenimente. VS/2014/0442 Euro network supporting innovation for green jobs GREENET

MINTE, CONȘTIINȚĂ LIBERUL ARBITRU.

Dispozitive Electronice şi Electronică Analogică Suport curs 02 Metode de analiză a circuitelor electrice. Divizoare rezistive.

MS POWER POINT. s.l.dr.ing.ciprian-bogdan Chirila

Contribuţii la studiul laticii subgrupurilor unui grup

IDEEA ABSOLUTĂ ŞI CONCEPTUL ADEVĂRULUI ÎN LOGICA LUI HEGEL

Proiectarea Sistemelor Software Complexe

SAG MITTIGATION TECHNICS USING DSTATCOMS

Stat minimal sau utopie? O incursiune în viziunea lui Robert Nozick privind conceptul de asociație stabilă

Metoda BACKTRACKING. prof. Jiduc Gabriel

aspecte de metodologie generală

R O M Â N I A CURTEA CONSTITUŢIONALĂ

Propuneri pentru teme de licență

A NOVEL ACTIVE INDUCTOR WITH VOLTAGE CONTROLLED QUALITY FACTOR AND SELF-RESONANT FREQUENCY

Update firmware aparat foto

PROCEDURA PRIVIND DECONTURILE. 2. Domeniu de aplicare Procedura se aplică în cadrul Universităţii Tehnice Cluj-Napoca

LINEAR VOLTAGE-TO-CURRENT CONVERTER WITH SMALL AREA

Class D Power Amplifiers

Analele Universităţii Ştefan cel Mare Suceava

= 1) intr-un mediu cu un anumit indice

Introducere în algebra computationala

INTEROGĂRI ÎN SQL SERVER

Immanuel kant. Despre frumos şi bine. Vol. 2

Religie si ratiune - teme actuale in filosofia religiei /2004

F. Radulescu. Curs: Utilizarea bazelor de date, anul IV C5.

Laborator 1. Programare declarativă. Programare logică. Prolog. SWI-Prolog

FLORENTIN SMARANDACHE Negari ale Postulatului V al lui Euclid

STARS! Students acting to reduce speed Final report

EVALUARE NAŢIONALĂ LA FINALUL CLASEI a VI-a Model de test Limbă şi comunicare - Limba engleză

Curs 3 Fizica sem. 2

INFLUENŢA CÂMPULUI MAGNETIC ASUPRA DINAMICII DE CREŞTERE"IN VITRO" LA PLANTE FURAJERE

Evoluția pieței de capital din România. 09 iunie 2018

Descrierea CIP a Bibliotecii Naţionale a României JAMES, WILLIAM Voinţa de a crede 1 William J ames ;

Metoda de programare BACKTRACKING

INSTRUMENTE DE MARKETING ÎN PRACTICĂ:

LIDER ÎN AMBALAJE EXPERT ÎN SISTEMUL BRAILLE

PARLAMENTUL EUROPEAN

2. Setări configurare acces la o cameră web conectată într-un echipament HG8121H cu funcție activă de router

Generarea şi validarea numerelor prime mari

X-Fit S Manual de utilizare

Baze de date distribuite și mobile

earning every day-ahead your trust stepping forward to the future opcom operatorul pie?ei de energie electricã și de gaze naturale din România Opcom

VIRTUAL INSTRUMENTATION IN THE DRIVE SUBSYSTEM MONITORING OF A MOBIL ROBOT WITH GESTURE COMMANDS

MODELUL UNUI COMUTATOR STATIC DE SURSE DE ENERGIE ELECTRICĂ FĂRĂ ÎNTRERUPEREA ALIMENTĂRII SARCINII

Capete terminale şi adaptoare pentru cabluri de medie tensiune. Fabricaţie Südkabel Germania

Jean-Paul Sartre. Existenţialismul este un umanism

Rem Ahsap is one of the prominent companies of the market with integrated plants in Turkey, Algeria and Romania and sales to 26 countries worldwide.

SPEED CONTROL OF DC MOTOR USING FOUR-QUADRANT CHOPPER AND BIPOLAR CONTROL STRATEGY

Nume şi Apelativ prenume Adresa Număr telefon Tip cont Dobânda Monetar iniţial final

La fereastra de autentificare trebuie executati urmatorii pasi: 1. Introduceti urmatoarele date: Utilizator: - <numarul dvs de carnet> (ex: "9",

Preţul mediu de închidere a pieţei [RON/MWh] Cota pieţei [%]

ELIAN Solutions. Sistemele ERP pe înțelesul tuturor

Logici de încredere în securitatea informaţiei. Universitatea Al. I. Cuza, Iaşi Facultatea de Informatică Master Securitatea informaţiei

EN teava vopsita cu capete canelate tip VICTAULIC

TIMPUL CRITICII ŞI CRITICA TIMPULUI Bogdan Popoveniuc

INTRODUCERE: AMBIŢII ÔI SPERANŢE ALE ETICII APLICATE Adrian Miroiu

ANTICOLLISION ALGORITHM FOR V2V AUTONOMUOS AGRICULTURAL MACHINES ALGORITM ANTICOLIZIUNE PENTRU MASINI AGRICOLE AUTONOME TIP V2V (VEHICLE-TO-VEHICLE)

BERTRAND RUSSELL. Problemele filosofiei. Traducere din limba engleză: Mihai Ganea. Studiu introductiv: Mircea Flonta. Ful

Descrierea CIP a Bibliotecii Naţionale a României: I. Popescu, George (trad.)

Platformă de e-learning și curriculă e-content pentru învățământul superior tehnic

Transcription:

Kurt Gödel Argumentul ontologic Gheorghe Ştefanov În acest text îmi propun să prezint argumentul ontologic formulat de Kurt Gödel în anul 1970 1 şi să îl evaluez critic, având în principal în vedere conceptul proprietăţilor pozitive. În locul notaţiei originale folosite de Gödel voi folosi notaţia standard a logicii de ordinul doi. I. În construcţia argumentului său, Gödel introduce mai întâi două definiţii: Def1: G(x) =df ( X)[P(X) X(x)] Def2: E(X, x) =df ( Y) [Y(x) ( y)(x(y) Y(y))] & X(x) Prima dintre ele ne spune că a avea proprietatea de a fi Dumnezeu înseamnă (prin definiţie) a avea toate proprietăţile pozitive. În termenii lui Gödel, pozitiv înseamnă pozitiv într-un sens moral estetic (independent de structura accidentală a lumii). Doar în acest caz sunt adevărate axiomele. Ar putea de asemenea să însemne atribuire pură, în opoziţie cu privaţiune sau care conţine o privaţiune. 2 A doua definiţie ne spune că un obiect are o proprietate în mod esenţial (altfel spus, relaţia dintre un obiect şi o proprietate este esenţială) dacă şi numai dacă (prin definiţie) toate celelalte proprietăţi pe care le are obiectul respectiv sunt implicate în mod necesar de proprietatea respectivă, iar obiectul chiar are proprietatea respectivă. În continuare, sunt introduse trei axiome: Axioma 1: ( X1)...( Xn) [(P(X1) &...& P(Xn)) P(X1...Xn)] Axioma 2: ( X)[P(X) w P(~X)] Axioma 3: ( X)[P(X) P(X)] & ( X)[~P(X) ~P(X)] Potrivit primeia, însumarea mai multor proprietăţi pozitive, oricare ar fi acestea, e o proprietate pozitivă. A doua axiomă exprimă ideea că pentru orice proprietate, fie aceasta e pozitivă, fie negaţia ei este pozitivă (dar nu ambele). În fine, cea de a treia axiomă ne spune că orice proprietate pozitivă este în mod necesar pozitivă şi orice proprietate negativă este în mod necesar negativă.

Pe baza definiţiilor şi axiomelor introduse până acum, Gödel va demonstra o primă teoremă: Teorema 1: ( x)[g(x) E(G, x)] Sensul ei este că dacă un obiect are proprietatea de a fi Dumnezeu, atunci are această proprietate în mod esenţial. Teorema 1 poate fi demonstrată în felul următor. Din definiţia 1 şi axioma 2 reiese că obiectul despre care vorbim instanţiază toate proprietăţile pozitive şi numai pe ele. (În plus, proprietăţile respective, fiind pozitive, sunt în mod necesar pozitive. Aceleaşi proprietăţi vor fi pozitive în orice lume posibilă.) Deci, pentru orice proprietate X (proprietate pozitivă) pe care o are obiectul avut în vedere, proprietatea de a fi Dumnezeu implică în mod necesar că obiectul are proprietatea X (fiindcă definiţia 1, fiind o stipulare, e un adevăr necesar). Dar potrivit definiţiei 2, aceasta înseamnă că obiectul avut în vedere are proprietatea de a fi Dumnezeu în mod esenţial. Vor mai fi introduse apoi o a treia definiţie şi o a patra axiomă: Def3: Ex =df ( X)[E(X,x) ( x)x(x)] Axioma 4: P(E) A treia definiţie redă ideea că existenţa necesară a unui obiect înseamnă (prin definiţie) instanţierea necesară a tuturor esenţelor obiectului respectiv. Axioma a patra, pe de altă parte, ne spune că existenţa necesară este o proprietate pozitivă. Acum Gödel poate demonstra o nouă teoremă: Teorema 2: ( x)g(x) ( y)g(y) Aşa cum am înţeles-o, teorema e utilizată pentru a afirma că dacă există un obiect care are proprietatea de a fi Dumnezeu, atunci în mod necesar există un obiect care are proprietatea de a fi Dumnezeu. Trebuie să observăm că deocamdată nu se face nici o afirmaţie despre existenţa lui Dumnezeu. Tot ceea ce ni se spune, în acest pas, este că dacă Dumnezeu există, atunci El există în mod necesar. Teorema 2 poate fi demonstrată în felul urmator. Dacă există un obiect care să aibă proprietatea de a fi Dumnezeu, acesta are în mod esenţial această proprietate (potrivit primei teoreme). Întrucât oricare două esenţe sunt echivalente (observaţia lui Gödel la definiţia 2), toate esenţele obiectului avut în vedere

revin la G. Din axioma 4 reiese că obiectul nostru, având toate proprietăţile pozitive (din definiţia 1), o are şi pe cea a existenţei necesare. Astfel, făcând substituţia G/X în definiţia 3 avem: E(G,a) ( x)g(x) (unde a este obiectul pe care îl avem în vedere) În continuare Gödel deduce pe rând câteva propoziţii din teorema 2: (a) ( x)g(x) ( y)g(y) Aceasta fiindcă teorema 2 e adevărată, potrivit regulii necesitării, şi în închidere necesară: [( x)g(x) ( y)g(y)] şi pentru că acceptăm (p q) ( p q) (b) ( x)g(x) ( y)g(y) Aceasta pentru că utilizăm substituţia în subformula ( y)g(y) şi acceptăm principiul p p (un principiu logic care ţine doar în cadrul sistemului modal S5). Ultima axiomă introdusă de către Gödel este: Axioma 5: ( X)( Y)[(P(X) & ( x) (X(x) Y(x))) P(Y)] Sensul ei este că o proprietate implicată în mod necesar de o proprietate pozitivă este la rândul ei pozitivă. Cu alte cuvinte, dacă din faptul că un obiect are o anumită proprietate pozitivă reiese că ar trebui să aibă, în toate lumile posibile, o altă proprietate, atunci acea proprietate este, la rândul ei, tot o proprietate pozitivă. Acum Gödel introduce un alt enunţ. Deşi acesta nu este numit în mod explicit teoremă, are tot statutul unei teoreme, care poate fi demonstrată pe baza axiomelor şi definiţiilor introduse anterior. Teorema 3 : ( x)g(x) Enunţul respectiv exprimă ideea că e posibil să existe un obiect care are proprietatea de a fi Dumnezeu. Demonstraţia poate fi oferită în felul următor. A spune că e posibil să existe un obiect care are proprietatea de a fi Dumnezeu revine la a spune că e posibil să existe un obiect care să instanţieze toate proprietăţile pozitive. Adică la a spune că proprietăţile pozitive nu sunt incompatibile între ele. Acum putem folosi metoda reducerii la absurd. Să presupunem că ar exista incompatibilităţi între proprietăţile pozitive. Să numim proprietatea obţinută prin însumarea tuturor proprietăţilor pozitive S. Potrivit primei axiome aceasta ar trebui să fie o proprietate pozitivă. Iar potrivit axiomei 5, toate proprietăţile implicate în mod necesar de S ar trebui să fie la rândul

lor proprietăţi pozitive. Dar S, fiind contradictorie (Gödel foloseşte expresia x x), va implica în mod necesar orice proprietate, deci şi proprietăţi negative, în contradicţie cu afirmaţia din a cincea axiomă. Întrucât presupunerea noastră a dus la o contradicţie, reiese că nu pot exista incompatibilităţi între proprietăţile pozitive. În încheierea textului său Gödel formulează următoarea observaţie: ( X)[P(X) ~(( x) ~X(x))] Potrivit acesteia, nu există proprietăţi pozitive neinstanţiate. Cu alte cuvinte, ni se garantează, prin această observaţie, că dacă proprietăţile pozitive pot forma un sistem consistent, e posibil să existe un obiect care să le instanţieze pe toate. Acum poate fi formulată şi concluzia argumentului ontologic construit de Gödel: ( x)g(x) Ceea ce înseamnă că în mod necesar există cel puţin un obiect 3 care are proprietatea de a fi Dumnezu. Demonstraţia concluziei poate fi dată pe baza propoziţiei (b) dedusă din teorema 2 şi a enunţului pe care l-am notat aici cu teorema 3, utilizând modus ponens. II. Să ne uităm în continuare la felul în care caracterizează Gödel proprietăţile pozitive. În primul rând, dacă luăm în considerare mulţimea proprietăţilor pozitive, putem observa că aceasta are următoarele caracteristici: (a) e închisă faţă de implicaţie necesară (aceasta reiese din axioma 5), (b) îşi conţine toate submulţimile de proprietăţi pozitive ca elemente (aceasta reiese din axioma 1), (c) are aceleaşi elemente în toate lumile posibile (potrivit axiomei 3), (4) conţine ca elemente existenţa necesară (potrivit axiomei 4) şi identitatea (potrivit observaţiei de la la axioma 5) şi (5) dacă are ca element o proprietate, atunci nu va avea ca element negaţia acesteia (potrivit axiomei 2). În plus, pe baza observaţiei finale a lui Gödel, ştim că proprietăţile pozitive sunt în mod necesar instanţiate. Cu privire la proprietăţile pozitive, aşa cum sunt înţelese ele de către Gödel, au fost formulate mai multe probleme. În primul rând, putem fi îndreptăţiţi să ne întrebăm căte proprietăţi pozitive există. Sunt infinit numărabil de multe? Sunt infinit nenumărabil de multe? Şi cum pot fi însumate proprietăţile pozitive? 4 În al doilea rând, includerea existenţei necesare în rândul proprietăţilor pozitive ridică, la rândul său, o problemă. Este posibil să nu existe obiecte a căror existenţă să fie necesară. Cu alte cuvinte, ar fi posibil ca existenţa necesară sa nu fie instanţiată. Dar în aceste condiţii, cum ar mai putea fi existenţa

necesară o proprietate pozitivă, dat fiind că proprietăţile pozitive trebuie să fie, toate, instanţiate? 5 În al treilea rând, nu e deloc limpede ce relaţie au proprietăţile pozitive cu atribute tradiţionale ale divinităţii precum omnipotenţa, omniscienţa sau ubicuitatea. 6 Sunt toate acestea, datorită faptului că sunt proprietăţi pozitive, instanţiate? În al patrulea rând, e greu de acceptat că proprietăţile pozitive trebuie să fie interpretate în sensul unei evaluari morale. Atât mila, cât şi dreptatea, de pildă, sunt proprietăţi valorizate pozitiv, din punct de vedere moral. Dar între acestea există o anumită tensiune. Există situaţii în care e imposibil de conceput un judecător care este, în acelaşi timp, şi milos, dar şi drept. 7 În fine, există autori 8 care observă că există o asemănare pronunţată între caracterizarea mulţimii proprietăţilor pozitive şi caracterizarea mulţimii propoziţiilor adevărate. Pe baza acestei asemănări s-ar părea că distanţa dintre axiome şi concluzia potrivit căreia e posibil ca setul maximal consistent al proprietăţilor pozitive să fie instanţiat, e mult prea mică. Pe lângă aceste probleme, care nu sunt neapărat de natură să ducă la respingerea argumentului ontologic formulat de Gödel, aş dori să mai scot în evidenţă o altă problemă, care mi se pare deosebit de serioasă. Să notăm cu VR proprietatea de a fi în întregime de culoare verde şi de culoare roşie. Iar acum să observăm că, orice obiect am lua, despre acesta va fi adevărat în toate lumile posibile că nu deţine VR. Formal, vom exprima acest lucru astfel: ( x) ~VR(x) Dar atunci, afirmaţia că un anumit obiect nu deţine VR e implicată în mod necesar de orice altă afirmaţie despre obiectul respectiv, inclusiv de o afirmaţie prin care i se atribuie obiectului respectiv o proprietate pozitivă (fie aceasta Z). Adică: ( x) (Z(x) ~VR(x)) De aici, potrivit axiomei 5, reiese că ~VR este o proprietate pozitivă. Adică: P(~VR) Dar a nu fi în întregime verde şi roşu nu este o atribuire, ci o privaţiune, aşa că nu poate fi o proprietate pozitivă. Iar dacă se susţine că este vorba, totuşi, în acest caz, de o proprietate pozitivă, atunci ar trebui să înţelegem în ce sens sunt, în acest caz, proprietăţile pozitive atribuiri. Lăsând la o parte ideea de atribuire, putem observa următoarele. Fie V (adică a fi în întregime verde ) şi R ( a fi în întregime roşu ) sunt proprietăţi pozitive, fie nu sunt. Dar dacă sunt, atunci însumarea lor (adică VR) ar trebui să fie o proprietate pozitivă (potrivit axiomei 1). Am arătat însă

anterior că P(~VR). Iar P(VR) şi P(~VR) nu sunt consistente cu axioma 2, ceea ce înseamnă că am obţinut o contradicţie. Acelaşi rezultat poate fi obţinut utilizând proprietăţi matematice care nu pot fi definite una prin cealaltă, cum ar fi număr par şi număr prim strict mai mare decât 2. BIBLIOGRAFIE Kurt Gödel, Kurt Gödel - Collected Works - vol. III (edited by Solomon Feferman and alii.), New York, Oxford University Press, 1995 Jordan Howard Sobel, "Gödel's Ontological Proof" in On Being and Saying. Essays for Richard Cartwright, ed. Judith Jarvis Thomson, MIT Press, 1987. C. Anthony Anderson, "Some Emendations of Gödel's Ontological Proof", Faith and Philosophy, Vol. 7, No 3, pp. 291-303, July 1990. Graham Oppy, Ontological Arguments, The Stanford Encyclopedia of Philosophy (Winter 2003 Edition), Edward N. Zalta (ed.) (publicat pe internet la adresa: http://plato.stanford.edu/entries/ontological-arguments/) Christopher Small, Kurt Gödel's Ontological Argument (publicat pe internet la adresa: http://www.stats.uwaterloo.ca/~cgsmall/ontology.html) Ted Drange, Incompatible-Properties Arguments: A Survey, Philo, 1998 (2), pp. 49-60 (publicat pe internet la adresa: http://www.infidels.org/library/modern/theodore_drange/incompatible.html)

1 Gödel showed his *1970 [Ontological Proof] to Dana Scott, and discussed it with him, in February 1970. Gödel was very concerned about his health at that time, feared that his death was near, and evidently wished to insure that this proof would not perish with him. Later in 1970, however, he apparently told Oskar Morgenstern that though he was 'satisfied' with the proof, he hesitated to publish it, for fear it would be thought "that he actually believes in God, whereas he is only engaged in a logical investigation (that is, in showing that such a proof with classical assumptions [completeness, etc.], correspondingly axiomatized, is possible). (Robert Merrihew Adams în Kurt Gödel - Collected Works - vol. III (edited by Solomon Feferman and alii.), New York, Oxford University Press, 1995, p. 388) 2 Positive means positive in the moral aesthetic sense (independently of the accidental structure of the world). Only then are the axioms true. It may also mean pure attribution as opposed to privation or containing privation). This interpretation supports a simpler proof. (Kurt Gödel - Collected Works - vol. III (edited by Solomon Feferman and alii.), New York, Oxford University Press, 1995, p. 388) 3 Potrivit lui Gödel, aceasta este o demonstraţie de existenţă, nu de unicitate. 4 Vezi Ted Drange, Incompatible-Properties Arguments: A Survey, Philo, 1998 (2), pp. 49-60. 5 Vezi Graham Oppy, Ontological Arguments, The Stanford Encyclopedia of Philosophy (Winter 2003 Edition), Edward N. Zalta (ed.) 6 Vezi Jordan Howard Sobel ("Gödel's Ontological Proof" in On Being and Saying. Essays for Richard Cartwright, ed. Judith Jarvis Thomson, MIT Press, 1987). 7 Vezi Drange, ibid. 8 Vezi chiar introducerea lui Adams din Kurt Gödel - Collected Works - vol. III (edited by Solomon Feferman and alii.), New York, Oxford University Press, 1995, p. 388. Vezi, de asemenea, C. Anthony Anderson, "Some Emendations of Gödel's Ontological Proof", Faith and Philosophy, Vol. 7, No 3, pp. 291-303, July 1990.