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

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

No.2 ベストアンサー 回答者： noname#131234 回答日時： 2009/09/10 15:20

単に主語です。

受動態なら「ＥＳ」。Ｆはpraedicatを伴った書式・形式文。

この回答へのお礼

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

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

お礼日時：2009/09/22 10:28

No.1 回答者： corpus 回答日時： 2009/09/08 19:14

定数の例としては

ポチですね。

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

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

この回答へのお礼

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

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

お礼日時：2009/09/22 10:29