{"id":9565,"date":"2012-07-14T13:46:34","date_gmt":"2012-07-14T13:46:34","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/07\/14\/van-inwagen-on-exists-as-a-polyadic-predicate\/"},"modified":"2012-07-14T13:46:34","modified_gmt":"2012-07-14T13:46:34","slug":"van-inwagen-on-exists-as-a-polyadic-predicate","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/07\/14\/van-inwagen-on-exists-as-a-polyadic-predicate\/","title":{"rendered":"Van Inwagen on &#8216;Exists&#8217; as a Polyadic Predicate"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">This post continues my examination of Peter van Inwagen&#39;s &quot;Being, Existence, and Ontological Commitment.&quot;&#0160; The first post in this series is <a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2012\/07\/van-inwagen-on-the-univocity-of-exists.html\" target=\"_self\">here<\/a>.&#0160; There you will find the bibliographical details.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">We saw that van Inwagen gives something like the following argument for the univocity of &#39;exists&#39;:<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">1. Number-words are univocal<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">2*. &#39;Exist(s)&#39; is a number-word<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Therefore<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">3*. &#39;Exist(s)&#39; is univocal.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">The second premise is pure Frege.&#0160; The question arises: is&#0160;van Inwagen committed to the Fregean doctrine that &#39;exists(s)&#39; is a second-level predicate?&#0160; He says he isn&#39;t. (484)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">How should we understand a general existential such as &#39;Horses exist&#39;?&#0160; Frege famously maintained that &#39;exist(s)&#39; is a second-level predicate: it is never a predicate of objects, but always only &#0160;a predicate of concepts.&#0160; What the sample sentence says is that the concept <em>horse<\/em> has instances.&#0160; Despite appearances, the sentence is not about horses, but about a non-horse, the concept <em>horse<\/em>.&#0160; The concept <em>horse<\/em> is not a horse!&#0160; (Frege also famously and perplexingly maintains that the concept <em>horse<\/em> is not a concept, but let&#39;s leave that for another occasion.)&#0160; And what&#0160;our general existential says about&#0160;the concept <em>horse<\/em> is not that it exists (as we ordinarily understand &#39;exists&#39;) but that it is instantiated.&#0160; Van Inwagen, though endorsing Frege&#39;s key notion that (as PvI puts it) &quot;existence is closely allied to number&quot; (482) does not follow Frege is in holding that &#39;exists&#39; is a second-level predicate.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Van Inwagen thus appears to be staking out a middle position between the following extremes:<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">A. &#39;Horses exist&#39; predicates existence of individual horses.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">B. &#39;Horses exist&#39; predicates instantiation of the <em>concept<\/em> horse.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Van Inwagen&#39;s view is that &#39;Horses exist&#39; says that horses, taken plurally, number more than zero.&#0160; So &#39;Horses exist,&#39; <em>contra<\/em> Frege, is about horses, but not about individually specified horses such as Secretariat and Mr Ed. &#39;Horses exist&#39; is not&#0160;about the concept <em>horse<\/em> or any&#0160;other abstract object such as a&#0160;property or a set: it is about concrete horses, but taken plurally.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">I am trying to understand this, but I find it obscure.&#0160; &#0160;One thing I <em>do<\/em> understand is that there are predicates that hold plurally (collectively) but not distributively, but are not, for all that, second-level.&#0160; Van Inwagen gives the example:<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">1. Horses have an interesting evolutionary history.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Obviously, the predicate in (1) is not true of each individual horse.&#0160; No individual horse evolves in the sense pertinent to evolutionary theory.&#0160; But&#0160;the predicate &#0160;is also not true of the concept <em>horse<\/em> or the set of horses or the property of being a horse or any other abstract object.&#0160; No concept, set, or property evolves in <em>any<\/em> sense.&#0160; So what is the logical subject of (1)?&#0160; Horses in the plural, or horses taken collectively.&#0160; Or suppose the cops have a building surrounded.&#0160; No individual cop has the building surrounded,&#0160;and of course no abstract object has the building surrounded.&#0160; <em>Cops<\/em> have the building surrounded.&#0160; Suppose Manny is one of the cops.&#0160; Then the following argument would commit the fallacy of division: (a) The cops have the building surrounded; (b) Manny is one of the cops; ergo (c) Manny has the building surrounded.&#0160; What is true of cops in the plural is not true of any cop in the singular.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">If I have understood PvI, he is saying that &#39;exists&#39; functions like the predicate in (1), and like the predicate in &#39;The cops have the building surrounded.&#39;&#0160; &#0160;But this strikes me as problematic.&#0160; Consider these two arguments:<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Horses have evolved<\/span><br \/><span style=\"font-family: georgia,palatino;\">Secretariat is a horse<\/span><br \/><span style=\"font-family: georgia,palatino;\">ergo<\/span><br \/><span style=\"font-family: georgia,palatino;\">Secretariat has evolved.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Horses exist<\/span><br \/><span style=\"font-family: georgia,palatino;\">Secretariat is a horse<\/span><br \/><span style=\"font-family: georgia,palatino;\">ergo<\/span><br \/><span style=\"font-family: georgia,palatino;\">Secretariat exists.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">The first argument is invalid, committing as it does the fallacy of division.&#0160; The second argument is perfectly in order.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">So it seems,&#0160;contra Van Iwagen, that &#0160;&#39;Horses exist&#39; is importantly disanalogous to &#39;Horses have evolved&#39; and &#39;The cops have the building surrounded.&#39;&#0160; &#39;Exists&#39; is predicable of specified individuals, individuals in the singular.&#0160; &#39;Evolved&#39; is not predicable of specified individuals, individuals in the singular, but only of individuals in the plural.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">I take van Inwagen to be saying that the logical subject of &#39;Horses exist&#39; is not the concept <em>horse<\/em>, but horses, horses in the plural, and what it says of <em>them<\/em> is that <em>they<\/em> number more than zero.&#0160; What I am having trouble understanding is how &#39;more than zero&#39; can attach to a plurality as a plurality, as opposed &#0160;to a&#0160; one-over-many such as a concept (which has an extension) or a set (which has a membership).<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">A plurality as a plurality is not one item, but a mere manifold of items: there is simply nothing there to serve as logical subject of the predicate &#39;more than zero.&#39;&#0160; <\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">&quot;But look, Bill, it is <em>the horses<\/em> that are more than zero; so there is a logical subject of the predicate.&quot;<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Response: You can&#39;t say what you want to say grammatically.&#0160; If there IS a logical subject of the predicate, then it is not a mere manyness.&#0160;But if there ARE many subjects of predication, then &#39;more than zero&#39; applies to each horse which is not what you want to say.&#0160;&#0160;&#0160;There must be something that makes the particulars you are calling horses <em>horses<\/em>, and that would have to be something like the concept <em>horse<\/em>; otherwise you have an unintelligible plurality of bare particulars.&#0160; But then when you say that the horses are more than&#0160;zero you are saying that the concept <em>horse<\/em> has more than one instance, and number-words become second-level predicates.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">My suspicion is that van Inwagen&#39;s middle path is unviable and that his&#0160;position collapses into the full-throated Fregean position according to which (a)&#0160;&quot;existence is allied to number&quot; and (b) number-words are&#0160;second-level predicates.<\/span>&#0160;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This post continues my examination of Peter van Inwagen&#39;s &quot;Being, Existence, and Ontological Commitment.&quot;&#0160; The first post in this series is here.&#0160; There you will find the bibliographical details. We saw that van Inwagen gives something like the following argument for the univocity of &#39;exists&#39;: 1. Number-words are univocal 2*. &#39;Exist(s)&#39; is a number-word Therefore &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2012\/07\/14\/van-inwagen-on-exists-as-a-polyadic-predicate\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Van Inwagen on &#8216;Exists&#8217; as a Polyadic Predicate&#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,408],"tags":[],"class_list":["post-9565","post","type-post","status-publish","format-standard","hentry","category-existence","category-language-philosophy-of"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9565","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=9565"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9565\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=9565"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=9565"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=9565"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}