{"id":12414,"date":"2009-09-07T18:36:19","date_gmt":"2009-09-07T18:36:19","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2009\/09\/07\/can-existence-be-analyzed-in-terms-of-power-commentary-on-sophist-247e\/"},"modified":"2009-09-07T18:36:19","modified_gmt":"2009-09-07T18:36:19","slug":"can-existence-be-analyzed-in-terms-of-power-commentary-on-sophist-247e","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2009\/09\/07\/can-existence-be-analyzed-in-terms-of-power-commentary-on-sophist-247e\/","title":{"rendered":"Can Existence Be Analyzed in Terms of Power?  Commentary on <i>Sophist<\/i> 247e"},"content":{"rendered":"<p><font face=\"Georgia\">At <em>Sophist<\/em> 247e, Plato puts the following into the mouth of the Eleatic Stranger:<\/font><\/p>\n<blockquote dir=\"ltr\">\n<p><font face=\"Georgia\">I suggest that&#0160;anything has real being that is so constituted as to possess any sort of power either to affect anything else or to be affected, in however small a degree, by the most insignificant agent, though it be only once.&#0160; I am proposing&#0160; as a mark to distinguish real things that they are nothing but power. (Cornford tr.)<\/font><\/p>\n<\/blockquote>\n<p dir=\"ltr\"><font face=\"Georgia\">The gist of the passage is that what makes a thing real or existent is its (active) power to affect other things or its (passive) power to be affected by them.&#0160; In sum,<\/font><\/p>\n<p dir=\"ltr\"><strong><font face=\"Georgia\">D. For any x, x exists =<sub>df<\/sub> x is causally active or passive.<\/font><\/strong><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\">Thus everything&#0160;causally active\/passive exists, and only the causally active\/passive exists.&#0160; The definition rules out of existence all &#39;causally inert&#39; items such as propositions as Frege construes them, namely, as the senses of context-free indicative sentences. And of course it rules out sets of Fregean propositions.&#0160; But&#0160;what about the mathematical (as opposed to commonsense) set of the books on my desks?&#0160; Each of the books is existent or real by (D) and so is the object resulting from the bundling of the books together; but the set of these books is arguably abstract and thus causally inert.&#0160; So if (D) is true,&#0160; we cannot admit mathematical sets into our ontology.&#0160; For such items do not enter into causal relations.&#0160; Fregean propositions and mathematical sets are therefore putative counterexamples to (D).&#0160; If these counterexamples are genuine then (D) fails extensionally: the extension of the existent is wider than the extension of the causally active\/passive.<\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\">But what interests me at the moment is not the extensional correctness of (D) but&#0160; a deeper question.&#0160; Even if we assume that (D) is extensionally correct, i.e., that all and only&#0160; existents are causally active\/passive, does (D) tell us what it is for an item to exist?&#0160; When we say of a thing that it exists, what are we saying about it?&#0160; That it is causally active\/passive?&#0160; My answer is in the negative &#8212; even if we assume that all and only existents are causally active\/passive.<\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\">My reason is quite simple.&#0160; For an item to be capable of acting or being acted upon it must &#39;be there&#39; or exist!&#0160; &#39;Before&#39; it can be a doer or a done-to it must exist. (The &#39;before&#39; is to be taken logically not temporally.) The nonexistent cannot act or be acted upon.&#0160; There is no danger that winged horses will collide with airplanes.&#0160; The reason is not that winged horses are abstract or causally inert objects; the reason is that they do not exist.&#0160; Winged horses, if there were any, would belong to the category of the causally active\/passive.&#0160; But they don&#39;t exist &#8212; which is the reason why they cannot act or be acted upon.&#0160; They are not abstract items but nonexistent concrete items.&#0160; Existence, therefore, is a necessary condition of an item&#39;s being a causal agent or patient.&#0160; It follows that existence cannot be explicated in terms of power as per the Eleatic Stranger&#39;s suggestion.&#0160; Existence is too fundamental to be explicated in terms of power &#8212; or anything else.<\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\">If you are having trouble seeing the point consider the winged horse Pegasus and his singleton {Pegasus}.&#0160; Both of these items are nonexistent.&#0160; One is concrete (causally active\/passive) while the other is abstract.&#0160; But neither can enter into causal relations.&#0160;&#0160;To say that Pegasus is concrete is to say that Pegasus, were he to exist, would belong among the causally active\/passive.&#0160; What prevents him from being such is his nonexistence.&#0160;&#0160;His existence, therefore,&#0160;cannot be explicated in terms of causal activity\/passivity.<\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\">There is a tendency to conflate two different questions about existence.&#0160; One question about existence concerns <em>what exists<\/em>.&#0160; Answers to this question can be supplied in the form of definitions like (D) above.&#0160; But there is a&#0160; deeper question about existence, namely, the question as&#0160; what it is for an existing thing to exist.&#0160; What I have just argued is that this second question cannot be answered with any definition like (D).&#0160; For even if you find a definition that is extensionally correct and immune to counterexamples, you will at the very most&#0160;have specified the necessary and sufficient conditions for a thing&#39;s&#0160; being among existing things.&#0160;&#0160; You will have not thereby have put your finger on what it is for an existing item to exist.&#0160; <\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\">Suppose you say that, <strong>for any x,&#0160;x exists &#0160;=<sub>df<\/sub> x has properties.<\/strong>&#0160; This proposal has an excellent chance of being extensionally correct: necessarily, everything that exists has properties, and everything that has properties exists.&#0160; But the proposal does not get at the existence of an existing thing precisely because it presupposes the existence of existing things.&#0160; This is because all such definitions are really circular inasmuch as they have the form:<\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\"><strong>For any x, x exists =<sub>df<\/sub> x is ____ and x exists.<\/strong><\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\">Existence itself eludes definitional grasp.&#0160; Even if the existent can be defined, the Existence of the existent cannot be defined.&#0160; For more on this fascinating topic, see my <em>A Paradigm Theory of Existence<\/em> (Kluwer 2002), pp. 2-8.&#0160; <\/font><\/p>\n<p dir=\"ltr\"><font face=\"Georgia\"><\/font>&#0160;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>At Sophist 247e, Plato puts the following into the mouth of the Eleatic Stranger: I suggest that&#0160;anything has real being that is so constituted as to possess any sort of power either to affect anything else or to be affected, in however small a degree, by the most insignificant agent, though it be only once.&#0160; &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2009\/09\/07\/can-existence-be-analyzed-in-terms-of-power-commentary-on-sophist-247e\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Can Existence Be Analyzed in Terms of Power?  Commentary on <i>Sophist<\/i> 247e&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[142,24],"tags":[],"class_list":["post-12414","post","type-post","status-publish","format-standard","hentry","category-existence","category-plato"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/12414","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/comments?post=12414"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/12414\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=12414"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=12414"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=12414"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}