Information = Comprehension × Extension • Selection 1

I am going to begin with six selections from Peirce’s Lectures of 1866 where he addresses the roles of signs informing sign relations and their relation to the rules of inference governing inquiries.

⁂ ⁂ ⁂

Our first text comes from Peirce’s Lowell Lectures of 1866, titled “The Logic of Science, or, Induction and Hypothesis”.  I still remember the first time I read those words and the light that lit up the page and my mind.

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 redRed colour has considerably less extension than colour;  add to this the comprehension of darkdark red colour has still less [extension].  Add to this the comprehension of non‑bluenon‑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.

(Peirce 1866, p. 467)

References

  • 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.
  • Peirce, C.S. (1867), “Upon Logical Comprehension and Extension”, Proceedings of the American Academy of Arts and Sciences, Vol. 7, pp. 416–432.  ArchiveOnline.

Resources

cc: Academia.eduCyberneticsLaws of Form • Mathstodon
cc: Research GateStructural ModelingSystems ScienceSyscoi

#abduction, #c-s-peirce, #comprehension, #deduction, #extension, #hypothesis, #icon-index-symbol, #induction, #inference, #information-comprehension-x-extension, #inquiry, #intension, #logic, #peirces-categories, #pragmatic-semiotic-information, #pragmatism, #scientific-method, #semiotics, #sign-relations

Information = Comprehension × Extension • Preamble

Perhaps the best perspective from which to bring the connection between the theory of signs and the theory of inquiry into its proper focus is Peirce’s own Theory of Information, which he began setting forth in lectures at Harvard and the Lowell Institute in 1865 and 1866.  Peirce encapsulates the elements of his theory in the following formula.

Information = Comprehension × Extension

In the Resources below I link to my study of Peirce’s 1865–1866 Lectures on the Logic of Science, with selections from the lectures and my commentary on them.

Ten summers ago I hit on what struck me as a new insight into one of the most recalcitrant problems in Peirce’s semiotics and logic of science, namely, the relation between “the manner in which different representations stand for their objects” and the way in which different inferences transform states of information.  I roughed out a sketch of my epiphany in a series of blog posts then set it aside for the cool of later reflection.  Now looks to be a choice moment for taking another look.

A first pass through the variations of representation and reasoning detects the axes of iconic, indexical, and symbolic manners of representation on the one hand and the axes of abductive, inductive, and deductive modes of inference on the other.  Early and often Peirce suggests a natural correspondence between the main modes of inference and the main manners of representation but his early arguments differ from his later accounts in ways deserving close examination, partly for the extra points in his line of reasoning and partly for his explanation of indices as signs constituted by convening the variant conceptions of sundry interpreters.

References

  • 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.
  • Peirce, C.S. (1867), “Upon Logical Comprehension and Extension”, Proceedings of the American Academy of Arts and Sciences, Vol. 7, pp. 416–432.  ArchiveOnline.

Resources

cc: Academia.eduCyberneticsLaws of Form • Mathstodon
cc: Research GateStructural ModelingSystems ScienceSyscoi

#abduction, #c-s-peirce, #comprehension, #deduction, #extension, #hypothesis, #icon-index-symbol, #induction, #inference, #information-comprehension-x-extension, #inquiry, #intension, #logic, #peirces-categories, #pragmatic-semiotic-information, #pragmatism, #scientific-method, #semiotics, #sign-relations

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 5

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention is paid to the way the inferential rudiments combine to form the more complex patterns of analogy and inquiry.

Anthem

Blog Dialogs

Blog Series

Blog Surveys

OEIS Wiki

Ontolog Forum

cc: FB | Inquiry Driven SystemsLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

#abduction, #aristotle, #c-s-peirce, #deduction, #dewey, #discovery, #doubt, #fixation-of-belief, #functional-logic, #icon-index-symbol, #induction, #inference, #information, #inquiry, #invention, #logic, #logic-of-science, #mathematics, #morphism, #paradigmata, #paradigms, #pattern-recognition, #peirce, #philosophy, #pragmatic-maxim, #pragmatism, #scientific-inquiry, #scientific-method, #semiotics, #sign-relations, #surveys, #syllogism, #triadic-relations, #visualization