# Logic of information

☞ This page belongs to resource collections on Logic and Inquiry.

The **logic of information**, or the *logical theory of information*, considers the information content of logical signs — everything from bits to books and beyond — along the lines initially developed by Charles Sanders Peirce. In this line of development the concept of information serves to integrate the aspects of logical signs that are separately covered by the concepts of denotation and connotation, or, in roughly equivalent terms, by the concepts of extension and comprehension.

Peirce began to develop these ideas in his lectures “On the Logic of Science” at Harvard University (1865) and the Lowell Institute (1866). Here is one of the starting points:

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, &tc. — which make up the comprehension of Thus, let us commence with the term 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 |

## References

- De Tienne, André (2006), "Peirce's Logic of Information", Seminario del Grupo de Estudios Peirceanos, Universidad de Navarra, 28 Sep 2006. Online.

- Peirce, C.S. (1867), "Upon Logical Comprehension and Extension", Online.

## Resources

## Syllabus

### Focal nodes

### Peer nodes

- Logic of Information @ InterSciWiki
- Logic of Information @ MyWikiBiz
- Logic of Information @ Subject Wikis
- Logic of Information @ Wikiversity
- Logic of Information @ Wikiversity Beta

### Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end### Related topics

- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic

### Relational concepts

### Information, Inquiry

### Related articles

- Differential Logic : Introduction
- Differential Propositional Calculus
- Differential Logic and Dynamic Systems

- Introduction to Inquiry Driven Systems
- Prospects for Inquiry Driven Systems
- Inquiry Driven Systems : Inquiry Into Inquiry

## Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

- Logic of Information, InterSciWiki
- Logic of Information, MyWikiBiz
- Logic of Information, Semantic Web
- Logic of Information, ThoughtMesh
- Logic of Information, Wikinfo
- Logic of Information, Wikiversity
- Logic of Information, Wikiversity Beta
- Logic of Information, Wikipedia