期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一种带参数的Hylomorphisms及其计算律 被引量:4
1
作者 余珊珊 李师贤 苏锦钿 《计算机研究与发展》 EI CSCD 北大核心 2013年第3期602-618,共17页
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pard... 针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现. 展开更多
关键词 递归 共递归 hylomorphisms 累积计算 代数 共代数
下载PDF
Metaphysics Z 17’s Ontological Deduction of the Ε■δο■as Principle and Primary Substance through the Analysis of the Becoming
2
作者 Fernando A.Riofrío 《Journal of Philosophy Study》 2019年第1期16-42,共27页
This research represents another of the various different versions of the Hylomorphism of the third millennium(some closer and some less close to the thought of Aristotle).Its aim is to find the most profound and basi... This research represents another of the various different versions of the Hylomorphism of the third millennium(some closer and some less close to the thought of Aristotle).Its aim is to find the most profound and basic intrinsic explanation of the being of the sense-perceptible substance,by means of a systematic approach to the theory of substance developed in the central books of Aristotle's Metaphysics.The theory of substance is based on the hylomorphic conception of the sense-perceptible substance,and reaches its culmination in Chapter 17 of Metaphysics Book Zeta,where Aristotle develops the definitive deeper argument that demonstrates the essence of substance.The argument is developed through a rigorous analysis of the sense-perceptible thing and its elements during the existence of the thing and after its corruption.The result obtained by this analysis is that none of the material components of a sense-perceptible thing,nor the sum of all of them,explain the constitution of the sense-perceptible thing,or its nature.And the final conclusion is that there exists an entity distinct from all of the material components,which is the arrangement and the essence of the sense-perceptible thing,that is,its form.The form also emerges as the primary cause of the being of the sense-perceptible thing and the primary substance,because it acts as the cause of matter and of the hylomorphic compound,and possesses the characters of substantiality in the maximum degree,being separate(τōχωριστòν)and being"a this"(τò?τóδετι).To take another angle,the soul is the form of biological organisms and man;and this investigation ends by establishing how the Aristotelian argument applies to a biological organism,and demonstrates that the soul is the first cause of this and the primary substance,by means of the distinction of the proximate matter and remote matter of the living being. 展开更多
关键词 PRIMARY substance definition of substance form matter hylomorphism BECOMING CAUSE ARISTOTLE
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部