An Axiomatization of the Thomasic Ontology of Composition

Q3 Arts and Humanities
Uwe Meixner
{"title":"An Axiomatization of the Thomasic Ontology of Composition","authors":"Uwe Meixner","doi":"10.17990/rpf/2023_79_1_0065","DOIUrl":null,"url":null,"abstract":"This treatise delves into the construction and formalization of a precise theory to encapsulate a pivotal facet of Thomas Aquinas’s ontology. In particular, it focuses on the development of a formal language that is adequate for formulating Aquinas’s understanding of the simultaneous nature of divinity as both an object of subsistence and a universal, individual, and actuating form—a concept evocative of the original Platonic sense of form. The presented axiomatized theory as a medium for expounding the ontological principles enunciated by Thomas Aquinas. A comprehensive set of axioms is systematically justified, exhibiting their congruence with Aquinas’s ontological doctrines. To elucidate this harmony, an extensive series of theorems is deduced, closely aligned with the verbal tenets of Aquinas’s teachings. The inherent consistency of the axiom system is proven by the provision of a geometrico-topological model tailored to support it.","PeriodicalId":36725,"journal":{"name":"Revista Portuguesa de Filosofia","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Revista Portuguesa de Filosofia","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.17990/rpf/2023_79_1_0065","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Arts and Humanities","Score":null,"Total":0}
引用次数: 0

Abstract

This treatise delves into the construction and formalization of a precise theory to encapsulate a pivotal facet of Thomas Aquinas’s ontology. In particular, it focuses on the development of a formal language that is adequate for formulating Aquinas’s understanding of the simultaneous nature of divinity as both an object of subsistence and a universal, individual, and actuating form—a concept evocative of the original Platonic sense of form. The presented axiomatized theory as a medium for expounding the ontological principles enunciated by Thomas Aquinas. A comprehensive set of axioms is systematically justified, exhibiting their congruence with Aquinas’s ontological doctrines. To elucidate this harmony, an extensive series of theorems is deduced, closely aligned with the verbal tenets of Aquinas’s teachings. The inherent consistency of the axiom system is proven by the provision of a geometrico-topological model tailored to support it.
组合本体的公理化
这篇论文深入探讨了一个精确理论的构建和形式化,以概括托马斯·阿奎那本体论的一个关键方面。特别地,它聚焦于一种形式语言的发展,这种形式语言足以形成阿奎那对神的同时本质的理解,即神既是生存的对象,又是普遍的、个体的、驱动的形式——这一概念唤起了原始柏拉图式的形式感。本文将公理化理论作为阐述托马斯·阿奎那所阐述的本体论原则的媒介。一套全面的公理被系统地证明,显示出他们与阿奎那的本体论学说的一致性。为了阐明这种和谐,一系列广泛的定理被推导出来,与阿奎那教导的口头原则密切相关。该公理系统的内在一致性是通过提供一个定制的几何拓扑模型来证明的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Revista Portuguesa de Filosofia
Revista Portuguesa de Filosofia Arts and Humanities-Philosophy
CiteScore
0.20
自引率
0.00%
发文量
73
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信