[逻辑学知识的基础]日末木刚博

【逻辑学知识的基础】日末木刚博.pdf[日]末木刚博等著 孙中原王凤琴译 赵总宽等校 B81 BM4 知识的基础 玉 逻辑学一九八二年三月 言通俗生动地讲述了符号逻辑的命题演算和谓词演算的基本内 容,同时对现代逻辑的各个分支,从原始逻辑、肯定逻辑、最小 逻辑、直觉主义逻辑到多值逻辑、模态逻辑和义务逻辑(道义逻 辑)等等,都有简明扼要的介绍。这是本书论述中最为重要,也 最为精采的部分。正如作者在前言中所说的,“由于今天数理逻 辑学科已经确立,所以在本书中尽力做到不偏向于符号运算的技 术方面”。作者尽量少用符号,多用自然语言,讲述了现代逻辑 的许多基本知识,使这本书比较适合大专院校师生和广大逻辑爱 书末附有符号一览表和术语索引1,以供研究检索之便.本书由王凤琴译序章、第一至三章,孙中原译第四至七章。42*541)命题的分类 2)标准命题 3)自然语言之翻译为标准命题 ⅡI.对当关系)矛盾关系和反对关系 2)小反对关系 3)从属关系.Ⅱ.命题的变形 1)换位法 2)换质法 3)换质位法 SIV.演绎推理 1)直言三段论法 2)三段论法的公理 3)周延的规则,质的规则.4)假言三段论法 5)选言三段论法 6)二难推理 I.归纳的关系.ⅡI.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。