QRcode to hig3.net
携帯キャリア自動判別
http://hig3.net

すべてのクレタ人は嘘つき --- 論理とパラドクス

使える数学! (2010 年度)
Time-stamp: "2009-10-31 Sat 14:23 JST hig"

担当教員による追加資料などを提供するサポートサイトです.

目次

  1. パラドクスとは
  2. 自己言及のパラドクス
  3. ラッセルのパラドクス
  4. ぬきうちテストのパラドクス

追加情報

参考文献

パラドックス!
決定不能の論理パズルーゲーデルの定理と様相論理
抜き打ち試験のパラドクスの分析(実は奥が深い)
逆説論理学
詭弁論理学
図解雑学 パラドクス
いろいろなパラドクスの紹介と分析
論理学
論理学入門!
新版 論理トレーニング
論理学
パラドックスの不思議―論理と集合
記号論理入門
数学としての論理学

訂正と後悔

自己言及のパラドクス-4(3:40)
ここでは真偽値がa=0.5という変な値になってしまうと言いましたが, もともと a=1-a という式は a=0 または a=1 という2つの値しかとらないということを使って導いたものだったので, 小数の値を出してみることに深い意味はありません. (a=1-a)かつ(a=0またはa=1)が矛盾, という文脈で左側を計算したと思ってもいいです.
ぬきうちテストのパラドクス-2(01:12)
[訂正]スライドで「上可能」は不可能の誤りです.
ぬきうちテストのパラドクス-4(05:04)
[訂正]音声とスライドで, ドイツの空襲に備えた空襲と言いましたが, スウェーデンは第2次世界大戦において中立を保ちましたので, 具体的な敵国を想定した防空訓練だったのかどうかはわかりません.

確認テスト略解

確認テスト略解
Copyright © 2007-2010 Saburo Higuchi. All rights reserved.
樋口三郎, hig's mail address