{"id":38439,"date":"2017-02-01T09:09:12","date_gmt":"2017-02-01T14:09:12","guid":{"rendered":"http:\/\/trinities.org\/blog\/?p=38439"},"modified":"2017-03-09T20:03:34","modified_gmt":"2017-03-10T01:03:34","slug":"is-every-orwell-an-orwell","status":"publish","type":"post","link":"https:\/\/trinities.org\/blog\/is-every-orwell-an-orwell\/","title":{"rendered":"Is every Orwell an Orwell?"},"content":{"rendered":"<p><img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-38441 alignleft\" src=\"http:\/\/trinities.org\/blog\/wp-content\/uploads\/2013-09-04-12_Marcus_Final2-232x300.jpg\" alt=\"\" width=\"232\" height=\"300\" srcset=\"https:\/\/trinities.org\/blog\/wp-content\/uploads\/2013-09-04-12_Marcus_Final2-232x300.jpg 232w, https:\/\/trinities.org\/blog\/wp-content\/uploads\/2013-09-04-12_Marcus_Final2-768x994.jpg 768w, https:\/\/trinities.org\/blog\/wp-content\/uploads\/2013-09-04-12_Marcus_Final2-791x1024.jpg 791w, https:\/\/trinities.org\/blog\/wp-content\/uploads\/2013-09-04-12_Marcus_Final2-880x1139.jpg 880w\" sizes=\"auto, (max-width: 232px) 100vw, 232px\" \/>As regards my earlier post, Maverick <a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2017\/01\/the-is-of-identity-and-the-is-of-predication-1.html\">asks<\/a><\/p>\n<blockquote><p>Can we justify a distinction between the &#8216;is&#8217; of identity and the &#8216;is&#8217; of predication even if we do not make an absolute distinction between names (object words) and predicates (concept words)? I think we can.<\/p><\/blockquote>\n<p>We need to look deeper at the reason for the absolute distinction between singular terms and common\/concept terms, which originates with Frege, who\u00a0firmly believed\u00a0that we must \u2018keep well apart two wholly different cases that are easily confused, because we speak of existence in both cases&#8217;.<\/p>\n<blockquote><p>In one case the question is whether a proper name designates (<em>bezeichnet<\/em>), names, something; in the other, whether a concept takes objects under itself (<em>unter sich befa\u00dft<\/em>). If we use the words &#8216;there is a &#8211;&#8216; we have the latter case. Now a proper name that designates nothing has no logical justification, since in logic we are concerned with truth in the strictest sense of the word ..<\/p><\/blockquote>\n<p>For the latter relation he also uses the term \u2018falls under\u2019 (<em>unter .. f\u00e4llt<\/em>). For example he says<\/p>\n<blockquote><p>Das Wort &#8216;Planet&#8217; bezieht sich gar nicht unmittelbar auf die Erde, sondern auf einen Begriff, unter den unter anderm auch die Erde f\u00e4llt. So ist die Beziehung zur Erde nur eine durch den Begriff vermittelte, und es bedarf zur Erkennung dieser Beziehung der F\u00e4llung eines Urteils, das mit der Kenntnis der Bedeutung des Wortes &#8216;Planet&#8217; noch keineswegs gegeben ist. Wenn ich einen Satz ausspreche mit dem grammatischen Subjekte &#8216;alle Menschen&#8217;, so will ich damit durchaus nichts von einem mir ganz unbekannten H\u00e4uptlinge im Innern Afrikas aussagen.<\/p>\n<p>(\u2018The word &#8216;planet&#8217; has no direct relation at all to the Earth, but only to a concept that the Earth, among other things, falls under; thus its relation to the Earth is only an indirect one, by way of the concept; and the recognition of this relation of falling under requires a judgment that is not in the least already given along with our knowledge of what the word &#8216;planet&#8217; means. If I utter a sentence with the grammatical subject &#8216;all men&#8217;, I do not wish to say something about some Central African chief wholly unknown to me.<\/p><\/blockquote>\n<p>This is contrary to the assumption of Aristotelian logic where the same relation of falling under (subsumption,\u00a0from the Latin <i>sumere sub<\/i>) holds\u00a0between objects and\u00a0both common <i>and<\/i> proper names. The difference with the proper name is that only one thing can fall under the name, <i>when used in the same sense<\/i>. Thus a premise with a proper name in it can be treated as a universal proposition. As Ockham says (<a href=\"http:\/\/www.logicmuseum.com\/wiki\/Authors\/Ockham\/Summa_Logicae\/Book_III-1\/Chapter_8\"><i>Summa<\/i> III-1.8<\/a>)<\/p>\n<blockquote><p>It should be known also that just as it is argued evidently by putting such an affirmative or negative universal for the major in the first figure, so also it follows evidently if the major is an affirmative or negative singular. For &#8220;Socrates is white, every man is Socrates, therefore every man is white&#8221; follows well.<\/p><\/blockquote>\n<p>This is because only one object falls under \u2018Socrates\u2019, when \u2018Socrates\u2019 has a fixed sense, so \u2018Socrates is bald\u2019 if true is true because every man who is Socrates is bald, since there is only one of him.<\/p>\n<p>If this is correct (and that is an assumption) there is no need for identity. Take e.g. \u2018Hesperus is Venus, Venus is Phosphorus, therefore Hesperus is Phosphorus\u2019. This can be interpreted as a syllogism with the valid form \u2018every Hesperus is Venus, every Venus is Phosphorus, therefore every Hesperus is Phosphorus\u2019. Any identity statement whatsoever can be interpreted as a universal statement.<\/p>\n<p>Maverick objects that \u2018Tom is hypertensive&#8217; can be analysed as &#8216;Tom instantiates hypertensiveness.&#8217; Fine, which is similar to Frege saying that Tom falls under the concept of hypertensiveness. Indeed, Frege holds that concept names (common terms) are names of Platonic extralinguistic objects. But then\u00a0he says<\/p>\n<blockquote><p>It appears that Sommers is mistaken in his claim that &#8220;Clearly it is only after one has adopted the syntax that prohibits the predication of proper names that one is forced to read &#8216;a is b&#8217; dyadically and to see in it a sign of identity.&#8221;<\/p><\/blockquote>\n<p>Well, no, because the whole point of the two term theory is that the same term (including proper names) can stand as both subject and predicate, and the whole point of the Fregean theory is that a proper name cannot stand as a predicate: we cannot interpret \u2018Hesperus is Venus\u2019 as \u2018Hesperus has Venus-ness\u2019. So the Maverick&#8217;s analysis implicitly rejects the two-term theory. He then objects to the nominalist theory that in \u2018Hesperus is a planet\u2019 both terms denote a single thing, on the grounds that while Orwell might not have fallen under \u2018famous\u2019, there is not possible situation in which he might might not have fallen under \u2018Orwell\u2019. So? According to Aristotle, and all the medieval logicians:<\/p>\n<blockquote><p>By the term &#8216;universal&#8217; I mean that which is of <b>such a nature<\/b> as to be predicated of many subjects, by &#8216;individual&#8217; that which is not thus predicated.<\/p><\/blockquote>\n<p>That is why proper names are called \u2018proper names\u2019. They are of such a nature as only to be predicated of a single individual. Every Orwell is an Orwell, and every Orwell is necessarily an Orwell: it is false that Orwell might not have been an Orwell, although he might not have been a famous person.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Can we justify a distinction between the &#8216;is&#8217; of identity and the &#8216;is&#8217; of predication  <\/p>\n","protected":false},"author":6,"featured_media":38441,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"neve_meta_sidebar":"","neve_meta_container":"","neve_meta_enable_content_width":"","neve_meta_content_width":0,"neve_meta_title_alignment":"","neve_meta_author_avatar":"","neve_post_elements_order":"","neve_meta_disable_header":"","neve_meta_disable_footer":"","neve_meta_disable_title":"","footnotes":""},"categories":[8,10,9],"tags":[83,85],"class_list":["post-38439","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-linkage","category-logic","category-philosophy","tag-identity","tag-predication"],"_links":{"self":[{"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/posts\/38439","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/comments?post=38439"}],"version-history":[{"count":5,"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/posts\/38439\/revisions"}],"predecessor-version":[{"id":38626,"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/posts\/38439\/revisions\/38626"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/media\/38441"}],"wp:attachment":[{"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/media?parent=38439"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/categories?post=38439"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/trinities.org\/blog\/wp-json\/wp\/v2\/tags?post=38439"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}