Matches in SemOpenAlex for { <https://semopenalex.org/work/W2970882839> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2970882839 abstract "Abstract The comments accompanying Proposition (Prop.) 11 (“God ... necessarily exists”) in Part I of Spinoza’s The Ethics contain sketches of what appear to be at least three more or less distinct ontological arguments. The first of these is problematic even on its own terms. More is true: even the proposition “God exists” (GE), a consequence of Prop. 11, cannot be derived from the definitions and axioms of Part I (the “DAPI”) of The Ethics ; thus, Prop. 11 cannot be derived from the DAPI, either. To prove these claims, I use an automated deduction system (ADS) to show that Prop. 11 is independent of the DAPI. I then augment the DAPI with some auxiliary assumptions I believe Spinoza would accept and that sustain an automated derivation of (GE). The results illustrate how an ADS can facilitate the analysis of arguments and yield an apparently novel argument cast in the style of Spinoza." @default.
- W2970882839 created "2019-09-05" @default.
- W2970882839 creator A5019635410 @default.
- W2970882839 date "2019-08-21" @default.
- W2970882839 modified "2023-09-26" @default.
- W2970882839 title "A Computationally Assisted Reconstruction of an Ontological Argument in Spinoza’s The Ethics" @default.
- W2970882839 cites W1483568252 @default.
- W2970882839 cites W1552843312 @default.
- W2970882839 cites W1600661924 @default.
- W2970882839 cites W1984820433 @default.
- W2970882839 cites W2032030317 @default.
- W2970882839 cites W2476153809 @default.
- W2970882839 cites W2767121227 @default.
- W2970882839 cites W3106312330 @default.
- W2970882839 cites W34250379 @default.
- W2970882839 doi "https://doi.org/10.1515/opphil-2019-0012" @default.
- W2970882839 hasPublicationYear "2019" @default.
- W2970882839 type Work @default.
- W2970882839 sameAs 2970882839 @default.
- W2970882839 citedByCount "0" @default.
- W2970882839 crossrefType "journal-article" @default.
- W2970882839 hasAuthorship W2970882839A5019635410 @default.
- W2970882839 hasBestOaLocation W29708828391 @default.
- W2970882839 hasConcept C111472728 @default.
- W2970882839 hasConcept C124952713 @default.
- W2970882839 hasConcept C138885662 @default.
- W2970882839 hasConcept C142362112 @default.
- W2970882839 hasConcept C167729594 @default.
- W2970882839 hasConcept C185592680 @default.
- W2970882839 hasConcept C190283241 @default.
- W2970882839 hasConcept C2524010 @default.
- W2970882839 hasConcept C2776445246 @default.
- W2970882839 hasConcept C2777152325 @default.
- W2970882839 hasConcept C2777527632 @default.
- W2970882839 hasConcept C33923547 @default.
- W2970882839 hasConcept C55493867 @default.
- W2970882839 hasConcept C98184364 @default.
- W2970882839 hasConceptScore W2970882839C111472728 @default.
- W2970882839 hasConceptScore W2970882839C124952713 @default.
- W2970882839 hasConceptScore W2970882839C138885662 @default.
- W2970882839 hasConceptScore W2970882839C142362112 @default.
- W2970882839 hasConceptScore W2970882839C167729594 @default.
- W2970882839 hasConceptScore W2970882839C185592680 @default.
- W2970882839 hasConceptScore W2970882839C190283241 @default.
- W2970882839 hasConceptScore W2970882839C2524010 @default.
- W2970882839 hasConceptScore W2970882839C2776445246 @default.
- W2970882839 hasConceptScore W2970882839C2777152325 @default.
- W2970882839 hasConceptScore W2970882839C2777527632 @default.
- W2970882839 hasConceptScore W2970882839C33923547 @default.
- W2970882839 hasConceptScore W2970882839C55493867 @default.
- W2970882839 hasConceptScore W2970882839C98184364 @default.
- W2970882839 hasLocation W29708828391 @default.
- W2970882839 hasLocation W29708828392 @default.
- W2970882839 hasOpenAccess W2970882839 @default.
- W2970882839 hasPrimaryLocation W29708828391 @default.
- W2970882839 hasRelatedWork W1987346758 @default.
- W2970882839 hasRelatedWork W2041459767 @default.
- W2970882839 hasRelatedWork W2087333915 @default.
- W2970882839 hasRelatedWork W2089801293 @default.
- W2970882839 hasRelatedWork W2141014878 @default.
- W2970882839 hasRelatedWork W2394199736 @default.
- W2970882839 hasRelatedWork W2501776391 @default.
- W2970882839 hasRelatedWork W2970882839 @default.
- W2970882839 hasRelatedWork W3044798248 @default.
- W2970882839 hasRelatedWork W65407955 @default.
- W2970882839 isParatext "false" @default.
- W2970882839 isRetracted "false" @default.
- W2970882839 magId "2970882839" @default.
- W2970882839 workType "article" @default.