Neblux 知識グラフ
様相論理
様相論理とは、必然性と可能性の演算子を備えた古典論理の形式的拡張であり、何がそうでなければならないか・そうであり得るか・そうであり得ないかについての厳密な推論を可能にする。
概要
クリプキの可能世界意味論がこの分野に革命をもたらした。必然性とは全てのアクセス可能な可能世界での真理であり、可能性とは少なくとも一つの可能世界での真理であり、これにより証明可能性・知識・信念・時間・道徳的義務の厳密な形式化が可能となった——これらはそれ以前に論理的処理に抵抗していたものである。
なぜ重要か
様相論理は時相論理を通じてコンピュータサイエンスと工学に突破口をもたらした。時相論理は形式検証——ソフトウェアとハードウェアが仕様を満たすことの数学的証明——の基盤をなし、今や航空・医療機器・原子力制御における安全クリティカルシステムに不可欠となっている。