frantic87's diary

書きたいときに、書きたいから書く

「PならばQ」「Pでない」が真ならば、「Qではない」が導ける
これは演繹であり、論理学的に正しい。

「昨日まで毎日太陽は東から昇った」から「明日も太陽は東から昇るだろう」を導くのは帰納。これには論理的学な正しさはない。。たとえば、太陽が夜の間に急に爆発した、地球の地軸が90度傾いたなどの事件が起きれば東から昇らない(この論理は、「反証」により正しさが保証される)。

推論は恣意的
論理的な保証はない

「考えている」ことについて考えるってことでややこしい。