Changes

2,814 bytes added ,  17:28, 20 May 2010
+ standard syllabus
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]] and [[comprehension (logic)|comprehension]].
+
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]].
   −
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 "On the Logic of Science" at Harvard University (1865) and the Lowell Institute (1866).  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 (logic)|comprehension]].  That is to say that the proper office of the comprehension is to determine the [[extension (semantics)|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.</p>
+
<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>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'' ''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'';  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 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.  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>
Line 18: Line 18:  
* [[Charles Sanders Peirce (Bibliography)|Peirce, C.S., Bibliography]].
 
* [[Charles Sanders Peirce (Bibliography)|Peirce, C.S., Bibliography]].
   −
* De Tienne, André (2006), "Peirce's Logic of Information", Seminario del Grupo de Estudios Peirceanos, Universidad de Navarra, 28 Sep 2006.  [http://www.unav.es/gep/SeminariodeTienne.html Eprint].
+
* De Tienne, André (2006), "Peirce's Logic of Information", Seminario del Grupo de Estudios Peirceanos, Universidad de Navarra, 28 Sep 2006.  [http://www.unav.es/gep/SeminariodeTienne.html Online].
   −
* Peirce, C.S. (1867), "Upon Logical Comprehension and Extension", [http://www.iupui.edu/~peirce/writings/v2/w2/w2_06/v2_06.htm Eprint].
+
* Peirce, C.S. (1867), "Upon Logical Comprehension and Extension", [http://www.iupui.edu/~peirce/writings/v2/w2/w2_06/v2_06.htm Online].
   −
==See also==
+
==Syllabus==
 +
 
 +
===Focal nodes===
 +
 
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Inquiry Live]]
 +
{{col-break}}
 +
* [[Logic Live]]
 +
{{col-end}}
 +
 
 +
===Peer nodes===
 +
 
 +
{{col-begin}}
 +
{{col-break}}
 +
* [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]
 +
{{col-break}}
 +
* [http://wiki.oercommons.org/mediawiki/index.php/Logic_of_information Logic of Information @ OER Commons]
 +
* [http://p2pfoundation.net/Logic_of_Information Logic of Information @ P2P Foundation]
 +
* [http://semanticweb.org/wiki/Logic_of_information Logic of Information @ SemanticWeb]
 +
{{col-end}}
 +
 
 +
===Logical operators===
 +
 
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Exclusive disjunction]]
 +
* [[Logical conjunction]]
 +
* [[Logical disjunction]]
 +
* [[Logical equality]]
 +
{{col-break}}
 +
* [[Logical implication]]
 +
* [[Logical NAND]]
 +
* [[Logical NNOR]]
 +
* [[Logical negation|Negation]]
 +
{{col-end}}
 +
 
 +
===Related topics===
 +
 
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Ampheck]]
 +
* [[Boolean domain]]
 +
* [[Boolean function]]
 +
* [[Boolean-valued function]]
 +
* [[Differential logic]]
 +
{{col-break}}
 +
* [[Logical graph]]
 +
* [[Minimal negation operator]]
 +
* [[Multigrade operator]]
 +
* [[Parametric operator]]
 +
* [[Peirce's law]]
 +
{{col-break}}
 +
* [[Propositional calculus]]
 +
* [[Sole sufficient operator]]
 +
* [[Truth table]]
 +
* [[Universe of discourse]]
 +
* [[Zeroth order logic]]
 +
{{col-end}}
 +
 
 +
===Relational concepts===
 +
 
 +
{{col-begin}}
 +
{{col-break}}
 +
* [[Continuous predicate]]
 +
* [[Hypostatic abstraction]]
 +
* [[Logic of relatives]]
 +
* [[Logical matrix]]
 +
{{col-break}}
 +
* [[Relation (mathematics)|Relation]]
 +
* [[Relation composition]]
 +
* [[Relation construction]]
 +
* [[Relation reduction]]
 +
{{col-break}}
 +
* [[Relation theory]]
 +
* [[Relative term]]
 +
* [[Sign relation]]
 +
* [[Triadic relation]]
 +
{{col-end}}
 +
 
 +
===Information, Inquiry===
    
{{col-begin}}
 
{{col-begin}}
 
{{col-break}}
 
{{col-break}}
* [[Information theory]]
   
* [[Inquiry]]
 
* [[Inquiry]]
 +
* [[Logic of information]]
 +
{{col-break}}
 +
* [[Descriptive science]]
 +
* [[Normative science]]
 +
{{col-break}}
 
* [[Pragmatic maxim]]
 
* [[Pragmatic maxim]]
* [[Pragmatic theory of information]]
   
* [[Pragmatic theory of truth]]
 
* [[Pragmatic theory of truth]]
 
{{col-break}}
 
{{col-break}}
* [[Pragmaticism]]
  −
* [[Pragmatism]]
  −
* [[Scientific method]]
   
* [[Semeiotic]]
 
* [[Semeiotic]]
* [[Semiosis]]
+
* [[Semiotic information]]
{{col-break}}
  −
* [[Semiotics]]
  −
* [[Semiotic information theory]]
  −
* [[Sign relation]]
  −
* [[Sign relational complex]]
  −
* [[Triadic relation]]
   
{{col-end}}
 
{{col-end}}
 +
 +
===Related articles===
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
 +
 +
* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
 +
 +
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, &ldquo;Differential Logic and Dynamic Systems&rdquo;]
    
==Resources==
 
==Resources==
   −
* [http://vectors.usc.edu/thoughtmesh/publish/145.php Logic of Information ThoughtMesh]
+
* [http://vectors.usc.edu/thoughtmesh/publish/145.php Logic of Information &rarr; ThoughtMesh]
    
==Document history==
 
==Document history==
12,080

edits