Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320063670> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4320063670 endingPage "1018" @default.
- W4320063670 startingPage "1000" @default.
- W4320063670 abstract "The exploration of metaphysical arguments in the symbolic AI environment provides clarification and raises unexpected questions about notions in philosophy of religion and theology. Recent attempts to apply automatic theorem prover technology to Anselm's ontological argument have led to a simplification of the argument. This computationally discovered simplification has given rise to logical observations. The article assesses one of these observations: the application of the diagonal method (in Cantor's version) to Anselm's argument. The evaluation of the applications of theorem provers to metaphysical and theological arguments contributes to the following topics in philosophy of religion: the limits of natural theology, the relationship between religion and STEM, and theology's scientificity." @default.
- W4320063670 created "2023-02-12" @default.
- W4320063670 creator A5018869826 @default.
- W4320063670 date "2022-10-06" @default.
- W4320063670 modified "2023-10-16" @default.
- W4320063670 title "ARTIFICIAL INTELLIGENCE AND IN GOD'S EXISTENCE: CONNECTING PHILOSOPHY OF RELIGION AND COMPUTATION" @default.
- W4320063670 cites W1986279051 @default.
- W4320063670 cites W2011003576 @default.
- W4320063670 cites W2012902058 @default.
- W4320063670 cites W2032030317 @default.
- W4320063670 cites W2067800214 @default.
- W4320063670 cites W2071400737 @default.
- W4320063670 cites W2113306826 @default.
- W4320063670 cites W2532879330 @default.
- W4320063670 cites W2662138259 @default.
- W4320063670 cites W2983604591 @default.
- W4320063670 cites W3080640808 @default.
- W4320063670 cites W3103756942 @default.
- W4320063670 cites W3195397259 @default.
- W4320063670 cites W3197723105 @default.
- W4320063670 cites W4200043336 @default.
- W4320063670 cites W4206270480 @default.
- W4320063670 cites W4210841809 @default.
- W4320063670 cites W4252907082 @default.
- W4320063670 cites W4256393611 @default.
- W4320063670 cites W4286432537 @default.
- W4320063670 cites W567534627 @default.
- W4320063670 doi "https://doi.org/10.1111/zygo.12829" @default.
- W4320063670 hasPublicationYear "2022" @default.
- W4320063670 type Work @default.
- W4320063670 citedByCount "0" @default.
- W4320063670 crossrefType "journal-article" @default.
- W4320063670 hasAuthorship W4320063670A5018869826 @default.
- W4320063670 hasConcept C110099512 @default.
- W4320063670 hasConcept C111472728 @default.
- W4320063670 hasConcept C138885662 @default.
- W4320063670 hasConcept C182744844 @default.
- W4320063670 hasConcept C185592680 @default.
- W4320063670 hasConcept C200610012 @default.
- W4320063670 hasConcept C202444582 @default.
- W4320063670 hasConcept C2776695676 @default.
- W4320063670 hasConcept C2776971825 @default.
- W4320063670 hasConcept C33923547 @default.
- W4320063670 hasConcept C36605576 @default.
- W4320063670 hasConcept C55493867 @default.
- W4320063670 hasConcept C70654966 @default.
- W4320063670 hasConcept C81698637 @default.
- W4320063670 hasConcept C98184364 @default.
- W4320063670 hasConceptScore W4320063670C110099512 @default.
- W4320063670 hasConceptScore W4320063670C111472728 @default.
- W4320063670 hasConceptScore W4320063670C138885662 @default.
- W4320063670 hasConceptScore W4320063670C182744844 @default.
- W4320063670 hasConceptScore W4320063670C185592680 @default.
- W4320063670 hasConceptScore W4320063670C200610012 @default.
- W4320063670 hasConceptScore W4320063670C202444582 @default.
- W4320063670 hasConceptScore W4320063670C2776695676 @default.
- W4320063670 hasConceptScore W4320063670C2776971825 @default.
- W4320063670 hasConceptScore W4320063670C33923547 @default.
- W4320063670 hasConceptScore W4320063670C36605576 @default.
- W4320063670 hasConceptScore W4320063670C55493867 @default.
- W4320063670 hasConceptScore W4320063670C70654966 @default.
- W4320063670 hasConceptScore W4320063670C81698637 @default.
- W4320063670 hasConceptScore W4320063670C98184364 @default.
- W4320063670 hasIssue "4" @default.
- W4320063670 hasLocation W43200636701 @default.
- W4320063670 hasOpenAccess W4320063670 @default.
- W4320063670 hasPrimaryLocation W43200636701 @default.
- W4320063670 hasRelatedWork W1574150182 @default.
- W4320063670 hasRelatedWork W1766364848 @default.
- W4320063670 hasRelatedWork W2108611755 @default.
- W4320063670 hasRelatedWork W2129688752 @default.
- W4320063670 hasRelatedWork W2135059368 @default.
- W4320063670 hasRelatedWork W2394199736 @default.
- W4320063670 hasRelatedWork W2594417113 @default.
- W4320063670 hasRelatedWork W3094245317 @default.
- W4320063670 hasRelatedWork W4238045330 @default.
- W4320063670 hasRelatedWork W4280543207 @default.
- W4320063670 hasVolume "57" @default.
- W4320063670 isParatext "false" @default.
- W4320063670 isRetracted "false" @default.
- W4320063670 workType "article" @default.