述語論理

述語論理は、数理[[論理学]]において、記号を用いて形式的に記述された論理体系のグループを指します。このグループには、一階述語論理、二階述語論理、多ソート論理、無限論理といった様々な体系が含まれます。これらの体系に共通する重要な特徴は、論理式の中で変数を量化できる点にあります。

量化子とは、変数が取りうる値の範囲を指定するための記号で、一般的なものとして全称量化子（∀）と存在量化子（∃）があります。全称量化子は「すべての～について」を意味し、存在量化子は「少なくとも一つの～が存在する」を意味します。これらの量化子を用いることで、「すべての人は死ぬ」や「ある人は正直である」といった、より複雑な命題を表現することができます。

述語論理における変数は、議論領域の要素、関係、関数などを表します。たとえば、関数記号に対する存在量化は「ある関数が存在する」という主張を意味します。このように、述語論理は、単なる真偽を扱うだけでなく、対象間の関係や構造を記述する強力なツールとなります。

述語論理の基礎は、19世紀後半にゴットロープ・フレーゲとチャールズ・サンダース・パースによってそれぞれ独立に創り出され、発展しました。フレーゲは、数理的な基礎付けを行うために述語論理を開発し、パースは、論理学を記号的に記述するために同様の体系を導入しました。これらの業績が、現代の数理[[論理学]]の基礎を形成しています。

述語論理という言葉は、特に断りがなければ一階述語論理を指すことが多いです。一階述語論理では、量化できる変数が対象領域の要素のみに限られます。一方、二階述語論理では、述語や関数などの変数も量化できます。このように、量化の対象によって述語論理は様々な体系に分類されます。

述語論理を公理化したものを述語計算と呼びます。述語計算は、より厳密で形式的な体系ですが、述語論理という言葉は、より非形式的で直感的な概念を指す場合もあります。これらの区別は、論理学を研究する上で重要となります。

また、様相作用素と量化子を組み合わせた論理も、述語論理の一種として扱われることがあります。様相作用素は、「必然的に」や「可能的に」といった様相を表すもので、これを量化子と組み合わせることで、より複雑な論理構造を表現できます。この分野については、様相論理を参照してください。

述語論理は、数学の基礎だけでなく、計算機科学、哲学、人工知能といった幅広い分野で応用されています。特に人工知能分野では、知識表現や推論のための基本的な枠組みとして利用されています。また、プログラミング言語の理論にも、その影響が見られます。述語論理は、論理的な思考と推論を行うための基盤となる、非常に重要な概念です。

参考文献としては、以下の書籍があげられます。

Hamilton, A. G. (1978), Logic for Mathematicians, Cambridge UK: Cambridge University Press, ISBN 0-521-21838-1
Stolyar, Abram Aronovic (1970), Introduction to Elementary Mathematical Logic, NY: Dover Publications, Inc., ISBN 978-0-486-64561-2
George F Luger, Artificial Intelligence, Pearson Education, ISBN 978-81-317-2327-2
Hazewinkel, Michiel, ed. (2001), “Predicate calculus”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Predicate_calculus

もう一度検索