【逻辑哲学初步】梁彪.pdf

【逻辑哲学初步】梁彪.pdf

逻辑哲学初步 梁彪著 中山大学逻辑与认知研究所1目录 第一篇预备知识 0命题命题公式真值函项 2重言式和重言式的判定 0命题演算基础知识 范式和优范式 0命题逻辑自然推理系统 0形式语言 推理规则 定理的证明 0命题逻辑公理系统P 0命题演算的一致性和完全性 0命题演算的一致性 0命题演算的完全性命题逻辑的形式证明个体词、谓词和量词 命题演算 0 0 0 0.3等等 形式的特征 某些逻辑联结词的含义 形式化的目的 量词和它的解释 奎因有关量词和本体论的论述 替换量词与本体论 两种解释 个体词与它们的解释 词 作为纯粹符号的名词 类似于描述的名词 非指称名词 陈述、命题 如何理解命题逻辑中的 真值承担者“矛盾律”和“排中律”