• 한국컴퓨터정보학회논문지
• /
• 제4권4호
• /
• pp.1-8
• /
• 1999

인간의 사고 방법과 그 원리를 연구하는 논리에서 이진 논리는 True 혹은 False 중 하나만을 진리값으로 갖는 명제를 다룬다. 인간이 다루는 대부분이 기존의 이치논리는 다루기 힘든 애매성(Fuzziness)을 포함하고 있음에도 불구하고 이를 표현하는 지식은 부정확하며 신뢰성은 떨어지게 된다. 이러한 문제점을 해결하기 위하여 본 논문에서는 다치 논리를 사용하였으며, 다치 논리는 2치 논리에 비하여 동일정보량을 처리하는데 고속 처리가 가능한 장점을 가지고 있다. 그래서 2치 부호화를 기본으로한 정보시스템에 비해 다치 부호화 알고리즘을 사용하여 구성하는 기호다치논리를 사용하여 Fuzzy Inference에서 사용되는 Fuzzy Rule을 효과적으로 Minimization하여 추론이 가능하도록 하는 것이다.

• 논리연구
• /
• 제8권2호
• /
• pp.3-32
• /
• 2005

수론(Number theory)과 수학 전반에 걸쳐 무모순성을 확립하고자 한 힐버트의 합리주의적 열망은 무모순성을 주장하는 진술 자체가 그 체계 내에서 결정 불가능한 진술이라는 괴델의 두 번째 정리에 의해 좌절된다. 수학의 어떤 문제에서도 수학자가 "Ignorabimus!" (우리는 모른다!) 해서는 안된다는 힐버트의 낙관 또한 수학에서 증명도 반증도 안되는 결정불가능한 진술의 존재로 인하여 무너진다. 힐버트 프로그램은 일체의 모호함을 배제하고 기호와 기호열에 대한 기계적 연산에 기초하기 때문에 그 충격도 그만큼 클 수밖에 없다. 이 프로그램의 좌절은 그래서 무엇보다도 형식화의 한계를 분명히 보여준다. 이제 수학에서는 통사론적인 증명가능성의 개념이 의미론적인 참의 개념보다 우위를 갖게 되었다. 그리고 그가 제안한 알고리듬(기계적 절차)의 개념은 프로그래밍 언어의 출현에 직접 기여하였다. 그래서 우리는 그의 기획이 비록 좌절했지만 위대한 실패라고 믿고 싶다.

• 논리연구
• /
• 제19권2호
• /
• pp.145-184
• /
• 2016

윌리엄슨(Williamson)은 간극이론과 타르스키 T-도식이 양립불가능함을 보였다. 필자는 이글에서 이러한 윌리엄슨의 주장을 받아들인다고 하더라도, 간극이론이 'p⊨T

그리고 T

⊨p'와는 양립가능함을 보일 것이다. 그리고 이것은 곧 간극이론이 진리에 대한 최소한의 직관을 포착할 수 있음을 보이는 것이다. 그래서 필자의 논의는 간극이론의 논리적 공간을 'p⊨T

그리고 T

⊨p'와 '이가율의 부정'의 양립가능성을 통해 확보하는 것이라고 할 수 있다. 이를 위해 필자는 간극이론을 수용할 경우 함께 수용해야할 귀결개념을 제시하고, 아래 두 주장이 간극이론과 진리에 대한 최소 직관의 논리적 귀결임을 보일 것이다. 1) not-T

와 T는 동치가 아니다. 2) 'p⊨T

'는 성립하지만 'not-T

⊨not-p'는 성립하지 않는다.

• 영어영문학
• /
• 제58권6호
• /
• pp.1193-1213
• /
• 2012

