On Aug 28, 2010, at 6:18 PM, Pavithra wrote:
> ...After all semantics is about reasoning. (01)
No, it isn't. Semantics is about meaning, more exactly (though still roughly),
the connection between symbols and their interpretations. This is of course
not to say that semantics is unrelated to reasoning -- an appropriate semantic
theory for a language will provide notions of *logical truth* and *entailment*
that can be used to justify the axioms and inference rules that constitute an
actual reasoning system. (02)
Chris Menzel (03)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
|