【简明现代逻辑】.pdf

004127411996 简明现代逻辑张则幸吴寅华编著

作者 1995年10月是以现实世界为参照系的,而模态推理的有效性则涉及可能世界.现实世界只是可能世界中的一个,是一个成为现实的可能世界.因此,模态逻辑比之于命题逻辑和谓词逻辑,有了更加广阔的逻辑模态逻辑有广狭之分。狭义模态逻辑,也叫真值模态逻辑,它是广义模态逻辑的基础.广义模态逻辑则是狭义模态逻辑的进一步扩展。第六章的第一节至第三节讨论真值模态逻辑的向题,第第七章语用逻辑。以上各章的讨论,基本上限制在逻辑语形学和语义学方面的讨论,即讨论符号与符号、符号与对象的关系,而逻辑语用学则要讨论符号与符号使用者一人的关系。

3九条推理规则的应用 3十条置换规则十条置换规则的应用条件证明规则及其应用命题演算公理系统简介谓词逻辑(上)词项与概念直言命题直言命题的对当关系直言命题的变形三段论谓词逻辑(下)个体词、谓词与量词直言命题符号化关系命题带等词的命题形式否定式的量化与量化式的否定普遍有效性和可满足性谓词逻辑的推理与论