ONT Re: Extension x Comprehension = Information
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Note 79
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Tom,
Just in case you were starting to think that I made
all this stuff up out of my own fevered imagination,
let us pause a moment or two or three to take stock
of the history that I took at the onset and examine
the cause of the fever:
| 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.
|
| Thus, let us commence with the term 'colour'; add to the
| comprehension of this term, that of 'red'. 'Red colour'
| has considerably less extension than 'colour'; add to
| this the comprehension of 'dark'; 'dark red colour' has
| still less [extension]. Add to this the comprehension
| of 'non-blue' -- 'non-blue dark red colour' has the
| same extension as 'dark red colour', so that the
| 'non-blue' here performs a work of supererogation;
| it tells us that no 'dark red colour' is blue, but
| does none of the proper business of connotation,
| that of diminishing the extension at all.
|
| 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'.
|
| For this purpose, I must call your attention to
| the differences there are in the manner in which
| different representations stand for their objects.
|
| In the first place there are likenesses or copies -- such as
| 'statues', 'pictures', 'emblems', 'hieroglyphics', and the like.
| Such representations stand for their objects only so far as they
| have an actual resemblance to them -- that is agree with them in
| some characters. The peculiarity of such representations is that
| they do not determine their objects -- they stand for anything
| more or less; for they stand for whatever they resemble and
| they resemble everything more or less.
|
| The second kind of representations are such as are set up
| by a convention of men or a decree of God. Such are 'tallies',
| 'proper names', &c. The peculiarity of these 'conventional signs'
| is that they represent no character of their objects. Likenesses
| denote nothing in particular; 'conventional signs' connote nothing
| in particular.
|
| The third and last kind of representations are 'symbols' or general
| representations. They connote attributes and so connote them as to
| determine what they denote. To this class belong all 'words' and
| all 'conceptions'. Most combinations of words are also symbols.
| A proposition, an argument, even a whole book may be, and
| should be, a single symbol.
|
| CSP, CE 1, pages 467-468.
On running through this familiar yet ever strange refrain for another time,
I see that I have scarcely begun to trace the sinews of the linkages among
the three types of signs, "the differences there are in the manner in which
different representations stand for their objects", the matter of extension
and comprehension, and the whole life-cycle of inquiry that engages me most.
Signs, and inquiry, and information.
Let us try to stay focussed on that.
To put them more in line with the order of his three "categories",
I am going to renumber Peirce's examples in the following fashion:
1. Conjunctive term "spherical bright fragrant juicy tropical fruit".
2.a. Disjunctive term "man or horse or kangaroo or whale".
2.b. Disjunctive term "neat or swine or sheep or deer".
Recall the trial proportion or the triple analogy that Peirce indicates:
Conjunctive Term : Iconical Sign : Abductive Case
::
Disjunctive Term : Indicial Sign : Inductive Rule
Here once again are examples of the two patterns:
1. Conjunctive term "spherical bright fragrant juicy tropical fruit".
| 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:
|
| 'spherical, bright, fragrant, juicy, tropical fruit'.
|
| Such a term, formed by the sum of the comprehensions of several terms,
| is called a conjunctive term. A conjunctive term has no extension
| adequate to its comprehension. Thus the only spherical bright
| fragrant juicy tropical fruit we know is the orange and that
| has many other characters besides these. Hence, such a term
| is of no use whatever. 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. On the other hand, if the conjunctive term is
| subject and we know that every spherical bright fragrant
| juicy tropical fruit necessarily has certain properties,
| it must be that we know more than that and can simplify the
| subject. Thus a conjunctive term may always be replaced by
| a simple one. So if we find that light is capable of producing
| certain phenomena which could only be enumerated by a long conjunction
| of terms, we may be sure that this compound predicate may be replaced
| by a simple one. And if only one simple one is known in which the
| conjunctive term is contained, this must be provisionally adopted.
|
| CSP, CE 1, page 470.
Syntactic domain !S! = {t_1, t_2, t_3, t_4, t_5, t_6, x, y, z}.
t_1 = "spherical"
t_2 = "bright"
t_3 = "fragrant"
t_4 = "juicy"
t_5 = "tropical"
t_6 = "fruit"
x = "subject"
y = "orange"
z = "spherical bright fragrant juicy tropical fruit"
o-----------------------------o-----------------------------o
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
| |
| t_1 t_2 ... t_5 t_6 |
| o o ... o o |
| . . . . |
| . . . . |
| . . . . |
| .. .. |
| o z |
| * * Rule |
| * * y=>z |
| * * |
| * * |
| Fact * * |
| x=>z * o y |
| * * |
| * * |
| * * Case |
| * * x=>y |
| * * |
| o |
| x |
| |
| |
| Conjunctive Predicate z, Abduction to the Case (x (y)) |
o-----------------------------------------------------------o
2. Disjunctive term "neat or swine or sheep or deer".
| 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.
|
| CSP, CE 1, 468-469.
Syntactic domain !S! = {s_1, s_2, s_3, s_4, u, v, w}.
s_1 = "neat"
s_2 = "swine"
s_3 = "sheep"
s_4 = "deer"
u = "neat or swine or sheep or deer"
v = "cloven-hoofed"
w = "herbivorous"
o-----------------------------o-----------------------------o
| Objective Framework | Interpretive Framework |
o-----------------------------o-----------------------------o
| |
| w |
| o |
| * * Rule |
| * * v=>w |
| * * |
| * * |
| Fact * * |
| u=>w * o v |
| * * |
| * * |
| * * Case |
| * * u=>v |
| * * |
| o u |
| .. .. |
| . . . . |
| . . . . |
| . . . . |
| o o o o |
| s_1 s_2 s_3 s_4 |
| |
| |
| Disjunctive Subject u, Induction to the Rule (v (w)) |
o-----------------------------------------------------------o
This is still tentative in my mind,
but we can work on it -- over-time.
Jon
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Extension x Comprehension = Information
01. http://suo.ieee.org/ontology/msg03746.html
02. http://suo.ieee.org/ontology/msg03747.html
03. http://suo.ieee.org/ontology/msg03749.html
04. http://suo.ieee.org/ontology/msg03752.html
05. http://suo.ieee.org/ontology/msg03753.html
06. http://suo.ieee.org/ontology/msg03754.html
07. http://suo.ieee.org/ontology/msg03755.html
08. http://suo.ieee.org/ontology/msg03756.html
09. http://suo.ieee.org/ontology/msg03757.html
10. http://suo.ieee.org/ontology/msg03758.html
11. http://suo.ieee.org/ontology/msg03760.html
12. http://suo.ieee.org/ontology/msg03761.html
13. http://suo.ieee.org/ontology/msg03763.html
14. http://suo.ieee.org/ontology/msg03765.html
15. http://suo.ieee.org/ontology/msg03766.html
16. http://suo.ieee.org/ontology/msg03767.html
17. http://suo.ieee.org/ontology/msg03768.html
18. http://suo.ieee.org/ontology/msg03769.html
19. http://suo.ieee.org/ontology/msg03770.html
20. http://suo.ieee.org/ontology/msg03771.html
21. http://suo.ieee.org/ontology/msg03772.html
22. http://suo.ieee.org/ontology/msg03773.html
23. http://suo.ieee.org/ontology/msg03774.html
24. http://suo.ieee.org/ontology/msg03775.html
25. http://suo.ieee.org/ontology/msg03777.html
26. http://suo.ieee.org/ontology/msg03778.html
27. http://suo.ieee.org/ontology/msg03779.html
28. http://suo.ieee.org/ontology/msg03780.html
29. http://suo.ieee.org/ontology/msg03781.html
30. http://suo.ieee.org/ontology/msg03782.html
31. http://suo.ieee.org/ontology/msg03784.html
32. http://suo.ieee.org/ontology/msg03786.html
33. http://suo.ieee.org/ontology/msg03789.html
34. http://suo.ieee.org/ontology/msg03791.html
35. http://suo.ieee.org/ontology/msg03792.html
36. http://suo.ieee.org/ontology/msg03793.html
37. http://suo.ieee.org/ontology/msg03794.html
38. http://suo.ieee.org/ontology/msg03796.html
39. http://suo.ieee.org/ontology/msg03797.html
40. http://suo.ieee.org/ontology/msg03798.html
41. http://suo.ieee.org/ontology/msg03800.html
42. http://suo.ieee.org/ontology/msg03801.html
43. http://suo.ieee.org/ontology/msg03802.html
44. http://suo.ieee.org/ontology/msg03803.html
45. http://suo.ieee.org/ontology/msg03804.html
46. http://suo.ieee.org/ontology/msg03805.html
47. http://suo.ieee.org/ontology/msg03806.html
48. http://suo.ieee.org/ontology/msg03807.html
49. http://suo.ieee.org/ontology/msg03808.html
50. http://suo.ieee.org/ontology/msg03810.html
51. http://suo.ieee.org/ontology/msg03811.html
52. http://suo.ieee.org/ontology/msg03812.html
53. http://suo.ieee.org/ontology/msg03813.html
54. http://suo.ieee.org/ontology/msg03814.html
55. http://suo.ieee.org/ontology/msg03816.html
56. http://suo.ieee.org/ontology/msg03817.html
57. http://suo.ieee.org/ontology/msg03820.html
58. http://suo.ieee.org/ontology/msg03821.html
59. http://suo.ieee.org/ontology/msg03824.html
60. http://suo.ieee.org/ontology/msg03825.html
61. http://suo.ieee.org/ontology/msg03827.html
62. http://suo.ieee.org/ontology/msg03830.html
63. http://suo.ieee.org/ontology/msg03831.html
64. http://suo.ieee.org/ontology/msg03832.html
65. http://suo.ieee.org/ontology/msg03834.html
66. http://suo.ieee.org/ontology/msg03835.html
67. http://suo.ieee.org/ontology/msg03837.html
68. http://suo.ieee.org/ontology/msg03838.html
69. http://suo.ieee.org/ontology/msg03842.html
70. http://suo.ieee.org/ontology/msg03847.html
71. http://suo.ieee.org/ontology/msg03850.html
72. http://suo.ieee.org/ontology/msg03853.html
73. http://suo.ieee.org/ontology/msg03854.html
74. http://suo.ieee.org/ontology/msg03855.html
75. http://suo.ieee.org/ontology/msg03864.html
76. http://suo.ieee.org/ontology/msg03865.html
77. http://suo.ieee.org/ontology/msg03866.html
78. http://suo.ieee.org/ontology/msg03873.html
79. http://suo.ieee.org/ontology/msg04105.html
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