Saturday, October 3, 2015

Jill is ready

"Jill is ready" is an expression mentioned frequently by D. Belleri. I think it has two forms: "Jill is ready for..." and "Jill is ready to...". These are written, respectively as:
([Z]->J)* 
and
(J->[Z])*
I like it when things turn out to be simple.
But there is a difference between this and "It is raining". For that, the 'place' of the rain may remain implicit and not important. But "Jane is ready" is a statement that is incomplete. That is because rather than relying on T6N, which does not create expectation, here we can rely on T7 to create an expectation. 
The nature of the implicit understanding is different for "Jill is ready" and for "It is raining". The former requires further information and the latter has optional further information. We might say that the former has no default value in the variable whereas the latter has default 'place'.
To restate: 
[place]_/raining 
has an implicit term and so it is subject to Truism 6N allowing optional explicitness. Whereas:
(J->[Z])* 
has an implicit term and a contrast and so it is subject to both Truism 6N and Truism 7. The latter requires appearance without contrast and that cannot happen without it becoming explicit. [This still feels a bit strange - like one of the Euclidean deductions that uses ideas outside that aren't in the axioms.]
Update:  We do need something more. How about: do not use of X::[Z]. I will be considered illegal for a explicit sub-narrative to become an implicit sub-narrative.

No comments:

Post a Comment