[SCL] Re: slightly free logic

[Jay Halcomb]

Draft notes from this last SCL meeting (Randall Schulz and I kibitzed).
Coffee and a good time was enjoyed by all.

Themes discussed, in not too much particular order and detail:

Hayes and Sowa vigorously disputed whether theories should be called
'modules' (Sowa) or 'ontologies' (Hayes). I suggested they split the
difference and call them 'ontology modules'. Or maybe 'modular
ontologies' -- roses by any other name.

Headers for SCL. 'Skins' (another debate -- was it resolved?). The infamous
Horrocks' problem, identity, and Hayes' forthcoming solution.

The merits of C++ vs. Lisp vs. Java. The Tau theorem prover (Schulz and
Halcomb).

Sequence variables and their uses and abuses -- lists, inductive
definitions, tail recursion, etc. Nonstandard models. KIF.

The natural and unnatural histories of homing pigeons.Why ravens aren't like
writing desks.

CGIFs, and backquoting. Sowa wants something like a Lispish backquoting, and
wants a box and diamond notation (in an extension to SCL), and to get into
specifying a proof theory. Hayes wants to know what the semantics would be.
See nonstandard models. (Also see Sergei Artemov's work -- Ed.).
Translation. Variable-binding operators.

Cyc, CycL, and contexts. What's up (to do about) with that?

ISO standards, ZED and SCL. Sowa is going to write some stuff up thereupon.

What goes into the SCL kernel. Hayes liked 'and', 'not', and 'forall'. Sowa
liked 'exists', 'not', and 'or'. A compromise was brokered: 'exists',
'forall', 'and', 'or', and 'not'.

Bertrand Russell, Richard Montague, and the vagaries and imponderables of
life.

Tentatively, an SCL meeting in Palo Alto on Jan. 6.

Jay

----- Original Message ----- 
From: "John F. Sowa" <sowa at bestweb.net>
To: "pat hayes" <phayes at ihmc.us>
Cc: <scl at philebus.tamu.edu>
Sent: Sunday, December 14, 2003 19:14
Subject: Re: [SCL] Re: slightly free logic


> Pat, Chris, et al.,
>
> Sure, let's use that number:
>
>  > If we use the regular one, it is 413 351 4140
>
> For anyone who would like to dial in,
> the time is 2:30 pm Pacific Standard Time,
> 4:30 CST, and 5:30 EST.  It would be
> rather late at night in Europe.
>
> John
>
>
>
> _______________________________________________
> SCL mailing list
> SCL at philebus.tamu.edu
> http://philebus.tamu.edu/mailman/listinfo/scl