ONT Re: Differential Logic
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
DLOG. Note D28
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| And as imagination bodies forth
| The forms of things unknown, the poet's pen
| Turns them to shapes, and gives to airy nothing
| A local habitation and a name.
|
| 'A Midsummer Night's Dream', 5.1.14-17
Thematization of Functions: And a Declaration of Independence for Variables
In the representation of propositions as functions it is possible to notice
different degrees of explicitness in the way their functional character is
symbolized. To indicate what I mean by this, the next series of Figures
illustrates a set of graphic conventions that will be put to frequent
use in the remainder of this discussion, both to mark the relevant
distinctions and to help us convert between related expressions
at different levels of explicitness in their functionality.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
S