Skinerrian's blog

論理学・哲学・科学史・社会学などに興味があるので、その方面のことを書きます。更新は不定期。

2017-08-20から1日間の記事一覧

排中律の反例

排中律についてのメモ。 直観主義論理では排中律(P v not-P)が成り立たないと言われる。しかし、これは排中律の否定が成り立つということではない。排中律の否定を仮定すると直観主義論理の範囲でも矛盾が導かれるので、排中律の二重否定が成立する*1。 そ…