Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective
Randolpho Rubenso Goldmano pateikta kritika Kurto Gödelio ontologiniam įrodymui pabrėžė ligi tol praktiškai nepastebėtą šio įrodymo silpnybę. Anot Goldmano, tam, kad samprotavimas būtų iš tiesų sėkmingas, reikalinga sukurti jam taikomąją semantiką. Kadangi Dievą suprantame priskirdami jam konkrečia...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2024-10-01
|
| Series: | Problemos |
| Subjects: | |
| Online Access: | https://www.journals.vu.lt/problemos/article/view/37325 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832593061687853056 |
|---|---|
| author | Monika Morkūnaitė Živilė Pabijutaitė |
| author_facet | Monika Morkūnaitė Živilė Pabijutaitė |
| author_sort | Monika Morkūnaitė |
| collection | DOAJ |
| description |
Randolpho Rubenso Goldmano pateikta kritika Kurto Gödelio ontologiniam įrodymui pabrėžė ligi tol praktiškai nepastebėtą šio įrodymo silpnybę. Anot Goldmano, tam, kad samprotavimas būtų iš tiesų sėkmingas, reikalinga sukurti jam taikomąją semantiką. Kadangi Dievą suprantame priskirdami jam konkrečias savybes, viena iš taikomosios semantikos užduočių kaip tik ir yra formalios įrodymo pateikties susiejimas su šiais teologiškai reikšmingais turiniais. Vis dėlto, Goldmano teigimu, mėginimai tai padaryti kelia rimtų iššūkių: bandant išreikšti įrodymą natūralia bei teologiškai tinkama kalba daugybė sakinių joje tampa beprasmiai, todėl pažeidžiamas dvireikšmiškumo principas. Šiame straipsnyje analizuojami skirtingi būdai spręsti šį sunkumą, kaip galutinį siūlymą pateikiant sprendimą, kurio orientyras yra Bertrand’o Russello apibrėžiamųjų deskripcijų teorija: sakinius, figūruojančius šioje natūralios kalbos interpretacijoje, siūloma traktuoti kaip konjunkcijas – tai leidžia atsikratyti beprasmių sakinių bei išsaugoti dvireikšmiškumo principą.
|
| format | Article |
| id | doaj-art-44854dfd490147158d14f350561253b5 |
| institution | Kabale University |
| issn | 1392-1126 2424-6158 |
| language | English |
| publishDate | 2024-10-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Problemos |
| spelling | doaj-art-44854dfd490147158d14f350561253b52025-01-20T18:24:16ZengVilnius University PressProblemos1392-11262424-61582024-10-0110610.15388/Problemos.2024.106.14Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian PerspectiveMonika Morkūnaitė0Živilė Pabijutaitė1Vilnius University, LithuaniaVilnius University, Lithuania Randolpho Rubenso Goldmano pateikta kritika Kurto Gödelio ontologiniam įrodymui pabrėžė ligi tol praktiškai nepastebėtą šio įrodymo silpnybę. Anot Goldmano, tam, kad samprotavimas būtų iš tiesų sėkmingas, reikalinga sukurti jam taikomąją semantiką. Kadangi Dievą suprantame priskirdami jam konkrečias savybes, viena iš taikomosios semantikos užduočių kaip tik ir yra formalios įrodymo pateikties susiejimas su šiais teologiškai reikšmingais turiniais. Vis dėlto, Goldmano teigimu, mėginimai tai padaryti kelia rimtų iššūkių: bandant išreikšti įrodymą natūralia bei teologiškai tinkama kalba daugybė sakinių joje tampa beprasmiai, todėl pažeidžiamas dvireikšmiškumo principas. Šiame straipsnyje analizuojami skirtingi būdai spręsti šį sunkumą, kaip galutinį siūlymą pateikiant sprendimą, kurio orientyras yra Bertrand’o Russello apibrėžiamųjų deskripcijų teorija: sakinius, figūruojančius šioje natūralios kalbos interpretacijoje, siūloma traktuoti kaip konjunkcijas – tai leidžia atsikratyti beprasmių sakinių bei išsaugoti dvireikšmiškumo principą. https://www.journals.vu.lt/problemos/article/view/37325Kurt Gödelontological proofapplied semanticsnatural language interpretationbivalence |
| spellingShingle | Monika Morkūnaitė Živilė Pabijutaitė Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective Problemos Kurt Gödel ontological proof applied semantics natural language interpretation bivalence |
| title | Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective |
| title_full | Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective |
| title_fullStr | Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective |
| title_full_unstemmed | Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective |
| title_short | Towards an Applied Semantics for K. Gödel’s Ontological Proof: A Russellian Perspective |
| title_sort | towards an applied semantics for k godel s ontological proof a russellian perspective |
| topic | Kurt Gödel ontological proof applied semantics natural language interpretation bivalence |
| url | https://www.journals.vu.lt/problemos/article/view/37325 |
| work_keys_str_mv | AT monikamorkunaite towardsanappliedsemanticsforkgodelsontologicalproofarussellianperspective AT zivilepabijutaite towardsanappliedsemanticsforkgodelsontologicalproofarussellianperspective |