{"id":10509,"date":"2011-07-24T17:37:30","date_gmt":"2011-07-24T17:37:30","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2011\/07\/24\/leibnizs-law-a-useless-expression\/"},"modified":"2011-07-24T17:37:30","modified_gmt":"2011-07-24T17:37:30","slug":"leibnizs-law-a-useless-expression","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2011\/07\/24\/leibnizs-law-a-useless-expression\/","title":{"rendered":"&#8216;Leibniz&#8217;s Law&#8217;:  A Useless Expression"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Pedant and quibbler that I am, it annoys me when I hear professional philosophers use the phrase &#39;Leibniz&#39;s Law.&#39;&#0160; My reason is that it is used by said philosophers in three&#0160;mutually incompatible&#0160;ways.&#0160; That makes it a junk phrase, a wastebasket expression, one to be avoided.&#0160; Some use it as Dale Tuggy does, <a href=\"http:\/\/trinities.org\/blog\/archives\/3011\" target=\"_self\">here<\/a>, to refer to the Indiscernibility of Identicals, a principle than which no more luminous can be conceived.&#0160; (Roughly, if <em>a<\/em> = <em>b<\/em>, then whatever is true of <em>a<\/em> is true of <em>b<\/em>, and vice versa.)&#0160; Fred Sommers,&#0160;referencing Benson Mates, also uses it in this way.&#0160; (See <em>The Logic of Natural Language<\/em>,&#0160; p. 127)<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Others, such as the distinguished Australian philosopher Peter Forrest, <a href=\"http:\/\/plato.stanford.edu\/entries\/identity-indiscernible\/\" target=\"_self\">use it<\/a> to refer to the Identity of Indiscernibles, a principle rather less luminous to the intellect and, in my humble opinion, false.&#0160; (Roughly, if whatever is true of <em>a<\/em> is true of <em>b<\/em> and vice versa, then <em>a<\/em> = <em>b<\/em>.)&#0160; And there are those who use it as to refer to the conjunction&#0160; of the Indiscernibility of Identicals and the Identity of Indiscernibles.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">So &#39;Leibniz&#39;s Law&#39; has no standardly accepted usage and is insofar forth useless.&#0160; And unnecessary.&#0160; You mean &#39;Indiscernibility of Identicals&#39;?&#0160; Then say that.&#0160; If you mean its converse, say<em> that<\/em>. Ditto for their conjunction.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">There is also the problem of using a great philosopher&#39;s name to label a principle that the philosopher may not even have held.&#0160; Analytic philosophers are notorious for being lousy historians.&#0160; Not all of them, of course, but the run-of-the-mill.&#0160; If Sommers is right, Leibniz was a traditional logician who did not think of identity as a relation as Frege and Russell do.&#0160; (p. 127) Accordingly, &#39;a = b&#39; as this formula is&#0160;understood in modern predicate logic does not occur in Leibniz. <\/span><\/p>\n<p style=\"text-align: justify;\">&#0160;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Pedant and quibbler that I am, it annoys me when I hear professional philosophers use the phrase &#39;Leibniz&#39;s Law.&#39;&#0160; My reason is that it is used by said philosophers in three&#0160;mutually incompatible&#0160;ways.&#0160; That makes it a junk phrase, a wastebasket expression, one to be avoided.&#0160; Some use it as Dale Tuggy does, here, to refer &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2011\/07\/24\/leibnizs-law-a-useless-expression\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;&#8216;Leibniz&#8217;s Law&#8217;:  A Useless Expression&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[454,346,6,723,20],"tags":[],"class_list":["post-10509","post","type-post","status-publish","format-standard","hentry","category-history-of-philosophy","category-identity-and-individuation","category-language-matters","category-leibniz","category-metaphilosophy"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/10509","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=10509"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/10509\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=10509"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=10509"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=10509"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}