导语

  

内容提要

  

    保罗·蒂德曼、霍华德·卡哈尼著的《逻辑与哲学(现代逻辑导论第9版)》是迄今为止国际上最畅销的现代逻辑基础教程（没有“之一”）。该教程是面向那些需要关于逻辑学既严格而又亲切的全面介绍的学生面编写的。教程的第一部分和第二部分，通过伴以清晰阐释的循序渐进式训练，带领学生从语句逻辑通达带等词的一阶谓词逻辑。第三部分则覆盖逻辑畛域其他内容的比较稳固的范围，包括亚里士多德逻辑、归纳逻辑、模态逻辑、认知逻辑和道义逻辑。全书以清晰、准确的理论阐释见长，并辅以精心搜集、设计的例题、习题及部分习题解答，生动体现了逻辑学在哲学及相关学科中的应用价值，同时也通俗地阐释了当代逻辑与逻辑哲学领域的一些前沿问题。全书体现了“理论严整性”与“学生友好性”的完美结合，因而受到读者欢迎与好评。

第1章  绪论
    1．论证的要素
    2．演绎与归纳
    3．论证形式
    4．真与有效性
    5．可靠性
    6．相容性
    7．相容性和有效性之比较
    8．发现的语境与辩护的语境
    9．本书的安排
    本章引入的关键术语
    第一部分语句逻辑
第2章  语句逻辑符号化
    1．原子语句和复合语句
    2．真值函数
    3．合取
    4．非真值函数联结词
    5．变项与常项
    6．否定
    7．括号
    8．析取
    9．“并非……既又……”和“既不……也不……”
    10．实质条件句
    11．实质双条件句
    12．“仅当”和“除非”
    13．复杂语句符号化
    14．语句逻辑的不同符号体系．
    本章引入的关键术语
第3章  真值表
    1．真值的计算
    2．重言句、矛盾句和偶真句
    3．逻辑等价与条件句
    4．用真值表检验有效性
    5．用真值表检验相容性
    6．有效性和相容性
    7．用简化真值表方法检验无效性
    8．用简化真值表方法检验相容性
    9．代入特例
    10．真值表与语句形式
    本章引入的关键术语
第4章  证明
    1．论证形式
    2．肯定前件式和否定后件式
    3．析取三段论和假言三段论
    4．简化式和组合式
    5．附加式和二难构成式
    6．策略原则
    7．双重否定律和德·摩根律
    8．交换律、结合律和分配律
    9．易位律、蕴析律和移出律
    10．重言律和等值律
    11．更多策略原则
    12．解题中的常见错误
    本章引入的关键术语
第5章  条件证明和间接证明
    1．条件证明
……
第6章  语句逻辑真值树

第二部分 谓词逻辑
第7章  谓词逻辑符号化
第8章  谓词逻辑语义学
第9章  谓词逻辑证明
第10章  关系谓词逻辑
第11章  四个量词规则精确形塑的理论说明
第12章  谓词逻辑真值树
第13章  同一性与符号逻辑的哲学问题

第三部分  其他逻辑系统
第14章  三段论逻辑
第15章  非形式谬误
第16章  归纳逻辑
第17章  公理系统
第18章  择代逻辑
部分习题解答
参考文献
特殊符号
索引
译者后记