gensler

逻辑学导论:原书第三版.pdf

本书在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上,展示了部分前沿成果,如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。本书对现代逻辑学中部分冗长、复杂的技术细节进行了简化,在证明体系中依次介绍若干符号逻辑系统,使各类读者能够较为直接地了解和掌握相关知识点