{ Information = Comprehension × Extension } • Discussion 15

I am roughly at the halfway point of my comments on Peirce’s information formula, having just finished up the link between abductive inference and iconic reference.  The discussion of induction and indexicals will follow pretty much the same pattern, though there are a few wrinkles having to do with a number of interesting differences between Peirce’s early and later accounts of indices.

The rest of this post is slightly tangent to the topic at hand, but I couldn’t resist saying a few more words about the duality of information and control once other discussions brought the issue to mind.

Viewing systems topics like change, control, dynamics, goals, objectives, optimization, process, purpose and so on in the light of the information dimension opens up a wide field of investigation.  It’s been my custom to cultivate that field layer by layer, working up from the most basic layer with a modicum of utility, namely, propositional calculus.  This is the layer of qualitative description underlying every layer of quantitative description.

Propositional calculus is the level of logic we’ve been using in our present discussion to describe various classes of entities populating a given universe of discourse.  Whether we call the corresponding descriptors predicates, propositions, or terms is of no importance for present purposes so long as we are using them solely as symbols in a symbolic calculus following a specific set of rules.

Extending the layer of propositional calculus from its coverage of static situations to the description of time-evolving states can be done fairly easily.  One follows the model of physics, where dealing with change made little progress until the development of differential calculus.  The analogous medium at the logical level is the differential extension of propositional calculus, or “differential propositional calculus”, for short.  See the following resource for a gentle introduction.


  • 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.


cc: CyberneticsOntolog ForumStructural ModelingSystems Science

This entry was posted in Abduction, C.S. Peirce, Comprehension, Deduction, Extension, Hypothesis, Icon Index Symbol, Induction, Inference, Information = Comprehension × Extension, Information Theory, Inquiry, Intension, Logic, Logic of Science, Peirce, Peirce's Categories, Pragmatic Semiotic Information, Pragmatism, Scientific Method, Semiotics, Sign Relations and tagged , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

4 Responses to { Information = Comprehension × Extension } • Discussion 15

  1. Pingback: Survey of Pragmatic Semiotic Information • 4 | Inquiry Into Inquiry

  2. Pingback: Survey of Pragmatic Semiotic Information • 4 | Inquiry Into Inquiry

  3. Pingback: Survey of Pragmatic Semiotic Information • 5 | Inquiry Into Inquiry

  4. Pingback: C.S. Peirce and Category Theory • 4 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.