Differential Logic

[Jon Awbrey]

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

RelMics & SeqFan Folks,

I am distributing one of my more detailed presentations of
"Differential Logic" via the "Inquiry" discussion list.

http://stderr.org/pipermail/inquiry/
http://stderr.org/cgi-bin/mailman/listinfo/inquiry

I am appending the outline of archive links that I've
been able to asciify so far.  As always, best viewed
in a fixed-width character format.  Happy to hear
any comments.  ~~ Jon Awbrey

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

Differential Logic and Dynamic Systems

0.  Purpose

1.  Review and Transition
    D01.  http://stderr.org/pipermail/inquiry/2003-May/000471.html

2.  A Functional Conception of Propositional Calculus
    D02.  http://stderr.org/pipermail/inquiry/2003-May/000473.html

2.1.  Qualitative Logic and Quantitative Analogy
      D03.  http://stderr.org/pipermail/inquiry/2003-May/000474.html

2.2.  Philosophy of Notation:  Formal Terms and Flexible Types
      D04.  http://stderr.org/pipermail/inquiry/2003-May/000475.html

2.3.  Special Classes of Propositions
      D05.  http://stderr.org/pipermail/inquiry/2003-May/000476.html

2.4.  Basis Relativity and Type Ambiguity
      D06.  http://stderr.org/pipermail/inquiry/2003-May/000477.html

2.5.  The Analogy Between Real and Boolean Types
      D07.  http://stderr.org/pipermail/inquiry/2003-May/000478.html

2.6.  Theory of Control and Control of Theory
      D08.  http://stderr.org/pipermail/inquiry/2003-May/000479.html

2.7.  Propositions as Types and Higher Order Types
      D09.  http://stderr.org/pipermail/inquiry/2003-May/000480.html

2.8.  Reality at the Threshold of Logic
      D10.  http://stderr.org/pipermail/inquiry/2003-May/000481.html

2.9.  Tables of Propositional Forms
      D11.  http://stderr.org/pipermail/inquiry/2003-May/000482.html

3.  A Differential Extension of Propositional Calculus
    D12.  http://stderr.org/pipermail/inquiry/2003-May/000483.html

3.1.  Differential Propositions:  The Qualitative Analogue of Differential Equations
      D13.  http://stderr.org/pipermail/inquiry/2003-May/000484.html

3.2.  An Interlude on the Path
      D14.  http://stderr.org/pipermail/inquiry/2003-May/000485.html

3.3.  The Extended Universe of Discourse
      D15.  http://stderr.org/pipermail/inquiry/2003-May/000486.html

3.4.  Intentional Propositions
      D16.  http://stderr.org/pipermail/inquiry/2003-May/000487.html

3.5.  Life on Easy Street
      D17.  http://stderr.org/pipermail/inquiry/2003-May/000488.html

4.  Back to the Beginning:  Some Exemplary Universes
    D18.  http://stderr.org/pipermail/inquiry/2003-May/000489.html

4.1.  A One-Dimensional Universe
      D19.  http://stderr.org/pipermail/inquiry/2003-May/000490.html

4.2.  Example 1.  A Square Rigging
      D20.  http://stderr.org/pipermail/inquiry/2003-May/000491.html

4.3.  Back to the Feature
      D21.  http://stderr.org/pipermail/inquiry/2003-May/000492.html

4.4.  Tacit Extensions
      D22.  http://stderr.org/pipermail/inquiry/2003-May/000493.html

4.5.  Example 2.  Drives and Their Vicissitudes
      D23.  http://stderr.org/pipermail/inquiry/2003-May/000494.html
      D24.  http://stderr.org/pipermail/inquiry/2003-May/000495.html

5.  Transformations of Discourse
    D25.  http://stderr.org/pipermail/inquiry/2003-May/000496.html

5.1.  Foreshadowing Transformations:  Extensions and Projections of Discourse

5.1.1.  Extension from 1 to 2 Dimensions
        D26.  http://stderr.org/pipermail/inquiry/2003-May/000497.html

5.1.2.  Extension from 2 to 4 Dimensions
        D27.  http://stderr.org/pipermail/inquiry/2003-May/000498.html

5.2.  Thematization of Functions:  And a Declaration of Independence for Variables
      D28.  http://stderr.org/pipermail/inquiry/2003-May/000499.html

5.2.1.  Thematization:  Venn Diagrams
        D29.  http://stderr.org/pipermail/inquiry/2003-May/000500.html
        D30.  http://stderr.org/pipermail/inquiry/2003-May/000501.html

5.2.2.  Thematization:  Truth Tables
        D31.  http://stderr.org/pipermail/inquiry/2003-May/000502.html
        D32.  http://stderr.org/pipermail/inquiry/2003-May/000503.html

To Be Continued ...

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