| シリアル番号 | 表題 | 日付 |
|
581 |
アリストテレスの形式論理学(fomal logic)の基本法則 |
2001/12/31 |
「正しい」と同時に「正しくない」はありえない・・・矛盾律 (the law of contradiction)
「正しい」と「正しくない」以外の第三の中間はありえない・・・排中律 (the law of excluded middles)
「正しいことは正しい」に決まっている・・・同一律 (the law of identity)
二つの命題（文章）があって「両方とも正しいことはないが、両方とも正しくないことはあり
うる」このとき両命題は反対（contrariety）という。
小室直樹著「数学嫌いの人のための数学」