This essay "Twain's Contestation of Emersonian Transcendental Manhood in Huckleberry Finn" explores how Mark Twain's Adventures of Huckleberry Finn (1884) manifests his postwar contestation of Ralph Waldo Emerson's transcendental manhood that endorses the dogmatic, egocentric, and decorporealized position of the Cartesian subject, who believes his being's unity, elevation, and centrality through his fantasy of possessing direct access to divine truth. The connection between Emerson and Twain is based not on Emerson's influence on Twain but on their common interest in American landscape as a site for the redefinition of manhood and masculinity. I examine different types of manhood in their association with nature in Huckleberry Finn by comparing them with the two fundamental concepts of Emerson's philosophy: "a true man" in "Self-Reliance" (1841) and transparent eyeball vision in Nature (1836). Twain's use of Huck's ambivalent position-his centrality as a protagonist in the novel in spite of his marginality in society-renegotiates Emerson's valorization of nonconformity, wholeness, and nonchalance as the characteristics of both boyhood and "a true man," Emerson's term for the ideal individual in "Self-Reliance." I also read Twain's satire of two different types of masculine characters-Bob and the Child of Calamity, boatmen of the Southern frontier, and Colonel Grangerford, patriarch of a Southern aristocratic family-as Twain's denouncement of the antebellum desire for transcendental vision, which Emerson crystalizes into his notion of transparent eyeball in Nature.

• 대한의료기공학회지
• /
• 제4권2호
• /
• pp.153-186
• /
• 2000

Jigam(止感), Josik(調息), Kumchock(禁觸), from the lecture on Truth of ${\ll}Samilshingo{\gg}$(三一神誥) treat three elements of Kigong, regulation of mental activties, regulation of breathing and adjustment of posture and there are some similar mentions with the view of human body based on oriental medicine like those Samjin(三眞), Sammang(三妄), Samdo(三途) and Sippalkyoung(十八境) ect. Thus as a result of comparison and observation about the interrelationships between principle of Kigong in the lecture on Truth of ${\ll}Samilshingo{\gg}$(三一神誥) and oriental medicine. I have conclusion as follows. 1. According to the lecture on Truth, the components of human body are the one and only Samjin(三眞), Sammang(三妄) and Samdo(三途) resulted from facing Samjin(三眞) to Sammang(三妄) and Sippalkyoung(十八境). This fact presents the principle of human change. 2. the principle of Kigong mentioned in the lecture on Truth shows the original Ilshin(一神) on the basis of Samjin(三眞), Sammang(三妄), Samdo(三途) and Sippalkyoung(十八境). This makes common, unity and sound Sim(心), Ki(氣) and Shin(身), Sammang(三妄) through Jigam(止感), Josik(調息) and Kumchock(禁觸), be versed, intellected and guaranteed Sung(性), Myoung(命) and Jung(精), Samjin(三眞) and emit Kyun(見), Mun(聞), Ji(知) and haeng(行), Sadaeshingi(四大神機) and finally all these are harmonized into Duk(德), Hye(慧) and Ryuk(力), Samdae(三大) which is the entity of God. 3. Samsipyookjongmyowhasang(三十六種妙化相) is an ascetic practice done after a chulin(哲人) deduce Ji(止), Jo(調) and Kum(禁), Sambup(三法) on the basis of the lecture on Truth. So I suppose it correlates nature's six elements. Kong(空)(Chun(天)). Yol(熱)(Wha(火)). Jin(震(Jeon(電)), Seup(濕)(Shoo(水)), Han(寒)(Poong(風)) and Ko(固)(Ji(地)), human's Samjin(三眞), Sung(性), Myoung(命) and Jung(精) and Sammang(三妄), Sim(心), Ki(氣) and Shin(身) and makes clear the principle of discipline. 4. In comparison with Samjin(三眞) and Sammang(三妄) says from the lecture on Truth and the Three Essential Elements of the body construction(三寶) from oriental medicine, Samjin(三眞) and Sammang(三妄) as factors of human body in the concept of practical knowledge. That is the one and only Samjin(三眞) in terms of the Three Essential Elements of the body construction(三寶) is considered a structural principle for every single person and Sammang(三妄) is considered a functional form for each individual. And it can be Sung(性)+Sim(心)=Spirit(神), Myoung(命)+Ki(氣)=Vital Force(氣) and Jung(精)+Shin(身)=True Essence(精). 5. In comparison with Sippalkyoung(十八境) of Samdo(三途) from the lecture on Truth and three medical causes of disease, Gamdoyookkyoung(感途六境) is similar with endopathic cause caused by Naesangchiljung(內傷七情), Sikdoyukkyoung(息途六境) is similar with exopathic cause by six climatic conditions in excess as pathogenic factors(六淫) and Yoegi(?氣) and Chokdoyukkyoung(觸途六境) is similar with non-endo-exopathogenic causes by diet imbalance, fatigue, intemperance in sexual life and trauma etc. 6. In the lecture on Truth, the Chulin(哲人) who discipline Sambup(三法), Sangchul(上哲), Choongchul(中哲) and Hachul(下哲) can be compared with Kigong expert(health preserving expert) such as the Spiritual Men(眞人), the Sapients(至人), the Sages(聖人) and the Men of Exellent Virtue(寶人) in the Sang Gu Tian Zhen Lun of the Huang Ti Nei Ching Su Wen(素問 上古天眞論) and then Sangchul(上哲) is the Spiritual Men(眞人), Choongchul(中哲) is the Sapients(至人) and Hachul(下哲) is the Sages(聖人) while the men of Exellent Virtue(賢人) is inferior to Chulin(哲人) when he goes to extremes.

