{"id":8003,"date":"2014-04-23T05:49:35","date_gmt":"2014-04-23T05:49:35","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2014\/04\/23\/on-the-enforcing-and-permitting-of-coreferentiality-by-argument-forms\/"},"modified":"2014-04-23T05:49:35","modified_gmt":"2014-04-23T05:49:35","slug":"on-the-enforcing-and-permitting-of-coreferentiality-by-argument-forms","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2014\/04\/23\/on-the-enforcing-and-permitting-of-coreferentiality-by-argument-forms\/","title":{"rendered":"On the Enforcing and Permitting of Coreferentiality by Argument-Forms"},"content":{"rendered":"

This argument is invalid:<\/span><\/p>\n

Cicero was a Roman<\/span>
Tully was a philosopher<\/span>
—–<\/span>
Some Roman was a philosopher.<\/span><\/p>\n

Quite simply, there is no middle term. The example is an instance of the dreaded quaternio terminorum<\/a>. But of course we learned at Uncle Willard's knee that Cicero = Tully. Add that fact as a premise and the above argument becomes valid. As a general rule, any invalid argument can be rendered valid by adding one or more premises.<\/span><\/p>\n

So sameness of reference is not sufficient for sameness of name. 'Cicero' and 'Tully' have the same reference, but they are different names. They are both token- and type-different. Since they are different names, that fact must be accommodated in the form diagram, which looks like this: <\/span><\/p>\n

Fa<\/span>
Gb<\/span>
—<\/span>
(Ex)(Fx & Gx).<\/span><\/p>\n

This form is clearly invalid. The most one can squeeze out of these premises using Existential Generalization is '(Ex)Fx & (Ex)Gx.'<\/span><\/p>\n

It is worth pointing out that the use of the different signs 'a' and 'b' does not entail that a<\/em> is not identical to b<\/em>; it leaves open both the possibility that a = b and the possibility that ~(a = b). It is because of the second of these possibilities that the argument-form is invalid.<\/span><\/p>\n

Commenter Edward  Ockham in a comment on the old blog wanted to know  why, given that we had to add a premise to make the Cicero argument valid, we don't have to add a premise to make the Alexander argument valid. That argument, from the days when men were men and went around 'seizing' women, proceeds thusly:<\/span><\/p>\n

Alexander seized Helen<\/span>
Alexander did not seize Helen<\/span>
—–<\/span>
Someone seized and did not seize Helen.<\/span><\/p>\n

Ockham wants to know why we don't have to add an identity premise to secure the validity of this argument. But what premise would he have us add? It can't be 'Alexander is Alexander' for that is necessarily true and therefore true whether or not both occurrences of 'Alexander' in the original argument are coreferential. Presumably, Ockham wants us to supply '"Alexander" is coreferential in both of its occurrences.' But this goes without saying. There in no need to affirm this in a separate premise since it is implied by the fact that 'Alexander' in both occurrences is a token of the same word-type. We needn't say<\/em> what is plainly shown<\/em>. (He said with a sidelong glance in old Ludwig's direction.)<\/span><\/p>\n

Ockham is bothered by the possibility of equivocation. Well, either there is an equivocation on 'Alexander' or there isn't. If there is an equivocation, then the argument instantiates an invalid form, and Ockham's contention collapses. If there is no equivocation, then the argument instantiates a valid form but it is not the case that both premises are true; so again Ockham's contention collapses. Either way, his contention collapses.<\/span><\/p>\n

In a further comment<\/a>, Ockham writes:<\/span><\/p>\n

Either we capture the reference [of a name] in the form, and my objection collapses. Or you concede that the form covers only the visible or audible outward form of the word. In which case, my specious Alexander argument really does have the right form, and we have to add on the condition about reference, and my point stands.<\/span><\/p><\/blockquote>\n

I grasp something like the first horn. If 'a' occurs two or more times in a form diagram, then no argument of that form has an equivocation on a term whose place is held by 'a.' This is to say that the form diagram enforces coreferentiality on any terms whose place is held by 'a' in the form schema.<\/strong> Otherwise, the argument would not be of the form in question.<\/span><\/p>\n

Ockham wants to have it both ways at once. He wants his argument A to be of valid form F without F enforcing coreferentiality on the occurrences of 'a' in A. This is just impossible. If there is an equivocation on 'a,' then A does not instantiate F. But if A does instantiate F, then there cannot be any equivocation of 'a.' Why? Because the form does not permit it. The form enforces coreferentiality.<\/span><\/p>\n

Now look back at the Cicero argument. It is invalid because its form (depicted above) is invalid and the argument has no valid form. But I don't say that the invalid form enforces lack of coreferentiality on the singular terms whose place is held in the diagram by 'a' and 'b.' I say instead that the invalid form permits<\/em> coreferentiality of these terms. Thus there is an asymmetry between the Alexander and Cicero cases.<\/span><\/p>\n<\/div>\n

\nRelated articles<\/legend>\n
\n
\"\"<\/a>Abbreviations, Place-Holders, and Logical Form<\/a><\/div>\n
\"\"<\/a>Three More Putative Instances of Valid Is-Ought Inferences<\/a><\/div>\n
\"\"<\/a>The Stromboli Puzzle Revisited<\/a><\/div>\n
\"\"<\/a>Transitivity of Predication?<\/a><\/div>\n<\/div>\n<\/fieldset>\n","protected":false},"excerpt":{"rendered":"

This argument is invalid: Cicero was a RomanTully was a philosopher—–Some Roman was a philosopher. Quite simply, there is no middle term. The example is an instance of the dreaded quaternio terminorum. But of course we learned at Uncle Willard's knee that Cicero = Tully. Add that fact as a premise and the above argument … Continue reading “On the Enforcing and Permitting of Coreferentiality by Argument-Forms”<\/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":[408,108],"tags":[],"class_list":["post-8003","post","type-post","status-publish","format-standard","hentry","category-language-philosophy-of","category-logica-docens"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/8003","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=8003"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/8003\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=8003"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=8003"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=8003"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}