How about a language that uses synsets instead of words?
Do you know if anyone has researched that? (02)
A synset is an equivalence class, similar to your
definition of proposition. (03)
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
> The simple reason is that mathematics of any kind (including symbolic
> logic) makes statements with sharp, absolute criteria of precision.
> (Even fuzzy logic and probability theory make precise statements
> about fuzziness and probabilities.) In the initial unsettled stages
> of research, such precision is impossible. It's also impossible to
> quantify the exact amount of fuzziness. That's why ordinary language
> is far better suited to the *development* of a theory than to the
> final statement of the theory.
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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 (06)