Forrásvadász

Az alábbi Wikipédia-részlet nincs alátámasztva egy megbízható forrással. Tudsz találni egyet?

Kattints a(z) Megvan! gombra, hogy eljuss a Wikipédiára és kijavíthasd a részletet vagy a(z) Következő! gombra egy másikért. További információkért lásd a(z) Wikipédia:Jegyzetelés lapot. Sok szerencsét!

A(z) Gödel ontológiai istenérve oldalon:

"

Az ontológiai istenérvek klasszikus értelmezése alapján a "lehetséges" fogalmát az "elgondolható" fogalmával azonosítják, továbbá a létezés fogalmát magával az objektív létezéssel. Ilyen módon értelmezve Gödel fenti tétele úgy is olvasható, hogy ha isten elgondolható, akkor szükségszerűen létezik a világunkban. Ehhez a gondolatmenethez nagyon hasonló Surányi László Gödel teljességi tételének filozófiai interpretációja[forrás?]. Surányi Gödel teljességi tételének azt a következményét, miszerint minden ellentmondásmentes rendszer modellezhető, úgy értelmezi, hogy az ellentmondásos rendszer jelenti az elgondolást és a modell pedig a való világban történő materializálódást. Ez az érvelés nem is kísérel meg logikai bizonyítást, hanem metaforikus jellegű.