{"id":9254,"date":"2012-10-30T16:25:12","date_gmt":"2012-10-30T16:25:12","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/10\/30\/aquinas-meets-frege-analysis-of-an-argument-from-de-ente-et-essentia\/"},"modified":"2012-10-30T16:25:12","modified_gmt":"2012-10-30T16:25:12","slug":"aquinas-meets-frege-analysis-of-an-argument-from-de-ente-et-essentia","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2012\/10\/30\/aquinas-meets-frege-analysis-of-an-argument-from-de-ente-et-essentia\/","title":{"rendered":"Aquinas Meets Frege: Analysis of an Argument from <i>De Ente et Essentia<\/i>"},"content":{"rendered":"<div style=\"text-align: justify;\">\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\"><a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2012\/10\/gyula-klima-on-common-natures.html\" target=\"_self\">The other day<\/a> I expressed my reservations as to the coherence of the Thomistic notion of a common nature.&#0160; Let&#39;s plunge a little deeper by considering&#0160;the argument&#0160;from Chapter 3 of Thomas Aquinas, <em><a href=\"http:\/\/www.fordham.edu\/halsall\/basis\/aquinas-esse.asp\" target=\"_self\">On Being and Essence<\/a> <\/em>(tr. Robert T. Miller, emphasis added):<\/span><\/p>\n<blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">The nature, however, or the essence thus understood can be considered in two ways. <\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 13pt;\">First, we can consider it according to its proper notion, and this is to consider it absolutely. In this way, nothing is true of the essence except what pertains to it absolutely: thus everything else that may be attributed to it will be attributed falsely. For example, to man, in that which he is a man, pertains animal and rational and the other things that fall in his definition; white or black or whatever else of this kind that is not in the notion of humanity does not pertain to man in that which he is a man. Hence, <strong>if it is asked whether this nature, considered in this way, can be said to be one or many, we should concede neither alternative,<\/strong> for both are beyond the concept of humanity, and either may befall the conception of man. <strong>If plurality were in the concept of this nature, it could never be one, but nevertheless it is one as it exists in Socrates. Similarly, if unity were in the notion of this nature, then it would be one and the same in Socrates and Plato, and it could not be made many in the many individuals.<\/strong> Second, we can also consider the existence the essence has in this thing or in that: in this way something can be predicated of the essence accidentally by reason of what the essence is in, as when we say that man is white because Socrates is white, <\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 13pt;\">although this does not pertain to man in that which he is a man.<\/span><\/p>\n<\/blockquote>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">The argument may be set forth as follows:<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">1. A nature can be considered absolutely&#0160;or according to the being it has in this or that individual.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">2. If a nature is considered absolutely, then it is not one.&#0160; For if oneness were included in the nature of humanity, e.g., then humanity could not exist in many human beings.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">3. If a nature is considered absolutely, then it is not many. For if manyness were included in the nature of humanity, e.g., then humanity could not exist in one man, say, Socrates.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Therefore<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">4. If a nature is considered absolutely, then it is neither one nor many, neither singular nor plural.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">I find this argument intriguing because I find it extremely hard to evaluate, and because I find the conclusion to be highly counterintuitive.&#0160; It seems to me obvious that a nature or essence such as humanity is one, not many, and therefore not neither one nor many!<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">The following is clear.&#0160; There are many instances of humanity, many human beings.&#0160; Therefore, there <em>can<\/em> be many such instances. It follows that there is nothing in the nature of humanity to preclude there being many such instances.&#0160; But there is also nothing in the nature of humanity to require that there be many instances of humanity, or even one instance.&#0160; We can express this by saying that the nature <em>humanity<\/em> neither requires nor precludes its being instantiated. It allows but does not entail instantiation.&#0160; This nature, considered absolutely, logically allows multiple instantiation, single instantiation, and no instantiation.&#0160; It logically allows that there be many men, just one man, or no men.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">That much is crystal clear.&#0160; But surely it does not follow that the nature <em>humanity<\/em> is neither one nor <\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 13pt;\">many.&#0160; What Aquinas is doing above is confusing what Frege calls a mark (<em>Merkmal<\/em>) of a concept with a property (<em>Eigenschaft<\/em>)&#0160; of a concept.&#0160; (See <em>Foundations of Arithmetic<\/em>, sec. 53, first publ. 1884)&#0160; The marks of a concept are the subconcepts which are included within it.&#0160; Thus<em> man <\/em>has <em>animal<\/em> and <em>rational<\/em> as marks.&#0160; But these are not properties (<em>Eigenschaften<\/em>) of the concept <em>man<\/em> since no concept is an animal or is rational.&#0160; Being instantiated is an example of a property of <em>man<\/em>, a property that cannot be a mark of<em> man<\/em>.&#0160;&#0160; If being instantiated were a mark of man, then the concept <em>man<\/em> could not fail to be instantiated.&#0160; In general, the marks of a concept are not properties thereof, and vice versa.&#0160; <\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">A couple more examples.&#0160; <em>Three-sided<\/em> is a mark of the concept <em>triangle<\/em>, but is is not a property of this concept for the simple reason that no concept is three-sided.&#0160;<em>Male<\/em> is a mark of the concept bachelor, but not a property of it since no concept is male.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">Aquinas has an insight which can be expressed in Fregean jargon as follows.&#0160; Being singly instantiated &#8212; one in reality &#8211;&#0160; and being multiply instantiated &#8212; many in reality &#8212; are not marks (<em>Merkmale<\/em>) of the nature <em>humanity<\/em>.&#0160; But because he (along with everyone else prior to 1884) confuses marks with properties (<em>Eigenschaften<\/em>), he concludes that the nature itself cannot be either one or many.&#0160; But surely the nature itself is one, nor many.&#0160; That is consistent with holding that the nature admits of single instantiation, multiple instantiation, or no instantiation.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">To put it another way, Aquinas confuses the &#39;is&#39; of predication (&#39;Socrates is a man&#39;) with the &#39;is&#39; of subordination (&#39;Man is an animal&#39;).&#0160; <em>Man<\/em> is predicable of Socrates, but <em>animal<\/em> is not predicable of <em>man, pace <\/em>Aristotle, <em>Categories<\/em> 3b5: no concept or nature is an animal.&#0160; Socrates <strong>falls under<\/strong> <em>man<\/em>; <em>Animal<\/em> <strong>falls within<\/strong> <em>man<\/em>.&#0160; Falling-under and falling-within are different relations.&#0160; <em>Animal<\/em> is superordinate to <em>man<\/em> while <em>man<\/em> is subordinate to <em>animal. <\/em>But that is not to say that <em>animal<\/em> is predicable of <em>man<\/em>.&#0160; Both animal and man are predicable of Socrates, which is to say: Socrates falls under both concepts.&#0160; But man does not fall <em>under<\/em> animal, animal falls <em>within<\/em> man.&#0160; If <em>man<\/em> fell under <em>anim<\/em>al, then the concept <em>man<\/em> would be an animal, which is absurd.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 13pt;\">For these reasons I do not find the argument from <em>De Ente et Essentia<\/em> compelling.&#0160; It is based on confusions that the great logician Gottlob Frege was the first to sort out. But perhaps there is a good Thomist response.<\/span><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The other day I expressed my reservations as to the coherence of the Thomistic notion of a common nature.&#0160; Let&#39;s plunge a little deeper by considering&#0160;the argument&#0160;from Chapter 3 of Thomas Aquinas, On Being and Essence (tr. Robert T. Miller, emphasis added): The nature, however, or the essence thus understood can be considered in two &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2012\/10\/30\/aquinas-meets-frege-analysis-of-an-argument-from-de-ente-et-essentia\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Aquinas Meets Frege: Analysis of an Argument from <i>De Ente et Essentia<\/i>&#8220;<\/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":[57,126,362],"tags":[],"class_list":["post-9254","post","type-post","status-publish","format-standard","hentry","category-aquinas-and-thomism","category-frege","category-scholasticism-new-and-old"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9254","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=9254"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/9254\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=9254"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=9254"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=9254"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}