Pro: It is suggested that the work of Tarski establishes a foundation to
ontological engineering. This suggestion is made based on certain schools
of thought that have been associated with classical artificial intelligence
and with first order logics. (01)
Con: Reservations have been noted by a number of scholars, including Roger
Penrose and Robert Rosen. These two authors' works can be examined to see
what the issues are regarding non-computability, and
non-representation-ability of classical logic. (02)
Recommendation: ... continued at (03)
http://www.ontologystream.com/beads/nationalDebate/315.htm (04)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (05)
|