Changes

MyWikiBiz, Author Your Legacy — Saturday April 27, 2024
Jump to navigationJump to search

Differential logic (view source)

Revision as of 22:28, 5 November 2015

211 bytes removed ,  22:28, 5 November 2015
update
Line 1: Line 1: −
'''Differential logic''' is the component of logic whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in [[universes of discourse]] that are subject to logical description.  In formal logic, differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.
+
<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
   −
A simple example of a differential logical calculus is furnished by a [[differential propositional calculus]].  This augments ordinary [[propositional calculus]] in the same way that the [[differential calculus]] of [[Leibniz]] and [[Newton]] augments the [[analytic geometry]] of [[Descartes]].
+
'''Differential logic''' is the component of logic whose object is the successful description of variation &mdash; for example, the aspects of change, difference, distribution, and diversity &mdash; in [[universes of discourse]] that are subject to logical description.  In formal logic, differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.
 +
 
 +
A simple example of a differential logical calculus is furnished by a [[differential propositional calculus]].  This augments ordinary [[propositional calculus]] in the same way that the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.
    
==Syllabus==
 
==Syllabus==
Line 7: Line 9:  
===Focal nodes===
 
===Focal nodes===
   −
{{col-begin}}
  −
{{col-break}}
   
* [[Inquiry Live]]
 
* [[Inquiry Live]]
−
{{col-break}}
   
* [[Logic Live]]
 
* [[Logic Live]]
−
{{col-end}}
      
===Peer nodes===
 
===Peer nodes===
   −
* [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic @ Beta Wikiversity]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_logic Differential Logic @ InterSciWiki]
 
* [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz]
 
* [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz]
−
* [http://www.netknowledge.org/wiki/Differential_logic Differential Logic @ NetKnowledge]
+
* [http://ref.subwiki.org/wiki/Differential_logic Differential Logic @ Subject Wikis]
−
* [http://semanticweb.org/wiki/Differential_logic Differential Logic @ SemanticWeb]
+
* [http://en.wikiversity.org/wiki/Differential_logic Differential Logic @ Wikiversity]
 +
* [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic @ Wikiversity Beta]
    
===Logical operators===
 
===Logical operators===
Line 84: Line 83:  
{{col-break}}
 
{{col-break}}
 
* [[Inquiry]]
 
* [[Inquiry]]
 +
* [[Dynamics of inquiry]]
 +
{{col-break}}
 +
* [[Semeiotic]]
 
* [[Logic of information]]
 
* [[Logic of information]]
 
{{col-break}}
 
{{col-break}}
Line 90: Line 92:  
{{col-break}}
 
{{col-break}}
 
* [[Pragmatic maxim]]
 
* [[Pragmatic maxim]]
−
* [[Pragmatic theory of truth]]
+
* [[Truth theory]]
−
{{col-break}}
  −
* [[Semeiotic]]
  −
* [[Semiotic information]]
   
{{col-end}}
 
{{col-end}}
    
===Related articles===
 
===Related articles===
   −
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
+
{{col-begin}}
−
 
+
{{col-break}}
−
* [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/Cactus_Language Cactus Language]
−
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs]
−
* [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/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
−
 
+
{{col-break}}
−
* [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_:_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/Differential_Logic_:_Introduction Jon Awbrey, &ldquo;Differential Logic : Introduction&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
−
 
+
{{col-break}}
−
* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
−
 
+
* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
−
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, &ldquo;Differential Logic and Dynamic Systems&rdquo;]
+
* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
 +
{{col-end}}
    
==Document history==
 
==Document history==
Line 116: Line 116:  
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/Differential_logic Differential Logic], [http://intersci.ss.uci.edu/ InterSciWiki]
−
{{col-break}}
   
* [http://mywikibiz.com/Differential_logic Differential Logic], [http://mywikibiz.com/ MyWikiBiz]
 
* [http://mywikibiz.com/Differential_logic Differential Logic], [http://mywikibiz.com/ MyWikiBiz]
−
* [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Beta Wikiversity]
+
* [http://planetmath.org/DifferentialLogic Differential Logic], [http://planetmath.org/ PlanetMath]
−
* [http://www.mathweb.org/wiki/Differential_logic Differential Logic], [http://www.mathweb.org/wiki/ MathWeb Wiki]
  −
* [http://www.netknowledge.org/wiki/Differential_logic Differential Logic], [http://www.netknowledge.org/ NetKnowledge]
  −
* [http://p2pfoundation.net/Differential_logic Differential Logic], [http://p2pfoundation.net/ P2P Foundation]
  −
{{col-break}}
  −
* [http://planetmath.org/encyclopedia/DifferentialLogic.html Differential Logic], [http://planetmath.org/ PlanetMath]
  −
* [http://planetphysics.org/encyclopedia/DifferentialLogic.html Differential Logic], [http://planetphysics.org/ PlanetPhysics]
   
* [http://semanticweb.org/wiki/Differential_logic Differential Logic], [http://semanticweb.org/ Semantic Web]
 
* [http://semanticweb.org/wiki/Differential_logic Differential Logic], [http://semanticweb.org/ Semantic Web]
−
* [http://knol.google.com/k/jon-awbrey/differential-logic/3fkwvf69kridz/2 Differential Logic], [http://knol.google.com/ Google Knol]
+
* [http://wikinfo.org/w/index.php/Differential_logic Differential Logic], [http://wikinfo.org/w/ Wikinfo]
−
* [http://www.getwiki.net/-Differential_Logic Differential Logic], [http://www.getwiki.net/ GetWiki]
+
* [http://en.wikiversity.org/wiki/Differential_logic Differential Logic], [http://en.wikiversity.org/ Wikiversity]
−
{{col-end}}
+
* [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Wikiversity Beta]
−
 
  −
<br><sharethis />
      +
[[Category:Inquiry]]
 +
[[Category:Open Educational Resource]]
 
[[Category:Peer Educational Resource]]
 
[[Category:Peer Educational Resource]]
 
[[Category:Artificial Intelligence]]
 
[[Category:Artificial Intelligence]]
 +
[[Category:Charles Sanders Peirce]]
 
[[Category:Combinatorics]]
 
[[Category:Combinatorics]]
 
[[Category:Computer Science]]
 
[[Category:Computer Science]]
Line 148: Line 142:  
[[Category:History of Mathematics]]
 
[[Category:History of Mathematics]]
 
[[Category:Knowledge Representation]]
 
[[Category:Knowledge Representation]]
−
[[Category:Inquiry]]
   
[[Category:Logic]]
 
[[Category:Logic]]
 
[[Category:Logical Graphs]]
 
[[Category:Logical Graphs]]
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/116699...466832"

Navigation menu