现代形式逻辑入门

这是一本专为文科（特别是语言学专业）工作者和学生编写的逻辑学入门导读读本，旨在介绍现代形式逻辑的基本内容。这将有助于使读者进一步深刻了解和有效掌握现代形式逻辑的基础理论：命题逻辑、谓词逻辑、内涵逻辑以及模态逻辑，使其知晓理想语言哲学派、形式语言学和形式语义学的一些知识，以期能弥补学科分类过细之不足，适应当前我国大力倡导的"大文科（打通文史哲、贯通文理）"教研思路。全书从经典形式逻辑讲起，重点介绍亚里士多德在《工具论》中所论述的演绎逻辑，至于现代形式逻辑则是在反思亚氏经典形式逻辑的基础上建构而成，以图弥补其缺陷，将其形式化。本书择其要旨，循序渐进地介绍：谓词演算、命题演算、内涵逻辑（包括狭义模态逻辑、克氏模态逻辑、可证性逻辑、认识逻辑、道义逻辑、时态逻辑、语义公设、蒙塔古语义学等内容），且论述其利弊。