• Journal of Daesoon Thought and the Religions of East Asia
• /
• v.1 no.1
• /
• pp.39-60
• /
• 2021

This essay analyzes the meaning of "modern civilization" and the ways it relates to religion conceived as a "The Fellowship of Daesoon Truth (Daesoon Jinrihoe)." We take the expression "Fellowship of Truth" in the broadest sense as indicative of a human companionship with the true nature of the Real. We therefore understand the term to be practically equivalent with the concept of "religion" as connoting the ideas of bond, relationship, debt, and duty toward the Ultimate Reality, toward fellow human beings, and toward the cosmos in general. On this basis, our intent is to assess the nature and limits of the relationship between religion as a fellowship of the Truth and the tenets of modern civilization. Within this overarching perspective, the case of Daesoon Jinrihoe is particularly significant and fruitful for two sets of reasons. Firstly, this is so because Daesoon is typically branded a "new religious movement" open to modernity while it is also true that at least some of its representatives are wary of the negative implications of the modern world. Secondly, the significance of a study of Daesoon in light of the notion of religion as a "The Fellowship of the Truth" lies in that it asserts being rooted in tradition, which raises the question of its relationship with modernity.

• Journal of Korean Philosophical Society
• /
• v.116
• /
• pp.257-280
• /
• 2010

I try to formalize the system of modal logic and interpret it in view of constructivism through this study. As to the meaning of a sentence, as we saw, Frege endorsed extensions in view of the fact that they are enough to provide for a compositional account for truth, in particular that (1) the assignment of extensions to expressions is compositional ; (2) the assignment of extensions to sentences coincides with the assignment of truth values. But nobody would be willing to admit that a truth value is what a sentence means and that consequently all true sentences are synonymous. So, if what we are after is meaning in the intuitive sense, then extensions would not do. This consideration has later become the point of departure of modal and intensional semantics. So, it is clear that the language of modal logic do not allow for an extensional interpretation. ${\square}$ is syntactically on a par with ${\vdash}$, hence within the extensional framework it would have to denote a unary truth function. This means that if modal logic is to be interpreted, we need a semantics which is not extensional. The first attempt to build a feasible intensional semantics was presented by Saul Kripke. He came to the conclusion that we must let sentences denote not truth values, but rather subsets of a given set. He called elements of the underlying set possible world. Hence each sentence is taken to denote the set of those possible world in which it is true. This lets us explicate necessity as 'truth in every possible world' and possibility as 'truth in at least one possible world'. But it is clear that the system of modal logic is not only an enlargement of propositional logic, as long as the former contains the new symbols, but that it is of an other nature. In fact, the modal logic is intensional, in that the operators do not determine the functions of truth any more. But this new element is not given a priori, but a posteriori from construction by logicist.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.

• Journal of Science of Art and Design
• /
• v.8
• /
• pp.95-127
• /
• 2005

It's a matter of ontology rather than that of cognition and methodology to discuss a work of art in Gadamer's philosophy. In addition, he emphasizes the cognitive aspect of a work of art instead of comparing forms and contents of them. For that reason, he excludes aesthetic consciousness derived from Kant first and then makes away with Schiller's theory of aesthetic education. For Gadamer, the concept of truth does not mean accord or correspondence. It would rather be an encounter. This encounter is not axed on a specific time, but a continuous and historical one. Basically. a work of art guarantees this kind of an encounter. This encounter is not based on mutual agreement through an objective standard but on recognition with mutual understanding. Therefore, prejudice or tradition should be acknowledged and respected instead of being excluded. We have only to minimize difference between them through conversation. Gadamer's ontology of a work of art is based on such a ground. The function of a work of art is not only simple satisfaction of aesthetic senses but an object of interpretation, that is, a text by presenting a ground of truth through an agreement of situation. This text reveals its meaning in the situation of author-text-reader. The appearance of this meaning is nothing but the birth of truth. Symbol-allegory and classicism show how to express this kind of truth in a work of art. It is true that Gadamer's philosophical hermeneutics cannot be easily applied to interpret a concrete work of art because it just lays emphasis on the process of 'understanding' instead of a detailed analysis on an individual work. For that reason, he was criticized by some people because of this subjectivity of understanding. However, it's meaning could be changed according to the viewpoint on a work of art. There appears various structural approaches on a work of art in contemporary theory of art. Gadamer just asks the basis of such approaches instead of criticizing a specific one Therefore, a practical approach on individual work should be made separately and hermeneutics enriches the meaning of open-ending of each work of art.

