consistency permits relevance and non-relevance, which bifurcates into potential appliable-logics. [plural]
Jamie [EMAIL PROTECTED] wrote: > > Is that the same as > "Relevant, consistent statements permit logical deduction." > Bligh > > -----Original Message----- > From: James N Rose <[EMAIL PROTECTED]> > Sent: Jul 22, 2004 8:26 AM > To: [EMAIL PROTECTED] > Subject: Re: ... cosmology? KNIGHT & KNAVE > > 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