Operatorul de pozitivitate al lui Gödel
Coborârea de pe Cruce - Rembrandt. Sursa: Wikipedia Commons.
A exista, a fi fericit, a fi trist, a fi înțelept, a fi frumos, a avea o extensie în timp și spațiu, a fi iubitor, a fi plin de ură.
Pentru un logician, toate acestea sunt proprietăți ale indivizilor, sau predicate pentru a folosi termenul tehnic. În logica predicatelor de ordinul întâi, toate au aproximativ același statut: un predicat este un operator unar ce oferă o atribuire adevărat-funcțională indivizilor. Dar, ca ființe umane, cunoaștem faptul că logica rece poate categorisi atât cel mai mare bine cât și cel mai mare rău, cele mai pătrunzătoare raționamente sau cele mai ridicole prostii.
A spune, cum a făcut-o Anselm, că Dumnezeu este mare, înseamnă a distinge între proprietăți. Înțelepciunea este mai bună decât prostia, și e mai bine să existe decât să nu existe. Personal, consider că este mai bine să iubești decât să urăști. Mai bine să fii pașnic decât războinic. Fiecare trebuie să aleagă. Majoritatea dintre noi suntem suficient de egocentrici pentru a ne considera deasupra râmelor. De ce considerăm asta nu este foarte evident, și este dificil de obținut perspectiva râmei asupra chestiunii în cauză. Dar, probabil, noi oamenii credem că suntem superiori râmelor deoarece deținem o serie de proprietăți pozitive care lipsesc râmelor. Unii ar putea argumenta că abilitatea noastră de a contempla originile universului în Big Bang, cu eoni în urmă, reprezintă o astfel de proprietate pozitivă. Râma ar putea foarte bine să contracareze acest argument prin sublinierea faptului că este un custode mult mai bun al solului acestei planete decât oamenii.
Pentru a formaliza ideea unei proprietăți pozitive, Gödel a introdus un operator de pozitivitate. La fel cum un predicat sau o proprietate furnizează o atribuire adevărat-funcțională indivizilor (adică, Rx, unde "x=Moș Crăciun", iar "R=poartă un costum roșu"), tot așa și operatorul de pozitivitate Pos furnizează o atribuire adevărat-funcțională proprietăților înseși. Spunem că Pos(F) este adevărată, dacă F este o proprietate pozitivă.
Gödel a sugerat că, despre o proprietate se poate spune că este pozitivă într-un sens moral-estetic sau într-un sens de atribuire absolută. În vreme ce mulți dintre noi am avea păreri diferite cu privire la detalii, o interpretare moral-estetică a Pos(F) este neechivocă într-un mod rezonabil. Interpretarea lui Pos(F) ca semnificând "atribuire absolută" este însă departe de a fi evidentă. Gödel a interpretat negarea "atribuirii absolute" drept "inexistență", adică, o lipsă a anumitor elemente ale existenței. De exemplu, dacă F este proprietatea a fi prezent lângă turnul Eiffel în ziua de 17 mai la ora 9:35 am, atunci am putea fi dispuși să acceptăm faptul că Pos(F) este adevărată. Aceasta nu înseamnă că a fi altundeva în același timp nu este, de asemenea, o formă de atribuire pură. Dacă a fi prezent într-un amplasament, înseamnă a fi absent dintr-un alt amplasament, atunci participarea la un anumit aspect al existenței nu poate fi considerată a fi absolută. Prin urmare, se poate afirma despre Dumnezeu că ar fi prezent lângă turnul Eiffel, în sensul atribuirii absolute. Există multe alte tipuri de atribuire absolută? Probabil, atât sublime cât și ridicole. S-ar putea susține că F="știe capitalele tuturor statelor SUA" este o formă de atribuire absolută. Cu siguranță, proprietatea ~F pare să indice un tip de inexistență educațională deținută de mulți oameni, inclusiv de mine. M-aș aștepta ca Dumnezeu să obțină note maxime la un concurs pe această temă. Atribuirea absolută ar putea, de asemenea, să necesite ca o proprietate să aibă "deplinătatea existenței", cu toate că această idee în sine îmi este neclară.