Cf: Differential Logic • 1
At: http://inquiryintoinquiry.com/2020/03/22/differential-logic-%e2%80%a2-1/
Introduction
============
Differential logic is the component of logic whose object is the description of variation — for example, the aspects of
change, difference, distribution, and diversity — in universes of discourse subject to logical description. A
definition that broad naturally incorporates any study of variation by way of mathematical models, but differential
logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To
the extent a logical inquiry makes use of a formal system, its differential component treats the principles governing
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.
Simple examples of differential logical calculi are furnished by “differential propositional calculi”. A differential
propositional calculus is a propositional calculus extended by a set of terms for describing aspects of change and
difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe
to a target universe. Such a calculus augments ordinary propositional calculus in the same way the differential
calculus of Leibniz and Newton augments the analytic geometry of Descartes.
Regards,
Jon
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to [email protected] . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
