方法论全书.Ⅰ,哲学逻辑学方法[电子资源.图书]

第一部 方法论原理
方法论原理
1 方法的内在结构及其本质特征
1.1 方法的内在结构
1.2 方法的本质特征
2 方法的来源与发展
2.1 方法系统的来源
2.2 方法系统的发展
3 方法和方法论的类型
3.1 方法系统的类型
3.2 方法论的类型
4 方法和方法论的评价
5 方法和方法论的运用
参考文献
第二部 哲学方法论
一 哲学方法概论
二 辩证唯物主义方法论
1 辩证唯物主义方法的产生
1.1 古代的辩证方法
1.2 近代唯心主义辩证方法
1.3 唯物辩证方法
2 唯物辩证方法的内容和核心
2.1 唯物辩证方法的内容
2.2 唯物辩证方法的核心
3 实事求是方法
3.1 实事求是方法的出发点
3.2 实事求是方法的内容
3.3 实事求是方法的技术
4 调查研究方法
4.1 调查方法
4.2 研究方法
4.3 验证方法
5 矛盾分析方法
5.1 矛盾分析方法的任务
5.2 矛盾分析方法的步骤
5.3 矛盾分析方法的技术
6 历史辩证方法
6.1 历史辩证方法的基本原则
6.2 历史辩证方法的基本内容
7 价值评价方法
7.1 价值评价的实质
7.2 绝对价值评价方法
7.3 相对价值评价方法
7.4 价值评价标准的选定
8 历史主义方法
8.1 历史因果关系方法
8.2 历史和逻辑相统一的方法
8.3 历史评价方法
9 阶级分析方法
9.1 阶级分析是社会基本矛盾分析方法的具体形态
9.2 阶级分析方法的目的和内容
9.3 社会主义社会阶级矛盾分析方法
10 群众路线方法
10.1 一切从群众出发
10.2 从群众中来，到群众中去
10.3 领导和群众相结合
三 实用主义方法论
1 实用主义的发展
2 实用主义的方法及其应用
2.1 澄清观念意义的理论
2.2 “怀疑—信念”的探索理论
2.3 调和者的哲学
2.4 有用就是真理
2.5 工具主义理论
2.6 科学探索方法
四 逻辑实证主义方法论
1 概述
2 一个命题的意义就是证实它的方法
3 物理主义
4 归纳的逻辑
5 科学假说的提出和检验
6 理论的构成与归化
7 科学说明的逻辑
五 分析哲学方法论
1 概论——分析哲学作为纯粹的方法
1.1 分析哲学的起源和发展
1.2 分析哲学的理论背景
1.3 分析哲学的方法特征
1.4 对分析哲学运动的界定
2 分析哲学代表人物的思维趋向和发展
2.1 摩尔的分析哲学思想特征
2.2 罗素的分析哲学思想特征
2.3 卡尔纳普的分析哲学思想特征
2.4 赖尔的分析哲学思想特征
2.5 维特根斯坦的分析哲学思想特征
3 分析哲学的方法论共性
4 结束语
六 科学哲学方法论
1 早期实证主义方法论
2 经验批判哲学的方法论
3 逻辑实证主义的方法论
4 批判理性主义的方法论
5 科学实在论的方法论
6 新历史主义的方法论
七 现象学方法论
1 建立严格科学的哲学
1.1 胡塞尔所面临的任务
1.2 批判心理主义
1.3 严格科学的哲学的历史性探讨
2 现象学是唯一严格科学的哲学
2.1 现象学发展的历史回顾
2.2 严格科学的哲学的研究对象：现象
2.3 对现象的认识：直观描述
3 现象学还原法
3.1 悬置存疑
3.2 本质的还原
3.3 先验的还原
3.4 意识的意向性
八 存在主义方法论
1 现象学一元论
1.1 存在：本体论的一元化
1.2 意向性原则：一元化的途径
2 生存状态：非理性主义的考察
2.1 “烦”
2.2 “畏”
2.3 “死亡”
3 认识“存在的真理”的方法：情感和直观
3.1 情感：与存在的沟通
3.2 直观：最确切意义上的认识
九 结构主义方法论
1 结构主义方法论产生的时代背景
2 结构主义方法论的特征
3 结构主义语言学
4 列维·斯特劳斯的结构主义人类学
5 结构主义文学
十 解释学方法论
1 古典解释学方法论
1.1 语法解释方法与心理学解释方法
1.2 “重新体验”的方法与历史的方法
2 现代解释学方法论
2.1 理解与解释：现象学方法的创造性运用
2.2 理解的否定性与开放性：理解的辩证法
2.3 文本的“言外之意”：语义分析法的成果
2.4 文本的无意识领域：精神分析法的启示
2.5 语言结构的内与外：对结构主义的批判与吸收
第三部 逻辑学方法
一 逻辑学方法概论
二 普通逻辑学方法
1 普通逻辑学的对象及其本质特征
1.1 普通逻辑学的对象
1.2 普通逻辑的本质特征
2 普通逻辑形式
2.1 概念
2.2 判断
2.3 演绎推理
2.4 归纳推理
2.5 类比推理
2.6 论证
2.7 反驳
3 普通逻辑规律
3.1 同一律
3.2 矛盾律
3.3 排中律
3.4 充足理由律
三 数理逻辑方法
（一）逻辑演算
1 命题演算
1.1 命题 命题联结词
1.2 命题演算
1.2.1 直接给出全部重言式
1.2.2 命题演算的公理系统
1.2.3 命题演算的自然推理系统
1.3 赋值、解释与指派
2 谓词演算
2.1 狭义谓词演算
2.2 狭义谓词演算的公理系统
2.3 狭义谓词演算的自然推理系统
2.4 赋值、解释与指派
（二）集合论
1 引言
2 公理概述
3 公理系统的必要性
4 形式逻辑
5 模型
6 概括原理
7 关系、函数和良序
8 序数
9 序数算术
10 序列
11 基数
12 基数算术
13 数集的定义
14 代数数和超越数
15 选择公理
（三）证明论
（四）递归论
1 自然数
2 原始递归函数
3 初等函数
4 阿克曼函数与格才高尔契克分层
5 多重递归函数
6 可计算函数
6.1 一般递归函数
6.2 λ可定义函数
6.3 μ递归函数和部分递归函数
6.4 图林可计算函数
7 丘奇论题
8 递归论中的基本定理
9 递归可枚举集和递归集
（五）模型论
2 模型论的基本概念
3 紧性定理
4 紧性定理在计算复杂性中的应用
5 谱理论及其应用
6 插入定理及其应用
四非标准逻辑方法
（一）模态逻辑
1 真值和可能世界
2 模态命题演算系统
2.1 符号和术语
2.2 S1°系统
2.3 S1系统
2.4 S2°和S2系统
2.5 S3系统
2.6 S4系统
2.7 S5系统
2.8 其他的模态系统
2.9 模态命题演算系统的具体解释
2.10 正规系统
2.11 可靠性、完全性、典型模型
2.12 可判定性和有限模型性质
3 狭义模态谓词演算
3.1 巴坎系统
3.2 费斯系统
（二）相干逻辑
1 蕴涵、相干、衍涵与衍推
2 II'，E系统
3 R和RM系统
3.1 R系统
3.2 RM系统
4 相干模态、语义、代数及判定问题
4.1 相干模态
4.2 相干语义
4.3 相干代数
4.4 判定问题
（三）多值逻辑
2 多值思想发展史
3 多值逻辑系统的主要来源
3.1 卢卡西维奇最先创立了三值逻辑系统L3
3.2 波斯特的多值系统
3.3 多值逻辑的另一个重要来源——布劳维尔的数理哲学思想
3.4 多值逻辑的重要思想来源——严格蕴涵系统
4 各种类型的多值逻辑系统
4.1 鲍契瓦尔三维系统
4.2 克利尼三值系统
4.3 莱辛巴赫三值系统
4.4 希斯塔科夫三值系统
4.5 雷瑟瓦四值系统
4.6 斯鲁佩基多值系统
4.7 吉诺夫耶夫多值系统
4.8 雅斯科夫斯基多值结构
4.9 罗梭和杜克特多值系统
5 多值命题演算的公理化
5.1 多值命题演算的公理化与函数结构
5.2 多值公理化结构与函数结构的相对性
5.3 罗梭和杜克特的公理结构
5.4 严格蕴涵和直觉主义逻辑系统
6 多值量词理论
7 多值谓词演算的公理化
7.1 保留5.3中A1～A7，并将每条公理中的命题理解为可以包含谓词和量词
7.2 特殊谓词演算的量化
8 多值逻辑一般问题
8.1 函数结构
8.2 真值函数
8.3 函数结构的一致性
8.4 基础函数的独立性
8.5 多值结构中的肯定命题和否定命题
8.6 多值结构中的符合选择与逻辑定律的不变性
8.7 多值系统的功能完全性
8.8 多值函数的特点
（四）模糊逻辑
1 模糊集合论与模糊推理
2 模糊语言逻辑
3 确定性理论
4 主观贝叶斯方法
5 其他
（五）直觉主义逻辑
1 直觉主义逻辑的起源与发展
2 直觉主义谓词逻辑的公理系统
3 耿欣的矢列演算
（六）次协调逻辑
1 次协调逻辑的逻辑哲学分析
1.1 为什么会产生新逻辑
1.2 次协调逻辑的现实原型
1.3 悖论、形式矛盾与次协调逻辑
2 次协调逻辑历史的若干方面
2.1 卢卡西维茨对矛盾律的怀疑
2.2 瓦西里列夫关于非亚里士多德逻辑的构想
2.3 雅斯可夫斯基着手构造“矛盾演算”
3 达科斯塔的次协调逻辑
3.1 构造次协调形式系统的方法论原则
3.2 次协调命题演算Cn及其方法论解释
3.3 次协调谓词演算与摹状词演算
4 次协调型的道义逻辑与辩证逻辑
4.1 为什么需要有次协调道义逻辑
4.2 次协调道义演算CD1及其方法论解释
4.3 CD1的道义可能世界语义学（略）
4.4 为什么会有次协调辩证逻辑DL
4.5 “对立统一”的形式化：DL的公理
4.6 DL的元定理及其方法论解释
4.7 DL的语义学及其方法论解释
（七）悖论
五 归纳逻辑
1 归纳逻辑简史
2 归纳逻辑基本内容
2.1 枚举归纳推理
2.2 消去归纳——穆勒五法
3 类比推理
3.1 属性类比
3.2 关系类比
3.3 模拟类比
4 统计推理
5 对传统归纳法的讨论
六 概率逻辑
1 概率语义学
1.1 经典命题演算与概率语义学
1.2 模态系统与概率语义学
1.3 一般命题系统与概率语义学
1.4 经典谓词演算与概率语义学
2 概然逻辑
3 有穷概率逻辑
3.1 一阶概率逻辑
3.2 认知概率逻辑
4 无穷概率逻辑
七 辩证逻辑体系
1 辩证逻辑是研究思维的整体和全过程的逻辑形式及其规律的科学
1.1 思维的属性及其形式的多样性
1.2 思维的逻辑本质和逻辑类型
1.3 辩证逻辑是思维史的总结与概括
2 辩证逻辑的逻辑结构系统
2.1 辩证概念
2.2 辩证判断
2.3 推论
3 辩证推理系统在辩证法范畴推演中的具体运用
3.1 存在论范畴推演的逻辑推理结构
3.2 本质论范畴推演的逻辑推理结构
3.3 概念论范畴推演的逻辑推理结构
八 形象逻辑
1 形象逻辑概论
1.1 研究对象
1.2 学科性质
1.3 特殊作用
1.4 研究方法
1.5 观念与概念
1.6 观念命题形式
1.7 观念命题联结词
1.8 观念命题的主词、谓词和量词
1.9 量化观念命题的真值条件
1.10 基于真值表方法的形象逻辑
2 形象谓词逻辑演算
2.1 INQ系统的形式语言LIQ
2.2 INQ系统的变形规则
2.3 INQ系统中形式定理
2.4 INQ系统的语义解释
2.5 INQ系统的可靠性和协调性
2.6 INQ系统的完全性和可判定性
九 逻辑哲学
1 什么是逻辑哲学
1.1 逻辑与逻辑哲学
1.2 逻辑哲学与“哲学逻辑”
1.3 逻辑的划界
2 逻辑及其现实原型
2.1 形式系统内外的有效性
2.2 形式化的目的、启发程序及限度
2.3 蕴涵词及其演化
3 模态逻辑的哲学问题
3.1 关于必然真理的哲学讨论
3.2 模态逻辑诸形式系统：不同的形式刻划
3.3 奎因对模态逻辑的责难
3.4 可能世界的语义学及其哲学疑难
4 对应原理——非经典逻辑群的通用原理
4.1 什么是对应原理
4.2 量子逻辑与对应原理
4.3 次协调逻辑与对应原理
5 非经典逻辑的起源
5.1 改造经典逻辑的一般策略原则
5.2 作为一种非经典逻辑的现代归纳逻辑
5.3 建构多值逻辑的不同的认识论动因
5.4 经典逻辑矛盾律、排中律的扬弃
6 逻辑中的真理问题
6.1 逻辑真理是唯一的吗？
6.2 逻辑知识是可误的
6.3 互补又互斥的真理理论的辩证综合
术语索引
人名索引