waraby0ginger https://blog.hatena.ne.jp/waraby0ginger/ ゆくゆくは有へと https://iuk.hateblo.jp/ lojban 独自考察 論理学 plural logic (Mckayのやつ）を自分なりに理解しようとした。ほぼポエムだよ。 いんとろ 問題点のおさらい。plural logic を使わなきゃいけないというのには主として２つの理由がある。 非分配的な述語の存在 「x はクラスメイトだ」「x は色々な国の出身だ」とかいう述語は x に複数形（英語ならね）が入るようなものだけれど、 ふつうの述語論理に与えるモデル意味論では項に1つの対象を対応させるので、こういった述語に対応できない。 ふつうのモデル意味論では、項に１つの対象を対応させようとする。こういうのを「単指示系のモデル」と呼ぶことにします。 こういうモデルの下では、項は個… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fiuk.hateblo.jp%2Fentry%2F2016%2F05%2F25%2F024829" title="複数指示系の意味論 - ゆくゆくは有へと" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&chl=%20I%28t_1%29%20%3D%20d_1 Hatena Blog https://hatena.blog 2016-05-25 02:48:29 rich https://iuk.hateblo.jp/entry/2016/05/25/024829 1.0 100%