M_SHIRAISHIの新論理ってどうよ？

http://www.apionet.or.jp/~eurms/Note.html

を読んでみたんだけど、これってM_SHIRAISHIには
「Qが成り立つ」と「(not P) or Qが成り立つ」の区別ができない
ってだけのことだろう。

P：M_SHIRAISHIはバカである
Q：M_SHIRAISHIはアホである

としたときに、Pが真だとすれば「M_SHIRAISHIはバカ」ということで、
それでおわり。

Pが偽だとすると、not Pが真だから、(not P) or Qが成り立つが、
これはM_SHIRAISHIの”狸屈”ではQが成り立つのと同じだから、
「M_SHIRAISHIはアホ」が成り立つことになる。

>>183
「狸窟」のほうがいいと思う。