中图网文创礼盒,买2个减5元
欢迎光临中图网 请 | 注册

包邮 现代形式逻辑入门

作者:王寅
出版社:重庆大学出版社出版时间:2023-09-01
开本: 其他 页数: 280
本类榜单:社会科学销量榜
¥50.0(6.3折)?

预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。

中 图 价:¥50.0(6.3折)定价  ¥79.0 登录后可看到会员价
加入购物车 收藏
暑期大促, 全场包邮
?快递不能达地区使用邮政小包,运费14元起
云南、广西、海南、新疆、青海、西藏六省,部分地区快递不可达
本类五星书更多>
微信公众号

现代形式逻辑入门 版权信息

现代形式逻辑入门 内容简介

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

现代形式逻辑入门 目录

**章 经典形式逻辑简介 **节 形式逻辑之初衷 第二节 工具论 第三节 四种判断之间的关系 第二章 现代形式逻辑简介 **节 简史 第二节 弗雷格的批判 第三节 数理逻辑的哲学意义 第三章 谓词演算 **节 从函数到谓词演算 第二节 个体词(个体常项、专指语) 第三节 量词 第四节 谓词常项与变项 第五节 谓词演算的公理和定理 第六节 小结 第四章 命题演算 节 逻辑原子论 第二节 逻辑联结词 第三节 命题演算和逻辑真值表 第四节 复杂的复合命题 第五节 归谬法、重言式 第六节 英语终止性和延续性动词之间的假言关系 第五章 内涵逻辑 节 从外延逻辑说起 第二节 问题的提出:实质蕴涵悖论 第三节 内涵逻辑 第六章 狭义模态逻辑 节 基本概念 第二节 狭义模态逻辑 第三节 克里普克语义学 第七章 模态命题演算VS模态谓词演算 节 模态命题演算 第二节 模态谓词演算 第三节 小结 第八章 广义模态逻辑 节 可证性逻辑 第二节 认识逻辑 第三节 道义逻辑 第四节 时态逻辑 第九章 关系逻辑与谓词特征 节 关系逻辑 第二节 谓词特征和元 第三节 二元谓词的特征和推理 第十章 语义公设 节 语义公设与涵义关系 第二节 小结 第十一章 蒙塔吉语义学 节 转换生成语法vs蒙塔古语法 第二节 通用语法 第三节 用内涵逻辑解释语义
展开全部
商品评论(0条)
暂无评论……
书友推荐
本类畅销
浏览历史
编辑推荐
返回顶部
中图网
在线客服