| Line 16: |
Line 16: |
| | {| width="100%" cellpadding="0" cellspacing="0" | | {| width="100%" cellpadding="0" cellspacing="0" |
| | | width="40%" | | | | width="40%" | |
| − | | width="60%" | Out of the dimness opposite equals advance . . . . | + | | width="60%" | |
| − | |-
| + | Out of the dimness opposite equals advance . . . .<br> |
| − | |
| + | Always substance and increase,<br> |
| − | | Always substance and increase,
| + | Always a knit of identity . . . . always distinction . . . .<br> |
| − | |-
| + | always a breed of life. |
| − | |
| |
| − | | Always a knit of identity . . . . always distinction . . . .
| |
| − | |-
| |
| − | |
| |
| − | | always a breed of life.
| |
| | |- | | |- |
| | | | | | |
| Line 70: |
Line 65: |
| | ===Theory of Control and Control of Theory=== | | ===Theory of Control and Control of Theory=== |
| | | | |
| − | {| align="right" | + | {| width="100%" cellpadding="0" cellspacing="0" |
| − | | | + | | width="40%" | |
| | + | | width="60%" | |
| | <p>You will hardly know who I am or what I mean,<br> | | <p>You will hardly know who I am or what I mean,<br> |
| | But I shall be good health to you nevertheless,<br> | | But I shall be good health to you nevertheless,<br> |
| | And filter and fibre your blood.</p> | | And filter and fibre your blood.</p> |
| | |- | | |- |
| | + | | |
| | | align="right" | — Walt Whitman, ''Leaves of Grass'', [Whi, 88] | | | align="right" | — Walt Whitman, ''Leaves of Grass'', [Whi, 88] |
| | |} | | |} |
| − | {{-}}
| |
| | | | |
| | ===Propositions as Types and Higher Order Types=== | | ===Propositions as Types and Higher Order Types=== |