论文部分内容阅读
形式化起源于古希腊,柏拉图意义上的Idea(Form)即是其起源,亚里士多德对柏拉图的批评使形式化转向一般和个别的路径,成为近代认识论的最初根源。胡塞尔认为,亚里士多德意义上的形式化只能是总体化,这种总体化和具体事物相结合,是一种不纯粹的形式化,他主张一种分离了感性之物的纯形式的形式化。但是,海德格尔仍然认为胡塞尔的形式化是不纯粹的,因为它总处于一种“安置关系所朝向”之中。为了区分于胡塞尔,他引入“形式显示”这个概念,以追求一种真正的无形式的形式化。但在霍普金斯看来,胡塞尔和海德格尔的学生雅克·克莱恩却因对数字化的理解而在形式化的问题上超越了他的两位著名导师。将数字仅仅看作数字,将字符仅仅看作数字化的字符,而不与具体事物相关,应当是克莱恩在形式化中所做的突出贡献。
Formality originated in ancient Greece. Plato’s Idea (Form) is its origin. Aristotle’s criticism of Plato turned formalization into a general and individual path and became the initial source of modern epistemology. Husserl argues that formalization in the Aristotelian sense can only be a totalization. This combination of totality and concrete things is an impromoter formalization. He advocates a kind of separation of sensual things Formal formalization. However, Heidegger still believes that Husserl’s formalization is not pure because it is always in a position of “orientation of the resettlement relationship.” In order to differentiate himself from Husserl, he introduced the notion of “formal display” in pursuit of a formal formalization without form. But to Hopkins, Jacques Klein, a student of Husserl and Heidegger, surpassed two of his famous mentors in formalization because of their digital understanding. The mere number as a number, the character as a digital character, but not related to specific things, should be Klaine made outstanding contributions in the formalization.