第五章 量化理论.pdfVIP

第五章 量化逻辑 量化逻辑，又称谓词逻辑，也是作为现代逻辑基础的两大演算之一。我们这里所讲的 量化逻辑包括两个部分：一是一元量化理论或一元量化逻辑；二是一般量化理论或一般量 化逻辑，又称为关系量化理论。其中，第 1-4 节讨论的是一元量化逻辑，第 5 节讨论的是 一般量化逻辑。 第一节 量词符号化 逻辑学的现代进展导致了一种将包含量词“所有”和“有些”命题符号化的更准确方 法。这类命题的符号化主要就是第二章所讲的直言命题 A 、E 、I、O 四种命题的符号化。 指示某个具体类“所有”的命题是借助于全称量化来符号化的；而指示某个具体类“有些” 的命题是借助于存在量化来符号化的。 一、 存在量化 让我们首先来考虑这样一个命题“有些律师是诚实的人”。根据量化逻辑，这个命题 可以被读作“至少存在一个东西 x ，使得x 是一个律师且x 是一个诚实人” 。其中变元“x ” 用小写字母斜体 Times New Roman 英文字体。 我们在说“有些”时，我们是在小心地说至少存在“一个”东西。换句话说，当我们 说“有些 S 是 P ”时，只要 S 类中有存在一个成员，而且这个成员也属于 P 类，那么这个 命题就是真的。从理