Towards an Applied Semantics for K. Gödel's Ontological Proof: A Russellian Perspective.
Amidst the array of criticisms levied against Kurt Gödel's ontological proof, the critique by Randolph Rubens Goldman stands out for its unique emphasis on a hitherto overlooked yet pivotal weakness within the proof - its lack of an adequate applied semantics. Goldman's perspective underscores a sig...
| Publicado en: | Problems / Problemos Vol. 106; pp. 185 - 201 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Vilnius University
2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=181401821&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 181401821 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 13921126 3D4C jtl: Problems / Problemos issn: 13921126 maglogo: N pubinfo: dt: 2024 vid: 106 pid: 16037 pub: Vilnius University artinfo: ui: 181401821 10.15388/Problemos.2024.106.14 ppf: 185 ppct: 16 formats: fmt: @attributes: type: P size: 3MB tig: atl: Towards an Applied Semantics for K. Gödel's Ontological Proof: A Russellian Perspective. aug: au: Morkūnaitė, Monika Pabijutaitė, Živilė affil: Institute of Philosophy Vilnius University su: Natural languages Semantics Axioms Definitions Criticism sug: subj: Natural languages Semantics Axioms Definitions Criticism keyword: applied semantics bivalence Kurt Gödel natural language interpretation ontological proof dvireikšmiškumas Kurtas Gödelis natūralios kalbos interpretacija ontologinis įrodymas taikomoji semantika ab: Amidst the array of criticisms levied against Kurt Gödel's ontological proof, the critique by Randolph Rubens Goldman stands out for its unique emphasis on a hitherto overlooked yet pivotal weakness within the proof - its lack of an adequate applied semantics. Goldman's perspective underscores a significant need: the connection of axioms, definitions, and theorems in the proof with the intended meanings of properties traditionally ascribed to God. However, as Goldman has shown, this attempt poses formidable challenges. The endeavour to establish such a connection renders numerous sentences under the natural language interpretation of the proof meaningless, thus undermining the principle of bivalence. In this article, we analyse different methods to confront this problem. Our final solution is inspired by Bertrand Russell's theory of definite descriptions: namely, we suggest construing sentences under the natural language interpretation of Gödel's proof as conjunctions of formulas. In this way, we can eliminate meaningless sentences and uphold the once unsettled principle of bivalence. 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ą. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Problems / Problemos is the property of Vilnius University and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Problems / Problemos holder: Vilnius University dt: @attributes: year: 2024 holdings: @attributes: islocal: N |
|---|