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

[edit | edit source]

### Focal nodes

[edit | edit source]

* Inquiry Live
* Logic Live

### Peer nodes

[edit | edit source]

* Differential Logic @ InterSciWiki
* Differential Logic @ Subject Wikis
* Differential Logic @ Wikiversity
* Differential Logic @ Wikiversity Beta

### Logical operators

[edit | edit source]

* Exclusive disjunction
* Logical conjunction
* Logical disjunction
* Logical equality

* Logical implication
* Logical NAND
* Logical NNOR
* Negation

|

### Related topics

[edit | edit source]

* 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

[edit | edit source]

* 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

[edit | edit source]

* Inquiry
* Dynamics of inquiry

* Semeiotic
* Logic of information

* Descriptive science
* Normative science

* Pragmatic maxim
* Truth theory

|
|
|

### Related articles

[edit | edit source]

* 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

[edit | edit source]

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, PlanetMath
* Differential Logic, Semantic Web
* Differential Logic, Wikinfo
* Differential Logic, Wikiversity
* Differential Logic, Wikiversity Beta