2) Survive-Existence Theory
生存存在论
3) existential ontology
生存论存在论
1.
In the course of "existential direction" rebelling against traditional philosophy,ecological aesthetics appears accompanied with representations as transcending traditional epistemological-way,turning on existential-way,destroying "entity ontology",and showing "existential ontology".
生态美学摧毁了"实体存在论",开显了"生存论存在论"。
4) ecological existentialism
生态存在论
1.
Heidegger s theory of unitary fourfold is an aesthetic view of ecological existentialism which depicts a magnificent prospect of dwelling poetically.
海德格尔的生态存在论美学观提出了天地神人四重整体说,描绘了人类诗意栖居的理想图景。
2.
This paper attempts to discuss the aesthetic ideas of classic ecological existentialism in Taoism,its key concepts and the"world of supreme morality"as a model of a society.
其实,老庄的道家思想是一种迥异于西方认识论的生态存在论审美观。
5) cognition of survival and existence
生存-存在认识论
6) co-existential ontology
"共生论的"存在论
补充资料：证明论
| 证明论 proof theory 研究数学证明的数学理论。数理逻辑的分支学科。数学 中的证明一向是逻辑学家研究的对象，但证明论是数学家D.希尔伯特于20世纪初期建立的，目的是要证明公理系统的无矛盾性，希尔伯特提出一整套严格的方案，规定只能用有限长的证明，要无可辩驳地给出整个数学的无矛盾性。他打算先给出公理化的算术系统的无矛盾性，再证明数学分析，集合论的无矛盾性。但1931年，K.哥德尔证明：一个包含公理化的算术的系统中不能证明它自身的无矛盾性。这就是著名的哥德尔不完备性定理。这个结果使希尔伯特方案成为不可能。但1936年，G.根岑降低了希尔伯特的要求，允许使用无穷长的证明，证明了算术公理系统的无矛盾性。到1960年，数学分析的一些片断的无矛盾性也被证明。20世纪60年代以后，证明论不再局限于无矛盾性的证明。数学证明中的结构，证明的复杂性，数学中不可判定问题都成为证明论的研究课题，1977年，J.帕里斯发现算术理论中的一个自然的而又是不可判定的命题，这是一个重大发现。它使算术中自然的不可判定命题的研究越来越受人注意。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条