• Title, Summary, Keyword: ontological proof

Search Result 7, Processing Time 0.036 seconds

G$\ddot{o}$del's Mathematical Proof of the Existence of God (신의 존재에 대한 괴델의 수학적 증명)

  • Hyun, Woo-Sik
    • 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.

Gödel's Maximal Ontology (괴델의 극대 존재론)

  • Hyun, Woosik
    • 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.

Web-Enabler: Transformation of Conventional HIMS Data to Semantics Structure Using Hadoop MapReduce

  • Idris, Muhammad;Lee, Sungyoung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • /
    • 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.

Descartes' proofs for the existence of God (데카르트 신 존재증명의 의의)

  • Kim, Wan-jong
    • 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.

Archival Exhibitions and Photographs in the Age of the Image (이미지의 시대 기록전시와 사진기록)

  • Jo, Min-ji
    • 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.

A Study on the User Acceptance and Change upon Exhibitions of National Archives (국가기록 전시의 의미화에 대한 이용자 수용과 변화에 관한 연구)

  • Jo, Min-ji
    • 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.