Selection 1 ends with Peirce drawing the following conclusion about the links between information, comprehension, inference, and symbolization.

At this point in his inventory of scientific reasoning, Peirce is relating the nature of inference, information, and inquiry to the character of the signs mediating the process in question, a process he describes as symbolization.

In the interest of clarity let’s draw from Peirce’s account a couple of quick sketches, designed to show how the examples he gives of conjunctive terms and disjunctive terms might look if they were cast within a lattice‑theoretic framework.

Looking back on Selection 5, let’s first examine Peirce’s example of a conjunctive term — spherical, bright, fragrant, juicy, tropical fruit — within a lattice framework.  We have the following six terms.

Suppose is the logical conjunction of the above six terms.

What on earth could Peirce mean by saying that such a term is “not a true symbol” or that it is “of no use whatever”?

In particular, consider the following statement.

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.  (Peirce 1866, p. 470).

In other words, if something is said to be then we may guess fairly surely is really an orange, in short, has all the additional features otherwise summed up quite succinctly in the much more constrained term where means an orange.

Figure 1 shows the implication ordering of logical terms in the form of a lattice diagram.

What Peirce is saying about not being a genuinely useful symbol can be explained in terms of the gap between the logical conjunction in lattice terms, the greatest lower bound of the conjoined terms, and what we might regard as the natural conjunction or natural glb of those terms, namely, an orange.

In sum there is an extra measure of constraint which goes into forming the natural kinds lattice from the free lattice which logic and set theory would otherwise impose as a default background.  The local manifestations of that global information are meted out over the structure of the natural lattice by just such abductive gaps as the one we observe between and

Reference

• Peirce, C.S. (1866), “The Logic of Science, or, Induction and Hypothesis”, Lowell Lectures of 1866, pp. 357–504 in Writings of Charles S. Peirce : A Chronological Edition, Volume 1, 1857–1866, Peirce Edition Project, Indiana University Press, Bloomington, IN, 1982.

Resources

• This Blog • Survey of Pragmatic Semiotic Information
• OEIS Wiki • Information = Comprehension × Extension
• C.S. Peirce • Upon Logical Comprehension and Extension

cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
cc: FB | Inquiry Into Inquiry • Laws of Form • Ma^thstodon • Academia.edu
cc: Research Gate