Edit Comment on
20080110-1
n[0] = "
Stromdorf
"; m[0] = "かがみさん、私のBlogにリンクしていただいたうえ、メイン記事にまでしていただいて恐縮です。ちなみに自分のサイトから自分のBlogにリンクするのを忘れてたのでリンクしました(笑)。
今後ともよろしくお願いします。"; d[0] = "2008-01-11 20:34:07"; n[1] = "かがみ"; m[1] = "Stromdorfさんのブログは毎回楽しく読ませて頂いております。今後ともよろしくお願いいたします。"; d[1] = "2008-01-12 12:18:27"; n[2] = "通りすがり"; m[2] = "あんまりStromdorf氏をおだてないほうがいいと思うな。
まあ、誰もおだてなくても同じか。"; d[2] = "2008-02-08 12:02:59"; n[3] = "かがみ"; m[3] = "私の大好きなな通りすがりさんにしては、ちと美しくない内容ですなあ。シニカルな感じは好きなので、それを美しく昇華して頂ければ、お互いさらに楽しくおつきあい出来ると思います。ではでは。"; d[3] = "2008-02-08 15:44:47"; n[4] = "通りすがり"; m[4] = "この件に関しては、何の皮肉もないですよ。
私は今では彼を大して評価していません。
10年以上前から同じこといってますからね。
もういい加減新しいことをやったらどうかと思いますね。
"; d[4] = "2008-02-08 16:27:47"; n[5] = "通りすがり"; m[5] = "美しい話も書いときますかw
A⇒A∧Aはフツーの論理なら正しいようですが、
これが正しくないという論理もある。
例えばAを「リンゴがある」としよう。
上記の式は
「リンゴがあるなら、リンゴがありかつリンゴがある」
となる。
まあ、解釈によっては
「リンゴが1個あるなら、2個ある」
とも読めるわけですが、さすがにそういう解釈については
「んなこたぁないやろ」
といいたくなる。解釈が、ではない。
解釈した結果としての、A⇒A∧Aが、である。
いろいろな論理があっていい、と今は思う。"; d[5] = "2008-02-08 16:48:18"; n[6] = "かがみ"; m[6] = "論理の分野は得意でく、どうしても自分自身が納得させるメタ論理を構築することができません。ただ、いろいろな論理の話や、論理に限らず多様な意見を聞いたり読んだりするのは好きなので、これからもいろいろ書き込んで頂けるととてもうれしいです。
"; d[6] = "2008-02-10 15:50:16";
(password)