• Korean Journal of Logic
• /
• v.1
• /
• pp.65-93
• /
• 1997

거짓말쟁이 역설에 대한 전통적인 설명은 다음 두 가지로 주어진다. 역설을 일으키는 거짓말쟁이 문장이 자기지시적이기 때문에 역설이 발생하므로 자기지시적 문장을 금함으로써 그 역설을 피할 수 있다는 것이 첫 번째이고, 둘째는 모든 문장을 참이나 거짓이라고 주장하는 진리값에 대한 배중률(principle of bivalence)에 집착하기 때문에 그 역설이 발생한다고 생각하고 제3의 진리값을 갖는 문장이 있음을 인정해야 한다는 것이다. 이러한 전통적인 설명과 달리 진리 개념을 비일관적인 개념으로 보고 진리 술어와 그 외의 술어의 용법상의 차이를 설명함으로써 거짓말쟁이 역설에 대한 새로운 설명을 시도하고자 하는 것이 굽타의 "진리 수정론"이다. 굽타의 진리 수정론에 따르면, 진리 술어 외의 술어들은 그 외연이 고정적으로 산출되고 그 과정은 적용 규칙(rule of application)에 의해서 설명되지만 진리 술어는 순환적 정의처럼 고정된 외연을 만들어내지 못하고 단지 가설적 외연만 만들어 낼 뿐이다. 이렇게 진리술어의 가정적 외연을 산출해내는 과정은 수정규칙(rule of revision)에 의해서 설명된다. 요컨대 진리 수정론은 순환적 개념도 의미를 가질 수 있음을 보여주는 의미론적 구조틀이 있다는 것과 진리개념이 바로 그러한 의미구조틀에 의해서 의미를 갖는 순환적 개념이라는 것이다. 그리고 굽타는 그러한 의미구조 틀을 일정한 규칙을 갖는 함수로 설명하려고 시도한다. 즉 진리개념을 일관적인 것으로 보고 거짓말쟁이 역설을 해결해야 할 병리적 현상으로 보는 진리의 일관성론과 달리 굽타의 진리 수정론은 진리술어 자체가 비일관적이기 때문에 거짓말쟁이 역설은 그 술어의 속성상 자연스러운 것이지 피해야 만할 병리적 현상이 아니라고 주장한다. 필자는 의미론적 역설에 대한 여러 가지 설명 중에서 진리 수정론이 가장 설득력 있는 것으로 인정하고 그에 대한 가능한 반론을 검토하고 그에 대한 답변을 시도했다. 또한 진리 수정론을 통해서 거짓말쟁이 역설을 설명하고 -해결하려는 것이 아니라- 나아가서 진리 개념에 대한 이해를 제공해보려고 시도했다.

• Korean Journal of Logic
• /
• v.14 no.1
• /
• pp.77-102
• /
• 2011

This paper is about the problems that Quine's criterion of ontological commitment creates for Nominalists. Quine's clear criterion of ontological commitment, summarized as "to be is to be the value of a variable", means that when we accept a sentence to be true, we are committed to the existence of things that must exist for the sentence to be true. The criterion causes problems for Nominalists. According to Quine's criterion, Nominalists who consider "Humility is a virtue" as true should accept the existence of the property, humility. However, Nominalists are reluctant to accept that properties such as humility exist, although they wish to accept what is meant by "humility is a virtue". The way out of this predicament is presenting a paraphrase which delivers what Nominalists wanted to say through the original sentence without ontological commitment to the property. Several attempts were made to paraphrase such sentences, only to fail. In this paper, successful paraphrases will be presented to cope with previously discussed difficulties. Beforehand, several issues involved in the Quine's criterion will be clarified. Also, Lewis's critical objection that we should give up the business of paraphrase will be discussed.

• Annual Conference on Human and Language Technology
• /
• 2003.10d
• /
• pp.121-126
• /
• 2003

