导图创作分享
本导图系统地分析了本体论承诺的概念、逻辑基础、哲学意义以及相关逻辑概念，旨在为大众读者提供一个清晰的理解框架。
大纲
- 本体论承诺：哲学与逻辑的交汇
- 一、本体论承诺的基础概念
- 定义：哲学术语，指理论对某些对象存在的承诺。
- 提出者：美国逻辑学家、哲学家W.V.O.蒯因。
- 理论视角：理论视为语言的句子集合，通过一阶谓词逻辑整编。
- 二、理论的本体论承诺解析
- 逻辑后承：理论的逻辑后承中包含的存在量化语句。
- 对象存在：理论宣称存在的对象，如昆虫在理论T中的存在。
- 三、约束变元的角色
- 变元功能：行使本体论承诺的职能。
- 存在量化句：要求存在的实体，即满足开语句的对象。
- 四、存在量化语句的语义分析
- 真值条件：存在量词后的开语句为某些对象指派满足。
- 开语句满足：约束变元的赋值对象满足开语句，从而存在。
- 五、量词的本体论意义
- 量词独立性：量词缺乏独立意义，需结合开语句。
- 开语句意义：具有意义但无确定真值，未言说任何对象。
- 约束变元本体论：存在量词约束下，变元获得本体论意义。
- 六、本体论承诺的逻辑蕴涵
- 理论承诺：由逻辑蕴涵的存在量化句做出。
- 约束变元职能：形成本体论承诺或要求。
- 七、本体论承诺的哲学意义
- 哲学探讨：探讨理论对存在对象的承诺。
- 逻辑与哲学交汇：逻辑工具用于哲学分析。
- 八、相关逻辑概念
- 归纳方法：连续统、概率逻辑等。
- 逻辑主义：逻辑概率、贝耶斯公式等。
- 九、逻辑哲学的扩展阅读
- 奎因作品：《From a logical point of view》。
- 陈波研究：《奎因哲学研究》。
- 一、本体论承诺的基础概念
教程推荐
- ●
- ●
- ●
版权声明：本模板仅供个人学习、学术研究及商用复用（需保留平台标识），禁止未经授权的转载、售卖、二次分发，侵权必究。
