股関節おじさんの勉強部屋 現象には意味があって欲しいという人の願望
自然演繹の現時点の僕の疑問とそれに対する解釈を書き出して頭を整理します。 「仮定」について 推論て何 論理学の推論の成立に関する現時点の僕なりの文脈を無造作に与えると以下のような感じ。 現象を観察する↓前提（事実）を抽出する↓「前提が真なら...
妥当性
股関節おじさんの勉強部屋 
股関節おじさんの勉強部屋 【モーダスポネンス】単純で妥当な論証 【前件肯定】
論理的な論証とは何かを前回学びました。それは「前提が真であれば結論が真となる「妥当」且つ、前提が全て真である「健全」な論証のことでした。妥当性は論証が形式的に正しいかどうか、健全性は具体的に前提の命題が真であるかどうかが焦点です。 前件肯定...
股関節おじさんの勉強部屋 「健全且つ妥当」な推論の手続き
論理包含の法則とか眺めていたらふと、思ったことがあって。それは数学的（論理的）に証明が正しいことの定義ってどうなっているのだろうと。この手順を踏んだ場合のみ、前提から導き出した推論は正しいと言っていいって公理があるはずですが、そういえば知ら...