Bruno,

Nice story and game depiction; it does help - somewhat - to explain
a more expansive generalization of 'decidability' ..the bedrock on
which 'logic' (at least for the traditional understanding of that term)
relies.

Global consistency  'permits'  decidability  'which permits'  logic.

But there are prefaces to -those- relations.  And direct indication
thereby that consistency is 'necessary' but not alone 'sufficient'
to arise 'decision', and then 'logic'.

Case:  have your student place the call. but the native answers in 
cantonese ; or, doesn't know the significance of the device called
'phone' and thinks it just an interesting noise-maker.

A 'consistency' of co-presence would exist in such a universe, but
not a 'requisite interaction' rule.   

Yet a 'logic of co-existence' -would- exist _strong enough and pervasive
enough_ to accomodate co-presence -with- 'involvement and no involvement'
simultaneously.

So .. first there must be a:

"global consistency  'which permits'  decidability AND non-decidability"

before you can generate the option sub-path ..

Global consistency  'permits'  decidability  'which permits'  logic.



Jamie Rose
Ceptual Institute


Reply via email to