tag:blogger.com,1999:blog-4594924115050649443.post1645564634710128063..comments2023-08-04T23:56:49.299+09:00Comments on 味噌煮込みロジバン: Lojban Lessons - 27章 (ロジバン論理: da、 bu'a、 zo'u、項(terms))しょうがhttp://www.blogger.com/profile/00117888221359070270noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-4594924115050649443.post-27085568681740319862013-08-06T06:29:02.869+09:002013-08-06T06:29:02.869+09:00コメントありがとうございます。
そこを訳していたときにすごく違和感がありましたが、やはりそうでした...コメントありがとうございます。<br /><br />そこを訳していたときにすごく違和感がありましたが、やはりそうでしたか...<br /><br />guskantさんの説明のほうが断然まとまっていてわかりやすいですね。.ui<br />しょうがhttps://www.blogger.com/profile/00117888221359070270noreply@blogger.comtag:blogger.com,1999:blog-4594924115050649443.post-79542150050087981832013-08-06T06:23:14.289+09:002013-08-06T06:23:14.289+09:00wavelessons のこの章を書いた人は、多分、言語哲学における「存在」の意味をわかっていないの...wavelessons のこの章を書いた人は、多分、言語哲学における「存在」の意味をわかっていないのだと思いますが、 議論領域 (universe of discourse / domain of discourse) の取り方によって、ユニコーンが存在するとか、犬が1匹だけ存在するとかいう文を、真である文として扱うことは普通にできます。<br /><br />それに、「ユニコーンであるような全てのxについてxに角がある」という文は、「ユニコーンが少なくとも1つ存在する」ということを含意しません。<br />∀x(U(x)⇒H(x)) <br />= ¬∃x¬(U(x)⇒H(x))<br />= ¬∃x¬(¬U(x)∨H(x))<br />= ¬∃x(¬¬U(x)∧¬H(x))<br />= ¬∃x(U(x)∧¬H(x))<br />つまり、「ユニコーンであって、しかも角がないようなものは、存在しない」と言っているだけで、ユニコーン自体が存在するかどうかまでは言っていないのです。<br /><br />zo'u, da, na に関しては、私が入門講座で書いた説明のほうがわかりやすいと思いますが、いかがでしょうか。<br />http://guskant.github.io/kolojbo.iu/html/ch13.htmlguskanthttp://fotono.tumblr.com/noreply@blogger.com