「出来事」を自然に処理する能力をもつ論理体系の構築とその哲学的応用

能够自然处理“事件”的逻辑系统的构建及其哲学应用

• 批准号: 09610004
• 负责人: WARAGAI Toshiharu
• 金额: $ 1.54万
• 依托单位: TOKYO INSTITUTE OF TECHNOLOGY
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1999
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-09610004/
• 关键词: Incompleteness; Set theory; Definition; Event; Name of Events; General sentence; Knowledge Representation; Ontology; object; 個別的因果文; 法則文; causal relation

We concretely constructed a logical system within which we can construct a name of a sentence by the detailed examination of other studies on this matter.The main results of the present research are following :1 We constructed a logical system within which we can construct a name of a sent ence by a proper extention of the standard logical system. We thus enriched the expressive power of the logical system.2 A remarkable feature if the system is that it contains as a theorem a formula that expresses the principle of comprehension. This fact implies that the notions considered to be peculiar to set theory belong to this enriched system. This suggests the inadequacy of the standard logical system the representative means of natural language for events.3. In the system thus obtained, we can develop a method by means of which we can distinguish singular sentences from general ones. This method leads us to a solution of [the problem of the unique correspondence between the form and the content of a sentence].

本文通过对已有研究的考察，具体构建了一个构作句名的逻辑系统，主要研究结果如下：1通过对标准逻辑系统的适当扩充，构建了一个构作句名的逻辑系统。这样，我们就丰富了逻辑系统的表达能力。逻辑系统的一个显著特点是，它包含一个定理，这个定理是一个表达理解原理的公式。这一事实意味着被认为是集合论特有的概念属于这个丰富的系统。这表明标准的逻辑系统的不足之处，自然语言的事件的代表手段.在这样得到的系统中，我们可以发展出一种方法，通过这种方法，我们可以区分奇异句和一般句。这种方法使我们解决了[句子的形式和内容之间唯一对应的问题]。

项目成果

Toshiharu WARAGAI: "Lesniewski's Ontology, Term Quantification and Sorted Logics" The Role of Pragmatics in Contemporary Philosophy ed. P. Weingartner et. al.,Wein. (1997)

Toshiharu WARAGAI：“Lesniewski 的本体论、术语量化和排序逻辑”《实用主义在当代哲学中的作用》编辑。

Toshiharu WARAGAI: "Aristorles Master Argument about Primary substance and Logical ontology"Les Doctrines do La Science (Peeters,Belgium). 9-35 (1999)

Toshiharu WARAGAI：“亚里斯多尔关于基本实体和逻辑本体论的大师论证”Les Doctrines do La Science（Peeters，比利时）。

WARAGAI, Toshiharu: "Term Quantification, Ontology and Sorted Logic, Pragmatics" Wittgenstein Symposium 1997. 266-280 (1997)

WARAGAI, Toshiharu：“术语量化、本体论和排序逻辑、语用学”维特根斯坦研讨会 1997. 266-280 (1997)