necotum RSS

まぁ主にtwitterのログなんかを載せてゆくことになるのではと思いますけれども、けれども。

Archive

Nov
2nd
Sun
permalink

古典論理脳の恐怖

  • t33f: 矛盾とかわりとどうでもいいことだと思っている [http://twitter.com/t33f/statuses/986405659]
  • t33f: 矛盾してたらなんでも導いていいとか冗談はよしてくれって思う [http://twitter.com/t33f/statuses/986406441]
  • t33f: そんなことを平気で言う人は記号論理に毒されているのではないか [http://twitter.com/t33f/statuses/986407026]
  • t33f: 記号論理というか古典論理というか [http://twitter.com/t33f/statuses/986407235]
  • t33f: 直観主義論理がなぜあの法則を踏襲したのか理解に苦しむ [http://twitter.com/t33f/statuses/986407691]
  • at_akada: @t33f すいません、矛盾がどうでもいいというのは、実際の証明の中に矛盾があってもOKということですか？それとも矛盾にそこまでの力を認めるべきではないと？ [http://twitter.com/at_akada/statuses/986410464]
  • at_akada: 矛盾から任意の命題が導かれるは、おおいに直観に反しているかもしれない。が、それに対する評価というのは真面目に考えたことがなかった。 [http://twitter.com/at_akada/statuses/986412477]
  • t33f: @at_akada まあ両方ですね [http://twitter.com/t33f/statuses/986413572]
  • t33f: 矛盾許容論理とかあるけど、あれに魅力を感じるかというと案外そうでもない [http://twitter.com/t33f/statuses/986414546]
  • t33f: 矛盾から何でも出していいとされているのは、真偽値が二つだけだとそうせざるを得なかったからではないか [http://twitter.com/t33f/statuses/986416148]
  • at_akada: @t33f 前者(矛盾があってもいい)はかなり意外ですね。記号論理による形式化と、実際の数学は別だということでしょうか。 [http://twitter.com/at_akada/statuses/986416170]
  • t33f: まあ予想だけど [http://twitter.com/t33f/statuses/986416314]
  • at_akada: 記号論理というか、古典論理というべきか。 [http://twitter.com/at_akada/statuses/986417254]
  • t33f: implication の意味を truth-functional に与えようとすると「仮定が偽であるか結論が真である」が最良の近似だったということ [http://twitter.com/t33f/statuses/986417286]
  • t33f: @at_akada 数学の面白さは記号論理に現ない部分と思ってます。少なくとも僕が興味を持ってるのはそういうところ。 [http://twitter.com/t33f/statuses/986418642]
  • t33f: truth-functional っていうのは、つまり A→B の真偽が A, B の具体的内容によらず真偽だけで決まるということ [http://twitter.com/t33f/statuses/986420671]
  • t33f: その制約のもとでは、二つの引数をとる論理結合子の意味は 16 通りしか作れない。どれが「ならば」に一番近いかというと、まああれになるかなあとは思う [http://twitter.com/t33f/statuses/986422365]
  • t33f: truth-function は真理関数というんだったかな [http://twitter.com/t33f/statuses/986422823]
  • t33f: だから「二値」「真理関数」の前提を仮に受け入れるなら、矛盾から何でも出していいというのは自然な規則といってもいいと思う [http://twitter.com/t33f/statuses/986423689]
  • at_akada: そういう意味ではわたしは古典論理脳と言ってよいと思う。自然言語の意味論でさえ、「一階述語論理で結構いいとこまでいけるんじゃないか？」となかば信じているし。 [http://twitter.com/at_akada/statuses/986429949]
  • t33f: 記号論理には、ある程度形式的に書き下せると間違ってなさそうだと安心できるという効能があり、精神衛生上好ましいと思われる [http://twitter.com/t33f/statuses/986430631]
  • めも: 僕も古典論理脳だろう、しかし、なんだろう？