Skinerrian's blog

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

2016-06-18から1日間の記事一覧

ならばの推移性とMP

命題論理の話。 A→B, A |- B A→B, B→C |- A→C この二つの推論図式は互いに独立なのか、という質問を受けたので、少し考えてみた。たぶん独立なんじゃないか。要するに反例モデルを無理やり作ればいいと思うんだ。 "A→B"をふつうの実質条件文としてではなく、…