• Journal for History of Mathematics
• /
• v.23 no.1
• /
• pp.79-88
• /
• 2010

G$\ddot{o}$del's proof attempts to establish the existence of God by the definition that God is a being having all positive properties. The proof uses here second order modal logic system $S_5$ with the axiom ${\diamondsuit}{\Box}p{\rightarrow}{\Box}p$. We review the G$\ddot{o}$del's own version and prove his ontological theorems.

• Journal for History of Mathematics
• /
• v.27 no.6
• /
• pp.403-408
• /
• 2014

The interdisciplinary study addresses the G$\ddot{o}$del's ontology from the perspective of the mathematical maximality. We first investigate G$\ddot{o}$del's God having all the positive properties as the intersection of ultrafilters in his own ontological proof(1970). Regarding the axiom of choice and his compactness theorem(1930), the next part discusses the ontological meaning of the maximal rather than the maximum in terms of an episteme space. The results show that G$\ddot{o}$del's ontological arguments imply all the existence of the maximal reality, and all the human's epistemological boundedness as well.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.137-139
• /
• 2014

Objective: Data exchange, interoperability, and access as a service in healthcare information management systems (HIMS) is the basic need to provision health-services. Data existing in various HIMS not only differ in the basic underlying structure but also in data processing systems. Data interoperability can only be achieved when following a common structure or standard which is shareable such as semantics based structures. We propose web-enabler: A Hadoop MapReduce based distributed approach to transform the existing huge variety data in variety formats to a conformed and flexible ontological format that enables easy access to data, sharing, and providing various healthcare services. Results: For proof of concept, we present a case study of general patient record in conventional system to be enabled for analysis on the web by transforming to semantics based structure. Conclusion: This work achieves transformation of stale as well as future data to be web-enabled and easily available for analytics in healthcare systems.

• Journal of Korean Philosophical Society
• /
• v.141
• /
• pp.1-42
• /
• 2017

This paper's purpose is to seek to grasp how Descartes demonstrates proofs of God's existence on the basis of his works especially Meditations. To consider these points, I shall explore first, second, third proofs that are present in his works, and contents related to God. Descartes argues that there is idea of God within me, but it is God, which is first proof. On the basis of this fact, Descartes shows only God is the cause of thinking self who has idea of God(second proof), both of them are called Cosmological argument. To investigate this, at first he states that representative reality that is different from formal reality sets a kind of hierarchy, the degree of this reality is equally applied to cause and effect, consequently to the cause of my idea or existence(God). From Meditation V, third proof which is called Ontological argument, Descartes examined a supremely perfect God can't be separated from God's existence(perfection) just as surly as the certainty of any shape or number, for example triangle, namely it is quite evident that God's existence includes his essence. Through these processes I shall examine following points: the way of having Descartes' proofs of God's existence itself is not only exposed, God's existence who guarantees cogito ergo sum which is never doubted, despite doubting all things that is outside, is but also postulated; Proofs for the existence of God are an ultimate source of ensuring the clear and distinct perception of human reason, Descartes uses reason suitable for non-christians instead of faith suitable for Christians for these methods, which are similarities with the traditional views on the one hand, but nevertheless there are some of discontinuities establishing authority or power of the first philosophical principle to which God is subjected, on the other.

• The Korean Journal of Archival Studies
• /
• no.57
• /
• pp.5-33
• /
• 2018

Records, especially the authentic records the nation secured, have an ontological feature of proof that is able to persuade the current present of the past present, and inherent in it is faith that originates from fundamental objectivity. Therefore the image of silence that such strictness of records creates realizes the detonation of specific memories through the act of visual exhibition. This research started from the notion that records achieve social vitality and return through its exhibition, as well as the critical awareness that it 're-mediate' the past and memory through interactions with image. The reason for viewing the archival exhibition as the subject of user analyzation is that in the process where exhibition sorts and arranges records, it is the tool and mediation that most distinctly exposes the identity of the archives. Hence, this research first analyzes national archives, particularly the exhibition of "presidential" records, which is in the center of memory conflict, in the viewpoint of the cultural practice of memory. Afterwards, it discusses empirical research and results on how users accept and resist the meaning of the exhibition through actual surveys of users after their viewing of an exhibition.

• The Korean Journal of Archival Studies
• /
• no.39
• /
• pp.73-100
• /
• 2014

For a society to be constantly sustained, it needs its past memories to be made present into cultural memories. The state of oblivion resulted from the time difference of the past and the present is commonly made present into commemoration days or memorial spaces. Each has its own form of representation it reflects, but all are related to how past is remembered and how it will be formed. Records, especially the authentic records the nation secured, have an ontological feature of proof that is able to persuade the current present of the past present, and inherent in it is faith that originates from fundamental objectivity. Therefore the image of silence that such strictness of records creates realizes the detonation of specific memories through the act of visual exhibition. Hence, this paper endeavors to examine how the national records, particularly the photographical records, was utilized and how it influenced the people and the society after its organization, through analysing examples of memorial spaces.