蒯因著作集

逻辑方法（第四版） 引论 第Ⅰ部分 真值函项 1 否定、合取和析取 2 真值函项 3 条件句 4 归组 5 真值分析 6 一致性和有效性 7 蕴涵 8 语词转换为符号 9 等值 10 析取范式 11 简化 12 对偶

逻辑方法（第四版） 引论 第Ⅰ部分 真值函项 1 否定、合取和析取 2 真值函项 3 条件句 4 归组 5 真值分析 6 一致性和有效性 7 蕴涵 8 语词转换为符号 9 等值 10 析取范式 11 简化 12 对偶 13 公理 第Ⅱ部分 一般词项和量词 14 直言陈述句 15 文恩图 16 三段论 17 这些方法的局限 18 布尔模式 19 有效性的实验 20 布尔模式的一些附带问题 21 约束变元 22 量化式 23 移置规则 一元模式 24 前束和纯化 25 再论有效性 26 代入 第Ⅲ部分 量化的一般理论 27 推广的模式 28 推广的代入 29 纯存在模式 30 主要方法 31 应用 32 完全性 33 勒文海姆定理 34 判定和不可判定的 35 函项范式 36 艾尔伯朗的方法 37 证明有效性的其他方法 38 演绎 39 可靠性 40 演绎的策略 第Ⅳ部分 进一步的问题概览 41 单独词项 42 同一性 43 摹状词 44 单独词项的消去 45 变元的消去 46 类 47 数 48 公理集合论 习题部分参考答案 参考文献 索引本体论的相对性及其他论文

本卷包括两部论著：《逻辑方法》（1950）和《本体论的相对性及其他论文》（1969）。前者是一部逻辑教科书，旨在传达关于现代逻辑的形式概念的精确理解，并发展有关形式推理的方便技巧，还讨论了一些相关的逻辑哲学问题。后者是由6篇论文组成的一部论文集，着重讨论对象、存在、量化以及本体论的相对性等问题。