# 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

### Peer nodes

- Differential Logic @ InterSciWiki
- Differential Logic @ MyWikiBiz
- Differential Logic @ Subject Wikis
- Differential Logic @ Wikiversity
- Differential Logic @ Wikiversity Beta

### Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end### Related topics

- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic

### Relational concepts

### Information, Inquiry

### Related articles

- 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

- Inquiry
- Open Educational Resource
- Peer Educational Resource
- Artificial Intelligence
- Charles Sanders Peirce
- Combinatorics
- Computer Science
- Cybernetics
- Differential Logic
- Dynamical Systems
- Equational Reasoning
- Formal Languages
- Formal Sciences
- Formal Systems
- Graph Theory
- History of Logic
- History of Mathematics
- Knowledge Representation
- Logic
- Logical Graphs
- Mathematics
- Mathematical Systems Theory
- Philosophy
- Semiotics
- Systems Science
- Visualization