{"id":102,"date":"2018-12-28T16:02:19","date_gmt":"2018-12-28T16:02:19","guid":{"rendered":"http:\/\/jkhorner.com\/?page_id=102"},"modified":"2022-02-17T16:52:17","modified_gmt":"2022-02-17T16:52:17","slug":"philosophy","status":"publish","type":"page","link":"https:\/\/jkhorner.com\/index.php\/philosophy\/","title":{"rendered":"PHILOSOPHY"},"content":{"rendered":"<p>The comments accompanying Proposition (Prop.) 11 \u00a0(\u201cGod &#8230; necessarily exists\u201d) in Part I of Spinoza\u2019s The Ethics contain sketches of what appear to be at least three more or less distinct ontological arguments. The first of these is problematic:\u00a0\u00a0 in\u00a0<a href=\"\/PHILOSOPHY\/Rev2_combined_Spinoza.pdf\">A Computationally Assisted Reconstruction of an Ontological Argument in Spinoza&#8217;s The Ethics<\/a> I argue that\u00a0 the proposition &#8220;God exists&#8221; (GE), an implication of Prop. 11, cannot be derived from the definitions and axioms of Part I (the &#8220;DAPI&#8221;) of The Ethics; thus, Prop. 11 cannot be derived from the DAPI, either. argues that Prop. 11 is independent of the DAPI.\u00a0 I then augment the DAPI with some auxiliary assumptions I believe Spinoza would accept and that sustain an automated derivation of (GE).\u00a0 The results illustrate how an automated deduction system can be used to facilitate the analysis of the structure of arguments and yield what appears to be a new ontological argument, cast in the style of Spinoza.<\/p>\n<p>The paper whose title is underlined above was last updated 18 March 2019\/0737\u00a0 US Central Time.<\/p>\n<hr \/>\n<p>Does software engineering have any philosophical content? Click <a href=\"\/PHILOSOPHY\/Philosophical_Problems_in_Software_Engineering.pdf\">here <\/a>for a set of presentation slides on the topic.<\/p>\n<hr \/>\n<p>Click <a href=\"\/PHILOSOPHY\/JKH20211013_0742CT_Halting_prob_undecidable.pdf\">here<\/a> for an automated derivation of &#8220;The Halting Problem is Undecidable&#8221;.<\/p>\n<hr \/>\n<p>Click\u00a0<a href=\"\/PHILOSOPHY\/Appendices_for_ICAI2022.docx\">here<\/a> for the Appendices of &#8220;An Automated Derivation of the Halting Problem&#8221;.<\/p>\n<p>_____________________________________________________________________<\/p>\n<p>Click <a href=\"\/PHILOSOPHY\/Carroll_Ex60_Appendices.pdf\">here<\/a> for the Appendices of &#8220;Appendices to Carroll Exercise 60&#8221;.<\/p>\n<p>This page was last updated on 13 October 2021\/0754 US Central Time.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The comments accompanying Proposition (Prop.) 11 \u00a0(\u201cGod &#8230; necessarily exists\u201d) in Part I of Spinoza\u2019s The Ethics contain sketches of what appear to be at least three more or less distinct ontological arguments. The first of these is problematic:\u00a0\u00a0 in\u00a0A Computationally Assisted Reconstruction of an Ontological Argument in Spinoza&#8217;s The Ethics I argue that\u00a0 the &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/jkhorner.com\/index.php\/philosophy\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;PHILOSOPHY&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"om_disable_all_campaigns":false,"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-102","page","type-page","status-publish","hentry"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/pages\/102","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/comments?post=102"}],"version-history":[{"count":18,"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/pages\/102\/revisions"}],"predecessor-version":[{"id":420,"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/pages\/102\/revisions\/420"}],"wp:attachment":[{"href":"https:\/\/jkhorner.com\/index.php\/wp-json\/wp\/v2\/media?parent=102"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}