述語 (論理学)

述語の概念

論理学における述語（じゅつご、英: predicate）とは、性質や関係を定義するための非論理記号です。しかし、この述語自体は、形式的には何かを直接表現する必要がありません。例えば、一階論理において、式の形で表される述語は、個体定項に対して適用されることが多いです。

述語の具体例

具体的に見てみると、論理式の一つである $P(a)$ では、$P$ が個体定項 $a$ に対して評価されます。さらに、$R(a, b)$ という形では、$R$ が2つの個体定項 $a$ と $b$ に適用され、これによって述語が成り立ちます。このように、述語は一階論理および高階論理の基本的概念と見なされ、他のより根本的な概念に依存しません。

文法的起源

述語という言葉は、文法において性質や関係を表す語や句を指す用語からきています。論理学の意味論においては、述語は関係として解釈されます。たとえば、一階論理の標準的な意味論では、$R(a, b)$ は $a$ と $b$ により示される実体が $R$ により示される関係にあるときに真となります。したがって、述語は非論理記号であるため、特定の解釈が与えられることで異なる関係を示すことができます。

述語の体系

述語は、変数を含む命題や数学的な主張であり、これらの変数が持つ値に応じて真偽が異なります。命題論理では、原子論理式は時に0項述語と見なされます。これは、これらの式が0項（すなわち0-アリティ）で構成される述語と解釈できるからです。

一階述語論理においては、述語は非論理的な関係記号であり、適切な数の項に適用されることで原子論理式を形成します。排中律を提案する集合論では、述語は特性関数として捉えられ、集合の元から真理値への関数として機能します。この場合、内包表記を使用して集合を定義する際に述語が活用されます。

一方で、排中律を否定する自己認識論理においては、述語の真偽は単に真か偽ではなく、未知の状態を含むこともあります。例えば、与えられた事実の集まりだけでは、ある述語が真か偽かを判定するには不十分な場合もあります。さらに、ファジィ論理では、述語の厳密な真偽が真理の度合いとして解釈されることもあります。

まとめ

述語は、論理学において非常に重要な役割を果たす概念であり、性質や関係の表現に必要不可欠な存在です。この多様な性質を持つ述語について理解することは、論理学の基礎を築くうえで重要です。

もう一度検索