逻辑工作是对逻辑的重要而广泛的介绍。它提出了以下问题:为什么逻辑系统是这样的,它们与普通语言和普通推理的关系如何,以及经典逻辑学说可能有哪些替代品。
这本书涵盖了经典的一阶逻辑和替代方法,包括直觉主义、自由和多值逻辑。它还考虑了如何应用逻辑分析来仔细表示学术和科学工作中使用的推理,更好地理解推理,并确定其隐藏的前提。它的目标是成为一本参考书和手册,以便作为课程文本进行进一步的独立学习,它涵盖了比入门课程通常涵盖的更多的材料。它还以更大的篇幅和更深的深度涵盖了这些材料,目的是使那些之前没有受过逻辑或正式系统培训的人能够接触到这些材料。
在线支持材料包括一份详细的学生解决方案手册,其中包含对所有星级练习的连续评论,以及一组可编辑的课程讲座幻灯片演示。
主要功能
- 介绍了异常广泛的主题,允许讲师精心设计课程以满足各种目标
- 对某些经典教义采取批判态度,让学生们以其他方式回答有关逻辑的哲学问题
- 仔细考虑自然语言抵制形式化的方式
- 通过大量简单练习辅助的增量、规则控制方法,简化量化逻辑的对象语义
- 通过对这些结果的详细介绍和简单的案例研究,使入门级学生能够获得重要的元理论结果