Christopher Menzel wrote:
> On Nov 25, 2007, at 6:11 PM, rick@xxxxxxxxxxxxxx wrote:
>>> However, since it places CL and Lbase under something other
>>> than 'Logics' (I'm not sure if its under 'Axiomatic' or "Natural
>>> Language'), it is wrong, since these are in fact both logics.
>> That's not what they say.
>
> Then they (whoever they are) are wrong. It depends on *exactly* how a
> logic is defined (there are several equally good notions), but CL is
> either a logic or a class of logics. (01)
Well, it's subtitle is ": a framework for a family of logic based
languages." And the introduction says CL "is a logic framework intended
for information exchange and transmission." If you're citing this ... (02)
http://plato.stanford.edu/entries/logic-classical/ (03)
as a normative definition of a logic, then CL contains some things in
addition to what's in that definition (ex. Section 6.3 and annex A) and
its called a framework. So, I have to conclude its more than a logic. (04)
If by class of logics, you mean a) framework; b) family of languages;
and c) for network transmission, then I'm good with that. (05)
> -chris
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>
> (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|