한국어 피동구문에서 출현하는 '가형 성분'에 대해 어떤 통사적 기능을 부여할 것인가에 대한 논의는 조사 자체에 대한 인식과 밀접한 관련을 맺을 뿐만 아니라 한국어 구문 분석에 있어서도 매우 중요한 위를 차지한다. 본 고에서는 논리명제적 차원에 머무는 분석보다는 언어의 발화행위 차원을 고려하여 문장의 형식을 고려할 필요성을 제기하고, 문장을 조사와 어미를 중심으로 하여 인칭과 서법 요소들을 통해서 볼 때, 문장 성분에 대한 인식이 달라질 수 있음을 '피동동사'를 중심으로 제시했다.

• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.33-38
• /
• 2016

수사구조는 텍스트의 각 구성 성분이 맺고 있는 관계를 의미하며, 필자의 의도는 논리적인 구조를 통해서 독자에게 더 잘 전달될 수 있다. 따라서 독자의 인지적 효과를 극대화할 수 있도록 수사구조를 고려하여 단락과 문장 구조를 구성하는 것이 필요하다. 그럼에도 불구하고 지금까지 수사구조에 기초한 한국어 분류체계를 만들거나 주석 코퍼스를 설계하려는 시도가 없었다. 본 연구에서는 기존 수사구조 이론을 기반으로, 한국어 보도문 형식에 적합한 30개 유형의 분류체계를 정제하고 최소 담화 단위별로 태깅한 코퍼스를 구축하였다. 또한 구축한 코퍼스를 토대로 중심문장을 비롯한 문장 구조의 특징과 분포 비율, 신문기사의 장르적 특성 등을 살펴봄으로써 텍스트에서 응집성의 실현 양상과 구문상의 특징을 확인하였다. 본 연구는 한국어 담화 구문에 적합한 수사구조 분류체계를 설계하고 이를 이용한 주석 코퍼스를 최초로 구축하였다는 점에서 의의를 갖는다.

• Annual Conference on Human and Language Technology
• /
• 2009.10a
• /
• pp.251-254
• /
• 2009

띄어쓰기는 한글 맞춤법에 명시되어 있는 규정에 따르면 되지만, 근본적으로 명확한 정의가 내려있지 않으며 복잡하고 애매모호한 기준들이 얽혀 사용자들이 혼란을 겪는 등 많은 오류를 일으키고 있다. 이에 맞춤법 오류에 대한 원인을 찾아 체계적인 교육이 이루어지거나, 맞춤법을 수정 및 보완할 필요성이 있다 하겠다. 본 연구는 사용자들의 편의성을 우선시하여 맞춤법에 있어 논리적 근거를 마련하고 한국어 정보처리의 양상을 살펴보는 것에 의의가 있다. 이에 비교적 띄어쓰기 기준이 명확한 관형어절에 초점을 두어 띄어쓰기가 읽기에 어떤 영향을 미치는지 알아보고자 실시하였다. '관형사 + 명사' 구조와 '~적 + 명사' 구조의 관형어절이 포함된 104개의 문장을 가지고 2개의 목록을 만들었다. 목록 간에는 띄어쓰기 여부가 반대이며 피험자는 목록 중 하나를 경험하였다. 하나의 문장을 끊어서 제시하여 피험자는 읽는 데로 space bar key를 누르는 자기 읽기 조절 과제를 시행하였고, 이어서 문장에 대한 질문을 통해 이해도 검사를 실시하였다. 관형어절을 읽는 평균 속도를 분석한 결과 미세한 차이가 있었으나, 유의미하지는 않았다. 이는 관형어절에 있어서 띄어쓰기의 영향이 크지 않음을 의미한다고 볼 수 있겠다.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2003.10a
• /
• pp.79-85
• /
• 2003

본 논문은 대량의 생물의료분야 문서에서 단백질 이름을 자동으로 인식하고 각 단백질의 특성을 문서에서 자동으로 파악하여 기존의 온톨로지와 연계시키는 방법을 제안한다. 온톨로지 용어가 문서에서 다양한 형태로 발견되기 때문에, 이들을 논리적 표현으로 자동 변환하고, 문서에서 단백질의 특성을 설명하는 문장들을 추출 및 분석하여 온톨로지 용어의 논리적 표현과 비교하였다. 문서에서 단백질 특성을 인식할 때, 약어 처리 및 조응 현상 해결 등의 자연언어처리 기법을 이용하는 방법을 제안하였다.

