The Logic and Ontology of Contemporary Substantialism

当代实体主义的逻辑与本体论

• 批准号: 19520011
• 负责人: KACHI Daisuke
• 金额: $ 1.58万
• 依托单位: Saitama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2009
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19520011/
• 关键词: 実体主義; 論理; 存在論; 形而上学; 種的様相; 時間様相; 三値論理; 部分論理; 物理主義; 真理様相; 実体論理; 穴; 境界; 傾向性; 独立性; 様相; 実体様相; 様相論理

As for the logic of substantialism, I axiomatized, after constructing their syntax and semantics, the systems of Temporal Substantial Logic and Sortal Substantial Logic, which are based upon the atomic sentences that are classified by de copula modalities that derive from the endurance and the essence of substances respectively.As for the ontology of substantialism, after comparing the definitions of the independence of substances proposed by several representative contemporary substantialists, I concluded that an essentialist definition based upon the specific independence of essence that E.J. Lowe had come up with was the best.

在实体论逻辑中，我通过构造句法和语义，公理化了时间实体逻辑和分类实体逻辑系统，它们分别基于实体的持久性和本质，以去连接模态为分类的原子句。在比较了当代几位有代表性的实体主义者对实体独立性的定义之后，我的结论是，E.J.劳提出的基于本质的特定独立性的本质主义定义是最好的。

项目成果

フォーマル・オントロジーの諸相

形式本体论的各个方面

• 发表时间: 2007
• 期刊: 現象学年報 23巻
• 作者: Nicolas D. Smith;Sung-Hoon Kang;Satoshi Ogihara;Edward Halper;Hun-Sang Chun;Arnaud Mace;共著;Daisuke Kachi;Daisuke Kachi;加地大介;加地大介
• 通讯作者: 加地大介

環境のオントロジー

环境本体论

• 发表时间: 2008
• 作者: 河野哲也;染谷昌義;齋藤暢人;三嶋博之;溝口理一郎;関博紀;倉田剛;加地大介;柏端達也
• 通讯作者: 柏端達也

埼玉大学リポジトリ (SUCRA)

埼玉大学资料库 (SUCRA)

性質に関する中性一元論について

关于属性的中性一元论

• 发表时间: 2007
• 作者: Nicolas D. Smith;Sung-Hoon Kang;Satoshi Ogihara;Edward Halper;Hun-Sang Chun;Arnaud Mace;共著;Daisuke Kachi;Daisuke Kachi;加地大介;加地大介;加地 大介;小林貴訓・久野義徳・加地大介;Daisuke Kachi;加地大介;加地 大介;崎井将之・加地大介
• 通讯作者: 崎井将之・加地大介

研究者ホームページ

研究员主页