• English & American cultural studies
• /
• v.14 no.2
• /
• pp.127-157
• /
• 2014

Among many literary isms, impressionism is often regarded as the most frank expression of personality. As a masterpiece of modernism, Ford Madox Ford's The Good Soldier is a celebration of the subjectivity which reflects the writer's experiential reality. For Madox Ford, art is not to achieve the true objectivity of human society, but to seize the momentary perception in personal life. As the beginning of modernism, Madox Ford's impressionaism was mostly devoted to give fictive life to subjective impressions. And his heroes are usually the egoless person who can absorb the intense rapidity of consciousness without any prejudice. However, the innocent mind's receptions of myriad impressions, like those of the protagonist John Dowell or his idealized version of Major Ashburnham in The Good Solidier, were described as the enjoyable yet deceptive ones in Madox Ford's works. To engrave more sold perceptive impressions into life, Madox Ford often contrasts or mixes truth with deception, life with death as he did in his real life. Speicially as the result of thick application of real-life subject matters to his writings, Madox Ford's literary works get more vivid colors and penetrating forms. Thus, his literary impressionism based upon his harsh and passionate realities overcomes the limitations of shifting moments of senses, demolishing the boundaries between what is objective and what is subjective, like post-impressionism or expressionism. Namely, as Walter Lowenfels said, Madox Ford did not follow the impossible objectivity passively, yet instead "knew how to invent the truth."

• Korean Journal of Forensic Psychology
• /
• v.11 no.2
• /
• pp.173-190
• /
• 2020

The purpose of this study is to verify whether it is possible for participants to discriminate between innocent and guilty suspects when they are exposed to criminal information utilizing an autobiographical implicit association test (aIAT). A total of 49 college students were randomly assigned to guilty group, innocent-aware group, or innocent-unaware group. Participants performed an aIAT to detect suspects after performing either mock crime or control task. It was verified that innocent suspect and guilty suspect exposed with crime information could be distinguished through D-score and reaction time, converted to symbolize strength of the association between guilty sentences, innocent sentences, and truth sentences. As a result of the analysis, guilty group showed significantly higher D-score than both innocent-aware group and innocent-unaware group. guilty group also showed faster response time in true-guilty condition than true-innocent condition. This shows that the association of true-guilty conditions is stronger than that of true-innocent conditions. On the other hand, the innocent-aware group showed a faster response time in the true-innocent condition than the true-guilty condition, and innocent-unaware group showed no significant difference between the two conditions. Through this, it was confirmed that innocent suspects exposed to criminal information can be discriminated according to the aIAT pattern, which has a faster reaction rate to the truth and innocence union than the guilty group. This study confirmed that suspects exposed to criminal information can be effectively discriminated using aIAT, and further suggests the usefulness and potential of aIAT in the field of lie detection.

• Language and Information
• /
• v.4 no.2
• /
• pp.69-92
• /
• 2000

It is well-known that default rules require a nonmonotonic logic. Veltman proposed one dynamic theory which interprets default rules in such a way that correct inferences can be made at each information state. But his theory has some problems. First, this theory excludes the possibility that a default rule can be true of false. Second, his representation of an information state makes it difficult to interpret a default rule embedded in another sentence. Third, the notion of a frame which is introduced in the interpretation of a default rule and the adjustment of inferential expectation has a more complex structure than is necessary, In this paper, I propose a truth-conditional theory of default rules in which the meaning of a default rule is defined as a truth-condition in a possible world and which assumes a simpler structure of a frame. This makes it possible to interpret a default rule embedded in a sentence. A dynamic theory for default rules is also proposed for correct inferences based on default rules.

• Journal of the Korean Professional Engineers Association
• /
• v.21 no.2
• /
• pp.51-57
• /
• 1988

