现代形式逻辑入门

删除本页内容

丛书:求索外语学术研究系列

作者:王寅著

ISBN:1978-7-5689-3626-22

关键词:形式逻辑-基本知识-汉、英

页数:253

出版社: 重庆：重庆大学出版社

出版日期:2023.10

发现现代形式逻辑入门在2025年10月13日可全文阅读或下载。

图书简介

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

点显示百万电子书阅读链接，确定后即可显示链接。