ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] formal systems, common logic and lbase

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "rick@xxxxxxxxxxxxxx" <rick@xxxxxxxxxxxxxx>
Date: Fri, 30 Nov 2007 17:31:30 -0500
Message-id: <47508F42.6010208@xxxxxxxxxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>