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. | + | '''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]]. |
Line 18: |
Line 18: |
| {{col-begin}} | | {{col-begin}} |
| {{col-break}} | | {{col-break}} |
− | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic @ Beta Wikiversity]
| |
| * [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz] | | * [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz] |
| + | * [http://mathweb.org/wiki/Differential_logic Differential Logic @ MathWeb Wiki] |
| + | * [http://netknowledge.org/wiki/Differential_logic Differential Logic @ NetKnowledge] |
| {{col-break}} | | {{col-break}} |
− | * [http://netknowledge.org/wiki/Differential_logic Differential Logic @ NetKnowledge] | + | * [http://wiki.oercommons.org/mediawiki/index.php/Differential_logic Differential Logic @ OER Commons] |
| + | * [http://p2pfoundation.net/Differential_Logic Differential Logic @ P2P Foundation] |
| * [http://semanticweb.org/wiki/Differential_logic Differential Logic @ SemanticWeb] | | * [http://semanticweb.org/wiki/Differential_logic Differential Logic @ SemanticWeb] |
| {{col-end}} | | {{col-end}} |
Line 123: |
Line 125: |
| {{col-break}} | | {{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://mathweb.org/wiki/Differential_logic Differential Logic], [http://mathweb.org/wiki/ MathWeb Wiki] |
− | * [http://www.mathweb.org/wiki/Differential_logic Differential Logic], [http://www.mathweb.org/wiki/ MathWeb Wiki]
| + | * [http://netknowledge.org/wiki/Differential_logic Differential Logic], [http://netknowledge.org/ NetKnowledge] |
− | * [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] | | * [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] |
| {{col-break}} | | {{col-break}} |
| + | * [http://knol.google.com/k/jon-awbrey/differential-logic/3fkwvf69kridz/2 Differential Logic], [http://knol.google.com/ Google Knol] |
| * [http://planetmath.org/encyclopedia/DifferentialLogic.html Differential Logic], [http://planetmath.org/ PlanetMath] | | * [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://planetphysics.org/encyclopedia/DifferentialLogic.html Differential Logic], [http://planetphysics.org/ PlanetPhysics] |
− | * [http://semanticweb.org/wiki/Differential_logic Differential Logic], [http://semanticweb.org/ SemanticWeb] | + | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Wikiversity Beta] |
− | * [http://knol.google.com/k/jon-awbrey/differential-logic/3fkwvf69kridz/2 Differential Logic], [http://knol.google.com/ Google Knol] | + | * [http://getwiki.net/-Differential_Logic Differential Logic], [http://getwiki.net/ GetWiki] |
− | * [http://www.getwiki.net/-Differential_Logic Differential Logic], [http://www.getwiki.net/ GetWiki]
| |
| {{col-end}} | | {{col-end}} |
| | | |
| <br><sharethis /> | | <br><sharethis /> |
| | | |
| + | [[Category:Inquiry]] |
| + | [[Category:Open Educational Resource]] |
| [[Category:Peer Educational Resource]] | | [[Category:Peer Educational Resource]] |
| [[Category:Artificial Intelligence]] | | [[Category:Artificial Intelligence]] |
Line 151: |
Line 155: |
| [[Category:History of Logic]] | | [[Category:History of Logic]] |
| [[Category:History of Mathematics]] | | [[Category:History of Mathematics]] |
− | [[Category:Inquiry]]
| |
| [[Category:Knowledge Representation]] | | [[Category:Knowledge Representation]] |
| [[Category:Logic]] | | [[Category:Logic]] |