| Line 3: | Line 3: | 
|  | '''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. |  | '''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. | 
|  |  |  |  | 
| − | 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]]. | + | 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 9: | 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=== | 
|  |  |  |  | 
| − | {{col-begin}}
 | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_logic Differential Logic @ InterSciWiki] | 
| − | {{col-break}}
 |  | 
|  | * [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz] |  | * [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz] | 
| − | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_logic Differential Logic @ InterSciWiki]
 |  | 
| − | * [http://wiki.oercommons.org/mediawiki/index.php/Differential_logic Differential Logic @ OER Commons]
 |  | 
| − | {{col-break}}
 |  | 
| − | * [http://p2pfoundation.net/Differential_Logic Differential Logic @ P2P Foundation]
 |  | 
|  | * [http://ref.subwiki.org/wiki/Differential_logic Differential Logic @ Subject Wikis] |  | * [http://ref.subwiki.org/wiki/Differential_logic Differential Logic @ Subject Wikis] | 
|  | + | * [http://en.wikiversity.org/wiki/Differential_logic Differential Logic @ Wikiversity] | 
|  | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic @ Wikiversity Beta] |  | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic @ Wikiversity Beta] | 
| − | {{col-end}}
 |  | 
|  |  |  |  | 
|  | ===Logical operators=== |  | ===Logical operators=== | 
| Line 106: | Line 97: | 
|  | ===Related articles=== |  | ===Related articles=== | 
|  |  |  |  | 
| − | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, “Semiotic Information”] | + | {{col-begin}} | 
| − |   | + | {{col-break}} | 
| − | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”] | + | * [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/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”] | + | * [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, “Inquiry Driven Systems :Inquiry Into Inquiry”] | + | * [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, “PropositionalEquation Reasoning Systems”] | + | * [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, “Differential Logic: Introduction”] | + | * [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://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] | + | * [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, “Differential Logic and Dynamic Systems”] |  | 
|  |  |  |  | 
|  | ==Document history== |  | ==Document history== | 
| Line 126: | 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://mathweb.org/wiki/Differential_logic Differential Logic], [http://mathweb.org/wiki/ MathWeb Wiki] | + | * [http://planetmath.org/DifferentialLogic Differential Logic], [http://planetmath.org/ PlanetMath] | 
| − | * [http://netknowledge.org/wiki/Differential_logic Differential Logic], [http://netknowledge.org/ NetKnowledge]
 |  | 
| − | * [http://p2pfoundation.net/Differential_logic Differential Logic], [http://p2pfoundation.net/ P2P Foundation]
 |  | 
|  | * [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] | 
| − | {{col-break}}
 | + | * [http://wikinfo.org/w/index.php/Differential_logic Differential Logic], [http://wikinfo.org/w/ Wikinfo] | 
| − | * [http://knol.google.com/k/jon-awbrey/differential-logic/3fkwvf69kridz/2 Differential Logic], [http://knol.google.com/ Google Knol] | + | * [http://en.wikiversity.org/wiki/Differential_logic Differential Logic], [http://en.wikiversity.org/ Wikiversity] | 
| − | * [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://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Wikiversity Beta] |  | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Wikiversity Beta] | 
| − | * [http://getwiki.net/-Differential_Logic Differential Logic], [http://getwiki.net/ GetWiki]
 |  | 
| − | {{col-end}}
 |  | 
| − | 
 |  | 
| − | <br><sharethis />
 |  | 
|  |  |  |  | 
|  | [[Category:Inquiry]] |  | [[Category:Inquiry]] |