Difference between revisions of "Logic of information"

MyWikiBiz, Author Your Legacy — Thursday March 28, 2024
Jump to navigationJump to search
(update)
 
Line 1: Line 1:
 
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
 
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
  
The '''logic of information''', or the ''logical theory of information'', considers the information content of logical [[semiotics|signs]] &mdash; everything from bits to books and beyond &mdash; 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 (logic)|extension]] and [[comprehension (logic)|comprehension]].
+
The '''logic of information''', or the ''logical theory of information'', considers the information content of logical signs &mdash; everything from bits to books and beyond &mdash; along the lines initially developed by [[Charles Sanders Peirce]].&nbsp; 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:
+
Peirce began to develop these ideas in his lectures &ldquo;On the Logic of Science&rdquo; at Harvard University (1865) and the Lowell Institute (1866).&nbsp; Here is one of the starting points:
  
 
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
 
|
 
|
<p>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 &mdash; having two legs, being rational, &tc. &mdash; 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.</p>
+
<p>Let us now return to the information.&nbsp; The information of a term is the measure of its superfluous comprehension.&nbsp; That is to say that the proper office of the comprehension is to determine the extension of the term.&nbsp; For instance, you and I are men because we possess those attributes &mdash; having two legs, being rational, &tc. &mdash; which make up the comprehension of ''man''.&nbsp; Every addition to the comprehension of a term lessens its extension up to a certain point, after that further additions increase the information instead.</p>
  
<p>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'' &mdash; ''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.</p>
+
<p>Thus, let us commence with the term ''colour'';&nbsp; add to the comprehension of this term, that of ''red''.&nbsp; ''Red colour'' has considerably less extension than ''colour'';&nbsp; add to this the comprehension of ''dark'';&nbsp; ''dark red colour'' has still less [extension].&nbsp; Add to this the comprehension of ''non-blue'' &mdash; ''non-blue dark red colour'' has the same extension as ''dark red colour'', so that the ''non-blue'' here performs a work of supererogation;&nbsp; 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.</p>
  
<p>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''. (C.S. Peirce, "The Logic of Science, or, Induction and Hypothesis" (1866), CE 1, 467).</p>
+
<p>Thus information measures the superfluous comprehension.&nbsp; 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.&nbsp; 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''.&nbsp; (C.S. Peirce, &ldquo;The Logic of Science, or, Induction and Hypothesis&rdquo; (1866), CE&nbsp;1, 467).</p>
 
|}
 
|}
  
Line 30: Line 30:
 
===Focal nodes===
 
===Focal nodes===
  
{{col-begin}}
 
{{col-break}}
 
 
* [[Inquiry Live]]
 
* [[Inquiry Live]]
{{col-break}}
 
 
* [[Logic Live]]
 
* [[Logic Live]]
{{col-end}}
 
  
 
===Peer nodes===
 
===Peer nodes===
  
