Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!mcvax!ukc!strath-cs!glasgow!jack
From: jack@cs.glasgow.ac.uk (Jack Campin)
Newsgroups: comp.ai
Subject: Re: CONTEXTUAL LOGIC THEOREMS
Message-ID: <3132@crete.cs.glasgow.ac.uk>
Date: 20 Jun 89 14:24:08 GMT
References: <1589@infmx.UUCP>
Reply-To: jack@cs.glasgow.ac.uk (Jack Campin)
Organization: COMANDOS Project, Glesga Yoonie, Unthank
Lines: 40
Summary:
Expires:
Sender:
Followup-To:
Keywords:


briand@infmx.UUCP (brian donat) wrote:
  
> Please feel free to hack away at the following:
   
> Contextual Logic Theorem 1:        (Fundamental Theorem)
> There exists a fundamental context which contains one (or a finite set of)
> fundamental truth(s).

If this is a theorem, what's it derived from?  If it's an axiom, that's OK as
long as "context", "truth" and "fundamental" are recognized as undefined terms.
   

> Contextual Logic Theorem 2:        (Truths Theorem)
> Given any set of contexts such that they are stacked whereby upper contexts
> map to lower, there is an exclusive and finite set of 'truths' as one maps
> downward through these contexts.

What's "stacked" mean?  "Map"?  "Exclusive"?  "Maps downward"?...  and so on
through the rest of that posting; it is not at all clear what's being used as
a technical term and what as common usage.

If all these words are taken as common usage, then these statements about them
are gibberish (try them on a random Joe Q. Public serving behind a Macdonalds
counter and you'd be taken for a Moonie).  If they're terms of art, Brian owes
us an explanation as to which are primitive and which defined.

If you're calling a text a contribution to "logic", you're claiming to be
involved in the same kind of praxis as every logician since Aristotle; start
with some undefined primitives, define some new terms on top of them, provide
informal explanations of why the game might matter, and prove things about its
formal structure.

I can see nothing recognizable as "logic" in Brian's posting.

-- 
Jack Campin  *  Computing Science Department, Glasgow University, 17 Lilybank
Gardens, Glasgow G12 8QQ, SCOTLAND.    041 339 8855 x6045 wk  041 556 1878 ho
INTERNET: jack%cs.glasgow.ac.uk@nsfnet-relay.ac.uk  USENET: jack@glasgow.uucp
JANET: jack@uk.ac.glasgow.cs     PLINGnet: ...mcvax!ukc!cs.glasgow.ac.uk!jack