ゆくゆくは有へと

おかゆ/彼ノ∅有生 の雑記

2016-05-25から1日間の記事一覧

複数指示系の意味論

plural logic (Mckayのやつ)を自分なりに理解しようとした。ほぼポエムだよ。 いんとろ 問題点のおさらい。plural logic を使わなきゃいけないというのには主として2つの理由がある。 非分配的な述語の存在 「x はクラスメイトだ」「x は色々な国の出身だ…