推論

現象には意味があって欲しいという人の願望

自然演繹の現時点の僕の疑問とそれに対する解釈を書き出して頭を整理します。「仮定」について推論て何論理学の推論の成立に関する現時点の僕なりの文脈を無造作に与えると以下のような感じ。現象を観察する↓前提（事実）を抽出する↓「前提が真なら...

暇つぶしに見て

「健全且つ妥当」な推論の手続き

論理包含の法則とか眺めていたらふと、思ったことがあって。それは数学的（論理的）に証明が正しいことの定義ってどうなっているのだろうと。この手順を踏んだ場合のみ、前提から導き出した推論は正しいと言っていいって公理があるはずですが、そういえば知ら...

暇つぶしに見て