Epitext for Differential Logic and Dynamic Systems

< Directory:Jon Awbrey
Revision as of 19:40, 30 June 2008 by Jon Awbrey (talk | contribs) (title & notoc)


Stand and unfold yourself.

Hamlet, 1.1.2

Review and Transition

A Functional Conception of Propositional Calculus

Out of the dimness opposite equals advance . . . .
     Always substance and increase,
Always a knit of identity . . . . always distinction . . . .
     always a breed of life.

— Walt Whitman, Leaves of Grass, [Whi, 28]

Template:-

Qualitative Logic and Quantitative Analogy

Logical, however, is used in a third sense, which is at once more vital and more practical; to denote, namely, the systematic care, negative and positive, taken to safeguard reflection so that it may yield the best results under the given conditions.

John Dewey, How We Think, [Dew, 56]

Philosophy of Notation : Formal Terms and Flexible Types

Where number is irrelevant, regimented mathematical technique has hitherto tended to be lacking. Thus it is that the progress of natural science has depended so largely upon the discernment of measurable quantity of one sort or another.

W.V. Quine, Mathematical Logic, [Qui, 7]

Special Classes of Propositions

Basis Relativity and Type Ambiguity

The Analogy Between Real and Boolean Types

Measurement consists in correlating our subject matter with the series of real numbers; and such correlations are desirable because, once they are set up, all the well-worked theory of numerical mathematics lies ready at hand as a tool for our further reasoning.

W.V. Quine, Mathematical Logic, [Qui, 7]

Theory of Control and Control of Theory

You will hardly know who I am or what I mean,
But I shall be good health to you nevertheless,
And filter and fibre your blood.

Walt Whitman, Leaves of Grass, [Whi, 88]

Propositions as Types and Higher Order Types

Reality at the Threshold of Logic

But no science can rest entirely on measurement, and many scientific investigations are quite out of reach of that device. To the scientist longing for non-quantitative techniques, then, mathematical logic brings hope.

W.V. Quine, Mathematical Logic, [Qui, 7]

Tables of Propositional Forms

To the scientist longing for non-quantitative techniques, then, mathematical logic brings hope. It provides explicit techniques for manipulating the most basic ingredients of discourse.

W.V. Quine, Mathematical Logic, [Qui, 7-8]

A Differential Extension of Propositional Calculus

Fire over water:
The image of the condition before transition.
Thus the superior man is careful
In the differentiation of things,
So that each finds its place.

I Ching, Hexagram 64, [Wil, 249]