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">☞</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 — 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. |
| | | |
− | ==Readings==
| + | 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. |
− | | |
− | * [[Directory:Jon Awbrey/Papers/Differential Logic : Introduction|Differential Logic : Introduction]]
| |
− | | |
− | * [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0|Differential Logic and Dynamic Systems]]
| |
− | | |
− | ==Resources==
| |
− | | |
− | * [http://vectors.usc.edu/thoughtmesh/publish/143.php Differential Logic @ ThoughtMesh]
| |
− | | |
− | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Differential Propositional Calculus @ PlanetMath]
| |
− | | |
− | * [http://planetphysics.org/encyclopedia/DifferentialPropositionalCalculus.html Differential Propositional Calculus @ PlanetPhysics]
| |
| | | |
| ==Syllabus== | | ==Syllabus== |
Line 21: |
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 98: |
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 104: |
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, “Introduction To Inquiry Driven Systems”] | + | {{col-begin}} |
| + | {{col-break}} |
| + | * [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://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] |
| + | {{col-break}} |
| + | * [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://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems] |
| + | {{col-break}} |
| + | * [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://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry] |
| + | {{col-end}} |
| | | |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”]
| + | ==Document history== |
| | | |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”]
| + | 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. |
| | | |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_logic Differential Logic], [http://intersci.ss.uci.edu/ InterSciWiki] |
− | | + | * [http://mywikibiz.com/Differential_logic Differential Logic], [http://mywikibiz.com/ MyWikiBiz] |
− | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] | + | * [http://planetmath.org/DifferentialLogic Differential Logic], [http://planetmath.org/ PlanetMath] |
− | | + | * [http://semanticweb.org/wiki/Differential_logic Differential Logic], [http://semanticweb.org/ Semantic Web] |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | + | * [http://wikinfo.org/w/index.php/Differential_logic Differential Logic], [http://wikinfo.org/w/ Wikinfo] |
− | | + | * [http://en.wikiversity.org/wiki/Differential_logic Differential Logic], [http://en.wikiversity.org/ Wikiversity] |
− | <br><sharethis />
| + | * [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic], [http://beta.wikiversity.org/ Wikiversity Beta] |
| | | |
| + | [[Category:Inquiry]] |
| + | [[Category:Open Educational Resource]] |
| + | [[Category:Peer Educational Resource]] |
| + | [[Category:Artificial Intelligence]] |
| + | [[Category:Charles Sanders Peirce]] |
| + | [[Category:Combinatorics]] |
| [[Category:Computer Science]] | | [[Category:Computer Science]] |
| [[Category:Cybernetics]] | | [[Category:Cybernetics]] |
| [[Category:Differential Logic]] | | [[Category:Differential Logic]] |
| [[Category:Dynamical Systems]] | | [[Category:Dynamical Systems]] |
| + | [[Category:Equational Reasoning]] |
| [[Category:Formal Languages]] | | [[Category:Formal Languages]] |
| [[Category:Formal Sciences]] | | [[Category:Formal Sciences]] |
| [[Category:Formal Systems]] | | [[Category:Formal Systems]] |
− | [[Category:Inquiry]] | + | [[Category:Graph Theory]] |
− | [[Category:Linguistics]] | + | [[Category:History of Logic]] |
| + | [[Category:History of Mathematics]] |
| + | [[Category:Knowledge Representation]] |
| [[Category:Logic]] | | [[Category:Logic]] |
| + | [[Category:Logical Graphs]] |
| [[Category:Mathematics]] | | [[Category:Mathematics]] |
| [[Category:Mathematical Systems Theory]] | | [[Category:Mathematical Systems Theory]] |
| + | [[Category:Philosophy]] |
| [[Category:Semiotics]] | | [[Category:Semiotics]] |
− | [[Category:Philosophy]]
| |
| [[Category:Systems Science]] | | [[Category:Systems Science]] |
| + | [[Category:Visualization]] |