記号論理学で、定数ｘであり得るものの制限は何なの？

質問

F(ｘ)　のような記号論理学表現で、変数ｘに置ける定数として、「普遍」とか、「君」とか「私」とかは許されないのだと思いますが、とすれば、定数の制限はどのようにまとめて言い表されているのでしょうか。

回答No.2

noname#131234 · ベストアンサー

単に主語です。受動態なら「ＥＳ」。Ｆはpraedicatを伴った書式・形式文。

お礼

ありがとうございました。

一番妥当なのは、自然言語を置かないということでしたね。

回答No.1

corpus

定数の例としては
ポチですね。

「ポチをとってこい」と告げると、必然的に、ポチが届くとき、
ポチというものが、定数としての資格を持つと思います。

つまり、一義性を持っている必要があると思います。

お礼

ありがとうございました。

一番妥当なのは、自然言語を置かないということでしたね