新書推薦：
《
甲骨文丛书·剑桥世界暴力史（第一卷）：史前和古代世界（套装全2册）
》
售價：NT$
959.0
《
甲骨文丛书·中华早期帝国：秦汉史的重估
》
售價：NT$
1367.0
《
欲望与家庭小说
》
售價：NT$
449.0
《
惜华年（全两册）
》
售價：NT$
320.0
《
甲骨文丛书·古代中国的军事文化
》
售價：NT$
454.0
《
中国王朝内争实录（套装全4册）：从未见过的王朝内争编著史
》
售價：NT$
1112.0
《
半导体纳米器件：物理、技术和应用
》
售價：NT$
806.0
《
创客精选项目设计与制作 第2版 刘笑笑 颜志勇 严国陶
》
售價：NT$
281.0
|
| 內容簡介： |
|
《哲学逻辑导论》是一本初等哲学逻辑的教科书。《哲学逻辑导论》介绍了多种哲学逻辑，如模态逻辑、认知逻辑、时态逻辑、道义逻辑、条件句逻辑、直觉主义逻辑、多值逻辑等，每种哲学逻辑刻画一个对象（某个概念或某个问题），同时给出了用于刻画这个对象的逻辑理论的定义，并给予这些定义以合理性辩护。
|
| 目錄：
|
|
目录丛书序前言第1章 引言 11.1 逻辑是什么 11.2 逻辑学史概述 31.3 从数理逻辑到哲学逻辑 51.4 哲学逻辑的分类 61.5 关于本书 7第2章 预备知识 102.1 集合 102.2 命题逻辑 14第3章 模态逻辑 193.1 关系结构 193.2 模态逻辑的句法 203.3 对模态逻辑公式的解读 213.3.1 真势模态逻辑 223.3.2 认知逻辑 223.3.3 时态逻辑 233.3.4 道义逻辑 243.4 模态逻辑的模型和语义 243.5 最小正规模态逻辑K 293.6 真势模态逻辑 313.7 模态公式与框架性质的对应关系 333.8 真势模态逻辑的公理系统 36第4章 认知逻辑 374.1 认知逻辑的句法 374.2 信念逻辑的模型和语义 374.3 信念逻辑的公理系统 414.4 知识逻辑的模型和语义 424.5 知识逻辑的公理系统 454.6 多主体知识逻辑 454.7 多主体知识逻辑中的群体知识算子 474.7.1 E算子 474.7.2 D算子 474.7.3 C算子 484.8 逻辑全知问题及其解决方案 504.8.1 觉知逻辑 514.8.2 不可能状态语义 534.8.3 组模型 544.9 认知悖论 554.9.1 怀疑主义悖论 554.9.2 彩票悖论 564.9.3 摩尔悖论 564.9.4 可知悖论 564.9.5 意外考试悖论 57第5章 时态逻辑 585.1 时态逻辑的句法 585.2 时态逻辑的模型和语义 615.3 时态逻辑的公理系统 635.4 线性时间时态逻辑 645.5 线性时间时态逻辑的公理系统 655.6 分支时间时态逻辑 665.7 其他类型的时态逻辑 695.7.1 更多模型限制条件 695.7.2 其他时态词 695.7.3 时间段时态逻辑 705.7.4 时空和分支时空 705.8 时态逻辑应用例 70第6章 时态逻辑与认知逻辑的应用 736.1 模型检测中的计算树逻辑 736.2 智能体和多智能体系统中的BDI逻辑 796.3 认证协议验证的BAN逻辑 87第7章 道义逻辑 957.1 道义逻辑的句法 957.2 道义逻辑的模型和语义 967.3 道义逻辑的公理系统 987.4 一种早期的道义逻辑 987.5 标准道义逻辑的问题 997.6 条件道义逻辑 103第8章 条件句逻辑 1068.1 实质蕴涵及其问题 1078.2 条件句逻辑的句法 1118.3 反事实条件句和可能世界 1118.4 条件句逻辑的模型和语义 1148.5 条件句逻辑的公理系统 118第9章 直觉主义逻辑 1199.1 数学确定性的丧失 1199.1.1 无理数的发现 1209.1.2 欧氏几何的第五公设问题 1209.1.3 无穷小概念 1219.1.4 罗素悖论 1219.1.5 形式主义 1229.1.6 逻辑主义 1249.1.7 直觉主义 1269.2 直觉主义逻辑的句法 1299.3 直觉主义逻辑的观念 1299.4 直觉主义逻辑的模型和语义 1319.5 直觉主义逻辑的公理系统 134第10章 多值逻辑 13610.1 多值逻辑的句法 13610.2 卢卡西维茨的三值逻辑 13610.3 卢氏三值逻辑的解释和公理化 13910.4 卢卡西维茨的多值逻辑 14110.5 波斯特的n值逻辑 14310.6 克林的三值逻辑 14410.6.1 克林强三值逻辑 14410.6.2 克林弱三值逻辑 14610.7 博奇瓦尔三值逻辑 146第11章 相干逻辑 15011.1 变元共享 15211.2 相干逻辑的句法与公理系统 15311.3 相干逻辑的模型和语义 154第12章 悖论与“真”理论 15812.1 悖论句子的真值 15912.2 修正理论 16012.3 不动点理论 168参考文献 169
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 聯絡我們
| 運費計算
| 幫助中心 |
加入書簽
HOME
新書上架
