At 09:14 AM 3/16/2007, Chris Partridge wrote:
>The topic itself seems to me interesting.
>You may be able to shed some light on this.
> >From what little I know, it seems as if at the beginning of the 20th
>century, philosophical opinion tended towards regarding logic as a potential
>candidate for ontology. By the end of the century, ontology is about what
>exists and logic about what can be inferred.
>It seems to be the case, as noted below, that "ontological considerations
>might play a role in the choice of an appropriate formalism" and presumably
>that a formalism (such as FOL) might have implicit ontological implications.
>I wonder whether either of you (or anyone else on the list) could point to
>philosophical research on the links between the two. (01)
(for what it's worth)
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (03)