• 대순사상논총
• /
• 제29집
• /
• pp.1-36
• /
• 2017

본 연구는 대순사상의 참동학 위상정립을 위한 미래관 연구를 목적으로 한다. 참동학은 '수운의 사후 구천상제를 믿음으로 말미암아 참생명·참생각·참생활의 미래상을 구현하여 세상복록과 선경복락을 함께 누리는 새 동학'을 말한다. 역사적으로 동학의 시천주와 대순의 천지공사는 상관연동으로 참생명 밝힘의 대순기화 전망을 나타냈고, 동학의 양천주와 대순의 시학시법은 상관연동으로 참생각 밝힘의 대순이화 전망을 드러냈으며, 동학의 인내천과 대순의 천운구인은 상관연동으로 참생활 밝힘의 대순실화 전망을 구현하였다. 본 연구는 동학사상과 대순사상 관련문헌을 분석하는 문헌조사 방법과 영성(Spirit)과 마음(Mind)의 상통에서 드러난 대순사상 참동학의 미래전망을 모색하고자 생명철학 생성론 방법을 활용하고자 한다. 대순사상 참동학의 미래전망은 생명(生命)·생각(生覺)·생활(生活)의 삼차연동으로 이루어진다. 사람사이를 이어주고 매개하는 '대순진리의 공공(公共)하는 영성(靈性)'은 세 양상으로 드러난다. 먼저 구천상제 믿음의 '활명개신(活命開新)'에 의한 '참생명 밝힘'의 대순기화 전망, 구천상제·개체생명의 상관연동성을 깨닫는 '무심개신(無心開新)'에 의한 '참생각 밝힘'의 대순이화 전망, 일상생활 변화의 '지성개신(至誠開新)'에 의한 참생활 밝힘의 대순실화 전망으로 집약된다. 참동학은 수운을 대신한 구천상제의 인신강세와 구천상제 강세지에 해당하는 남조선 중심 세계구원이 공공차원으로 작동하여 새 밝힘을 이룬다. 대순기화는 천지공사로서 '영혼의 영토화'를 기화차원에서 치유하고, 대순이화는 시학시법으로 '영혼의 식민지화'를 이화차원에서 치유하며, 대순실화는 천운구인으로 '영혼의 사물화'를 실화차원에서 치유하기에, '대순진리의 공공하는 영성'은 삼차원 상관연동으로 미래전망을 밝힌다. 결국 삼차원 상관연동의 영성치유를 통해 참동학은 자타(自他) 사이의 원한·원망·원증을 공공으로 치유하며 상생사회로 발전시킨다. 참동학은 대순종통의 계승자, 정산(鼎山)·우당(牛堂)에 의해 계승되어 삼차연동을 구현했다. 한민족과 인류미래를 향한 위대한 세계시민성 선언은 '만국활계남조선' 선언으로 나타났으며, 개체생명과 구천상제, 우주생명과 상관연동으로 생명·생각·생활의 유기체를 이루어 미래전망을 밝힌다. 생명과학 인식론에서는 생명을 '물(物=대상·객체·실체)'로 관찰·분석·조작(操作)'한다면, 생명철학 생성론에서는 생명을 '사(事=주체적으로 자각·각성·체인하는 사건·사태·동태)'로 체득한다. 이 글에서는 생명철학 생성론 관점에서 대순사상의 참동학을 규명함으로써 개체생명과 구천상제의 우주생명이 함께·더불어·서로서로를 열어 삼차연동으로 개신(開新)하는 미래전망의 새 밝힘을 다루고자 한다. 대순사상의 참동학은 '공공하는 영성'을 생명지(生命知)·체험지(體驗知)·실천지(實踐知)의 삼차연동으로 작동시킴으로 고품격의 영성을 구현할 뿐만 아니라 영성작용의 충실도를 높여 보다 넓고 보다 깊게 미래지향의 전망으로 거듭나게 한다.

