爱思唯尔科学哲学手册 逻辑哲学 上

封面
书名
版权
前言
勒文海姆—司寇仑定理
	1 引言
	2 勒文海姆—司寇仑定理
	3 勒文海姆—司寇仑—塔斯基定理
	4 从“非常大”到“非常小”
	5 建构基数到逻辑中
	6 普通逻辑系统中的转移
	7 一般性质
	8 在有穷中的转移
司寇仑悖论的数学
	1 司寇仑悖论
	2 一个简明的技术求解
	3 量化的优点
	4 量化Ⅰ的缺陷
	5 量化Ⅱ的缺陷
	6 一些结论
量词的对象与替换的解释
	1 引言
	2 蒯因和本体论承诺
	3 指称的与非指称的基础语义学
	4 替换策略
	5 克里普克关于替换量化
	6 莱肯—范·因瓦根—法恩的反对
	7 太多名称的问题
	8 自然语言替换主义
多值逻辑
	1 基本观点
	2 历史概述
	3 多值逻辑的基本系统
	4 标准的及代数的语义学
	5 特殊的三值和四值—系统
	6 基于t-范数的联结词逻辑
	7 剩余蕴涵对S-蕴涵
	8 连续t-范数
	9 连续t-范数的逻辑
	10 左连续t-范数的逻辑
	11 一些推广
	12 帕维尔卡式外延
	13 杰拉的一般方法
	14 最近的一些应用
相干逻辑
	1 经典“蕴涵”的一个问题
	2 一次衍推
	3 T-聚焦票据衍推
	4 其他相干逻辑：B、L、E和R
弗协调逻辑与弗协调性
	1 引言
	2 C-逻辑
	3 弗协调集合论
	4 亚希科夫斯基的逻辑
	5 标记逻辑
	6 弗协调逻辑的发展
	7 应用
	8 结束语
外延与内涵逻辑
	1 弗雷格的意谓
	2 卡尔纳普的外延及外延逻辑
	3 外延性的失败与卡尔纳普的内涵
	4 模态逻辑
	5 模态谓词逻辑
	6 蒙塔古的“局部的”内涵逻辑
	7 “整体”内涵逻辑
	8 蒯因的外延主义者计划
	9 超越内涵
逻辑可能世界和模态逻辑的对应语义学
	1 导言
	2 没有对象的世界
	3 对象的世界
模态实在论及其在数学实在论中的根源
	1 引言
	2 刘易斯的可能世界
	3 普兰汀格的可能世界理论
	4 论证T的一个检验
	5 结束语
自由逻辑
	1 自由的好处
	2 空域
	3 证明理论
	4 单域与对偶域
	5 正语义学
	6 负语义学
	7 零价的语义学
	8 超赋值
	9 哪一种语义学？
	10 限定摹状词
	11 集合论
	12 被定义的逻辑及程序语言
	13 模态和时态逻辑
	14 直觉主义逻辑
	15 双条件句替换的失败
	16 一种表达的限制
	17 什么是自由逻辑？
	18 结论
虚构及其逻辑
	1 逻辑
	2 虚构逻辑的目标
	3 直觉
	4 考察基本概念模型
	5 最大的解释
反事实语句、因果关系以及抢先占有
	1 引言
	2 反事实语句的逻辑
	3 反事实的因果论
	4 作为影响的因果关系
	5 事实上的依赖
	6 蓝图策略
逻辑、数学与自然科学
	1 引言
	2 自然科学中假设演绎法构造方法的适当性问题
	3 经验理论的反驳
	4 不可证经验陈述的反实在论解释
	5 应用数学中严格经典定理的命运
	6 面对伯吉斯的反对
缺省推理
	1 缺省推理
	2 展望错误的前景
	3 作为缺省推理的归纳
	4 非单调的缺省推理
	5 一些有益的思考
索引
封底