j_ou noつまり言語入力だけからだと整合性チェックはある程度出来るけど、その整合的な複数の言明からなるセットが現実に当てはまるかは判定できない。そしてその整合性チェックだって、語の「指示的な意味＝知識」から完全に独立ではない。人間の真偽判定が相互に良く一致するのは、五感による入力が基盤として存在するからですね。
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.