健全性のソースを表示

{{pathnav|論証|frame=1}}
{{No footnotes|date=2023年9月}}
'''健全性'''（けんぜんせい、{{lang-en-short|Soundness}}）は、[[論証]]が次の属性を持つことと[[同値]]である。
# その論証は[[妥当性|妥当]]である。
# その前提の全てが真である。

論理体系における証明（例えば[[自然演繹]]）が'''健全'''（sound）であるとは、[[妥当性|妥当]]な論理式（あるいは[[恒真式]]）のみを証明することを意味する。すなわち、論理体系が'''健全'''であるとは、<math>X_1,\ldots,X_n \vdash Y</math> が <math>X_1,\ldots,X_n \models Y</math> を[[論理包含|含意]]することをいう。

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

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

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

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

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

<!-- == 脚注 ==
{{脚注ヘルプ}}
{{Reflist}} -->
== 参考文献 ==
* Irving Copi. ''Symbolic Logic'', Vol. 5, Macmillian Publishing Co., 1979.
* Boolos, Burgess, Jeffrey. ''Computability and Logic'', Vol. 4, Cambridge, 2002.

== 関連項目 ==
<!-- {{Commonscat|Soundness}} -->
* [[妥当性]]

== 外部リンク ==
* {{IEP|val-snd|Validity and Soundness|妥当性と健全性}}

{{科学哲学}}
{{Philos-stub}}

{{DEFAULTSORT:けんせんせい}}
[[Category:論証]]
[[Category:演繹]]