【推理与证明现代逻辑的技巧】.pdf

校推理与证明现代逻辑的技巧 [日]内井物七著陈祖军王学曲玉波译赵总宽

日文版前言从历史的角度看,现代符号逻辑学,是自弗雷格以来,与数学的基础问题相联系发展起来的。而逻辑学教材又多带有浓厚的数学色彩,也反映了这方面的情况。因此,许多人可能有这样一种印象:逻辑学是一门深奥而又枯燥的科学。可是作为以一般读者和大学生为主要对象的教科书,就没有必要搞得那么深奥枯燥了。我们稍加思索就会发现:我们每天都在进行各种推理和证明。把这样的推理和证明的能力稍加发挥,养成有规律地思考问题的习惯,我认为这是学习逻辑学的最好捷径.也许还有人认为这样也是深奥枯燥的,但是一旦他们看到近来掀起的围棋和相棋热,也一定会喜欢上具有与围棋和相棋同样趣味的智力游戏。

目录一—谁是犯人？谁是吸血鬼？哪些是逻辑规律？犯人存在吗？狼孩存在吗？逻辑学者做了哪些讨论？推理与证明符号的引入真值表消去法推理消去规则逻辑尺矛盾和逻辑规律归谬法正确的推论与永真式 10.消去法推理与永真式 11.用反证法判定逻辑规律 12.反证法的扩展 13.假定法 14.分析与综合 15.逻辑性的分析 16.新反证法.