この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2023年9月）

健全性（けんぜんせい、英: Soundness）は、論証が次の属性を持つことと同値である。
その論証は妥当である。

その前提の全てが真である。

論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、 X 1 , … , X n ⊢ Y {\displaystyle X_{1},\ldots ,X_{n}\vdash Y} が X 1 , … , X n ⊨ Y {\displaystyle X_{1},\ldots ,X_{n}\models Y} を含意することをいう。

日本では、土木工学、特にインフラストラクチャーにおいて健全性という言葉が使われることが多い。経年劣化や災害によって構造物に変化が生じたときに使用に耐えられるかどうかの意味で使われている。
健全な論証

次のような健全な論証があるとする（三段論法）。全ての人間は死ぬ。ソクラテスは人間である。従って、ソクラテスは死ぬ。

この論証は妥当であり（前提から結論が導かれ、前提を真とすれば結論が真であるため）、前提が真なので、論証全体としては健全である。

以下の論証は妥当だが、健全ではない。全ての動物は飛ぶことができる。豚は動物である。従って、豚は飛ぶことができる。

大前提は実際には偽であるため、この論証は妥当だが健全ではない。
参考文献

Irving Copi. Symbolic Logic, Vol. 5, Macmillian Publishing Co., 1979.

Boolos, Burgess, Jeffrey. Computability and Logic, Vol. 4, Cambridge, 2002.

関連項目

妥当性

外部リンク



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

表

話

編

歴
科学哲学のトピックス
科学と非科学

線引き問題

反証可能性

科学における不正行為

境界科学

病的科学

疑似科学

帰納の問題

ヘンペルのカラス

斉一性の原理

グルーのパラドックス

イドラ

科学理論

パラダイム

通約不可能性

ハードコア

デュエム-クワイン・テーゼ

観測

観測選択効果

人間原理

立場

科学的実在論

社会構成主義

道具主義

反実在論

人物

フランシス・ベーコン

イマヌエル・カント

エルンスト・マッハ

チャールズ・サンダース・パース

マイケル・ポランニー