[KIF] Re: [SCL] DTD for XML/SCL

[pat hayes]

>Re Sowa "... and let us begin work on the much more interesting metalanguage
>project."
>
>I'd like to stress also the importance of the metalanguage: in particular,
>the metalogic.

I would be interested in knowing more about what it is that you guys 
are talking about. Metalanguage I think I understand: but meta LOGIC? 
Do you have in mind that there would be some meta-specific logical 
principles which do not apply at the base logical level? If so, what? 
And if not, why are y'all so excited about this?

Note, I ask only out of intellectual curiosity. I do not think that 
SCL should be diverted into trying to do any kind of formalized 
metalanguage/logic. The CL experience has shown us that just trying 
to get agreement on something as simple as a sorted FO syntax can 
waste years.

Pat

>Jay
>
>----- Original Message -----
>From: "John F. Sowa" <sowa at bestweb.net>
>To: <scl at philebus.tamu.edu>; <kif at philebus.tamu.edu>
>Cc: "Arun Majumdar" <arun at vivomind.com>
>Sent: Tuesday, January 07, 2003 10:57
>Subject: [KIF] Re: [SCL] DTD for XML/SCL
>
>
>>  Bill and Chris,
>
>(Snip)
>
>>  Bottom line:  Adopting the Z standard for the SCL foundations would
>>  enable us to finish an SCL standard document quickly, and let us begin
>>  work on the much more interesting metalanguage project.
>>
>>  John
>>
>
>_______________________________________________
>SCL mailing list
>SCL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/scl


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes at ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam at ai.uwf.edu   for spam