• International Journal of Contents
• /
• 제14권1호
• /
• pp.1-6
• /
• 2018

Text, as one of the most influential inventions of humanity, has played an important role in human life since ancient times. The rich and precise information embodied in text is very useful in a wide range of vision-based applications such as the text data extracted from images that can provide information for automatic annotation, indexing, language translation, and the assistance systems for impaired persons. Therefore, natural-scene text detection with active research topics regarding computer vision and document analysis is very important. Previous methods have poor performances due to numerous false-positive and true-negative regions. In this paper, a fully-convolutional-network (FCN)-based method that uses supervised architecture is used to localize textual regions. The model was trained directly using images wherein pixel values were used as inputs and binary ground truth was used as label. The method was evaluated using ICDAR-2013 dataset and proved to be comparable to other feature-based methods. It could expedite research on text detection using deep-learning based approach in the future.

• 대한간호학회지
• /
• 제18권1호
• /
• pp.19-25
• /
• 1988

To ensure the autonomy of nursing care aetivies is one of the major and most interesting issues in the field of nursing. The pertaining autonomy demands the nurse to make decisions of her or his own with out interference and free of help from other sides of health care agency. The whole process of autonomous nursing behavior should be judged and conveyed by the nurse only on the basis of the internal factors of her care to solve the problems of the client's disorder in health. Truth of nursing science and relevence of nursing conduct depend on our construction of internal basis and establishment of self-sufficient reference system. The information for efficient decision-making at the scene of nursing can only be supplied by a systematic body of nursing science consisting of true or properly corroborated propositions. The science of nursing can be autonomous when we have framework of explanation, independently of other sciences and the behavior of nursing care can factually be independent of and peculiar to that of other but similar fields only when the science of nursing is correspondently autonomous.

• 한국경영과학회지
• /
• 제27권4호
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.111-119
• /
• 1999

This paper discusses jLogic, a mathematical logic education software developed by the author. jLogic is basically a MS-Windows based software that can construct first-order models, formulas and thet their satisfiablity. Logical formulas are easily input by a "keyboard" maintained by jLogic. A special finite model, called the "Toy World" can be visually cinstructed and modified. The user is supposed to answer the following 3 questions about the selected logical expression: 1. Is it a grammatically correct logical formula? 2. Is it a sentence that has a definite truth value? 3. Is th sentence true or false? When the user inputs his answer in the "Inspector window" and then presses the OK button, jLogic instantly tests the validity of the answer and tells the user the result. jLogic is freely downloaded from http://gauss.kyungpook.ac.kr/~jlogic/