Difference between revisions of "Directory:Jon Awbrey/EPITEXT"
Jon Awbrey (talk | contribs) (gathering epitext) |
Jon Awbrey (talk | contribs) (title & notoc) |
||
Line 1: | Line 1: | ||
− | {{DISPLAYTITLE:Differential Logic and Dynamic Systems}} | + | {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} |
+ | __NOTOC__ | ||
<blockquote> | <blockquote> |
Revision as of 19:40, 30 June 2008
Stand and unfold yourself.
Hamlet, 1.1.2
Review and Transition
A Functional Conception of Propositional Calculus
Out of the dimness opposite equals advance . . . . |
— Walt Whitman, Leaves of Grass, [Whi, 28] |
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]