• The Journal of the Korea Contents Association
• /
• v.6 no.10
• /
• pp.114-125
• /
• 2006

In the previous work, we presented HDT for locating logical errors in Java programs. The HDT locates an erroneous method at an execution tree using an algorithmic program debugging technique and locates a statement with errors in the erroneous method using a step-wise program debugging. It reduced the number of programmer debugging in Java programs. But the HDT still increases the number of debugging because the size of the recent programs increases than the past programs and the number of methods is increasing. This paper proposes HDTS using a program slicing technique (PST) at the MDT. HDTS can reduce the number of programmer debugging. Specially, the more the number of methods and statements increases, the more HDTS has effects.

• Annual Conference on Human and Language Technology
• /
• 1999.10e
• /
• pp.441-446
• /
• 1999

본 연구는 접속사를 통한 텍스트 통합 과정이 논리적 추론 종류에 따라 다른 정보처리 과정 혹은 다른 종류의 단원적 구조(modular structure in language processing)에 의해 처리되는지를 조사하기 위해 실시되었다. 또한, 접속사를 통한 추론 과정이 실어증의 증상 종류에 따라 다른 종류의 언어정보처리 손상이 있는지를 평가하기 위해 실시되었다. 실험에 참가한 환자는 이해성 실어증환자(Wernicke aphasic), 전반성 실어증 환자(Global aphasic), 표현성 실어증 환자(Broca aphasic) 등이었다. en 종류의 과제를 이용하였다. 한 과제는 앞 뒤 문장을 논리적 관계성을 표현하는 접속사를 채워 넣는 과제였고 다른 과제는 접속사가 포함된 텍스트가 옳은지를 판단하는 정오 판단 과제였다. 실험재료 문장에 사용된 접속사는 추가적인 정보를 제공하는 '그리고'와 대등 관계를 나타내는 '그러나' 및 인과 관계를 표현하는 '그래서' 였다. 이 세 종류의 접속사는 각기 다른 논리적 관계성을 나타낸다. 실험 결과는 실어증 환자가 전반적으로 채워 넣기 과제에서 보다는 정오 판단 과제에서 더 많은 실수를 보였으며, 표현성 실어증 환자보다는 이해성 실어증 환자가 더 많은 오류를 보였다. 또한, 세 종류의 접속사 중에 '그리고'가 표함된 텍스트에서 더 많은 실수를 보였다. 이 연구에서 나타난 흥미 있는 결과는 표현성 실어증 환자는 '그러나' 접속사가 포함된 텍스트에서의 수행이 '그래서'가 포함된 경우에서보다 좋은 반면에 전반성 실어증 환자는 '그래서'를 포함하는 텍스트에서의 수행이 '그러나'를 포함하는 텍스트에서의 수행이 더 우수해서 이중해리(double dissociation)가 나타난다는 사실이다. 이 결과는 선후 문장이 어떤 종류의 논리적 관계성을 지니는가에 따라 다른 종류의 정보처리가 진행된다는 것을 암시하는 결과이다.>$\textrm{cm}^2$.。C로 비교적 양호한 초전박막의 전기적 특성을 나타내었다.(Mg+Fe)비를 갖고 전자에 비해 Al이 풍부한 환경에서 생성되었으며, 따라서 활석과 연관되지 않은 녹니석은 생성시 광체와 인접한 화강아질 편마암에 의해 주로영향을 받았을 것으로 생각된다. 녹니석의 이러한 2가지 화학조성상의 경향은 녹니석과 공존하는 운모류나 각섬석류들의 화학분석결과와도 잘 일치한다. 이러한 결과는 이 지역의 활석 광상이 초염기성암 기원의 사문암이 열수변질작용을 받아 생성되었음을 명확하게 지시하며, 따라서 활석 광석내에 존재하는 녹니석은 활석의 근원 광물로서 녹니석편암 및 녹니석 편마암 매의 녹니석이 활석화되고 남은 잔존광물이 아니라, 주변암에 의해 성분상의 영향을 받은 열수와 사문암과의 변질교대작용에 의한 활석화과정 중에 주로 생성된 것으로 추정된다. 이러한 결과는 연구지역의 활석광상이 초염기성암의 사문암화 작용과 활석화 작용의 두 가지 변질작용에 의해 형성되어졌음을 알려준다.농도 증가 없이 폐 조직에 약 50배 정도의 고농도 cisplatin을 투여할 수 있었으며, 또한 분리 폐 관류 시 cisplatin에 의한 직접적 폐 독성은 발견되지 않았다이 낮았으나 통계학적 의의는 없었다[10.0%(4/40) : 8.2%(20/244), p>0.05]. 결론: 비디오흉강경술에서 재발을 낮추기 위해 수술시 폐야 전체를 관찰하여 존재하는 폐기포를 놓치지 않는 것이 중요하며, 폐기포를 확인하지 못한 경우와 이차성 자연기흉에 대해서는 흉막유착술에 더 세심한 주의가 필요하다는 것을 확인하였다. 비디오흉강경수술은 통증이 적고, 입원기간이 짧고, 사회로의 복귀가 빠르며, 고위험군에 적용할 수 있고, 무엇보다도 미용상의 이점이 크다는 면에서 자연기흉에 대해 유용한 치료방법임에는 틀림이 없으나 개흉술에 비해 재발율이 높고 비용이 비싸다는 문제가 제기되고 있는 만큼

