> Given the current structure of CL & LBase, I believe proposition a) is
> where CL & LBase are now: a natural language description of the
> constraints to which the axioms of an open ended schematic system
> would
> adhere. Proposition b) presumes that we structure a logical environemt
> as illustrated below.
>
> Logical Environment
> |
> -----------------------------------------
> | | | |
> Languages Logics Models Theories
> |
> -----------------
> | |
> Axiomatic Natural Language
> |
> -------------------
> | |
> LBASE Common
> Logic
>
> I believe Feferman's open ended schematic system implies proposition
> b)
> and the evolution of formal systems towards logical environments. (01)
What relation are the arcs in the above graph supposed to represent?
I frankly can't think of any intuitive relation such that CL and LBase
bear it to Natural Language and, derivatively, to Theories, but not to
Logics. For one thing, CL isn't a theory. However, it is (well,
better, perhaps, "encompasses") first-order logic. (02)
Could you explain the intended meaning of this graph? (03)
-chris (04)
_________________________________________________________________
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 (05)
|