扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
心灵元气社
-
>
县中的孩子 中国县域教育生态
-
>
(精)人类的明天(八品)
-
>
厌女（增订本）
-
>
这样学习才高效/杨慧琴
-
>
心理学经典文丛:女性心理学
-
>
中国文化5000年
现代形式逻辑入门 版权信息
- ISBN：9787568936262
- 条形码：9787568936262 ; 978-7-5689-3626-2
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
现代形式逻辑入门 内容简介
这是一本专为文科（特别是语言学专业）工作者和学生编写的逻辑学入门导读读本，旨在介绍现代形式逻辑的基本内容。这将有助于使读者进一步深刻了解和有效掌握现代形式逻辑的基础理论：命题逻辑、谓词逻辑、内涵逻辑以及模态逻辑，使其知晓理想语言哲学派、形式语言学和形式语义学的一些知识，以期能弥补学科分类过细之不足，适应当前我国大力倡导的“大文科（打通文史哲、贯通文理）”教研思路。全书从经典形式逻辑讲起，重点介绍亚里士多德在《工具论》中所论述的演绎逻辑，至于现代形式逻辑则是在反思亚氏经典形式逻辑的基础上建构而成，以图弥补其缺陷，将其形式化。本书择其要旨，循序渐进地介绍：谓词演算、命题演算、内涵逻辑（包括狭义模态逻辑、克氏模态逻辑、可证性逻辑、认识逻辑、道义逻辑、时态逻辑、语义公设、蒙塔古语义学等内容），且论述其利弊。
现代形式逻辑入门 目录
**章 经典形式逻辑简介
**节 形式逻辑之初衷
第二节 工具论
第三节 四种判断之间的关系
第二章 现代形式逻辑简介
**节 简史
第二节 弗雷格的批判
第三节 数理逻辑的哲学意义
第三章 谓词演算
**节 从函数到谓词演算
第二节 个体词(个体常项、专指语)
第三节 量词
第四节 谓词常项与变项
第五节 谓词演算的公理和定理
第六节 小结
第四章 命题演算
节 逻辑原子论
第二节 逻辑联结词
第三节 命题演算和逻辑真值表
第四节 复杂的复合命题
第五节 归谬法、重言式
第六节 英语终止性和延续性动词之间的假言关系
第五章 内涵逻辑
节 从外延逻辑说起
第二节 问题的提出：实质蕴涵悖论
第三节 内涵逻辑
第六章 狭义模态逻辑
节 基本概念
第二节 狭义模态逻辑
第三节 克里普克语义学
第七章 模态命题演算VS模态谓词演算
节 模态命题演算
第二节 模态谓词演算
第三节 小结
第八章 广义模态逻辑
节 可证性逻辑
第二节 认识逻辑
第三节 道义逻辑
第四节 时态逻辑
第九章 关系逻辑与谓词特征
节 关系逻辑
第二节 谓词特征和元
第三节 二元谓词的特征和推理
第十章 语义公设
节 语义公设与涵义关系
第二节 小结
第十一章 蒙塔吉语义学
节 转换生成语法vs蒙塔古语法
第二节 通用语法
第三节 用内涵逻辑解释语义
展开全部
书友推荐
- >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
推拿
推拿
¥12.2¥32.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
莉莉和章鱼
莉莉和章鱼
¥13.4¥42.0 - >
姑妈的宝刀
姑妈的宝刀
¥9.0¥30.0 - >
巴金－再思录
巴金－再思录
¥14.7¥46.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥32.4¥49.8
本类畅销
-
咬文嚼字二百问
¥14.2¥32 -
普通话语音史话
¥9.8¥18 -
公文写作大手笔:从小笔头到笔杆子
¥58.7¥79 -
四季汉字一岁诗
¥12¥28 -
642件可写的小事:怎么写都行:san francisco writers grotto
¥29.9¥39.8 -
中小学生读书法
¥14.7¥39.8
