逻辑哲学

✍ Scribed by 戴尔·杰凯特 著; 刘杰 / 郭建萍 译

• Publisher: 北京师范大学出版社
• Year: 2015
• Tongue: Chinese
• Leaves: 781
• Series: 爱思唯尔科学哲学手册
• Category: Library

✦ Synopsis

书签已装载，
书签制作方法请找 [email protected]
完全免费
（若有印刷不清等问题也请发送相关邮件，会尽快更新的）

✦ Table of Contents

封面
书名
前言
目录
引言：当代逻辑哲学
1 逻辑与哲学
2 在逻辑的糖果店里
3 理解逻辑的多元性
4 哲学逻辑与逻辑哲学的未来方向
逻辑是什么？
1 逻辑与推理
2 演绎推理与信息
3 分析推理
4 外推性推理
5 “逻辑”对“超逻辑的系统化”
6 语形与语义
7 语形进路的限制
8 语义进路的限制
9 策略性规则与定义性规则
10 什么是一阶逻辑？
11 公认一阶逻辑的预设
12 量词的意义
13 语义博弈
14 独立—友好逻辑的含义：可公理化性
15 否定及其重要性
16 高阶逻辑
17 没有本体论差异的一个区分
18 替代逻辑？
19 外推性推理与信息采集
逻辑的范围和限制
1 全面回顾
2 逻辑的定义
3 属于逻辑的概念
4 三段论断言
5 推理模式
6 逻辑还原
7 蒯因的“逻辑的范围”
8 逻辑概念
9 我们应该如何思考？
哲学中的逻辑
1 在那个世纪
2 一次快乐的历史之行
3 逻辑形式与自然逻辑：从三段论逻辑学到广义量词
4 推理类型：从波尔扎诺到条件逻辑和人工智能
5 语义解释机制：从塔斯基到“动力学”
6 理论与信念修正：从新实证主义到计算机科学
7 动态逻辑、交流、行为和博弈
8 深入主题
9 结论：再次讨论逻辑与哲学
非形式逻辑与论证概念
1 “论证”的技术和日常意义
2 论证作为通过提供一个以上的理由支持某观点的对话
3 诱导推理的论证
4 扩展：潜在论证与论证的等价类
5 复合直接论证
6 假定论证
7 总结一
8 论证的竞争概念
9 排除在论证类之外的对象
10 总结二
11 后记
论非形式与符号逻辑的关系
1 一种奇怪的二分法
2 关于形式逻辑与非形式逻辑的定义
3 形式逻辑与非形式逻辑的合作
4 结论
模糊性与日常语言的逻辑
1 认知诊断
2 逻辑适用于日常世界吗？
3 柏拉图天堂中的模糊性
4 逻辑适用于日常语言吗？
5 作为前逻辑现象的模糊性
6 逻辑只能松散地使用吗？
7 真值间隙
8 逻辑多元论
9 变异逻辑
10 多值逻辑
11 家族相似性
12 原型
逻辑与语义分析
1 引言
2 一些经典的论证
3 通过逻辑类推进行语义分析
4 在逻辑中进行语义分析
5 开放性问题与深入解读
形式语义学的辩护无关问题
1 背景及概述
2 辩护一种形式逻辑的问题
3 逻辑衍推系统E
4 E-模型结构——Ems的使用与解释
5 关于两个和三个“点”的世界一线矩阵
真之简史
1 简介
2 早期观点
3 中期思想
4 后期观点
5 简短的结论
真与悖论：哲学概览
1 本文的目标与结构
2 d真与真
3 说谎者悖论：总括图景与计划
4 弗完全
5 弗协调逻辑
6 d真、有效性与保真
7 离开d真：参数与语境转变
8 修正理论
9 集合论悖论
10 最终的复仇
11 延伸阅读
希尔伯特纲领的过去与现在
1 引言
2 希尔伯特纲领的过去
3 希尔伯特纲领的哲学解释
4 希尔伯特纲领的现状
5 结论
逻辑主义及其在当代的遗产
1 弗雷格
2 语境、数与新弗雷格逻辑主义
3 罗素的逻辑主义与“无类”理论
4 卡尔纳普的内在逻辑主义
5 逻辑主义的当代评论
6 结构主义对逻辑主义的替代
7 逻辑主义与类型论
经典逻辑时代的来临
1 引言
2 一阶逻辑的崛起
3 语义可判定性与语义完备性
4 形式上不可判定的陈述、真的不可定义性以及非标准模型的存在性
5 第二不完备性定理以及后来哥德尔成果的扩充
6 第二不完备性定理之后的一致性证明
7 递归论的兴起
8 选择公理与广义连续统假设的相对一致性
9 巅峰与编撰
无穷
1 引言
2 实无穷
3 潜无穷
4 物理无穷
封底