• (The)Study of the Eastern Classic
• /
• no.70
• /
• pp.91-117
• /
• 2018

This paper examines the persuasive style(論說類) proses of Myeonggog(明谷) Choi, seokjeong(崔錫鼎, 1646~1715). He is a disciple of Namguman(南九萬) and Parksechae(朴世采), and is a man who played an active part by political soron(少論) leader in the middle of the Joseon Dynasty. It is also a central figure that links the genealogy of the late Joseon Dynasty, which leads to Namguman(南九萬)-Choiseokjeong(崔錫鼎)-Chotaeeok(趙泰億). He wrote total 14 persuasive style prose. The time of creation is from around 1671 until the end of life. In this paper, the preoses to be analyzed are Sunukron(荀彧論), Bujadaegaron(夫子待賈論) and Muneongyebyeon(文言系辭辨). The reverse idea that reverses the existing discussion is outstanding, and the work which is unique in composition is Sunukron(荀彧論). Bujadaegaron(夫子待賈論) is a work that uses the ryubi(類比) to increase persuasiveness and converts the existing perspective. Muneongyebyeon(文言系辭辨) is a work that attempted to harmonize in the formality of vocabulary, sentence and composition while showing the logical perfection to dismiss the counter-argument's prerequisite. For example, Muneongyebyeon(文言系辭辨) consists of a total of five paragraphs in aspect of composition, each paragraph arranged in good order. In addition, this work presented sequential arguments, used the incremental method which emphasizes the importance of arguments as it moves backward.

• Sijohaknonchong
• /
• v.30
• /
• pp.147-164
• /
• 2009

The conclusion of this paper is as follows. First, the authentic syllable count of sijo can be summed up as following: Second, the structure of the statement can be summed up as following: 1) Each statement extremely excludes the use of modifiers to clarify the development of the logic. 2) The meaning of each of the three statement, chojang (the 1st statement), jungjang (the middle statement) and jongjang (the last statement), is connected to the previous one closely, so the text as a whole is perfect. 3) The last statement identifies itself as the conversion or conclusion of the whole text. Therefore, the last statement should begin with a connective adverb like 'Therefore' or 'Then'. But in ancient sijo works, this sort of connected adverb is normally omitted. 4) Each statement of sijo is composed of one of the 4 structures suggested below: a) subjective phrase + predicative phrase b) the formal clause + the latter clause c) location-indicating phrase + sentence d) objective phrase + predicative phrase Since the text of a sijo work is formed like this, sijo is said to be composed of three jang (statement) & six gu (phrase), which is the very feature that proves that sijo is a fixed form of verse.