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]Peer nodes
[edit | edit source]- Differential Logic @ InterSciWiki
- Differential Logic @ Subject Wikis
- Differential Logic @ Wikiversity
- Differential Logic @ Wikiversity Beta
Logical operators
[edit | edit source]|
|
|
Related topics
[edit | edit source]|
|
|
|
Relational concepts
[edit | edit source]|
|
|
|
Information, Inquiry
[edit | edit source]|
|
|
|
|
Related articles
[edit | edit source]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.
- Inquiry
- Open Educational Resource
- Peer Educational Resource
- Artificial intelligence
- Charles Sanders Peirce
- Combinatorics
- Computer science
- Cybernetics
- Differential Logic
- Dynamical Systems
- Equational Reasoning
- Graph theory
- History of Logic
- History of Mathematics
- Knowledge Representation
- Logic
- Logical graphs
- Mathematical Systems Theory
- Philosophy
- Semiotics
- Systems science
- Visualization