前言 在一个其公民为理性与说服而非暴力所引导的共和国里，推理的艺术变得最为重要。 一托马斯·杰弗逊 自从1953年第1版出版以来，欧文·M·柯匹的《逻辑学导论》一书已经被成千上万的 教师和学生用于经典逻辑和现代逻辑基础的教学。《逻辑要义》的第1版是应众多教师在其 课程中要求有一本简明的导论性的逻辑教科书之需而写的。第2版则根据许多教师的建议作 了一些修订：在保持柯匹半个世纪以来著称的严谨的同时，力图作更清晰的说明，并扩展了 其范围，为学生提供更多的帮助。我们相信，这一版的修订在保留柯匹的逻辑严谨性的同时， 将使那些区分更为清楚。 第二版的特色 章节的删减和范围在第2版中，节数从62减少为54，但是议题范围却扩展了。非形 式谬误的讨论（第2章)被修改为更清晰地说明非形式谬误是如何与可接受的论证相关联的。 这反映了新近对非形式谬误的认识。第4章中，阐述了逻辑等值陈述形式与直接推理之间的 区别。第5章包括了如何在一个省略的直言三段论中发现其省略前提的系统讨论。第6章新 增一节论述不完全的和逆向的或“一行的”真值表。第7章新增一节论述命题逻辑的条件证 明和间接证明。第8章新增一节论述量词逻辑的条件证明和间接证明。论述归纳的一章（第 9章)现在包括关于评价假说和对最佳说明的论证的讨论。新的附录论述如何在命题逻辑和 量词逻辑中使用真值树。 习题集本版总共有1200多道练习题，其中几乎有一半是新的。此外，本书提供了所 有奇数号练习题的答案。 增加了图形、表格和对学生的提示增加了相当数量的“重要提示”，以便给学生一些 提示、建议和鼓励。第5章中，有一个用于直言逻辑的非标准量词的图表。第6章中，有一 个用于命题逻辑的容量很大的词典（翻译指引）。第7、8章中，有一些构造证明的展开的经 验规侧（策略）。第8章中，有一个用于量词逻辑的容量很大的词典。 教师的补充读物与本书一起，我们还为教师准备了带有样本测试题和所有偶数号的 练习题的答案的教师手册。这些测试题也可用于计算机测试管理程序帮助学生进行测试 准备。 学生的补充读物对Prentice Hall创办的逻辑辅导网站eLogic也作了修订(www.prenhall.. com/elogic)。eLogic这个辅导网站包括供学生在电脑上操作的、《逻辑要义》一书上的500多 006