抛砖。 在我们日常生活的对话当中，有一类语句这样的：东西 + 是怎样怎样的。 例如说：那朵玫瑰是红色的、罗素是善变的、QB 是邪恶的。 哲学家通常用小写字母 a, b, c... 表示那个东西，用大写字母表示是怎样怎样的。 由於这几句话都是针对特定的某个东西，所以称表示那个东西的字母为「常数」。 例如用 a 表示罗素，用 Fx 表示 x 是善变的。(x 只是一个空格，可以填任何常数。) 按照上面的约定，就可以用 Fa 表示罗素是善变的。 不过我们也会这样说： 某些花是红色的、所有人都会死。 这时候就不是针对特定的一个东西，而是一些或所有的东西。 哲学家通常用小写字母 x, y, z... 表示这些不特定的东西，称作「变数」。 然而只写 Fx 会让人误会那个 x 是常数... (其实有更哲学性的理由，方便理解故略。) 所以用 (x)Fx 表示所有 x 都是 F 的，用 (Ξx)Fx 表示某些 x 是 F 的。 其中 (x) 和 (Ξx) 就是量化辞，里面的变数是 x，我们就说这个量化辞量限了 x。 值得注意的是，这里的语句都是针对某些/ 所有东西，所以量化辞都只量限东西。 上述用来表示是怎样怎样的的大写字母称作「述词」。 顺带一题： 述词未必只用来表示一个东西是怎样怎样的，也可以表示两个以上的东西是怎样怎样的。 例如用 Fxy 表示 x 是 y 的爸爸。(注意这边 x, y 也只是表示两个空格。) 後面有 n 个空格的述词称作「n 位述词」。 哲学家通常使用一位述词来表示性质，用二位以上述词表示关系。 而有一些语句是这样的： 只要两个东西等同，那麽所有这两个东西具备的性质就一样。 可以发现这个语句的「所有」是用来量限「这两个东西具备的性质」，而非某个东西。 这句话可以表示成 (x)(y)(x=y → (F)(Fx≡Fy))。 可以发现这边的 (F) 就是量限述词，而非量限东西了。 我们称量化辞只量限东西的逻辑作「初阶逻辑」； 而允许量限辞可以量限述词的逻辑称作「多阶逻辑」。 希望这样解释算够清楚，任何错误也恳请指正！ -- ～托身白刃里‧杀人红尘中～ ～摘自 李白‧赠从兄襄阳少府皓～ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 114.44.178.168