The writer has worked out his original philosophy both scientific and religious, which he calls "Knownism" The new thought states; the word "known" in "knownism" means "already well-informed in the providence" about the essence of the things, and the true state of the reality, hence the knownism, as the existence of God is set forth as a premise. The knownism is a philosophy unified reasonably the science and the faith into one, for the humans can perceive and realize the essence and the true state, and authorize the truth transcending the experience by the scientific method. The new thought of the knownism is a bridge-building between the natural science and the religious faith. The idea explains that the life is the process to pursue the essence of the things and the god, and the truth is immanent in the original nature of things and in God′s sphere. This thought is a philorophy of possibility to solve the paradigms-to-be such as thinking, faith experience, and supernatural power, so that it presents a vision in the human life as a profitable religious science philosophy. The knownism is much different from agnosticism, skepticism, empiricism, and agnosticism. The grace of God may be detected differently from the supernatural power. The new dark clouds overspread abruptly the summer sky are not new ones but originally derived frosm worn-out water drops. Thus those are called the old clouds. The Korean word "known"(노운) of which pronunciation is same with the English "known" means the old clouds, hence also the name, Knownism. The root of the new clouds is detectable from the preserved old clouds. The old clouds symbolized in the paper indicate the essence and the principles of the things and the fittest, or the key for the solution of the problem in the epistemology, believing that everything has its own, proper nature, the writer sums up his theory by insisting that the humans have to find out the "old clouds" or the "known" in knownism to live eternally either in this world or in other dimensions, though the human beings are transformed into the other phases of life. The writer proclaims through the ideas for the United Nations to fortify the Confederate System of World Nations in order to ensure the world peace and the future of the humans.

• Journal of the Korean Institute of Oriental Medical Informatics
• /
• v.16 no.2
• /
• pp.9-49
• /
• 2010

Byun Jeung Ok Ham, written by Jin Sa Tak is composed of four books. This book is estimated of being written after A.D 1688 and composed of internal medicine, obstetrics and gynecology, ophthalmology, dental surgery and so on, total 36 parts of clinical medicine. This is the last book of that four studying about definition on true and false of 15 diseases. 15 subjects follow, tumo, heat, faint, hematemesis and nosebleeding, insanity, great vomiting, great diarrhea, great thirst, scrotal hernea, uterus attacked by heat, dysentery, congestion, great swelling, malaria, attack by cold. This treatise is the last book of four which deals with jin ga translating into korean and studying about medical theories. In every parts, author's unique clinical theory appears affluently and in that periods his study developed a lot in those days' medical methods. The first book deals with eum yang. second book is weakness and strongness, third upper and low, fourth truth and untruth. First book, Jin Sa Tak says studying on eum yang is oriental medical basic theory and on incurable diseases or chronic symptoms, doctor must go back to that eumyang demonstration after can cure patients. Second parts are on weakness and strongness demonstration, that weakness is weakness of patients' energy and strongness is prosperous condition of diseases' attack. Third parts are on upper and low, that upper is upper parts of human body of painful parts and low is human low parts of pain, that is parts of under waist. And this treaties fourth parts are truth and untruth, true symptoms and untrue symptoms, that is the real reaction of human condition and the other way. Every prescriptions are author's creations. This book provides new viewpoints which surpasses original ancient medical theories. Author suggests new opinions about chronic and incurable diseases.

• Korean Journal of Cognitive Science
• /
• v.27 no.3
• /
• pp.469-499
• /
• 2016

The present study investigated the cognitive mechanism underlying online processing of Korean syntactic (for example, A bed/a clock belongs to/doesn't belong to the furniture "침대는/시계는 가구에 속한다/속하지 않는다") and lexical negation (for example, A tiger/a butterfly has/doesn't have a tail "호랑이는/나비는 꼬리가 있다/없다") using an ERP(Event-related potentials) technique and a truth-value verification task. 23 Korean native speakers were employed for the whole experiment and 15's brain responses (out of 23) were recorded for the ERP analysis. The behavioral results (i.e. verification task scores) show that there is universal pattern of the accuracy and response time for verification process: True-Affirmative (high accuracy and short latency) > False-Affirmative > False-Negated > True-Negated. However, the components (early N400 & P600) reflecting the immediate processing of a negation operator were observed only in lexical negation. Moreover, the ERP patterns reflecting an effect of truth value were not identical: N400 effect was observed in the true condition compared to the false condition in the lexically negated sentences, whereas Positivity effect (like early P600) was observed in the false condition compared to the true condition in the syntactically negated sentences. In conclusion, the form and location of negation operator varied by languages and negation types influences the strategy and pattern of online negation processing, however, the final representation resulting from different computational processing of negation appears to be language universal and is not directly affected by negation types.