Differential logic

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.

Readings

• Differential Logic : Introduction

• Differential Logic and Dynamic Systems

Resources

• Differential Logic @ ThoughtMesh

• Differential Propositional Calculus @ PlanetMath

• Differential Propositional Calculus @ PlanetPhysics

Syllabus

Focal nodes

Template:Col-break

• Inquiry Live

Template:Col-break

• Logic Live

Template:Col-end

Peer nodes

• Differential Logic @ Beta Wikiversity
• Differential Logic @ MyWikiBiz
• Differential Logic @ NetKnowledge
• Differential Logic @ SemanticWeb

Logical operators

Template:Col-break

• Exclusive disjunction
• Logical conjunction
• Logical disjunction
• Logical equality

Template:Col-break

• Logical implication
• Logical NAND
• Logical NNOR
• Negation

Template:Col-end

Related topics

Template:Col-break

• Ampheck
• Boolean domain
• Boolean function
• Boolean-valued function
• Differential logic

Template:Col-break

• Logical graph
• Minimal negation operator
• Multigrade operator
• Parametric operator
• Peirce's law

Template:Col-break

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

Template:Col-end

Relational concepts

Template:Col-break

• Continuous predicate
• Hypostatic abstraction
• Logic of relatives
• Logical matrix

Template:Col-break

• Relation
• Relation composition
• Relation construction
• Relation reduction

Template:Col-break

• Relation theory
• Relative term
• Sign relation
• Triadic relation

Template:Col-end

Information, Inquiry

Template:Col-break

• Inquiry
• Logic of information

Template:Col-break

• Descriptive science
• Normative science

Template:Col-break

• Pragmatic maxim
• Pragmatic theory of truth

Template:Col-break

• Semeiotic
• Semiotic information

Template:Col-end

Related articles

• Jon Awbrey, “Introduction To Inquiry Driven Systems”

• Jon Awbrey, “Prospects For Inquiry Driven Systems”

• Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”

• Jon Awbrey, “Propositional Equation Reasoning Systems”

• Jon Awbrey, “Differential Logic : Introduction”

• Jon Awbrey, “Differential Propositional Calculus”

• Jon Awbrey “Differential Logic and Dynamic Systems”

<sharethis />