{{col-begin}}
+
* [http://intersci.ss.uci.edu/wiki/index.php/Logic_of_information Logic of Information @ InterSciWiki]
{{col-break}}
 
 
* [http://mywikibiz.com/Logic_of_information Logic of Information @ MyWikiBiz]
 
* [http://mywikibiz.com/Logic_of_information Logic of Information @ MyWikiBiz]
* [http://mathweb.org/wiki/Logic_of_information Logic of Information @ MathWeb Wiki]
 
* [http://netknowledge.org/wiki/Logic_of_information Logic of Information @ NetKnowledge]
 
* [http://wiki.oercommons.org/mediawiki/index.php/Logic_of_information Logic of Information @ OER Commons]
 
{{col-break}}
 
* [http://p2pfoundation.net/Logic_of_Information Logic of Information @ P2P Foundation]
 
* [http://semanticweb.org/wiki/Logic_of_information Logic of Information @ SemanticWeb]
 
 
* [http://ref.subwiki.org/wiki/Logic_of_information Logic of Information @ Subject Wikis]
 
* [http://ref.subwiki.org/wiki/Logic_of_information Logic of Information @ Subject Wikis]
 +
* [http://en.wikiversity.org/wiki/Logic_of_information Logic of Information @ Wikiversity]
 
* [http://beta.wikiversity.org/wiki/Logic_of_information Logic of Information @ Wikiversity Beta]
 
* [http://beta.wikiversity.org/wiki/Logic_of_information Logic of Information @ Wikiversity Beta]
{{col-end}}
 
  
 
===Logical operators===
 
===Logical operators===
Line 129: Line 118:
 
===Related articles===
 
===Related articles===
  
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, &ldquo;Semiotic Information&rdquo;]
+
{{col-begin}}
 
+
{{col-break}}
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Semiotic_Information Semiotic Information]
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
 
+
{{col-break}}
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction]
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus]
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
 
+
{{col-break}}
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
 
+
{{col-end}}
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, &ldquo;Differential Logic and Dynamic Systems&rdquo;]
 
  
 
==Document history==
 
==Document history==
Line 149: Line 137:
 
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.
 
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.
  
{{col-begin}}
+
* [http://intersci.ss.uci.edu/wiki/index.php/Logic_of_information Logic of Information], [http://intersci.ss.uci.edu/ InterSciWiki]
{{col-break}}
 
 
* [http://mywikibiz.com/Logic_of_information Logic of Information], [http://mywikibiz.com/ MyWikiBiz]
 
* [http://mywikibiz.com/Logic_of_information Logic of Information], [http://mywikibiz.com/ MyWikiBiz]
* [http://mathweb.org/wiki/Logic_of_information Logic of Information], [http://mathweb.org/wiki/ MathWeb Wiki]
 
* [http://netknowledge.org/wiki/Logic_of_information Logic of Information], [http://netknowledge.org/ NetKnowledge]
 
* [http://wiki.oercommons.org/mediawiki/index.php/Logic_of_information Logic of Information], [http://wiki.oercommons.org/ OER Commons]
 
* [http://p2pfoundation.net/Logic_of_Information Logic of Information], [http://p2pfoundation.net/ P2P Foundation]
 
 
* [http://semanticweb.org/wiki/Logic_of_information Logic of Information], [http://semanticweb.org/ Semantic Web]
 
* [http://semanticweb.org/wiki/Logic_of_information Logic of Information], [http://semanticweb.org/ Semantic Web]
{{col-break}}
+
* [http://vectors.usc.edu/thoughtmesh/publish/145.php Logic of Information], [http://vectors.usc.edu/thoughtmesh/ ThoughtMesh]
 +
* [http://wikinfo.org/w/index.php/Logic_of_information Logic of Information], [http://wikinfo.org/w/ Wikinfo]
 +
* [http://en.wikiversity.org/wiki/Logic_of_information Logic of Information], [http://en.wikiversity.org/ Wikiversity]
 
* [http://beta.wikiversity.org/wiki/Logic_of_information Logic of Information], [http://beta.wikiversity.org/ Wikiversity Beta]
 
* [http://beta.wikiversity.org/wiki/Logic_of_information Logic of Information], [http://beta.wikiversity.org/ Wikiversity Beta]
* [http://vectors.usc.edu/thoughtmesh/publish/145.php Logic of Information], [http://vectors.usc.edu/thoughtmesh/ ThoughtMesh]
 
* [http://getwiki.net/-Logic_of_Information_(C.S._Peirce) Logic of Information : 1], [http://getwiki.net/ GetWiki]
 
* [http://getwiki.net/-Logic_of_Information_(Jon_Awbrey) Logic of Information : 2], [http://getwiki.net/ GetWiki]
 
* [http://wikinfo.org/index.php/Logic_of_information Logic of Information], [http://wikinfo.org/ Wikinfo]
 
 
* [http://en.wikipedia.org/w/index.php?title=Logic_of_information&oldid=67770000 Logic of Information], [http://en.wikipedia.org/ Wikipedia]
 
* [http://en.wikipedia.org/w/index.php?title=Logic_of_information&oldid=67770000 Logic of Information], [http://en.wikipedia.org/ Wikipedia]
{{col-end}}
 
  
<br><sharethis />
 
 
[[Category:Inquiry]]
 
[[Category:Open Educational Resource]]
 
[[Category:Peer Educational Resource]]
 
 
[[Category:Artificial Intelligence]]
 
[[Category:Artificial Intelligence]]
 
[[Category:Charles Sanders Peirce]]
 
[[Category:Charles Sanders Peirce]]
Line 177: Line 152:
 
[[Category:Information Systems]]
 
[[Category:Information Systems]]
 
[[Category:Information Theory]]
 
[[Category:Information Theory]]
 +
[[Category:Inquiry]]
 
[[Category:Intelligence Amplification]]
 
[[Category:Intelligence Amplification]]
 
[[Category:Knowledge Representation]]
 
[[Category:Knowledge Representation]]
Line 184: Line 160:
 
[[Category:Philosophy]]
 
[[Category:Philosophy]]
 
[[Category:Pragmatics]]
 
[[Category:Pragmatics]]
 +
[[Category:Pragmatism]]
 
[[Category:Science]]
 
[[Category:Science]]
 
[[Category:Semantics]]
 
[[Category:Semantics]]
 
[[Category:Semiotics]]
 
[[Category:Semiotics]]
 
[[Category:Systems Science]]
 
[[Category:Systems Science]]

Latest revision as of 03:24, 16 November 2015

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 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.  (C.S. Peirce, “The Logic of Science, or, Induction and Hypothesis” (1866), CE 1, 467).

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

Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end

Related topics

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Relational concepts

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Information, Inquiry

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

Related articles

Template:Col-breakTemplate:Col-breakTemplate:Col-breakTemplate:Col-end

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.