Formal Ontology Based on Sortal Modal Logic

基于排序模态逻辑的形式本体

• 批准号: 16520005
• 负责人: KACHI Daisuke
• 金额: $ 1.22万
• 依托单位: Saitama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16520005/
• 关键词: Sotral Modal Logic; Simple Partial Logic; de copula predicative modality; sortal substance modality; temporal substance modality; extensional alethic modality; formal ontology; substantialism; 種的論理; 部分論理; 種的様相; 真理様相; オントロジー; タイムトラベル; 種; 実体

Adopting the position that takes sortal modality, which derives from the essences of substances, as one of the important realistic modalities, this research aimed at two objectives : (1)the construction of a formal system of Sortal Modal Logic that can properly deal with the arguments concerning sortal modality and(2)the construction of a system of substance ontology, which takes substances and sorts as the most fundamental entities in the reality.As for(1), I constructed the system of Sortal Modal Logic SS5 by adding modal operators and two modal axioms to E.J.Lowe's 1^<st>Order Sortal Logic and extending its basic logic to modal logic S5. Comparing it with Aristotle's Modal Syllogisms, I found that SS5 formally embodies a kind of substance ontology.As for(2), firstly I found the following parallelisms between sortal substance modality and temporal substance modality, which derives from the endurance of substances : (a) Both of the categorical, occurrent, dispositional propositions and the past, present, future propositions can be characterized as the propositions that includes de copula predicative modalities that represent a kind of necessity, actuality and possibility respectively. (b)These predicative modalities function as the sufficient conditions of corresponding intensional alethic modalities and represent their sources. (c)While both of the future propositions and the dispositional propositions sometimes lack truth values, the others do not. These differences can be expressed by the extensional alethic modal operators in Simple Partial Logic.Then, based on these parallelisms, I characterized both of the sortal substance modality and the temporal substance modality as what are indispensable at the most fundamental level of the concrete realm of reality, and established a framework for an ontological system that takes substances as the most fundamental entities.

本研究采取将源于物质本质的分类方式作为重要的现实方式之一的立场，旨在实现两个目标：（1）建立一个能够正确处理有关分类模态的争论的分类模态逻辑的形式系统;（2）建立一个实体本体论系统。对于（1），我在E. J. Lowe的一阶排序逻辑的基础上增加了模态算子和两个模态公理<st>，并将其基本逻辑扩展为模态逻辑S5，从而构造了排序模态逻辑S5系统。通过与亚里士多德的模态三段论的比较，我发现SS 5在形式上体现了一种实体本体论。对于（2），首先我发现了类实体模态与时间实体模态之间的以下平行性，这种平行性源于实体的持久性：（a）两个范畴的、发生的、倾向性的命题和过去的、现在的、未来命题可以被描述为包含了de copula表语模态的命题，它们分别代表一种必然性、现实性和可能性。（B）这些述谓模态作为相应的内涵实义模态的充分条件，代表了它们的来源。（c）虽然将来命题和倾向命题有时都缺乏真值，但其他命题则不然。这些差异可以通过简单部分逻辑中的外延实态模态算子来表达，然后基于这些平行性，将类实态模态和时实态模态都刻画为在具体实在领域最基本层面上不可或缺的东西，并建立了一个以实态为最基本实体的本体论体系框架。

项目成果

時制と実体

时态和实质

• 发表时间: 2005
• 期刊: 埼玉大学紀要(教養学部) 41-1
• 作者: YAMAMOTO;Takashi;山本 巍;山本 巍 (共著);加地大介;加地大介;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;加地大介;Daisuke Kachi;加地大介;加地大介
• 通讯作者: 加地大介

Tense and Substance

时态和实质

• 发表时间: 2005
• 期刊: Bulletin of Saitama University(Faculty of Liberal Arts) 41-1
• 作者: YAMAMOTO;Takashi;山本 巍;山本 巍 (共著);加地大介;加地大介;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;加地大介;Daisuke Kachi;加地大介;加地大介;Daisuke Kachi;Daisuke Kachi
• 通讯作者: Daisuke Kachi

可能性から必然性への変化としての時間生成

时间的生成是从可能性到必然性的转变

• 发表时间: 2004
• 期刊: 数理科学 42-7
• 作者: YAMAMOTO;Takashi;山本 巍;山本 巍 (共著);加地大介;加地大介;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;加地大介;Daisuke Kachi;加地大介;加地大介;Daisuke Kachi;Daisuke Kachi;加地 大介;加地 大介;加地大介;Daisuke Kachi;加地 大介;加地 大介
• 通讯作者: 加地 大介

The Logic and Metaphysics of Sortal Modality

排序模态的逻辑和形而上学

• 发表时间: 2007
• 期刊: Bulletin of Saitama University(Faculty of Liberal Arts) 42-2
• 作者: YAMAMOTO;Takashi;山本 巍;山本 巍 (共著);加地大介;加地大介;Daisuke Kachi;Daisuke Kachi
• 通讯作者: Daisuke Kachi

オントロジー構築のための実在論的方法論

本体构建的现实方法论

• 发表时间: 2005
• 期刊: 人工知能学会誌 20-5
• 作者: YAMAMOTO;Takashi;山本 巍;山本 巍 (共著);加地大介;加地大介;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;Daisuke Kachi;加地大介;Daisuke Kachi;加地大介
• 通讯作者: 加地大介