Differential logic

☞ This page belongs to resource collections on Logic and Inquiry.
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.
==Syllabus==
===Focal nodes===
* Inquiry Live
* Logic Live
===Peer nodes===
* Differential Logic @ InterSciWiki
* Differential Logic @ MyWikiBiz
* Differential Logic @ Subject Wikis
* Differential Logic @ Wikiversity
* Differential Logic @ Wikiversity Beta
===Logical operators===
* Exclusive disjunction
* Logical conjunction
* Logical disjunction
* Logical equality
* Logical implication
* Logical NAND
* Logical NNOR
* Negation
===Related topics===
* Ampheck
* Boolean domain
* Boolean function
* Boolean-valued function
* Differential logic
* Logical graph
* Minimal negation operator
* Multigrade operator
* Parametric operator
* Peirce's law
* Propositional calculus
* Sole sufficient operator
* Truth table
* Universe of discourse
* Zeroth order logic
===Relational concepts===
* Continuous predicate
* Hypostatic abstraction
* Logic of relatives
* Logical matrix
* Relation
* Relation composition
* Relation construction
* Relation reduction
* Relation theory
* Relative term
* Sign relation
* Triadic relation
===Information, Inquiry===
* Inquiry
* Dynamics of inquiry
* Semeiotic
* Logic of information
* Descriptive science
* Normative science
* Pragmatic maxim
* Truth theory
===Related articles===
* Cactus Language
* Futures Of Logical Graphs
* Propositional Equation Reasoning Systems
* Differential Logic : Introduction
* Differential Propositional Calculus
* Differential Logic and Dynamic Systems
* Prospects for Inquiry Driven Systems
* Introduction to Inquiry Driven Systems
* Inquiry Driven Systems : Inquiry Into Inquiry
==Document history==
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.
* Differential Logic, InterSciWiki
* Differential Logic, MyWikiBiz
* Differential Logic, PlanetMath
* Differential Logic, Semantic Web
* Differential Logic, Wikinfo
* Differential Logic, Wikiversity
* Differential Logic, 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:Cybernetics
Category:Differential Logic
Category:Dynamical Systems
Category:Equational Reasoning
Category:Formal Languages
Category:Formal Sciences
Category:Formal Systems
Category:Graph Theory
Category:History of Logic
Category:History of Mathematics
Category:Knowledge Representation
Category:Logic
Category:Logical Graphs
Category:Mathematics
Category:Mathematical Systems Theory
Category:Philosophy
Category:Semiotics
Category:Systems Science
Category:Visualization