ある論証が、前提が全て真であれば結論も必ず真となるような形になっている時、その論証を妥当（だとう、英: validity）であるという。より厳密に表現すると、『全ての前提が真である』ことと『結論が偽である』ことが決して両立しない論証を妥当であるという。

論証が妥当であるか否かはその形によってのみ決まり、個々の文の真理値は問わない。論証の妥当性は結論が真であることを保証しない（妥当な論証でも前提に偽があれば結論も偽になりうる）し、妥当でない論証（「不当; invalid」と表現することがある）の結論が偽とも限らない。

妥当であり、かつ全ての前提が真である論証を健全な論証という。妥当性および健全性の定義により、健全な論証の結論は常に真である。

妥当な論証の例

三段論法の例として有名な以下の論証は妥当である。

例1（妥当）

• 全ての人間は死ぬ。
• ソクラテスは人間である。
• 結論：ソクラテスは死ぬ。

これは演繹的な論証であり、記号におきかえると次のように記述できる。

例1の一般化

• P⇒Q
  • 集合P（人間）は例外なくQである（死ぬ）
• n∈P
  • n（ソクラテス）はPの要素である
• 結論：n⇒Q
  • nは（Pなのだから）Qである（死ぬ）

この形式を保ったまま（つまり記号にした部分だけを）任意の言葉を差し替えて別の論証を作ると、真理値は変わる可能性があるが、妥当性は形式に依拠するため保たれる。この例は元の文が妥当なので、次の文も（ナンセンスではあるが）妥当である。

例2（妥当）

• 全ての猿はバナナを好む。
• 富士山は猿である。
• 結論：富士山はバナナを好む。

例2の結論は偽である。妥当な論証の結論が真でないということから、前提のどれかが必ず偽だといえる。逆に言うと、例2の前提を（強引に）真と仮定するならば、富士山はバナナを好むと結論するのが論理的帰結となる。

妥当でない論証の例

次の論証は妥当ではない。

例3（妥当ではない）

• すべてのカラスは黒い。
• この鳥は黒い。
• 結論：この鳥はカラスである。

この場で論じられている『この黒い鳥』は、本当にカラスかも知れない。つまり結論は真でもありうる。しかしそれは前提から導かれたものではなく、『前提が全て真である』ことと『結論が偽である』ことが両立しうる。よってこの論証に妥当性は無い。

参考文献

関連項目

ウィクショナリーに関連の辞書項目があります。

妥当

• 論理的帰結
• 健全性
• 恒真式

外部リンク

• Validity and Soundness （英語） - インターネット哲学百科事典「妥当性と健全性」の項目。

表 話 編 歴 科学哲学のトピックス
科学と非科学	線引き問題 反証可能性 科学における不正行為 境界科学 病的科学 疑似科学
帰納の問題	ヘンペルのカラス 斉一性の原理 グルーのパラドックス イドラ
科学理論	パラダイム 通約不可能性 ハードコア デュエム-クワイン・テーゼ
観測	観測選択効果 人間原理
立場	科学的実在論 社会構成主義 道具主義 反実在論
人物	フランシス・ベーコン イマヌエル・カント エルンスト・マッハ チャールズ・サンダース・パース マイケル・ポランニー カール・ポパー ネルソン・グッドマン トーマス・クーン スティーヴン・トゥールミン ラカトシュ・イムレ ポール・ファイヤアーベント イアン・ハッキング バス・ファン・フラーセン 内井惣七 村上陽一郎 戸田山和久 伊勢田哲治 野家啓一
分野	物理学の哲学 セントラルサイエンス 生物学の哲学 数学の哲学 論理学の哲学
言葉	仮説 経験 推論 論理的推論 論証 妥当性 健全性 誤謬 モデル 数理モデル 理論 科学理論 アドホックな仮説 演繹 帰納 アブダクション オッカムの剃刀 検証と反証の非対称性 検証 反証 内部観測 自然 時間 空間
causality（因果性）	先後関係と因果関係 決定論と非決定論 因果律 EPRパラドックス シュレーディンガーの猫
関連項目	認識論 記号論 心の哲学 プラグマティズム 論理学の哲学 宗教哲学
Category:科学哲学