{"id":1989,"date":"2022-06-19T12:46:57","date_gmt":"2022-06-19T12:46:57","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2022\/06\/19\/nota-notae-est-nota-rei-ipsius-and-the-ontological-argument\/"},"modified":"2022-06-19T12:46:57","modified_gmt":"2022-06-19T12:46:57","slug":"nota-notae-est-nota-rei-ipsius-and-the-ontological-argument","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2022\/06\/19\/nota-notae-est-nota-rei-ipsius-and-the-ontological-argument\/","title":{"rendered":"<i>Nota Notae Est Nota Rei Ipsius<\/i>, Kant,  and the Ontological Argument"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino;\"><span style=\"font-size: 18.6667px;\">This is a re-post, redacted and re-thought, from 22 July 2011. I dust it off because something caught my eye the other morning in the Translator&#39;s Introduction to Kant&#39;s <em>Logic<\/em>. <a href=\"https:\/\/philpapers.org\/s\/Robert%20S.%20Hartman\">Robert S. Hartman<\/a> and Wolfgang Schwarz tell us that for Kant the principle of all inference or mediate judgment is the rule <em>Nota notae est rei ipsius nota<\/em>. (p. xlii). I&#39;m guessing that C. S. Peirce got wind of the principle from Kant. As for Hartman, I remember hearing good things about him and his work in axiology from Hector-Neri Casta\u00f1eda. I also recall Hector saying that Hartman died young. Details of Hartman&#39;s eventful life <a href=\"https:\/\/www.hartmaninstitute.org\/life-of-robert-s-hartman\">here<\/a>. He died at age 63, which is young for a philosopher.&#0160; <a href=\"https:\/\/en.wikipedia.org\/wiki\/H%C3%A9ctor-Neri_Casta%C3%B1eda\">Hector<\/a> died at 66.<\/span><\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"font-family: georgia, palatino;\"><span style=\"font-size: 18.6667px;\">&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;&#8230;.<\/span><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&quot;The mark of a mark is a mark of the thing itself.&quot; I found this piece of scholasticism in C. S. Peirce. (Justus Buchler, ed.,&#0160;<em>Philosophical Writings of Peirce<\/em>, p. 133) It is an example of what Peirce calls a&#0160;&#0160; &#39;leading principle.&#39;<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Let&#39;s say you have an enthymeme:<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160; Enoch was a man<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160; &#8212;&#8211;<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160; Enoch died.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Invalid as it stands, this argument can be made valid by adding a premise. (Any invalid argument can be made valid by adding a premise.) Add &#39;All men die&#39; and the argument comes out valid. Peirce writes:<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160;&#0160;&#0160; The leading principle of this is&#0160;<em>nota notae est nota rei ipsius<\/em>.<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160;&#0160;&#0160; Stating this as a premiss, we have the argument,<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160;&#0160;&#0160;&#0160;<em>Nota notae est nota rei ipsius<\/em><\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160;&#0160;&#0160; Mortality is a mark of humanity, which is a mark of Enoch<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160;&#0160;&#0160; &#8212;&#8211;<\/span><br \/><span style=\"font-family: georgia, palatino; font-size: 14pt;\">&#0160;&#0160;&#0160;&#0160; Mortality is a mark of Enoch.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">But is it true that the mark of a mark is a mark of the thing itself? There is no doubt that mortality is a mark of humanity in the following sense: The concept&#0160;<em>humanity<\/em>&#0160;includes within its conceptual content the superordinate concept&#0160;<em>mortal<\/em>, which implies that, necessarily, if anything is human, then it is mortal. But mortality is not a mark, but a property, of Enoch. I am invoking Gottlob Frege&#39;s distinction between a <em>Merkmal<\/em>&#0160;and an&#0160;<em>Eigenschaft<\/em>. Frege explains this distinction in various places, one being&#0160;<em>The Foundations of Arithmetic<\/em>, sec. 53. But rather than quote Frege, I&#39;ll explain the distinction in my own way using a totally original example.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Consider the concept&#0160;<em>bachelor<\/em>. This is a first-order or first-level concept in that the items that fall under it are not concepts but objects. The marks of a first-order concept are properties of the objects that fall under the concept. Now the marks of bachelor are&#0160;<em>unmarried<\/em>,&#0160;<em>male<\/em>,&#0160;<em>adult<\/em>, and&#0160;<em>not a member of a religious order<\/em>. These marks are themselves concepts, concepts one can extract from&#0160;<em>bachelor<\/em>&#0160;by analysis. Given that Tom falls under bachelor, he has these marks as properties. Thus&#0160;<em>unmarried<\/em>, etc. are not marks of Tom, but properties of Tom, while&#0160;<em>unmarried<\/em>, etc. are not properties of&#0160;<em>bachelor<\/em>&#0160;but marks of&#0160;<em>bachelor<\/em>.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">To appreciate the&#0160;<em>Merkmal&#0160;<\/em>(mark)-<em>Eigenschaft<\/em>&#0160;(property) distinction, note that the relation between a concept and its marks is entirely different from the relation between a concept and its instances. A first-order concept <em>includes<\/em> its marks without <em>instantiating<\/em> them, while an object <em>instantiates<\/em> its properties without <em>including<\/em> them.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">This is a very plausible line to take. It makes no sense to say of a concept that it is married or unmarried, so unmarried cannot be a property of the concept&#0160;<em>bachelor<\/em>. Concepts don&#39;t get married or remain single. But it does make sense to say that a concept includes certain other concepts, its marks. On the other hand, it makes no sense to say of Tom that he includes certain concepts since he could do such a thing only if he were a concept, which he isn&#39;t. But it does make sense to say of Tom that he has such properties as being a bachelor, being unmarried, being an adult, etc.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Reverting to Peirce&#39;s example, mortality is a mark of humanity, but not a mark of Enoch. It is a property of Enoch. For this reason the scholastic formula is false.&#0160;<em>Nota notae NON est nota rei ipsius<\/em>. The mark of a mark is not a mark of the thing itself but a property of the thing itself.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">No doubt commenter&#0160;Edward the Nominalist&#0160;will want to wrangle with me over this slight to his scholastic lore, and I hope he does, since his objections will aid and abet our descent into the labyrinth of this fascinating cluster of problems. But for now, two quick applications.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">One is to the ontological argument, or rather to the ontological argument&#0160;<em>aus lauter Begriffen<\/em> as Immanuel Kant describes it, the ontological argument &quot;from mere concepts.&quot; So we start with the concept <em>God<\/em> and analyze it. The concept <em>God<\/em> includes omniscience, etc. But &#39;surely&#39; existence is also contained in the concept <em>God<\/em>. For a god who did not exist would lack a perfection, a great-making property; such a god would not be <em>id&#0160;<\/em><em>quo maius cogitari non posse<\/em>. He would not be that than which no greater can be conceived. To conceive God, then, is to conceive an existing God, whence it follows that God exists! For if you are&#0160;conceiving a nonexistent God, then you are not conceiving God.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">Frege refutes this version of the ontological argument &#8212; not the only or best version I hasten to add &#8212; in one sentence: <em>Weil Existenz Eigenschaft des Begriffes ist, erreicht der ontologische Beweis von der Existenz Gottes sein Ziel nicht.<\/em>&#0160;(<em>Grundlagen der Arithmetik<\/em>, sec. 53)&#0160; &quot;Because existence is a property of concepts, the ontological argument for the existence of God fails to attain its goal.&quot; What Frege is saying is that the ontological argument &quot;from mere concepts&quot; rests on the mistake of thinking of existence as a mark of concepts as opposed to a property of concepts.&#0160; No concept for Frege is such that existence is included within it. Existence is rather a property of concepts, the property of having an instance.<\/span><\/p>\n<p><span style=\"font-family: georgia, palatino; font-size: 14pt;\">The other application of my rejection of the scholastic formula above is to the logical question of the correct interpretation of singular propositions. The scholastics treat singulars as if they are generals.&#0160; But if Frege is right, this is a grave logical error since it rides roughshod over the mark\/property distinction. To drag this all into the full light of day would take many more posts.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>This is a re-post, redacted and re-thought, from 22 July 2011. I dust it off because something caught my eye the other morning in the Translator&#39;s Introduction to Kant&#39;s Logic. Robert S. Hartman and Wolfgang Schwarz tell us that for Kant the principle of all inference or mediate judgment is the rule Nota notae est &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2022\/06\/19\/nota-notae-est-nota-rei-ipsius-and-the-ontological-argument\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;<i>Nota Notae Est Nota Rei Ipsius<\/i>, Kant,  and the Ontological Argument&#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":[270,108,271],"tags":[],"class_list":["post-1989","post","type-post","status-publish","format-standard","hentry","category-kant","category-logica-docens","category-ontological-arguments"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/1989","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=1989"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/1989\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=1989"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=1989"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=1989"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}