[Inquiry] Re: Prospects for Inquiry Driven Systems

[Jon Awbrey]

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

PRO.  Note 51

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

2.2.2.  Logic with a Difference

In view of the importance of differential ideas in systems theory and against
the background of difficulties just surveyed, I have thought it worthwhile
to carefully pursue this quest:  to extend the concepts of difference and
due measure to spaces that lack the obvious amenities and expedients.
The limits of rational descriptive capacity for any conceivable sets
of states have their ultimate horizon in logic.  This is the bound
to which we must resort when only qualitative characterizations
of a problem space are initially available.  Therefore I am led
to ask what will be a guiding question throughout this inquiry:
What is the proper form of a differential calculus for logic?

Jon Awbrey

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