[简明现代逻辑]

【简明现代逻辑】.pdf004127411996 简明现代逻辑 张则幸吴寅华编著作者 1995年10月 是以现实世界为参照系的,而模态推理的有效性则涉及可能世界.现实世界只是可能世界中的一个,是一个成为现实的可能世界.因此,模态逻辑比之于命题逻辑和谓词逻辑,有了更加广阔的逻辑 模态逻辑有广狭之分。狭义模态逻辑,也叫真值模态逻辑,它 是广义模态逻辑的基础.广义模态逻辑则是狭义模态逻辑的进一 步扩展。第六章的第一节至第三节讨论真值模态逻辑的向题,第 第七章语用逻辑。以上各章的讨论,基本上限制在逻辑语形 学和语义学方面的讨论,即讨论符号与符号、符号与对象的关系,而逻辑语用学则要讨论符号与符号使用者一人的关系。3九条推理规则的应用 3十条置换规则 十条置换规则的应用 条件证明规则及其应用 命题演算公理系统简介 谓词逻辑(上)词项与概念 直言命题 直言命题的对当关系 直言命题的变形 三段论 谓词逻辑(下)个体词、谓词与量词 直言命题符号化 关系命题 带等词的命题形式 否定式的量化与量化式的否定 普遍有效性和可满足性 谓词逻辑的推理与论
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。