# 逻辑与本体论

> 【EN】A number of important philosophical problems are at the intersection of logic and ontology. Both logic and ontology are diverse fields within philosophy and, partly because of this, there is not one single philosophical problem about the relation between them. In this survey article we will first discuss what different philosophical projects are carried out under the headings of “logic” and “ontology” and then we will look at several areas where logic and ontology overlap. 【中】这是一篇综述性词条，指出有一批重要哲学问题处在逻辑与本体论的交汇处。逻辑与本体论都是哲学内部高度多样的领域，部分正因如此，并不存在单一的关于二者关系的问题。文章先讨论在“逻辑”与“本体论”这两个名目下分别开展了哪些不同的哲学工作，再考察两者重叠的若干领域，包括逻辑是否对存在什么保持中立，以及作为交叉方向的形式本体论。

- ID: m13252
- 分类: structure
- 领域: 逻辑学

## 定义

在逻辑与本体论的交汇处有一批重要的哲学问题。由于两门学科本身都很多样，并不存在唯一的一个关于二者关系的问题，需要先区分不同版本的“逻辑”与“本体论”。 脚手架作用：- 承诺审计：追问一套说法为真必须预先承认何物存在 - 立场澄清：区分逻辑是中立于存在还是参与构造存在 - 层次切分：把形式工具的约定与世界的实存分开讨论

## 机制

关系问题取决于各自如何被理解。若把逻辑当作对有效推理形式的研究、把本体论当作对存在之物的研究，问题就是逻辑是否对存在什么保持中立；若把逻辑当作形式理论的构造工具，它便能与本体论结合成形式本体论。不同的组合产生不同的问题，因此没有统一答案。

## 练习

1) 先说明自己采用的是哪种“逻辑”观念与哪种“本体论”观念；2) 再确定两者之间的问题落在哪个交叉点上；3) 检查所用逻辑的形式装置是否暗中预设了某类实体；4) 把结论限定在该交叉点内，不随意外推。

## 脚手架用法

- 承诺审计：追问一套说法为真必须预先承认何物存在 - 立场澄清：区分逻辑是中立于存在还是参与构造存在 - 层次切分：把形式工具的约定与世界的实存分开讨论

[阅读网页](https://thinkingmodels.site/entries/detail/m13252)