{"id":9461,"date":"2012-08-14T11:18:50","date_gmt":"2012-08-14T11:18:50","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/08\/14\/there-are-objects\/"},"modified":"2012-08-14T11:18:50","modified_gmt":"2012-08-14T11:18:50","slug":"there-are-objects","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/08\/14\/there-are-objects\/","title":{"rendered":"&#8216;Something is Self-Identical&#8217; Cannot Translate &#8216;There are Objects&#8217;:  Another Argument Against the Thin Theory"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">At<em> Tractatus Logico-Philosophicus<\/em> 4.1271 we read: &quot;So one cannot say, for example, &#39;There are objects&#39;, as one might say, &#39;There are books&#39;.&quot;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">In endnote 9, p. 194, &#0160;of &quot;The Number of Things,&quot; Peter van Inwagen (<em>Phil. Issues<\/em> 12, 2002) writes:<\/span><\/p>\n<blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Wittgenstein says that one cannot say &quot;&#0160;&#39;There are objects&#39;, as one might say, &#39;There are books&#39;.&quot;&#0160; I have no idea what the words &#39;as one might say&#39; [<em>&#39;wie man etwa sagt&#39;<\/em>] could mean so I will ignore them.<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Is van Inwagen simply feigning incomprehension here?&#0160; How could he fail to understand what those words mean?&#0160; Wittgenstein&#39;s point is that <em>object<\/em> is a formal concept, unlike <em>book<\/em>.&#0160; One can say, meaningfully, that there are books.&#0160; One cannot say, meaningfully, that there are objects.&#0160; Whether Wittgenstein is right is a further question.&#0160; But what he is saying strikes me as clear enough, clear enough so that one&#0160;ought to &#0160;have <em>some idea<\/em> of what he is saying rather than <em>no idea<\/em>.&#0160; By the way, van Inwagen is here&#0160;engaging in a&#0160;ploy of too many analytic philosophers.&#0160; In a situation in which it is tolerably, but not totally, clear what is&#0160;being said, they say, &#39;I have no idea what you mean&#39; when, to avoid churlishness, they&#0160;ought to say, &#39;Would you please clarify exactly what you mean?&#39;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Be this as it may.&#0160; Philosophers are a strange, in-bred breed of cat, and they acquire some strange tics.&#0160; My present topic is not the tics of philosophers, nor formal concepts either.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">According to Wittgenstein, one cannot say (meaningfully) that there are objects.&#0160; Van Inwagen responds:<\/span><\/p>\n<blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Why can one not say that there are objects?&#0160; Why not say it this way: &#39;(Ex)(x = x)&#39;? (p. 180)<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Without endorsing Wittgenstein&#39;s claim, or trying to determine what exactly it means, my thesis is that van Inwagen&#39;s translation of &#39;There are objects&#39; as &#39;Something is self-identical&#39; is hopeless.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">I do not deny the logical equivalence of the two sentences.&#0160;&#0160; I do not claim that there are self-identical items that do not exist.&#0160; Everything exists.&#0160; My claim is that to exist is not to be self-identical.&#0160; They are not the very same &#39;property.&#39;&#0160;&#0160;&#0160; If they were, then van Inwagen&#39;s translation would be unexceptionable.&#0160; But they are not.&#0160; Here is a <em>reductio ad absurdum<\/em> argument to show that existence and self-identity are distinct, that existence cannot be reduced to self-identity.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">0. Existence and self-identity are the very same property. (Assumption for <em>reductio<\/em>)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">1. If existence and self-identity are the very same property, then nonexistence and self-diversity are the very same property, and conversely. (Self-evident logical equivalence.)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">2. Possibly, I do not exist.&#0160; (Self-evident premise: I am a contingent being.)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">3. Possibly, I am not self-identical. (From 1, 2)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">4. What is not self-identical is self-diverse.&#0160; (True by definition)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">5. Possibly, I am self-diverse. (From 3, 4)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">6. (5) is necessarily false.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">7. (0) is false. Q.E.D.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">The thin theory of existence is the theory that existence is <em>exhaustively<\/em> explicable in terms of the purely logical&#0160;concepts of standard first-order predicate logic with identity.&#0160; Identity and quantification are such concepts.&#0160; Now the only way within this logic to translate &#39;There are objects&#39; or &#39;Something exists&#39; is the way van Inwagen suggests.&#0160; But what I have just shown is that &#39;Something is self-identical&#39; does not say what &#39;Something exists&#39; says.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">If things exist, then of course they are self-identical.&#0160; What else would they be? Self-diverse?&#0160; But their existence is not their self-identity.&#0160; Their existence is their <em>being there<\/em>, their <em>not being nothing<\/em>, their&#0160; <em>reality<\/em> &#8212; however you want to put it.&#0160; If something is self-identical, it cannot be such unless it first exists.&#0160; It astonishes me that there are people, very intelligent people, who cannot see that.&#0160; What should we call this fallacy?&#0160; The essentialist fallacy?&#0160; The fallacy of thinking that being = what-being?&#0160; Or maybe it is not a fallacy of thinking, but a kind of blindness.&#0160; Some people are color-blind, some morally blind, some modally blind.&#0160; And others existence-blind.<\/span>&#0160;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>At Tractatus Logico-Philosophicus 4.1271 we read: &quot;So one cannot say, for example, &#39;There are objects&#39;, as one might say, &#39;There are books&#39;.&quot; In endnote 9, p. 194, &#0160;of &quot;The Number of Things,&quot; Peter van Inwagen (Phil. Issues 12, 2002) writes: Wittgenstein says that one cannot say &quot;&#0160;&#39;There are objects&#39;, as one might say, &#39;There are &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2012\/08\/14\/there-are-objects\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;&#8216;Something is Self-Identical&#8217; Cannot Translate &#8216;There are Objects&#8217;:  Another Argument Against the Thin Theory&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[142],"tags":[],"class_list":["post-9461","post","type-post","status-publish","format-standard","hentry","category-existence"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9461","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=9461"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9461\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=9461"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=9461"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=9461"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}