哲学方法论系列文库：断定逻辑.pdfVIP

哲学方法论系列文库—— 断断定定逻逻辑辑 哲学是人类文化结晶， 方法论在哲学中占有重要地位。 本文提供 “断定逻 ” 的现代视点解读，以供大家了解。 断断定定逻逻辑辑 研究断定者和他们所断定的命题之间的逻 关系的理 论。 其中，用x表示断定者，它可以是个人，可以是社会群 体，也可以是文件，甚至是一个抽象的命题系统；并 且，用Axp表示x断定p ，这里断定分为明显的和隐含 的，隐含的断定就是明显的断定的所有那些逻 推 论。 在断定逻 中有这样一条原则： 若，则。 它的意思是，若从p可以推出q ，那么，如果x断定p ， 则x断定q ，即断定者承诺去断定他所断定命题的逻 后承。 并且，其中还有一个定理： 意思是：任何断定者都不 断定一个逻 矛盾。 由此可知，断定逻 所处理的是隐含的合理的断定。 下述公式常被作为断定逻 的公理或规则： (A1) (A2)Axp ∧Axq→Ax(p ∧q) (A3)～Ax(p ∧～p) (A4) (A5) (A6) (A7)Axp ∨Ax(～p) R若，则 在一阶逻 的基础 上，加入上述某些公式作为公理或规则，就可以得到 不同的断定逻 系统： A1=一阶逻 +(A1)+(A2)+ (A3)+R A2=A1+(A4) A3=A1+(A5) A4=A3+(A6) A5=A1+ (A4)+(A5) 在断定逻 系统A1中，(A1)是非空假设，它 说：每个断定者都断定某命题；(A2)表达断定的合取 性；(A3)表达断定的一致性(合理性) 。 从(A1)和R可以得到导出规则： R ※ 若，则。 R ※说，每个断定者都必定断定逻 真理。 这是断定逻 处理隐含断定的结果。 (A4)所说的是，至少有一个断定者不断定假命题。 由于林肯有一句格言：一个人不可能在所有的时间内 愚弄所有的人，所以(A4)又被叫做“林肯原则” 。 在A2 中有导出规则： R§ 当且仅当 R§是说，逻 真理 并且只有逻 真理才被普遍地断定。 (A5)说的是，每一个真理至少被某个人所断定的；(A6) 是说，一个断定者断定他断定某命题等值于他断定该 命题；(A7)是说，每一个断定者或者断定任一给定命 题或者断定它的否定，这就是说，每一断定者都是完 善的，所以含有(A7)作为公理的系统A5叫做完善的断 定逻 系统。 可以证明，A1一A5是逐渐增强的断定逻 系统，这就 是说，前者分别是后者的子系统。 若用“”表示包含于关系，则它们之间的关系可以表示 为：A1，A5是最强的断定逻 系统。 已经为断定逻 建立了语义学。 我们现在为断定逻 引入一个模型。 在这个模型中，“断定者”是命题的有穷相容集 x= ｛p 1，p2 ，……，pn ｝，令X=(p 1∧p2 ∧……∧pn) 是x 的所有元素的合取。 然后我们将Axp看作是等于，这里“”表示严格蕴涵或衍 推。 于是，x断定p ，当且仅当，X衍推p 。 事实上，断定者现在是一个任意的(但相容的)公理系 统，并且他断定在该系统中所得到的一切定理。 可以证明，A1－A4可以被我们的模型所满足。 若把“”解释为实质蕴涵，则(A7)为我们的模型所满足， 于是A5也为模型所满足；若把它解释为严格蕴涵或衍 推，则(A7)不为该模型所满足，所以，A5也不为该模 型所满足。 断定逻 还有其他的公理系统，并且正在进一步发展 中。