[Inquiry] Re: Prospects for Inquiry Driven Systems

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PRO.  Note 52

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

2.3.  Differential Calculus of Propositions

There are two analogies to keep in mind,
throughout the discussion that follows:

First is the comparison between real and boolean types in regard to
the different kinds of geometric elements and functions that can be
built up from them.  These types accord mathematical representation
to the quantitative and the qualitative constituencies, respectively.

Second is a certain three-part analogy within the qualitative realm.
It relates (1) logical propositions, (2) mathematical functions, and
(3) sets of geometric elements, like points or vectors, where all of
these entities are founded on the boolean type B = {0, 1}.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o