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
