12,080
edits
Changes
Directory:Jon Awbrey/Papers/Information = Comprehension × Extension (view source)
Revision as of 21:46, 29 March 2009
, 21:46, 29 March 2009cellspacing="6" + cleanup ascii figures
When it comes to the supposed reciprocity between [[extension (logic)|extension]]s and [[intension (logic)|intension]]s, Peirce, of course, has another idea, and I would say a better idea, in part, because it forms the occasion for him to bring in his new-fangled notion of "[[information]]" to mediate the otherwise static dualism between the other two. The development of this novel idea brings Peirce to enunciate this formula:
When it comes to the supposed reciprocity between [[extension (logic)|extension]]s and [[intension (logic)|intension]]s, Peirce, of course, has another idea, and I would say a better idea, in part, because it forms the occasion for him to bring in his new-fangled notion of "[[information]]" to mediate the otherwise static dualism between the other two. The development of this novel idea brings Peirce to enunciate this formula:
{| align="center" cellpadding="4" width="90%"
{| align="center" cellspacing="6" width="90%"
| align="center" | <math>\operatorname{Information} = \operatorname{Comprehension} \times \operatorname{Extension}</math>
| align="center" | <math>\operatorname{Information} = \operatorname{Comprehension} \times \operatorname{Extension}</math>
|}
|}
===Selection 1===
===Selection 1===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Let us now return to the information. The information of a term is the measure of its superfluous comprehension. That is to say that the proper office of the comprehension is to determine the extension of the term. For instance, you and I are men because we possess those attributes — having two legs, being rational, &c. — which make up the comprehension of ''man''. Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the information instead.</p>
<p>Let us now return to the information. The information of a term is the measure of its superfluous comprehension. That is to say that the proper office of the comprehension is to determine the extension of the term. For instance, you and I are men because we possess those attributes — having two legs, being rational, &c. — which make up the comprehension of ''man''. Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the information instead.</p>
===Selection 2===
===Selection 2===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>For this purpose, I must call your attention to the differences there are in the manner in which different representations stand for their objects.</p>
<p>For this purpose, I must call your attention to the differences there are in the manner in which different representations stand for their objects.</p>
===Selection 3===
===Selection 3===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Yet there are combinations of words and combinations of conceptions which are not strictly speaking symbols. These are of two kinds of which I will give you instances. We have first cases like:</p>
<p>Yet there are combinations of words and combinations of conceptions which are not strictly speaking symbols. These are of two kinds of which I will give you instances. We have first cases like:</p>
===Selection 4===
===Selection 4===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Accordingly, if we are engaged in symbolizing and we come to such a proposition as "Neat, swine, sheep, and deer are herbivorous", we know firstly that the disjunctive term may be replaced by a true symbol. But suppose we know of no symbol for neat, swine, sheep, and deer except cloven-hoofed animals. There is but one objection to substituting this for the disjunctive term; it is that we should, then, say more than we have observed. In short, it has a superfluous information. But we have already seen that this is an objection which must always stand in the way of taking symbols. If therefore we are to use symbols at all we must use them notwithstanding that. Now all thinking is a process of symbolization, for the conceptions of the understanding are symbols in the strict sense. Unless, therefore, we are to give up thinking altogeher we must admit the validity of induction. But even to doubt is to think. So we cannot give up thinking and the validity of induction must be admitted.</p>
<p>Accordingly, if we are engaged in symbolizing and we come to such a proposition as "Neat, swine, sheep, and deer are herbivorous", we know firstly that the disjunctive term may be replaced by a true symbol. But suppose we know of no symbol for neat, swine, sheep, and deer except cloven-hoofed animals. There is but one objection to substituting this for the disjunctive term; it is that we should, then, say more than we have observed. In short, it has a superfluous information. But we have already seen that this is an objection which must always stand in the way of taking symbols. If therefore we are to use symbols at all we must use them notwithstanding that. Now all thinking is a process of symbolization, for the conceptions of the understanding are symbols in the strict sense. Unless, therefore, we are to give up thinking altogeher we must admit the validity of induction. But even to doubt is to think. So we cannot give up thinking and the validity of induction must be admitted.</p>
===Selection 5===
===Selection 5===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>A similar line of thought may be gone through in reference to hypothesis. In this case we must start with the consideration of the term:</p>
<p>A similar line of thought may be gone through in reference to hypothesis. In this case we must start with the consideration of the term:</p>
===Selection 6===
===Selection 6===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>We have now seen how the mind is forced by the very nature of inference itself to make use of induction and hypothesis.</p>
<p>We have now seen how the mind is forced by the very nature of inference itself to make use of induction and hypothesis.</p>
In particular, let us consider the following statement:
In particular, let us consider the following statement:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
If it occurs in the predicate and something is said to be a spherical bright fragrant juicy tropical fruit, since there is nothing which is all this which is not an orange, we may say that this is an orange at once.
If it occurs in the predicate and something is said to be a spherical bright fragrant juicy tropical fruit, since there is nothing which is all this which is not an orange, we may say that this is an orange at once.
<font face="courier new"><pre>
<font face="courier new"><pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| `t_1` `t_2` ` ` ` `t_5` `t_6` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_1 t_2 t_5 t_6 |
| ` o ` ` o ` `...` ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o o ... o o |
| ` ` * ` `*` ` ` ` `*` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` * ` * ` ` ` * ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` * `*` ` `*` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` * * ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ** ** ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` ` ` o z = spherical bright fragrant juicy tropical fruit` |
| o z = spherical bright fragrant juicy tropical fruit |
| ` ` ` ` ` ` ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` * ` Rule` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Rule |
| ` ` ` ` ` ` ` * ` ` * y=>z` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * y=>z |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` `Fact * ` ` ` ` ` o y = orange` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Fact * o y = orange |
| ` ` ` ` `x=>z * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| x=>z * * |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` * Case` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Case |
| ` ` ` ` ` ` ` * ` * ` x=>y` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * x=>y |
| ` ` ` ` ` ` ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o |
| ` ` ` ` ` ` ` x = subject ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| x = subject |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 1. Conjunctive Term z, Taken as Predicate
Figure 1. Conjunctive Term z, Taken as Predicate
Let us now consider Peirce's alternate example of a disjunctive term, "neat, swine, sheep, deer".
Let us now consider Peirce's alternate example of a disjunctive term, "neat, swine, sheep, deer".
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Hence if we find out that neat are herbivorous, swine are herbivorous, sheep are herbivorous, and deer are herbivorous; we may be sure that there is some class of animals which covers all these, all the members of which are herbivorous.</p>
<p>Hence if we find out that neat are herbivorous, swine are herbivorous, sheep are herbivorous, and deer are herbivorous; we may be sure that there is some class of animals which covers all these, all the members of which are herbivorous.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` w = herbivorous ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| w = herbivorous |
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o |
| ` ` ` ` ` ` ` * * ` ` Rule` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Rule |
| ` ` ` ` ` ` ` * ` * ` v=>w` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * v=>w |
| ` ` ` ` ` ` ` * ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` `Fact * ` ` ` ` ` o v = cloven-hoofed ` ` ` ` ` ` ` ` ` ` ` |
| Fact * o v = cloven-hoofed |
| ` ` ` ` `u=>w * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| u=>w * * |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` * Case` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Case |
| ` ` ` ` ` ` ` * ` * ` u=>v` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * u=>v |
| ` ` ` ` ` ` ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` o u = ((neat)(swine)(sheep)(deer))` ` ` ` ` ` ` ` ` ` |
| o u = ((neat)(swine)(sheep)(deer)) |
| ` ` ` ` ` ` ** ** ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` * * ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` * `*` ` `*` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` * ` * ` ` ` * ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` * ` `*` ` ` ` `*` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` o ` ` o ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o o o o |
| `s_1` `s_2` ` ` ` `s_3` `s_4` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| s_1 s_2 s_3 s_4 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o---------------------------------------------------------------------o
o---------------------------------------------------------------------o
Figure 2. Disjunctive Term u, Taken as Subject
Figure 2. Disjunctive Term u, Taken as Subject
I continue with the out lay of my incidental musings on the theme of ''approximate inference rules''.
I continue with the out lay of my incidental musings on the theme of ''approximate inference rules''.
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>For this purpose, I must call your attention to the differences there are in the manner in which different representations stand for their objects.</p>
<p>For this purpose, I must call your attention to the differences there are in the manner in which different representations stand for their objects.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| `t_1` `t_2` ` ` ` `t_3` `t_4` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_1 t_2 t_3 t_4 |
| ` o ` ` o ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o o o o |
| ` ` * ` `*` ` ` ` `*` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` * ` * ` ` ` * ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` * `*` ` `*` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` * * ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ** ** ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` ` ` o z = icon? ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o z = icon? |
| ` ` ` ` ` ` ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` * ` Rule` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Rule |
| ` ` ` ` ` ` ` * ` ` * y=>z` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * y=>z |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` `Fact * ` ` ` ` ` o y = object? ` ` ` ` ` ` ` ` ` |
| Fact * o y = object? |
| ` ` ` ` `x=>z * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| x=>z * * |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` * Case` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Case |
| ` ` ` ` ` ` ` * ` * ` x=>y` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * x=>y |
| ` ` ` ` ` ` ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o |
| ` ` ` ` ` ` ` x = subject ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| x = subject |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
Figure 3. Conjunctive Predicate z, Abduction of Case (x (y))
Figure 3. Conjunctive Predicate z, Abduction of Case (x (y))
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` w = predicate ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| w = predicate |
| ` ` ` ` ` ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o |
| ` ` ` ` ` ` ` * * ` ` Rule` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Rule |
| ` ` ` ` ` ` ` * ` * ` v=>w` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * v=>w |
| ` ` ` ` ` ` ` * ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` `Fact * ` ` ` ` ` o v = object? ` ` ` ` ` ` ` ` ` |
| Fact * o v = object? |
| ` ` ` ` `u=>w * ` ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| u=>w * * |
| ` ` ` ` ` ` ` * ` ` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` * ` ` * Case` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * Case |
| ` ` ` ` ` ` ` * ` * ` u=>v` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * u=>v |
| ` ` ` ` ` ` ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * |
| ` ` ` ` ` ` ` o u = index?` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o u = index? |
| ` ` ` ` ` ` ** ** ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` * * ` * * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` * `*` ` `*` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` * ` * ` ` ` * ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` * ` `*` ` ` ` `*` ` * ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` o ` ` o ` ` ` ` ` o ` ` o ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o o o o |
| `s_1` `s_2` ` ` ` `s_3` `s_4` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| s_1 s_2 s_3 s_4 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
Figure 4. Disjunctive Subject u, Induction of Rule (v (w))
Figure 4. Disjunctive Subject u, Induction of Rule (v (w))
===Selection 7===
===Selection 7===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>It is obvious that all deductive reasoning has a common property unshared by the other kinds — in being purely ''explicatory''. Buffier mentions a definition of logic as the art of confessing in the conclusion what we have avowed in the premisses. This bit of satire translated into the language of sobriety — amounts to charging that the logicians confine their attention exclusively to deductive reasoning. A charge which against the logicians of other days, was quite just.</p>
<p>It is obvious that all deductive reasoning has a common property unshared by the other kinds — in being purely ''explicatory''. Buffier mentions a definition of logic as the art of confessing in the conclusion what we have avowed in the premisses. This bit of satire translated into the language of sobriety — amounts to charging that the logicians confine their attention exclusively to deductive reasoning. A charge which against the logicians of other days, was quite just.</p>
===Selection 8===
===Selection 8===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>It is important to distinguish between the two functions of a word: 1st to denote something — to stand for something, and 2nd to mean something — or as Mr. Mill phrases it — to ''connote'' something.</p>
<p>It is important to distinguish between the two functions of a word: 1st to denote something — to stand for something, and 2nd to mean something — or as Mr. Mill phrases it — to ''connote'' something.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `What is 'denoted'` ` ` ` ` | `What is 'connoted' ` ` ` ` |
| What is 'denoted' | What is 'connoted' |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `Sphere ` ` ` ` ` ` ` ` ` ` | `Content` ` ` ` ` ` ` ` ` ` |
| Sphere | Content |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `Extension` ` ` ` ` ` ` ` ` | `Comprehension` ` ` ` ` ` ` |
| Extension | Comprehension |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| ` ` ` ` ` ( wider ` ` ` ` ` | ` ` ` ` ( lower ` ` ` ` ` ` |
| ( wider | ( lower |
| `Breadth` < ` ` ` ` ` ` ` ` | `Depth` < ` ` ` ` ` ` ` ` ` |
| Breadth < | Depth < |
| ` ` ` ` ` ( narrower` ` ` ` | ` ` ` ` ( higher` ` ` ` ` ` |
| ( narrower | ( higher |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `What is contained 'under'` | `What is contained 'in' ` ` |
| What is contained 'under' | What is contained 'in' |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
</pre></font>
</pre></font>
===Selection 9===
===Selection 9===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The highest terms are therefore broadest and the lowest terms the narrowest. We can take a term so broad that it contains all other spheres under it. Then it will have no content whatever. There is but one such term — with its synonyms — it is ''Being''. We can also take a term so low that it contains all other content within it. Then it will have no sphere whatever. There is but one such term — it is ''Nothing''.</p>
<p>The highest terms are therefore broadest and the lowest terms the narrowest. We can take a term so broad that it contains all other spheres under it. Then it will have no content whatever. There is but one such term — with its synonyms — it is ''Being''. We can also take a term so low that it contains all other content within it. Then it will have no sphere whatever. There is but one such term — it is ''Nothing''.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o------------------------o------------------------o
o------------------------o------------------------o
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `Being` ` ` ` ` ` ` ` `| `Nothing` ` ` ` ` ` ` `|
| Being | Nothing |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `All breadth` ` ` ` ` `| `All depth` ` ` ` ` ` `|
| All breadth | All depth |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `No depth ` ` ` ` ` ` `| `No breadth ` ` ` ` ` `|
| No depth | No breadth |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
o------------------------o------------------------o
o------------------------o------------------------o
</pre></font>
</pre></font>
<font face="courier new"><pre>
<font face="courier new"><pre>
o------------------------o------------------------o
o------------------------o------------------------o
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `Simple terms ` ` ` ` `| `Individual terms ` ` `|
| Simple terms | Individual terms |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
o------------------------o------------------------o
o------------------------o------------------------o
</pre></font>
</pre></font>
===Selection 10===
===Selection 10===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
But such terms though conceivable in one sense — that is intelligible in their conditions — are yet impossible. You never can narrow down to an individual. Do you say Daniel Webster is an individual? He is so in common parlance, but in logical strictness he is not. We think of certain images in our memory — a platform and a noble form uttering convincing and patriotic words — a statue — certain printed matter — and we say that which that speaker and the man whom that statue was taken for and the writer of this speech — that which these are in common is Daniel Webster. Thus, even the proper name of a man is a general term or the name of a class, for it names a class of sensations and thoughts. The true individual term the absolutely singular ''this'' & ''that'' cannot be reached. Whatever has comprehension must be general. (Peirce 1866, "Lowell Lecture 7", CE 1, 461).
But such terms though conceivable in one sense — that is intelligible in their conditions — are yet impossible. You never can narrow down to an individual. Do you say Daniel Webster is an individual? He is so in common parlance, but in logical strictness he is not. We think of certain images in our memory — a platform and a noble form uttering convincing and patriotic words — a statue — certain printed matter — and we say that which that speaker and the man whom that statue was taken for and the writer of this speech — that which these are in common is Daniel Webster. Thus, even the proper name of a man is a general term or the name of a class, for it names a class of sensations and thoughts. The true individual term the absolutely singular ''this'' & ''that'' cannot be reached. Whatever has comprehension must be general. (Peirce 1866, "Lowell Lecture 7", CE 1, 461).
===Selection 11===
===Selection 11===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In like manner, it is impossible to find any simple term. This is obvious from this consideration. If there is any simple term, simple terms are innumerable for in that case all attributes which are not simple are made up of simple attributes. Now none of these attributes can be affirmed or denied universally of whatever has any one. For let ''A'' be one simple term and ''B'' be another. Now suppose we can say All ''A'' is ''B''; then ''B'' is contained in ''A''. If, therefore, ''A'' contains anything but ''B'' it is a compound term, but ''A'' is different from ''B'', and is simple; hence it cannot be that All ''A'' is ''B''. Suppose No ''A'' is ''B'', then not-''B'' is contained in ''A''; if therefore ''A'' contains anything besides not-''B'' it is not a simple term; but if it is the same as not-''B'', it is not a simple term but is a term relative to ''B''. Now it is a simple term and therefore Some ''A'' is ''B''. Hence if we take any two simple terms and call one ''A'' and the other ''B'' we have:</p>
<p>In like manner, it is impossible to find any simple term. This is obvious from this consideration. If there is any simple term, simple terms are innumerable for in that case all attributes which are not simple are made up of simple attributes. Now none of these attributes can be affirmed or denied universally of whatever has any one. For let ''A'' be one simple term and ''B'' be another. Now suppose we can say All ''A'' is ''B''; then ''B'' is contained in ''A''. If, therefore, ''A'' contains anything but ''B'' it is a compound term, but ''A'' is different from ''B'', and is simple; hence it cannot be that All ''A'' is ''B''. Suppose No ''A'' is ''B'', then not-''B'' is contained in ''A''; if therefore ''A'' contains anything besides not-''B'' it is not a simple term; but if it is the same as not-''B'', it is not a simple term but is a term relative to ''B''. Now it is a simple term and therefore Some ''A'' is ''B''. Hence if we take any two simple terms and call one ''A'' and the other ''B'' we have:</p>
===Selection 12===
===Selection 12===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The moment, then, that we pass from nothing and the vacuity of being to any content or sphere, we come at once to a composite content and sphere. In fact, extension and comprehension — like space and time — are quantities which are not composed of ultimate elements; but every part however small is divisible.</p>
<p>The moment, then, that we pass from nothing and the vacuity of being to any content or sphere, we come at once to a composite content and sphere. In fact, extension and comprehension — like space and time — are quantities which are not composed of ultimate elements; but every part however small is divisible.</p>
===Selection 13===
===Selection 13===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>With me — the ''Sphere'' of a term is all the things we know that it applies to, or the disjunctive sum of the subjects to which it can be predicate in an affirmative subsumptive proposition. The ''content'' of a term is all the attributes it tells us, or the conjunctive sum of the predicates to which it can be made subject in a universal necessary proposition.</p>
<p>With me — the ''Sphere'' of a term is all the things we know that it applies to, or the disjunctive sum of the subjects to which it can be predicate in an affirmative subsumptive proposition. The ''content'' of a term is all the attributes it tells us, or the conjunctive sum of the predicates to which it can be made subject in a universal necessary proposition.</p>
===Selection 14===
===Selection 14===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
We come next to consider inductions. In inferences of this kind we proceed as if upon the principle that as is a sample of a class so is the whole class. The word ''class'' in this connection means nothing more than what is denoted by one term, — or in other words the sphere of a term. Whatever characters belong to the whole sphere of a term constitute the content of that term. Hence the principle of induction is that whatever can be predicated of a specimen of the sphere of a term is part of the content of that term. And what is a specimen? It is something taken from a class or the sphere of a term, at random — that is, not upon any further principle, not selected from a part of that sphere; in other words it is something taken from the sphere of a term and not taken as belonging to a narrower sphere. Hence the principle of induction is that whatever can be predicated of something taken as belonging to the sphere of a term is part of the content of that term. But this principle is not axiomatic by any means. Why then do we adopt it? (Peirce 1866, "Lowell Lecture 7", CE 1, 462–463).
We come next to consider inductions. In inferences of this kind we proceed as if upon the principle that as is a sample of a class so is the whole class. The word ''class'' in this connection means nothing more than what is denoted by one term, — or in other words the sphere of a term. Whatever characters belong to the whole sphere of a term constitute the content of that term. Hence the principle of induction is that whatever can be predicated of a specimen of the sphere of a term is part of the content of that term. And what is a specimen? It is something taken from a class or the sphere of a term, at random — that is, not upon any further principle, not selected from a part of that sphere; in other words it is something taken from the sphere of a term and not taken as belonging to a narrower sphere. Hence the principle of induction is that whatever can be predicated of something taken as belonging to the sphere of a term is part of the content of that term. But this principle is not axiomatic by any means. Why then do we adopt it? (Peirce 1866, "Lowell Lecture 7", CE 1, 462–463).
===Selection 15===
===Selection 15===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>To explain this, we must remember that the process of induction is a process of adding to our knowledge; it differs therein from deduction — which merely explicates what we know — and is on this very account called scientific inference. Now deduction rests as we have seen upon the inverse proportionality of the extension and comprehension of every term; and this principle makes it impossible apparently to proceed in the direction of ascent to universals. But a little reflection will show that when our knowledge receives an addition this principle does not hold.</p>
<p>To explain this, we must remember that the process of induction is a process of adding to our knowledge; it differs therein from deduction — which merely explicates what we know — and is on this very account called scientific inference. Now deduction rests as we have seen upon the inverse proportionality of the extension and comprehension of every term; and this principle makes it impossible apparently to proceed in the direction of ascent to universals. But a little reflection will show that when our knowledge receives an addition this principle does not hold.</p>
<p>Thus suppose a blind man to be told that no red things are blue. He has previously known only that red is a color; and that certain things ''A'', ''B'', and ''C'' are red.</p>
<p>Thus suppose a blind man to be told that no red things are blue. He has previously known only that red is a color; and that certain things ''A'', ''B'', and ''C'' are red.</p>
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
{|
{|
<p>But when he learns that no red thing is blue, ''non-blue'' is added to the comprehension of red, without the least diminution of its extension.</p>
<p>But when he learns that no red thing is blue, ''non-blue'' is added to the comprehension of red, without the least diminution of its extension.</p>
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
{|
{|
<p>For example we have here a number of circles dotted and undotted, crossed and uncrossed:</p>
<p>For example we have here a number of circles dotted and undotted, crossed and uncrossed:</p>
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<font face="courier new"><pre>
<font face="courier new"><pre>
<p>Here it is evident that the greater the extension the less the comprehension:</p>
<p>Here it is evident that the greater the extension the less the comprehension:</p>
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<font face="courier new"><pre>
<font face="courier new"><pre>
o-------------------o-------------------o
o-------------------o-------------------o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | |
| dotted` ` ` ` ` ` | 4 circles ` ` ` ` |
| dotted | 4 circles |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | |
o-------------------o-------------------o
o-------------------o-------------------o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | |
| dotted & crossed` | 2 circles ` ` ` ` |
| dotted & crossed | 2 circles |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | |
o-------------------o-------------------o
o-------------------o-------------------o
</pre></font>
</pre></font>
===Selection 16===
===Selection 16===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
Thus every increase in the number of equivalents of any term increases either its extension or comprehension and ''conversely''. It may be said that there are no equivalent terms in logic, since the only difference between such terms would be merely external and grammatical, while in logic terms which have the same meaning are identical. I fully admit that. Indeed, the process of getting an equivalent for a term is an identification of two terms previously diverse. It is, in fact, the process of nutrition of terms by which they get all their life and vigor and by which they put forth an energy almost creative — since it has the effect of reducing the chaos of ignorance to the cosmos of science. Each of these equivalents is the explication of what there is wrapt up in the primary — they are the surrogates, the interpreters of the original term. They are new bodies, animated by that same soul. I call them the ''interpretants'' of the term. And the quantity of these ''interpretants'', I term the ''information'' or ''implication'' of the term. (Peirce 1866, "Lowell Lecture 7", CE 1, 464–465).
Thus every increase in the number of equivalents of any term increases either its extension or comprehension and ''conversely''. It may be said that there are no equivalent terms in logic, since the only difference between such terms would be merely external and grammatical, while in logic terms which have the same meaning are identical. I fully admit that. Indeed, the process of getting an equivalent for a term is an identification of two terms previously diverse. It is, in fact, the process of nutrition of terms by which they get all their life and vigor and by which they put forth an energy almost creative — since it has the effect of reducing the chaos of ignorance to the cosmos of science. Each of these equivalents is the explication of what there is wrapt up in the primary — they are the surrogates, the interpreters of the original term. They are new bodies, animated by that same soul. I call them the ''interpretants'' of the term. And the quantity of these ''interpretants'', I term the ''information'' or ''implication'' of the term. (Peirce 1866, "Lowell Lecture 7", CE 1, 464–465).
|}
|}
===Selection 17===
===Selection 17===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>We must therefore modify the law of the inverse proportionality of extension and comprehension and instead of writing:</p>
<p>We must therefore modify the law of the inverse proportionality of extension and comprehension and instead of writing:</p>
===Selection 18===
===Selection 18===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>We are all, then, sufficiently familiar with the fact that many words have much implication; but I think we need to reflect upon the circumstance that every word implies some proposition or, what is the same thing, every word, concept, symbol has an equivalent term — or one which has become identified with it, — in short, has an ''interpretant''.</p>
<p>We are all, then, sufficiently familiar with the fact that many words have much implication; but I think we need to reflect upon the circumstance that every word implies some proposition or, what is the same thing, every word, concept, symbol has an equivalent term — or one which has become identified with it, — in short, has an ''interpretant''.</p>
If you dreamed that this inquiry had come full circle then I inform you of what you already know, that there are always greater circles. I revert to Peirce's Harvard University Lectures of the year before, to pick up additional background material and a bit more motivation.
If you dreamed that this inquiry had come full circle then I inform you of what you already know, that there are always greater circles. I revert to Peirce's Harvard University Lectures of the year before, to pick up additional background material and a bit more motivation.
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>We are already familiar with the distinction between the extension and comprehension of terms. A term has comprehension in virtue of having a meaning and has extension in virtue of being applicable to objects. The meaning of a term is called its ''connotation''; its applicability to things its ''denotation''. Every symbol ''denotes'' by ''connoting''. A representation which ''denotes'' without connoting is a mere ''sign''. If it ''connotes'' without thereby ''denoting'', it is a mere copy.</p>
<p>We are already familiar with the distinction between the extension and comprehension of terms. A term has comprehension in virtue of having a meaning and has extension in virtue of being applicable to objects. The meaning of a term is called its ''connotation''; its applicability to things its ''denotation''. Every symbol ''denotes'' by ''connoting''. A representation which ''denotes'' without connoting is a mere ''sign''. If it ''connotes'' without thereby ''denoting'', it is a mere copy.</p>
'''Nota Bene.''' In the Table below a label of the form ''XY'' indicates a premiss of a classical syllogism in which ''X'' is the subject and ''Y'' is the predicate. Also, I suspect that the Third Figure syllogism ought to be ''XY'' & ''XZ''.
'''Nota Bene.''' In the Table below a label of the form ''XY'' indicates a premiss of a classical syllogism in which ''X'' is the subject and ''Y'' is the predicate. Also, I suspect that the Third Figure syllogism ought to be ''XY'' & ''XZ''.
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>What we have to distinguish, therefore, is not so much the quantity of extension from the quantity of intension as it is the object of connotation from the object of denotation. In analytical judgments there is no denotation at all. In a synthetical judgment the subject is an object of denotation.</p>
<p>What we have to distinguish, therefore, is not so much the quantity of extension from the quantity of intension as it is the object of connotation from the object of denotation. In analytical judgments there is no denotation at all. In a synthetical judgment the subject is an object of denotation.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o---------------------o-----------------------o-----------------o
o---------------------o-----------------------o-----------------o
| ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
| | | |
| ` ` ` ` ` ` ` ` ` ` | ( ` `Subject: `O of C | ` ` ` ` ` ( `XY |
| | ( Subject: O of C | ( XY |
| Analytic` ` ` ` ` ` | < ` ` ` ` ` ` ` ` ` ` | 2nd Fig.` < ` ` |
| Analytic | < | 2nd Fig. < |
| ` ` ` ` ` ` ` ` ` ` | ( `Predicate: `O of C | ` ` ` ` ` ( `ZY |
| | ( Predicate: O of C | ( ZY |
| ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
| | | |
o---------------------o-----------------------o-----------------o
o---------------------o-----------------------o-----------------o
| ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
| | | |
| ` ` ` ` ` ` ` ` ` ` | ( ` `Subject: `O of D | ` ` ` ` ` ( `YX |
| | ( Subject: O of D | ( YX |
| Synthetic Intensive | < ` ` ` ` ` ` ` ` ` ` | 1st Fig.` < ` ` |
| Synthetic Intensive | < | 1st Fig. < |
| ` ` ` ` ` ` ` ` ` ` | ( `Predicate: `O of C | ` ` ` ` ` ( `ZY |
| | ( Predicate: O of C | ( ZY |
| ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
| | | |
o---------------------o-----------------------o-----------------o
o---------------------o-----------------------o-----------------o
| ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
| | | |
| ` ` ` ` ` ` ` ` ` ` | ( ` `Subject: `O of D | ` ` ` ` ` ( `YX |
| | ( Subject: O of D | ( YX |
| Extensive ` ` ` ` ` | < ` ` ` ` ` ` ` ` ` ` | 3rd Fig.` < ` ` |
| Extensive | < | 3rd Fig. < |
| ` ` ` ` ` ` ` ` ` ` | ( `Predicate: `O of D | ` ` ` ` ` ( `ZX |
| | ( Predicate: O of D | ( ZX |
| ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` |
| | | |
o---------------------o-----------------------o-----------------o
o---------------------o-----------------------o-----------------o
</pre></font>
</pre></font>
===Selection 20===
===Selection 20===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>We come now to an objection to the division of propositions which I have just given which will require us to examine the matter somewhat more deeply. It may be said: the copula in all cases establishes an identity between two terms. Hence as in one of the propositions the object of denotation is the subject and the object of connotation the predicate, these two objects are identical and hence the division into three kinds is a distinction without a difference.</p>
<p>We come now to an objection to the division of propositions which I have just given which will require us to examine the matter somewhat more deeply. It may be said: the copula in all cases establishes an identity between two terms. Hence as in one of the propositions the object of denotation is the subject and the object of connotation the predicate, these two objects are identical and hence the division into three kinds is a distinction without a difference.</p>
===Selection 21===
===Selection 21===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Every symbol may be said in three different senses to be determined by its ''object'', its ''equivalent representation'', and its ''logos''. It stands for its ''object'', it translates its ''equivalent representation'', it realizes its ''logos''.</p>
<p>Every symbol may be said in three different senses to be determined by its ''object'', its ''equivalent representation'', and its ''logos''. It stands for its ''object'', it translates its ''equivalent representation'', it realizes its ''logos''.</p>
===Selection 22===
===Selection 22===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>But since the object contains three elements, thing, image, form, we ought to have another kind of object besides the denotative and connotative. What is this?</p>
<p>But since the object contains three elements, thing, image, form, we ought to have another kind of object besides the denotative and connotative. What is this?</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
man
___________________|___________________
/ \
man risible man non-risible
</pre></font>
</pre></font>
===Selection 23===
===Selection 23===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Thus the process of information disturbs the relations of extension and comprehension for a moment and the class which results from the equivalence of two others has a greater intension than one and a greater extension than the other. Hence, we may conveniently alter the formula for the relations of extension and comprehension; thus, instead of saying that one is the reciprocal of the other, or:</p>
<p>Thus the process of information disturbs the relations of extension and comprehension for a moment and the class which results from the equivalence of two others has a greater intension than one and a greater extension than the other. Hence, we may conveniently alter the formula for the relations of extension and comprehension; thus, instead of saying that one is the reciprocal of the other, or:</p>
===Selection 24===
===Selection 24===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Abstract words such as ''truth'', ''honor'', by the way, are somewhat difficult to understand. It seems to me that they are simply fictions. Every word must denote some ''thing''; these are names for certain fictitious things which are supposed for the purpose of indicating that the object of a concrete term is meant as it would be did it contain either no information or a certain amount of information. Thus "charity is a virtue" means "What is charitable is virtuous — by the definition of charity and not by reason of what is known about it". Hence, only analytical propositions are possible of abstract terms; and on this account they are peculiarly useful in metaphysics where the question is what can we know without any information. (Peirce 1865, "Harvard Lecture 10. Grounds of Induction", CE 1, 276–277).
Abstract words such as ''truth'', ''honor'', by the way, are somewhat difficult to understand. It seems to me that they are simply fictions. Every word must denote some ''thing''; these are names for certain fictitious things which are supposed for the purpose of indicating that the object of a concrete term is meant as it would be did it contain either no information or a certain amount of information. Thus "charity is a virtue" means "What is charitable is virtuous — by the definition of charity and not by reason of what is known about it". Hence, only analytical propositions are possible of abstract terms; and on this account they are peculiarly useful in metaphysics where the question is what can we know without any information. (Peirce 1865, "Harvard Lecture 10. Grounds of Induction", CE 1, 276–277).
===Selection 25===
===Selection 25===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Coming back now to propositions, we should first remark that just as the framing of a term is a process of symbolization so also is the framing of a proposition. No proposition is supposed to leave its terms as it finds them. Some symbol is determined by every proposition. Hence, since symbols are determined by their objects; and there are three objects of symbols, the connotative, denotative, informative; it follows that there will be three kinds of propositions, such as alter the denotation, the information, and the connotation of their terms respectively. But when information is determined both connotation and information [— perhaps "denotation" ?] are determined; hence the three kinds will be 1st Such as determine connotation, 2nd Such as determine denotation, 3rd Such as determine both denotation and connotation. (Peirce 1865, "Harvard Lecture 10. Grounds of Induction", CE 1, 277).
Coming back now to propositions, we should first remark that just as the framing of a term is a process of symbolization so also is the framing of a proposition. No proposition is supposed to leave its terms as it finds them. Some symbol is determined by every proposition. Hence, since symbols are determined by their objects; and there are three objects of symbols, the connotative, denotative, informative; it follows that there will be three kinds of propositions, such as alter the denotation, the information, and the connotation of their terms respectively. But when information is determined both connotation and information [— perhaps "denotation" ?] are determined; hence the three kinds will be 1st Such as determine connotation, 2nd Such as determine denotation, 3rd Such as determine both denotation and connotation. (Peirce 1865, "Harvard Lecture 10. Grounds of Induction", CE 1, 277).
===Selection 26===
===Selection 26===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The difference between connotation, denotation, and information supplies the basis for another division of terms and propositions; a division which is related to the one we have just considered in precisely the same way as the division of syllogism into 3 figures is related to the division into Deduction, Induction, and Hypothesis. Every symbol which has connotation and denotation has also information. For by the denotative character of a symbol, I understand application to objects implied in the symbol itself. The existence therefore of objects of a certain kind is implied in every connotative denotative symbol; and this is information.</p>
<p>The difference between connotation, denotation, and information supplies the basis for another division of terms and propositions; a division which is related to the one we have just considered in precisely the same way as the division of syllogism into 3 figures is related to the division into Deduction, Induction, and Hypothesis. Every symbol which has connotation and denotation has also information. For by the denotative character of a symbol, I understand application to objects implied in the symbol itself. The existence therefore of objects of a certain kind is implied in every connotative denotative symbol; and this is information.</p>
===Selection 27===
===Selection 27===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>We are now in a condition to discuss the question of the grounds of scientific inference. The problem naturally divides itself into parts: 1st To state and prove the principles upon which the possibility in general of each kind of inference depends, 2nd To state and prove the rules for making inferences in particular cases.</p>
<p>We are now in a condition to discuss the question of the grounds of scientific inference. The problem naturally divides itself into parts: 1st To state and prove the principles upon which the possibility in general of each kind of inference depends, 2nd To state and prove the rules for making inferences in particular cases.</p>
===Selection 28===
===Selection 28===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
But there are three distinct kinds of inference; inconvertible and different in their conception. There must, therefore, be three different principles to serve for their grounds. These three principles must also be indemonstrable; that is to say, each of them so far as it can be proved must be proved by means of that kind of inference of which it is the ground. For if the principle of either kind of inference were proved by another kind of inference, the former kind of inference would be reduced to the latter; and since the different kinds of inference are in all respects different this cannot be. You will say that it is no proof of these principles at all to support them by that which they themselves support. But I take it for granted at the outset, as I said at the beginning of my first lecture, that induction and hypothesis have their own validity. The question before us is ''why'' they are valid. The principles, therefore, of which we are in search, are not to be used to prove that the three kinds of inference are valid, but only to show how they come to be valid, and the proof of them consists in showing that they determine the validity of the three kinds of inference. (Peirce 1865, "Harvard Lecture 10. Grounds of Induction", CE 1, 280).</p>
But there are three distinct kinds of inference; inconvertible and different in their conception. There must, therefore, be three different principles to serve for their grounds. These three principles must also be indemonstrable; that is to say, each of them so far as it can be proved must be proved by means of that kind of inference of which it is the ground. For if the principle of either kind of inference were proved by another kind of inference, the former kind of inference would be reduced to the latter; and since the different kinds of inference are in all respects different this cannot be. You will say that it is no proof of these principles at all to support them by that which they themselves support. But I take it for granted at the outset, as I said at the beginning of my first lecture, that induction and hypothesis have their own validity. The question before us is ''why'' they are valid. The principles, therefore, of which we are in search, are not to be used to prove that the three kinds of inference are valid, but only to show how they come to be valid, and the proof of them consists in showing that they determine the validity of the three kinds of inference. (Peirce 1865, "Harvard Lecture 10. Grounds of Induction", CE 1, 280).</p>
===Selection 29===
===Selection 29===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>But these three principles must have this in common that they refer to ''symbolization'' for they are principles of inference which is symbolization. As grounds of the possibility of inference they must refer to the possibility of symbolization or symbolizability. And as logical principles they must relate to the reference of symbols to objects; for logic has been defined as the science of the general conditions of the relations of symbols to objects. But as three different principles they must state three different relations of symbols to objects. Now we have already found that a symbol has three different relations of objects; namely connotation, denotation, and information which are its relations to the object considered as a thing, a form, and an equivalent representation. Hence, it is obvious that these three principles must relate to the symbolizability of things, of forms, and of symbols.</p>
<p>But these three principles must have this in common that they refer to ''symbolization'' for they are principles of inference which is symbolization. As grounds of the possibility of inference they must refer to the possibility of symbolization or symbolizability. And as logical principles they must relate to the reference of symbols to objects; for logic has been defined as the science of the general conditions of the relations of symbols to objects. But as three different principles they must state three different relations of symbols to objects. Now we have already found that a symbol has three different relations of objects; namely connotation, denotation, and information which are its relations to the object considered as a thing, a form, and an equivalent representation. Hence, it is obvious that these three principles must relate to the symbolizability of things, of forms, and of symbols.</p>
===Selection 30===
===Selection 30===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Our next business is to find which is which. For this purpose we must consider that each principle is to be proved by the kind of inference which it supports.</p>
<p>Our next business is to find which is which. For this purpose we must consider that each principle is to be proved by the kind of inference which it supports.</p>
===Selection 31===
===Selection 31===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>All these principles must as principles be universal. Hence they are as follows:—</p>
<p>All these principles must as principles be universal. Hence they are as follows:—</p>
===Selection 32===
===Selection 32===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Thus the three grounds of inference are proved. All have been made certain. But the manner in which they have attained to certainty indicates a very different general strength of the three kinds of inference.</p>
<p>Thus the three grounds of inference are proved. All have been made certain. But the manner in which they have attained to certainty indicates a very different general strength of the three kinds of inference.</p>
===Selection 33===
===Selection 33===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In every induction we have given some remarkable fact or piece of information:</p>
<p>In every induction we have given some remarkable fact or piece of information:</p>
===Selection 34===
===Selection 34===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In the case of hypothesis we have given some remarkable state of things:</p>
<p>In the case of hypothesis we have given some remarkable state of things:</p>
===Selection 35===
===Selection 35===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The last lecture was devoted to the fundamental inquiry of the whole course, that of the grounds of inference.</p>
<p>The last lecture was devoted to the fundamental inquiry of the whole course, that of the grounds of inference.</p>
===Selection 36===
===Selection 36===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>There are certain pseudo-symbols which are formed by combinations of symbols, and which must therefore be considered in logic, which lack either denotation or connotation. Thus, ''cats and stoves'' is a symbol wanting in connotation because it does not purport to relate to any definite quality. ''Tailed men'' wants denotation; for though it implies that there are men and that there are tailed things, it does not deny that these classes are mutually exclusive. All such terms are totally wanting in ''information''.</p>
<p>There are certain pseudo-symbols which are formed by combinations of symbols, and which must therefore be considered in logic, which lack either denotation or connotation. Thus, ''cats and stoves'' is a symbol wanting in connotation because it does not purport to relate to any definite quality. ''Tailed men'' wants denotation; for though it implies that there are men and that there are tailed things, it does not deny that these classes are mutually exclusive. All such terms are totally wanting in ''information''.</p>
===Selection 37===
===Selection 37===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The difference between subject and predicate was also considered in the last lecture. The subject is usually defined as the term determined by the proposition, but as the predicates of ''A'', ''E'', and ''I'' are also determined, this definition is inadequate. We were led to substitute for it the following:—</p>
<p>The difference between subject and predicate was also considered in the last lecture. The subject is usually defined as the term determined by the proposition, but as the predicates of ''A'', ''E'', and ''I'' are also determined, this definition is inadequate. We were led to substitute for it the following:—</p>
===Selection 38===
===Selection 38===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Having thus far established:</p>
<p>Having thus far established:</p>
Peirce continues his remarks on the problem of the grounds of inference:
Peirce continues his remarks on the problem of the grounds of inference:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In the first place with reference to the nature of the problem itself. It is not required to prove that deduction, induction, or hypothesis are valid. On the contrary, they are to be accepted as conditions of thought. It had been shown in previous lectures that they are so. Nor was a mode of calculating the probability of an induction or hypothesis now demanded; this being a merely subsidiary problem at best and one which may for ought we could yet see, be absurd. What we now wanted was an articulate statement and a satisfactory demonstration of those transcendental laws which give rise to the possibility of each kind of inference.</p>
<p>In the first place with reference to the nature of the problem itself. It is not required to prove that deduction, induction, or hypothesis are valid. On the contrary, they are to be accepted as conditions of thought. It had been shown in previous lectures that they are so. Nor was a mode of calculating the probability of an induction or hypothesis now demanded; this being a merely subsidiary problem at best and one which may for ought we could yet see, be absurd. What we now wanted was an articulate statement and a satisfactory demonstration of those transcendental laws which give rise to the possibility of each kind of inference.</p>
===Selection 40===
===Selection 40===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Each ground-principle must be proved entirely by that same kind of inference which it supports. But we cannot arrive at any conclusion by mere deduction except about symbols. We cannot arrive at any conclusion by mere induction except about things. And we cannot arrive at any conclusion by mere hypothesis except about forms.</p>
<p>Each ground-principle must be proved entirely by that same kind of inference which it supports. But we cannot arrive at any conclusion by mere deduction except about symbols. We cannot arrive at any conclusion by mere induction except about things. And we cannot arrive at any conclusion by mere hypothesis except about forms.</p>
===Selection 41===
===Selection 41===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Every induction, then, and every hypothesis yields a certain amount of truth.</p>
<p>Every induction, then, and every hypothesis yields a certain amount of truth.</p>
===Selection 42===
===Selection 42===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In this way truth is measured upon a scale of numbers from ''one'' to ''infinity''. And thus we cannot measure the ratio of the truth to the falsehood but only the ratio between the pregnancy of two sets of facts. Of any particular conclusion therefore we can only judge by ascertaining by further experience whether it can be improved. But the comparative usefulness of the facts upon which it proceeds may be estimated with an approach to precision.</p>
<p>In this way truth is measured upon a scale of numbers from ''one'' to ''infinity''. And thus we cannot measure the ratio of the truth to the falsehood but only the ratio between the pregnancy of two sets of facts. Of any particular conclusion therefore we can only judge by ascertaining by further experience whether it can be improved. But the comparative usefulness of the facts upon which it proceeds may be estimated with an approach to precision.</p>
===Selection 43===
===Selection 43===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>I fear I have wearied you in these lectures by dwelling so much upon merely logical forms. But to the pupil of Kant as to the pupil of Aristotle the Analytic of Logic is the foundation of Metaphysics. We find ourselves in all our discourse taking certain points for granted which we cannot have observed. The question therefore is what may we take for granted independent of all experience. The answer to this is metaphysics. But it is plain that we can thus take for granted only what is involved in logical forms. Hence, the necessity of studying these forms. In these lectures, one set of Logical forms has been pretty thoroughly studied; that of Hypothesis, Deduction, Induction. Another set has been partly studied, that of Denotation, Information, Connotation.</p>
<p>I fear I have wearied you in these lectures by dwelling so much upon merely logical forms. But to the pupil of Kant as to the pupil of Aristotle the Analytic of Logic is the foundation of Metaphysics. We find ourselves in all our discourse taking certain points for granted which we cannot have observed. The question therefore is what may we take for granted independent of all experience. The answer to this is metaphysics. But it is plain that we can thus take for granted only what is involved in logical forms. Hence, the necessity of studying these forms. In these lectures, one set of Logical forms has been pretty thoroughly studied; that of Hypothesis, Deduction, Induction. Another set has been partly studied, that of Denotation, Information, Connotation.</p>
===Anthematic Note 1===
===Anthematic Note 1===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Each man has his own peculiar character. It enters into all he does. It is in his consciousness and not a mere mechanical trick, and therefore it is by the principles of the last lecture a cognition; but as it enters into all his cognition, it is a cognition of ''things in general''. It is therefore the man's philosophy, his way of regarding things; not a philosophy of the head alone — but one which pervades the whole man. This idiosyncrasy is the idea of the man, and if this idea is true he lives forever; if false, his individual soul has but a contingent existence. (Peirce 1866, CE 1, 501).
Each man has his own peculiar character. It enters into all he does. It is in his consciousness and not a mere mechanical trick, and therefore it is by the principles of the last lecture a cognition; but as it enters into all his cognition, it is a cognition of ''things in general''. It is therefore the man's philosophy, his way of regarding things; not a philosophy of the head alone — but one which pervades the whole man. This idiosyncrasy is the idea of the man, and if this idea is true he lives forever; if false, his individual soul has but a contingent existence. (Peirce 1866, CE 1, 501).
===Anthematic Note 2===
===Anthematic Note 2===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
That the idiosyncrasy of a man — his peculiar character — is his peculiar philosophy, is best seen in the earliest stages of its formation before those complications have been developed which render it difficult to seize upon it. The cunning speeches of children just as they begin to talk often startle one by their philosophical nature. The drawer of ''Harper's Magazine'' has been filled for years with the sayings of "our three year old" — who seems blessed with perennial three-year-old-ness — but if all these stories are true, they are very valuable as showing the character of the childish mind in general, and particularly the philosophical tendencies of children. I shall not trouble you with the recitation of any of these funny stories — they are stale and therefore flat; but I will mention a case, which has nothing laughable in it — but which illustrates remarkably well how the peculiar differences of men are differences of philosophian method. (Peirce 1866, CE 1, 501).
That the idiosyncrasy of a man — his peculiar character — is his peculiar philosophy, is best seen in the earliest stages of its formation before those complications have been developed which render it difficult to seize upon it. The cunning speeches of children just as they begin to talk often startle one by their philosophical nature. The drawer of ''Harper's Magazine'' has been filled for years with the sayings of "our three year old" — who seems blessed with perennial three-year-old-ness — but if all these stories are true, they are very valuable as showing the character of the childish mind in general, and particularly the philosophical tendencies of children. I shall not trouble you with the recitation of any of these funny stories — they are stale and therefore flat; but I will mention a case, which has nothing laughable in it — but which illustrates remarkably well how the peculiar differences of men are differences of philosophian method. (Peirce 1866, CE 1, 501).
===Anthematic Note 3===
===Anthematic Note 3===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
A certain child who is rather backward in learning to speak, — not from dullness, but from a want of aptitude in imitating the words which it hears, — has got to use three words only; and what are these? ''Name'', ''story'', and ''matter''. He says ''name'' when he wishes to know the name of a person or thing; ''story'' when he wishes to hear a narration or description; and ''matter'' — a highly abstract and philosophical term — when he wishes to be acquainted with the cause of anything. ''Name'', ''story'', and ''matter'', therefore, make the foundation of this child's philosophy. What a wonderful thing that his individuality should have been shown so strongly, at that age, in selecting those three words out of all the equally common ones which he heard about him. Already he has made his list of categories, which is the principal part of any philosophy. (Peirce 1866, CE 1, 501).
A certain child who is rather backward in learning to speak, — not from dullness, but from a want of aptitude in imitating the words which it hears, — has got to use three words only; and what are these? ''Name'', ''story'', and ''matter''. He says ''name'' when he wishes to know the name of a person or thing; ''story'' when he wishes to hear a narration or description; and ''matter'' — a highly abstract and philosophical term — when he wishes to be acquainted with the cause of anything. ''Name'', ''story'', and ''matter'', therefore, make the foundation of this child's philosophy. What a wonderful thing that his individuality should have been shown so strongly, at that age, in selecting those three words out of all the equally common ones which he heard about him. Already he has made his list of categories, which is the principal part of any philosophy. (Peirce 1866, CE 1, 501).
===Anthematic Note 4===
===Anthematic Note 4===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Constantly, in using these words, this philosophy becomes more and more impressed upon him until, when he arrives at maturity of intellect, he may be able to show that it is a profound and legitimate classification. Tell me a man's ''name'', his ''story'', and his ''matter'' or character; and I know about all there is to know of him. Aristotle says there are two questions to be asked concerning anything: the ''oti'' and the ''dioti'', the ''what'' and the ''why'' — the account of premisses and the rational account or explanation; or as this child would say the 'story' and the ''matter''; but Aristotle has not noticed that previous to either of these questions must come the fixing of the attention upon the object — the determination of the mind to it as an object — and the demand for this determination is asking for its ''name''. Here we have therefore in this child, a philosophy which furnishes an emendation upon the mighty Aristotle — the leader of the thought of ages, the prince of philosophers. (Peirce 1866, CE 1, 501–502).
Constantly, in using these words, this philosophy becomes more and more impressed upon him until, when he arrives at maturity of intellect, he may be able to show that it is a profound and legitimate classification. Tell me a man's ''name'', his ''story'', and his ''matter'' or character; and I know about all there is to know of him. Aristotle says there are two questions to be asked concerning anything: the ''oti'' and the ''dioti'', the ''what'' and the ''why'' — the account of premisses and the rational account or explanation; or as this child would say the 'story' and the ''matter''; but Aristotle has not noticed that previous to either of these questions must come the fixing of the attention upon the object — the determination of the mind to it as an object — and the demand for this determination is asking for its ''name''. Here we have therefore in this child, a philosophy which furnishes an emendation upon the mighty Aristotle — the leader of the thought of ages, the prince of philosophers. (Peirce 1866, CE 1, 501–502).
===Anthematic Note 5===
===Anthematic Note 5===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
But why should I presume to expound that soul's philosophy; could I enter fully into it he would have no private personality — he would not be the mysterious Island that every soul is to every other. No, I dare not attempt to fathom the awful depths of that child's possibilities; when he grows up, in some way and to some degree he will manifest his character, his philosophy; then we can judge as much of it as we can see, but its intrinsic worth we never can judge; it is hid forever in the bosom of its God. (Peirce 1866, CE 1, 502).
But why should I presume to expound that soul's philosophy; could I enter fully into it he would have no private personality — he would not be the mysterious Island that every soul is to every other. No, I dare not attempt to fathom the awful depths of that child's possibilities; when he grows up, in some way and to some degree he will manifest his character, his philosophy; then we can judge as much of it as we can see, but its intrinsic worth we never can judge; it is hid forever in the bosom of its God. (Peirce 1866, CE 1, 502).
===Anthematic Note 6===
===Anthematic Note 6===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In dialectica autem vestra nullam existimavit esse nec ad melius vivendum nec ad commodius disserendum viam.</p>
<p>In dialectica autem vestra nullam existimavit esse nec ad melius vivendum nec ad commodius disserendum viam.</p>
|}
|}
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Who hath learnt any wit or understanding in Logique? Where are her faire promises? Nec ad melius vivendum, nec ad commodius disserendum: Neither to live better nor to dispute fitter.</p>
<p>Who hath learnt any wit or understanding in Logique? Where are her faire promises? Nec ad melius vivendum, nec ad commodius disserendum: Neither to live better nor to dispute fitter.</p>
|}
|}
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Gentlemen and ladies, I announce to you this theory of immortality for the first time. It is poorly said, poorly thought; but its foundation is the rock of truth. And at least it will serve to illustrate what use might be made by mightier hands of this reviled science, logic, ''nec ad melius vivendum, nec ad commodius disserendum''. (Peirce 1866, CE 1, page 502).
Gentlemen and ladies, I announce to you this theory of immortality for the first time. It is poorly said, poorly thought; but its foundation is the rock of truth. And at least it will serve to illustrate what use might be made by mightier hands of this reviled science, logic, ''nec ad melius vivendum, nec ad commodius disserendum''. (Peirce 1866, CE 1, page 502).
===Incidental Note 4===
===Incidental Note 4===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The Critique Of Pure Reason</p>
<p>The Critique Of Pure Reason</p>
No, I mean *really, really* irritating doubts ...
No, I mean *really, really* irritating doubts ...
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The precursors of hatred arise from the infant's response to what William James (1890) called the "booming buzzing confusion" that assaults the infant's sensorium at perception's birth. The "stranger anxiety" evident as early as eight months indicates that the mental capacity to perceive differences in objects and to organize subjective psychic forces has already begun. Freud (1915) tells us that "hate, as a relation to objects, is older than love" (p. 139). Freud continues, "As an expression of the reaction of unpleasure evoked by objects, it always remains in an intimate relation with the self-preservative instincts; so that sexual and ego-instincts can readily develop an antithesis which repeats that of love and hate".</p>
<p>The precursors of hatred arise from the infant's response to what William James (1890) called the "booming buzzing confusion" that assaults the infant's sensorium at perception's birth. The "stranger anxiety" evident as early as eight months indicates that the mental capacity to perceive differences in objects and to organize subjective psychic forces has already begun. Freud (1915) tells us that "hate, as a relation to objects, is older than love" (p. 139). Freud continues, "As an expression of the reaction of unpleasure evoked by objects, it always remains in an intimate relation with the self-preservative instincts; so that sexual and ego-instincts can readily develop an antithesis which repeats that of love and hate".</p>
Ah Bartleby! Ah Humanity!
Ah Bartleby! Ah Humanity!
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>At first Bartleby did an extraordinary quantity of writing. As if long famishing for something to copy, he seemed to gorge himself on my documents. There was no pause for digestion. He ran a day and night line, copying by sun-light and by candle-light. I should have been quite delighted with his application, had he been cheerfully industrious. But he wrote on silently, palely, mechanically.</p>
<p>At first Bartleby did an extraordinary quantity of writing. As if long famishing for something to copy, he seemed to gorge himself on my documents. There was no pause for digestion. He ran a day and night line, copying by sun-light and by candle-light. I should have been quite delighted with his application, had he been cheerfully industrious. But he wrote on silently, palely, mechanically.</p>
Very often the reason that one is interested in these varieties of fibers under a given function is so that one can follow them "upstream" or "backward", functionally speaking, in other words, toward the "source" of the functional value under investigation. That leads rather naturally to the other mathematical usage for the word "fiber" that I have in mind. Here are the definitions as I formulated them in my dissertation proposal:
Very often the reason that one is interested in these varieties of fibers under a given function is so that one can follow them "upstream" or "backward", functionally speaking, in other words, toward the "source" of the functional value under investigation. That leads rather naturally to the other mathematical usage for the word "fiber" that I have in mind. Here are the definitions as I formulated them in my dissertation proposal:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The "fiber" of a codomain element y in Y under a function f : X -> Y is the subset of the domain X that is mapped onto y, in short, it is f^(-1)(y) c X.</p>
<p>The "fiber" of a codomain element y in Y under a function f : X -> Y is the subset of the domain X that is mapped onto y, in short, it is f^(-1)(y) c X.</p>
Just by way of introducing a few bits of useful terminology, I take the liberty of expressing the following observations:
Just by way of introducing a few bits of useful terminology, I take the liberty of expressing the following observations:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
{|
{|
===Incidental Note 13===
===Incidental Note 13===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
'''Comprehension.''' The sum of characteristics which connote a class notion symbolized by a general term. Also, the features common to a number of instances or objects. Thus, the ''connotation'' (''qv'') or ''intension'' (''qv'') of a concept. (Otto F. Kraushaar, in D.D. Runes (ed.) ''Dictionary of Philosophy'', 1962).
'''Comprehension.''' The sum of characteristics which connote a class notion symbolized by a general term. Also, the features common to a number of instances or objects. Thus, the ''connotation'' (''qv'') or ''intension'' (''qv'') of a concept. (Otto F. Kraushaar, in D.D. Runes (ed.) ''Dictionary of Philosophy'', 1962).
Peirce's incipient theory of information, that he appears to have developed by sheer force of logical insight from his early understanding of signs and scientific inquiry, is not an easy subject to grasp in its developing state. An attempt to follow his reasoning step by step might well begin with this:
Peirce's incipient theory of information, that he appears to have developed by sheer force of logical insight from his early understanding of signs and scientific inquiry, is not an easy subject to grasp in its developing state. An attempt to follow his reasoning step by step might well begin with this:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Let us now return to the information.</p>
<p>Let us now return to the information.</p>
===Commentary Note 2===
===Commentary Note 2===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>For instance, you and I are men because we possess those attributes — having two legs, being rational, &c. — which make up the comprehension of ''man''. Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the information instead.</p>
<p>For instance, you and I are men because we possess those attributes — having two legs, being rational, &c. — which make up the comprehension of ''man''. Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the information instead.</p>
===Commentary Note 3===
===Commentary Note 3===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Thus information measures the superfluous comprehension. And, hence, whenever we make a symbol to express any thing or any attribute we cannot make it so empty that it shall have no superfluous comprehension. I am going, next, to show that inference is symbolization and that the puzzle of the validity of scientific inference lies merely in this superfluous comprehension and is therefore entirely removed by a consideration of the laws of ''information''.
Thus information measures the superfluous comprehension. And, hence, whenever we make a symbol to express any thing or any attribute we cannot make it so empty that it shall have no superfluous comprehension. I am going, next, to show that inference is symbolization and that the puzzle of the validity of scientific inference lies merely in this superfluous comprehension and is therefore entirely removed by a consideration of the laws of ''information''.
===Commentary Note 4===
===Commentary Note 4===
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>For this purpose, I must call your attention to the differences there are in the manner in which different representations stand for their objects.</p>
<p>For this purpose, I must call your attention to the differences there are in the manner in which different representations stand for their objects.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` Objective Framework ` ` | ` Interpretive Framework` ` |
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `t_1` t_2 `...` t_5 `t_6` ` |
| t_1 t_2 ... t_5 t_6 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` `o` ` ` ` `o` ` o ` ` |
| o o o o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` * ` * ` ` ` * ` * ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` * `*` ` `*` * ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` * * ` * * ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` **`** ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` z o ` ` ` ` ` ` ` |
| z o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |\` ` ` ` ` ` ` |
| |\ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | \ `Rule ` ` ` |
| | \ Rule |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | `\ y=>z ` ` ` |
| | \ y=>z |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` \ ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `Fact | ` `\` ` ` ` ` |
| Fact | \ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `x=>z | ` ` o y ` ` ` |
| x=>z | o y |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` `/` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` / ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | `/ Case ` ` ` |
| | / Case |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | / `x=>y ` ` ` |
| | / x=>y |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |/` ` ` ` ` ` ` |
| |/ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` x o ` ` ` ` ` ` ` |
| x o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Conjunctive Predicate z, Abduction to the Case x => y ` ` |
| Conjunctive Predicate z, Abduction to the Case x => y |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| !S! `=` !I! `=` {t_1, t_2, t_3, t_4, t_5, t_6, x, y, z} ` |
| !S! = !I! = {t_1, t_2, t_3, t_4, t_5, t_6, x, y, z} |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| t_1 `=` "spherical" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_1 = "spherical" |
| t_2 `=` "bright"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_2 = "bright" |
| t_3 `=` "fragrant"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_3 = "fragrant" |
| t_4 `=` "juicy" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_4 = "juicy" |
| t_5 `=` "tropical"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_5 = "tropical" |
| t_6 `=` "fruit" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| t_6 = "fruit" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| x ` `=` "subject" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| x = "subject" |
| y ` `=` "orange"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| y = "orange" |
| z ` `=` "spherical bright fragrant juicy tropical fruit"` |
| z = "spherical bright fragrant juicy tropical fruit" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre></font>
</pre></font>
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>A similar line of thought may be gone through in reference to hypothesis. In this case we must start with the consideration of the term:</p>
<p>A similar line of thought may be gone through in reference to hypothesis. In this case we must start with the consideration of the term:</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` Objective Framework ` ` | ` Interpretive Framework` ` |
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` w o ` ` ` ` ` ` ` |
| w o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |\` ` ` ` ` ` ` |
| |\ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | \ `Rule ` ` ` |
| | \ Rule |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | `\ v=>w ` ` ` |
| | \ v=>w |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` \ ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `Fact | ` `\` ` ` ` ` |
| Fact | \ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `u=>w | ` ` o v ` ` ` |
| u=>w | o v |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` `/` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` / ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | `/ Case ` ` ` |
| | / Case |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | / `u=>v ` ` ` |
| | / u=>v |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |/` ` ` ` ` ` ` |
| |/ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` u o ` ` ` ` ` ` ` |
| u o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` **`** ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` * * ` * * ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` * `*` ` `*` * ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` * ` * ` ` ` * ` * ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` o ` `o` ` ` ` `o` ` o ` ` |
| o o o o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `s_1` s_2 ` ` ` s_3 `s_4` ` |
| s_1 s_2 s_3 s_4 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Disjunctive Subject u, Induction to the Rule v => w ` ` ` |
| Disjunctive Subject u, Induction to the Rule v => w |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| !S! `=` !I! `=` {s_1, s_2, s_3, s_4, u, v, w} ` ` ` ` ` ` |
| !S! = !I! = {s_1, s_2, s_3, s_4, u, v, w} |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| s_1 `=` "neat"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| s_1 = "neat" |
| s_2 `=` "swine" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| s_2 = "swine" |
| s_3 `=` "sheep" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| s_3 = "sheep" |
| s_4 `=` "deer"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| s_4 = "deer" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| u ` `=` "neat or swine or sheep or deer"` ` ` ` ` ` ` ` ` |
| u = "neat or swine or sheep or deer" |
| v ` `=` "cloven-hoofed" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| v = "cloven-hoofed" |
| w ` `=` "herbivorous" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| w = "herbivorous" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre></font>
</pre></font>
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Hence if we find out that neat are herbivorous, swine are herbivorous, sheep are herbivorous, and deer are herbivorous; we may be sure that there is some class of animals which covers all these, all the members of which are herbivorous. Now a disjunctive term — such as "neat swine sheep and deer", or "man, horse, kangaroo, and whale" — is not a true symbol. It does not denote what it does in consequence of its connotation, as a symbol does; on the contrary, no part of its connotation goes at all to determine what it denotes — it is in that respect a mere accident if it denote anything. Its ''sphere'' is determined by the concurrence of the four members, man, horse, kangaroo, and whale, or neat swine sheep and deer as the case may be. Peirce, CE 1, 468-469).
Hence if we find out that neat are herbivorous, swine are herbivorous, sheep are herbivorous, and deer are herbivorous; we may be sure that there is some class of animals which covers all these, all the members of which are herbivorous. Now a disjunctive term — such as "neat swine sheep and deer", or "man, horse, kangaroo, and whale" — is not a true symbol. It does not denote what it does in consequence of its connotation, as a symbol does; on the contrary, no part of its connotation goes at all to determine what it denotes — it is in that respect a mere accident if it denote anything. Its ''sphere'' is determined by the concurrence of the four members, man, horse, kangaroo, and whale, or neat swine sheep and deer as the case may be. Peirce, CE 1, 468-469).
'''Passage 1'''
'''Passage 1'''
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>It is important to distinguish between the two functions of a word: 1st to denote something — to stand for something, and 2nd to mean something — or as Mr. Mill phrases it — to ''connote'' something.</p>
<p>It is important to distinguish between the two functions of a word: 1st to denote something — to stand for something, and 2nd to mean something — or as Mr. Mill phrases it — to ''connote'' something.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `What is 'denoted'` ` ` ` ` | `What is 'connoted' ` ` ` ` |
| What is 'denoted' | What is 'connoted' |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `Sphere ` ` ` ` ` ` ` ` ` ` | `Content` ` ` ` ` ` ` ` ` ` |
| Sphere | Content |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `Extension` ` ` ` ` ` ` ` ` | `Comprehension` ` ` ` ` ` ` |
| Extension | Comprehension |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| ` ` ` ` ` ( wider ` ` ` ` ` | ` ` ` ` ( lower ` ` ` ` ` ` |
| ( wider | ( lower |
| `Breadth` < ` ` ` ` ` ` ` ` | `Depth` < ` ` ` ` ` ` ` ` ` |
| Breadth < | Depth < |
| ` ` ` ` ` ( narrower` ` ` ` | ` ` ` ` ( higher` ` ` ` ` ` |
| ( narrower | ( higher |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `What is contained 'under'` | `What is contained 'in' ` ` |
| What is contained 'under' | What is contained 'in' |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
</pre></font>
</pre></font>
'''Passage 2'''
'''Passage 2'''
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The highest terms are therefore broadest and the lowest terms the narrowest. We can take a term so broad that it contains all other spheres under it. Then it will have no content whatever. There is but one such term — with its synonyms — it is ''Being''. We can also take a term so low that it contains all other content within it. Then it will have no sphere whatever. There is but one such term — it is ''Nothing''.</p>
<p>The highest terms are therefore broadest and the lowest terms the narrowest. We can take a term so broad that it contains all other spheres under it. Then it will have no content whatever. There is but one such term — with its synonyms — it is ''Being''. We can also take a term so low that it contains all other content within it. Then it will have no sphere whatever. There is but one such term — it is ''Nothing''.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o------------------------o------------------------o
o------------------------o------------------------o
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `Being` ` ` ` ` ` ` ` `| `Nothing` ` ` ` ` ` ` `|
| Being | Nothing |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `All breadth` ` ` ` ` `| `All depth` ` ` ` ` ` `|
| All breadth | All depth |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `No depth ` ` ` ` ` ` `| `No breadth ` ` ` ` ` `|
| No depth | No breadth |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
o------------------------o------------------------o
o------------------------o------------------------o
</pre></font>
</pre></font>
<font face="courier new"><pre>
<font face="courier new"><pre>
o------------------------o------------------------o
o------------------------o------------------------o
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
| `Simple terms ` ` ` ` `| `Individual terms ` ` `|
| Simple terms | Individual terms |
| ` ` ` ` ` ` ` ` ` ` ` `| ` ` ` ` ` ` ` ` ` ` ` `|
| | |
o------------------------o------------------------o
o------------------------o------------------------o
</pre></font>
</pre></font>
'''Passage 3'''
'''Passage 3'''
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>The moment, then, that we pass from nothing and the vacuity of being to any content or sphere, we come at once to a composite content and sphere. In fact, extension and comprehension — like space and time — are quantities which are not composed of ultimate elements; but every part however small is divisible.</p>
<p>The moment, then, that we pass from nothing and the vacuity of being to any content or sphere, we come at once to a composite content and sphere. In fact, extension and comprehension — like space and time — are quantities which are not composed of ultimate elements; but every part however small is divisible.</p>
'''Passage 4'''
'''Passage 4'''
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Yet there are combinations of words and combinations of conceptions which are not strictly speaking symbols. These are of two kinds of which I will give you instances. We have first cases like:</p>
<p>Yet there are combinations of words and combinations of conceptions which are not strictly speaking symbols. These are of two kinds of which I will give you instances. We have first cases like:</p>
'''Passage 1'''
'''Passage 1'''
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>It is important to distinguish between the two functions of a word: 1st to denote something — to stand for something, and 2nd to mean something — or as Mr. Mill phrases it — to ''connote'' something.</p>
<p>It is important to distinguish between the two functions of a word: 1st to denote something — to stand for something, and 2nd to mean something — or as Mr. Mill phrases it — to ''connote'' something.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `What is 'denoted'` ` ` ` ` | `What is 'connoted' ` ` ` ` |
| What is 'denoted' | What is 'connoted' |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `Sphere ` ` ` ` ` ` ` ` ` ` | `Content` ` ` ` ` ` ` ` ` ` |
| Sphere | Content |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `Extension` ` ` ` ` ` ` ` ` | `Comprehension` ` ` ` ` ` ` |
| Extension | Comprehension |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| ` ` ` ` ` ( wider ` ` ` ` ` | ` ` ` ` ( lower ` ` ` ` ` ` |
| ( wider | ( lower |
| `Breadth` < ` ` ` ` ` ` ` ` | `Depth` < ` ` ` ` ` ` ` ` ` |
| Breadth < | Depth < |
| ` ` ` ` ` ( narrower` ` ` ` | ` ` ` ` ( higher` ` ` ` ` ` |
| ( narrower | ( higher |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| `What is contained 'under'` | `What is contained 'in' ` ` |
| What is contained 'under' | What is contained 'in' |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| | |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
</pre></font>
</pre></font>
I am going to treat Peirce's use of the ''quantity consideration'' as a significant operator that transforms its argument from the syntactic domain ''S'' ∪ ''I'' to the objective domain ''O''.
I am going to treat Peirce's use of the ''quantity consideration'' as a significant operator that transforms its argument from the syntactic domain ''S'' ∪ ''I'' to the objective domain ''O''.
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Now the sphere considered as a quantity is called the Extension;</br>
<p>Now the sphere considered as a quantity is called the Extension;</br>
2.1. "men or horses or kangaroos or whales" (extensional disjunction).
2.1. "men or horses or kangaroos or whales" (extensional disjunction).
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>Yet there are combinations of words and combinations of conceptions which are not strictly speaking symbols.</p>
<p>Yet there are combinations of words and combinations of conceptions which are not strictly speaking symbols.</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` Objective Framework ` ` | ` Interpretive Framework` ` |
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` `P <------------o------------ "P" ` ` ` ` ` ` |
| P <------------o------------ "P" |
| ` ` ` ` ` ` = \ ` ` ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` |
| = \ |\ |
| ` ` ` ` ` `=` `\` ` ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` |
| = \ | \ |
| ` ` ` ` ` = ` ` \ ` ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` |
| = \ | \ |
| ` ` ` ` `=` ` ` `\` ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` |
| = \ | \ |
| ` ` ` ` = ` ` ` ` \ ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` |
| = \ | \ |
| ` ` ` `P` ` ` ` ` `M <------o--------------|--- "M" ` ` ` |
| P M <------o--------------|--- "M" |
| ` ` ` ` \ ` ` ` ` = ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` |
| \ = | / |
| ` ` ` ` `\` ` ` `=` ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` |
| \ = | / |
| ` ` ` ` ` \ ` ` = ` ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` |
| \ = | / |
| ` ` ` ` ` `\` `=` ` ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` |
| \ = | / |
| ` ` ` ` ` ` \ = ` ` ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` |
| \ = |/ |
| ` ` ` ` ` ` `S <------------o------------ "S" ` ` ` ` ` ` |
| S <------------o------------ "S" |
| ` ` ` ` ` `** **` ` ` ` ` ` ` ` ` ` ` ` `** **` ` ` ` ` ` |
| ** ** ** ** |
| ` ` ` ` `*`*` `*`*` ` ` ` ` ` ` ` ` ` `*`*` `*`*` ` ` ` ` |
| * * * * * * * * |
| ` ` ` `*` * ` ` * `*` ` ` ` ` ` ` ` `*` * ` ` * `*` ` ` ` |
| * * * * * * * * |
| ` ` `*` `*` ` ` `*` `*` ` ` ` ` ` `*` `*` ` ` `*` `*` ` ` |
| * * * * * * * * |
| ` `o` ` o ` ` ` ` o ` `o` ` ` ` `o` ` o ` ` ` ` o ` `o` ` |
| o o o o o o o o |
| ` `m` ` h ` ` ` ` k ` `w` ` ` ` "m" `"h"` ` ` `"k"` "w" ` |
| m h k w "m" "h" "k" "w" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Disjunctive Subject "S" and Inductive Rule "M => P" ` ` ` |
| Disjunctive Subject "S" and Inductive Rule "M => P" |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| !S! `=` !I! `= `{"m", "h", "k", "w", "S", "M", "P"} ` ` ` |
| !S! = !I! = {"m", "h", "k", "w", "S", "M", "P"} |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| "m" `=` "man" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "m" = "man" |
| "h" `=` "horse" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "h" = "horse" |
| "k" `=` "kangaroo"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "k" = "kangaroo" |
| "w" `=` "whale" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "w" = "whale" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| "S" `=` "man or horse or kangaroo or whale" ` ` ` ` ` ` ` |
| "S" = "man or horse or kangaroo or whale" |
| "M" `=` "Mammal"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "M" = "Mammal" |
| "P" `=` "Predicate shared by man, horse, kangaroo, whale" |
| "P" = "Predicate shared by man, horse, kangaroo, whale" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre></font>
</pre></font>
2. Conventions, Disjunctive Terms, Indexical Signs, Inductive Rules (cont.)
2. Conventions, Disjunctive Terms, Indexical Signs, Inductive Rules (cont.)
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>We come next to consider inductions. In inferences of this kind we proceed as if upon the principle that as is a sample of a class so is the whole class. The word ''class'' in this connection means nothing more than what is denoted by one term, — or in other words the sphere of a term. Whatever characters belong to the whole sphere of a term constitute the content of that term. Hence the principle of induction is that whatever can be predicated of a specimen of the sphere of a term is part of the content of that term. And what is a specimen? It is something taken from a class or the sphere of a term, at random — that is, not upon any further principle, not selected from a part of that sphere; in other words it is something taken from the sphere of a term and not taken as belonging to a narrower sphere. Hence the principle of induction is that whatever can be predicated of something taken as belonging to the sphere of a term is part of the content of that term. But this principle is not axiomatic by any means. Why then do we adopt it?</p>
<p>We come next to consider inductions. In inferences of this kind we proceed as if upon the principle that as is a sample of a class so is the whole class. The word ''class'' in this connection means nothing more than what is denoted by one term, — or in other words the sphere of a term. Whatever characters belong to the whole sphere of a term constitute the content of that term. Hence the principle of induction is that whatever can be predicated of a specimen of the sphere of a term is part of the content of that term. And what is a specimen? It is something taken from a class or the sphere of a term, at random — that is, not upon any further principle, not selected from a part of that sphere; in other words it is something taken from the sphere of a term and not taken as belonging to a narrower sphere. Hence the principle of induction is that whatever can be predicated of something taken as belonging to the sphere of a term is part of the content of that term. But this principle is not axiomatic by any means. Why then do we adopt it?</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` Objective Framework ` ` | ` Interpretive Framework` ` |
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` `P <------------o------------ "P" ` ` ` ` ` ` |
| P <------------o------------ "P" |
| ` ` ` ` ` ` `|\ ` ` ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` |
| |\ |\ |
| ` ` ` ` ` ` `|`\` ` ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` `\` ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` `M <------o--------------|--- "M" ` ` ` |
| | M <------o--------------|--- "M" |
| ` ` ` ` ` ` `|` ` = ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|` `=` ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|` = ` ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|`=` ` ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|= ` ` ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` |
| |= |/ |
| ` ` ` ` ` ` `S <------------o------------ "S" ` ` ` ` ` ` |
| S <------------o------------ "S" |
| ` ` ` ` ` `** **` ` ` ` ` ` ` ` ` ` ` ` `** **` ` ` ` ` ` |
| ** ** ** ** |
| ` ` ` ` `*`*` `*`*` ` ` ` ` ` ` ` ` ` `*`*` `*`*` ` ` ` ` |
| * * * * * * * * |
| ` ` ` `*` * ` ` * `*` ` ` ` ` ` ` ` `*` * ` ` * `*` ` ` ` |
| * * * * * * * * |
| ` ` `*` `*` ` ` `*` `*` ` ` ` ` ` `*` `*` ` ` `*` `*` ` ` |
| * * * * * * * * |
| ` `o` ` o ` ` ` ` o ` `o` ` ` ` `o` ` o ` ` ` ` o ` `o` ` |
| o o o o o o o o |
| ` `m` ` h ` ` ` ` k ` `w` ` ` ` "m" `"h"` ` ` `"k"` "w" ` |
| m h k w "m" "h" "k" "w" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Disjunctive Subject "S" and Inductive Rule "M => P" ` ` ` |
| Disjunctive Subject "S" and Inductive Rule "M => P" |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| !S! `=` !I! `= `{"m", "h", "k", "w", "S", "M", "P"} ` ` ` |
| !S! = !I! = {"m", "h", "k", "w", "S", "M", "P"} |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| "m" `=` "man" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "m" = "man" |
| "h" `=` "horse" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "h" = "horse" |
| "k" `=` "kangaroo"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "k" = "kangaroo" |
| "w" `=` "whale" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "w" = "whale" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| "S" `=` "man or horse or kangaroo or whale" ` ` ` ` ` ` ` |
| "S" = "man or horse or kangaroo or whale" |
| "M" `=` "Mammal"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "M" = "Mammal" |
| "P" `=` "Predicate shared by man, horse, kangaroo, whale" |
| "P" = "Predicate shared by man, horse, kangaroo, whale" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre></font>
</pre></font>
At this point it will help to jump ahead a bit in time, and to take in the more systematic account of the same material from Peirce's "New List of Categories" (1867).
At this point it will help to jump ahead a bit in time, and to take in the more systematic account of the same material from Peirce's "New List of Categories" (1867).
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
I shall now show how the three conceptions of reference to a ground, reference to an object, and reference to an interpretant are the fundamental ones of at least one universal science, that of logic. (Peirce 1867, CP 1.559).
I shall now show how the three conceptions of reference to a ground, reference to an object, and reference to an interpretant are the fundamental ones of at least one universal science, that of logic. (Peirce 1867, CP 1.559).
We will have occasion to consider this paragraph in detail later, but for the present purpose let's hurry on down to the end of it.
We will have occasion to consider this paragraph in detail later, but for the present purpose let's hurry on down to the end of it.
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion. In deductive argument, the conclusion is represented by the premisses as by a general sign under which it is contained. In hypotheses, something ''like'' the conclusion is proved, that is, the premisses form a likeness of the conclusion. Take, for example, the following argument:</p>
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion. In deductive argument, the conclusion is represented by the premisses as by a general sign under which it is contained. In hypotheses, something ''like'' the conclusion is proved, that is, the premisses form a likeness of the conclusion. Take, for example, the following argument:</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-------------------------------------------------o
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` P_1 ` P_2 ` ` ` ` P_3 ` P_4 ` ` ` ` ` |
| P_1 P_2 P_3 P_4 |
| ` ` ` ` ` `o` ` `o` ` ` ` ` `o` ` `o` ` ` ` ` ` |
| o o o o |
| ` ` ` ` ` ` `*` ` * ` ` ` ` * ` `*` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` `*` `*` ` ` `*` `*` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` `*` * ` ` * `*` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` `* *` `* *` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` ` ` `** **` ` ` ` ` ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` ` ` ` ` ` `Q o` ` ` ` ` ` ` ` ` ` ` ` |
| Q o |
| ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` ` ` ` ` ` |
| |\ |
| ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` `o M` ` ` ` ` ` ` ` |
| | o M |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` ` ` ` ` ` |
| |/ |
| ` ` ` ` ` ` ` ` ` ` `S o` ` ` ` ` ` ` ` ` ` ` ` |
| S o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-------------------------------------------------o
o-------------------------------------------------o
| Figure 1. `Abduction of the Case S => M ` ` ` ` |
| Figure 1. Abduction of the Case S => M |
o-------------------------------------------------o
o-------------------------------------------------o
</pre></font>
</pre></font>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-------------------------------------------------o
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` `P o` ` ` ` ` ` ` ` ` ` ` ` |
| P o |
| ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` ` ` ` ` ` |
| |\ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ` ` ` ` ` ` ` ` ` ` |
| | |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` `o M` ` ` ` ` ` ` ` |
| | o M |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` ` ` ` ` ` |
| |/ |
| ` ` ` ` ` ` ` ` ` ` `L o` ` ` ` ` ` ` ` ` ` ` ` |
| L o |
| ` ` ` ` ` ` ` ` ` ` `** **` ` ` ` ` ` ` ` ` ` ` |
| ** ** |
| ` ` ` ` ` ` ` ` ` `* *` `* *` ` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` ` `*` * ` ` * `*` ` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` ` `*` `*` ` ` `*` `*` ` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` ` `*` ` * ` ` ` ` * ` `*` ` ` ` ` ` ` |
| * * * * |
| ` ` ` ` ` `o` ` `o` ` ` ` ` `o` ` `o` ` ` ` ` ` |
| o o o o |
| ` ` ` ` ` S_1 ` S_2 ` ` ` ` S_3 ` S_4 ` ` ` ` ` |
| S_1 S_2 S_3 S_4 |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-------------------------------------------------o
o-------------------------------------------------o
| Figure 2. `Induction of the Rule M => P ` ` ` ` |
| Figure 2. Induction of the Rule M => P |
o-------------------------------------------------o
o-------------------------------------------------o
</pre></font>
</pre></font>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-------------------------------------------------o
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` P_1 ` ... ` P_k ` ` ` ` ` ` ` ` |
| P_1 ... P_k |
| ` ` ` ` ` ` ` ` `o` ` `o` ` `o` ` ` ` ` ` ` ` ` |
| o o o |
| ` ` ` ` ` ` ` ` ` \ ` `|` ` / ` ` ` ` ` ` ` ` ` |
| \ | / |
| ` ` ` ` ` ` ` ` ` `\` `|` `/` ` ` ` ` ` ` ` ` ` |
| \ | / |
| ` ` ` ` ` ` ` ` ` ` \ `|` / ` ` ` ` ` ` ` ` ` ` |
| \ | / |
| ` ` ` ` ` ` ` ` ` ` `\`|`/` ` ` ` ` ` ` ` ` ` ` |
| \ | / |
| ` ` ` ` ` ` ` ` ` ` ` \|/ ` ` ` ` ` ` ` ` ` ` ` |
| \|/ |
| ` ` ` ` ` ` ` ` ` ` `Q o` ` ` ` ` ` ` ` ` ` ` ` |
| Q o |
| ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` ` ` ` ` ` |
| |\ |
| ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` `o M` ` ` ` ` ` ` ` |
| | o M |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` ^ ` ` ` ` ` ` ` ` ` |
| | ^ |
| ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` ` ` ` ` ` |
| |/ |
| ` ` ` ` ` ` ` ` ` ` `S o` ` ` ` ` ` ` ` ` ` ` ` |
| S o |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-------------------------------------------------o
o-------------------------------------------------o
| Icon Q of Object M, Abduction of Case "S is M"` |
| Icon Q of Object M, Abduction of Case "S is M" |
o-------------------------------------------------o
o-------------------------------------------------o
o-------------------------------------------------o
o-------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` `P o` ` ` ` ` ` ` ` ` ` ` ` |
| P o |
| ` ` ` ` ` ` ` ` ` ` ` `|^ ` ` ` ` ` ` ` ` ` ` ` |
| |^ |
| ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| | \ |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` `o M` ` ` ` ` ` ` ` |
| | o M |
| ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` ` ` ` ` ` |
| | / |
| ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` ` ` ` ` ` |
| |/ |
| ` ` ` ` ` ` ` ` ` ` `L o` ` ` ` ` ` ` ` ` ` ` ` |
| L o |
| ` ` ` ` ` ` ` ` ` ` ` /|\ ` ` ` ` ` ` ` ` ` ` ` |
| /|\ |
| ` ` ` ` ` ` ` ` ` ` `/`|`\` ` ` ` ` ` ` ` ` ` ` |
| / | \ |
| ` ` ` ` ` ` ` ` ` ` / `|` \ ` ` ` ` ` ` ` ` ` ` |
| / | \ |
| ` ` ` ` ` ` ` ` ` `/` `|` `\` ` ` ` ` ` ` ` ` ` |
| / | \ |
| ` ` ` ` ` ` ` ` ` / ` `|` ` \ ` ` ` ` ` ` ` ` ` |
| / | \ |
| ` ` ` ` ` ` ` ` `o` ` `o` ` `o` ` ` ` ` ` ` ` ` |
| o o o |
| ` ` ` ` ` ` ` ` S_1 ` ... ` S_k ` ` ` ` ` ` ` ` |
| S_1 ... S_k |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-------------------------------------------------o
o-------------------------------------------------o
| Index L of Object M, Induction of Rule "M is P" |
| Index L of Object M, Induction of Rule "M is P" |
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` Objective Framework ` ` | ` Interpretive Framework` ` |
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` `P <------------------------- "P" ` ` ` ` ` ` |
| P <------------------------- "P" |
| ` ` ` ` ` ` `|\ ` ` ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` |
| |\ |\ |
| ` ` ` ` ` ` `|`\` ` ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` `\` ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` `M <---------------------|--- "M" ` ` ` |
| | M <---------------------|--- "M" |
| ` ` ` ` ` ` `|` ` = ` ` ` ` ` ` ` ` ` ` ` `|` ` / ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|` `=` ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|` = ` ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|`=` ` ` ` ` ` ` ` ` ` ` ` ` `|`/` ` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|= ` ` ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` |
| |= |/ |
| ` ` ` ` ` ` `S <------------------------- "S" ` ` ` ` ` ` |
| S <------------------------- "S" |
| ` ` ` ` ` `** **` ` ` ` ` ` ` ` ` ` ` ` `** **` ` ` ` ` ` |
| ** ** ** ** |
| ` ` ` ` `*`*` `*`*` ` ` ` ` ` ` ` ` ` `*`*` `*`*` ` ` ` ` |
| * * * * * * * * |
| ` ` ` `*` * ` ` * `*` ` ` ` ` ` ` ` `*` * ` ` * `*` ` ` ` |
| * * * * * * * * |
| ` ` `*` `*` ` ` `*` `*` ` ` ` ` ` `*` `*` ` ` `*` `*` ` ` |
| * * * * * * * * |
| ` `o` ` o ` ` ` ` o ` `o` ` ` ` `o` ` o ` ` ` ` o ` `o` ` |
| o o o o o o o o |
| ` `m` ` h ` ` ` ` k ` `w` ` ` ` "m" `"h"` ` ` `"k"` "w" ` |
| m h k w "m" "h" "k" "w" |
| ` S_1 `S_2` ` ` `S_3` S_4 ` ` "S_1" `"S_2"` ` "S_3" "S_4" |
| S_1 S_2 S_3 S_4 "S_1" "S_2" "S_3" "S_4" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Disjunctive Subject "S" and Inductive Rule "M => P" ` ` ` |
| Disjunctive Subject "S" and Inductive Rule "M => P" |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| !S! `=` !I! `= `{"m", "h", "k", "w", "S", "M", "P"} ` ` ` |
| !S! = !I! = {"m", "h", "k", "w", "S", "M", "P"} |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| "m" `=` "man" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "m" = "man" |
| "h" `=` "horse" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "h" = "horse" |
| "k" `=` "kangaroo"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "k" = "kangaroo" |
| "w" `=` "whale" ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "w" = "whale" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| "S" `=` "man or horse or kangaroo or whale" ` ` ` ` ` ` ` |
| "S" = "man or horse or kangaroo or whale" |
| "M" `=` "Mammal"` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| "M" = "Mammal" |
| "P" `=` "Predicate shared by man, horse, kangaroo, whale" |
| "P" = "Predicate shared by man, horse, kangaroo, whale" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre></font>
</pre></font>
In this double-entry account we are more careful to distinguish the signs that belong to the ''interpretive framework'' (IF) from the objects that belong to the ''objective framework'' (OF). One benefit of this scheme is that it immediately resolves many of the conceptual puzzles that arise from confusing the roles of objects and the roles of signs in the relevant sign relation.
In this double-entry account we are more careful to distinguish the signs that belong to the ''interpretive framework'' (IF) from the objects that belong to the ''objective framework'' (OF). One benefit of this scheme is that it immediately resolves many of the conceptual puzzles that arise from confusing the roles of objects and the roles of signs in the relevant sign relation.
Let us look to Peirce's ''New List'' of the next year for guidance:
Let us look to Peirce's ''New List'' of the next year for guidance:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion. …</p>
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion. …</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` Objective Framework ` ` | ` Interpretive Framework` ` |
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` `P <------------------------- "P" ` ` ` ` ` ` |
| P <------------------------- "P" |
| ` ` ` ` ` ` `|\ ` ` ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` |
| |\ |\ |
| ` ` ` ` ` ` `|`\` ` ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` `\` ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` `M <---------------------|--- "M" ` ` ` |
| | M <---------------------|--- "M" |
| ` ` ` ` ` ` `|` ` = $ ` ` ` ` ` ` ` ` ` ` `|` ` / % ` ` ` |
| | = $ | / % |
| ` ` ` ` ` ` `|` `=` ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|` = ` ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|`=` ` `$` ` ` ` ` ` ` ` ` ` `|`/` ` `%` ` ` |
| | = $ | / % |
| ` ` ` ` ` ` `|= ` ` ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` |
| |= |/ |
| ` ` ` ` ` ` `S <------------------------- "S" ` ` ` ` ` ` |
| S <------------------------- "S" |
| ` ` ` ` ` `** **` ` ` $ ` ` ` ` ` ` ` `$ ** *%` ` ` % ` ` |
| ** ** $ $ ** *% % |
| ` ` ` ` `* *` `* *` ` ` ` ` ` ` ` `$` `* *` `* %` ` ` ` ` |
| * * * * $ * * * % |
| ` ` ` `*` * ` ` * `*` ` ` ` ` `$` ` `*` * ` ` * `%` ` ` ` |
| * * * * $ * * * % |
| ` ` `*` `*` ` ` `*` `* $` `$` ` ` `*` `*` ` ` `*` `% %` ` |
| * * * * $ $ * * * % % |
| ` `o` ` o ` ` ` ` o ` `o` ` ` ` `o` ` o ` ` ` ` o ` `o` ` |
| o o o o o o o o |
| ` `m` ` h ` ` ` ` k ` `w` ` ` `"m"` `"h"` ` ` `"k"` `"w"` |
| m h k w "m" "h" "k" "w" |
| ` S_1 `S_2` ` ` `S_3` S_4 ` ` "S_1" "S_2" ` ` "S_3" "S_4" |
| S_1 S_2 S_3 S_4 "S_1" "S_2" "S_3" "S_4" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Disjunctive Subject "S" and Inductive Rule "M => P" ` ` ` |
| Disjunctive Subject "S" and Inductive Rule "M => P" |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre></font>
</pre></font>
I was trying to understand the things that Peirce said and wrote about the conventional, disjunctive, indexical, inductive complex of notions in the period 1865–1867. And I was focused for the moment on this bit:
I was trying to understand the things that Peirce said and wrote about the conventional, disjunctive, indexical, inductive complex of notions in the period 1865–1867. And I was focused for the moment on this bit:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion. …</p>
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion. …</p>
<font face="courier new"><pre>
<font face="courier new"><pre>
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` Objective Framework ` ` | ` Interpretive Framework` ` |
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
o-----------------------------o-----------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` `P <------------------------- "P" ` ` ` ` ` ` |
| P <------------------------- "P" |
| ` ` ` ` ` ` `|\ ` ` ` ` ` ` ` ` ` ` ` ` ` `|\ ` ` ` ` ` ` |
| |\ |\ |
| ` ` ` ` ` ` `|`\` ` ` ` ` ` ` ` ` ` ` ` ` `|`\` ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` \ ` ` ` ` ` ` ` ` ` ` ` ` `|` \ ` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` `\` ` ` ` ` ` ` ` ` ` ` ` `|` `\` ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` \ ` ` ` ` ` ` ` ` ` ` ` `|` ` \ ` ` ` ` |
| | \ | \ |
| ` ` ` ` ` ` `|` ` `M <---------------------|--- "M" ` ` ` |
| | M <---------------------|--- "M" |
| ` ` ` ` ` ` `|` ` = * ` ` ` ` ` ` ` ` ` ` `|` ` / % ` ` ` |
| | = * | / % |
| ` ` ` ` ` ` `|` `=` ` ` ` ` ` ` ` ` ` ` ` `|` `/` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|` = ` ` ` ` ` ` ` ` ` ` ` ` `|` / ` ` ` ` ` |
| | = | / |
| ` ` ` ` ` ` `|`=` ` `*` ` ` ` ` ` ` ` ` ` `|`/` ` `%` ` ` |
| | = * | / % |
| ` ` ` ` ` ` `|= ` ` ` ` ` ` ` ` ` ` ` ` ` `|/ ` ` ` ` ` ` |
| |= |/ |
| ` ` ` ` ` ` `S <------------------------- "S" ` ` ` ` ` ` |
| S <------------------------- "S" |
| ` ` ` ` ` `** **` ` ` * ` ` ` ` ` ` ` `$ ** *%` ` ` % ` ` |
| ** ** * $ ** *% % |
| ` ` ` ` `* *` `* *` ` ` ` ` ` ` ` `$` `* *` `* %` ` ` ` ` |
| * * * * $ * * * % |
| ` ` ` `*` * ` ` * `*` ` ` ` ` `$` ` `*` * ` ` * `%` ` ` ` |
| * * * * $ * * * % |
| ` ` `*` `*` ` ` `*` `* *` `$` ` ` `*` `*` ` ` `*` `% %` ` |
| * * * * * $ * * * % % |
| ` `o` ` o ` ` ` ` o ` `o` ` ` ` `o` ` o ` ` ` ` o ` `o` ` |
| o o o o o o o o |
| ` `m` ` h ` ` ` ` k ` `w` ` ` `"m"` `"h"` ` ` `"k"` `"w"` |
| m h k w "m" "h" "k" "w" |
| ` S_1 `S_2` ` ` `S_3` S_4 ` ` "S_1" "S_2" ` ` "S_3" "S_4" |
| S_1 S_2 S_3 S_4 "S_1" "S_2" "S_3" "S_4" |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Disjunctive Subject "S" and Inductive Rule "M => P" ` ` ` |
| Disjunctive Subject "S" and Inductive Rule "M => P" |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre></font>
</pre></font>
The ''New List'' (1867) account of the relationship between the kinds of signs and the kinds of arguments says this:
The ''New List'' (1867) account of the relationship between the kinds of signs and the kinds of arguments says this:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object.
In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object.
This generality may be broken down according to the role of the premisses:
This generality may be broken down according to the role of the premisses:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
The premisses may afford a likeness, index, or symbol of the conclusion.
The premisses may afford a likeness, index, or symbol of the conclusion.
Premisses (Index):
Premisses (Index):
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub> are taken as samples of the collection ''M''.</p>
<p>''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub> are taken as samples of the collection ''M''.</p>
Conclusion (Object):
Conclusion (Object):
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
All ''M'' is ''P''.
All ''M'' is ''P''.
Remark:
Remark:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Hence the first premiss amounts to saying that "''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub>" is an index of ''M''. Hence the premisses are an index of the conclusion.
Hence the first premiss amounts to saying that "''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub>" is an index of ''M''. Hence the premisses are an index of the conclusion.
I got as far as sketching a few readings of the penultimate sentence:
I got as far as sketching a few readings of the penultimate sentence:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Hence the first premiss amounts to saying that "''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub>" is an index of ''M''.
Hence the first premiss amounts to saying that "''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub>" is an index of ''M''.
Uncertain as my comprehension remains at this point, I will have to leave it in suspension for the time being. But let me make an initial pass at the final sentence, so as not to leave an utterly incomplete impression of the whole excerpt.
Uncertain as my comprehension remains at this point, I will have to leave it in suspension for the time being. But let me make an initial pass at the final sentence, so as not to leave an utterly incomplete impression of the whole excerpt.
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
Hence the premisses are an index of the conclusion.
Hence the premisses are an index of the conclusion.
The first premiss is this:
The first premiss is this:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub> are taken as samples of the collection ''M''.
''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub> are taken as samples of the collection ''M''.
The second premiss is this:
The second premiss is this:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub> are ''P''.
''S''<sub>1</sub>, ''S''<sub>2</sub>, ''S''<sub>3</sub>, and ''S''<sub>4</sub> are ''P''.
Together these premisses form an index of the conclusion, namely:
Together these premisses form an index of the conclusion, namely:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
All ''M'' is ''P''.
All ''M'' is ''P''.
And all of this is said to be so because:
And all of this is said to be so because:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object.
In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object.
Here's the "New List" text about the relations between the types of signs and the types of inference, that is, the morphological and temporal constituents of inquiry:
Here's the "New List" text about the relations between the types of signs and the types of inference, that is, the morphological and temporal constituents of inquiry:
{| align="center" cellpadding="4" width="90%" <!--QUOTE-->
{| align="center" cellspacing="6" width="90%" <!--QUOTE-->
|
|
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion.</p>
<p>In an argument, the premisses form a representation of the conclusion, because they indicate the interpretant of the argument, or representation representing it to represent its object. The premisses may afford a likeness, index, or symbol of the conclusion.</p>