At 09:14 AM 3/16/2007, Chris Partridge wrote:
>Chris, John,
>
>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)
http://ontology.buffalo.edu/bfo/Against_Fantology.pdf
(for what it's worth)
Barry (02)
_________________________________________________________________
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 (03)
|