• Nuclear Engineering and Technology
• /
• v.26 no.4
• /
• pp.611-626
• /
• 1994

격납건물 사건수목 방법은 확률론적 안전성 평가시 격납건물 해석의 핵심을 이루는 부분으로서 계통안전 분석으로부터 파악된 주요 노심용융 사고경위와 격납건물 방호계통의 적절한 조합에 의하여 선정된 발전소손상군을 초기조건으로 하여 격납건물 파손 및 방사선원 방출에 영향을 주는 격납건물 내부에서 발생 가능한 주요 사고진행 과정을 체계적으로 다룰 수 있는 유용한 수단이다. 원자력 안전성 향상연구이후 격납건물의 건전성을 확보하기 위한 많은 노력의 결과 현재까지 격납건물 해석 및 논리체계는 상당한 기술적 진보를 이루어 왔으나 아직도 이를 기술하는 방식에는 논쟁의 여지가 많고, 중대사고와 관련된 여러 현상들을 반영할때 그것의 논리적 타당성을 객관적으로 평가할 수 있는 방법이 아직 확고히 정착되지 못함으로 인하여 격납건물 해석결과에는 많은 불확실성 이 존재한다. 또한 아직까지 기존 방법론에 대한 어떠한 종류의 체계적 분석도 이루어지지 않음으로 인하여 이들에 대한 논리적 한계점을 파악하는 데 많은 어려움이 있다. 본 연구에서는 지금까지 주로 개발, 사용되어 온 다양한 격납건물 사건수목 분석 방법론을 소개하고 이들 각각이 지니고 있는 기술적인 문제점을 고찰하며 이를 바탕으로 격납건물 사건수목이 갖추어야 할 기본논리, 구조에 대한 안내지침을 제시함으로써 효과적인 격납건물 해석 및 방법론 개발에 도움을 주고자 한다

• 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.3
• /
• pp.27-51
• /
• 2000

이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.27-44
• /
• 2001

아리스토텔레스 이후부터 프레게와 럿셀의 현대논리학이 등장하기 전까지 가장 중요한 논리학의 저서는 "포트로얄 논리학"이라고 알려진 "논리학 혹은 사유의 기술" 이다. 이 저서는 아리스토텔레스와 중세의 고전논리학적 요소와 프레게의 현대논리학적 요소를 동시에 지니고 있어 고전논리학과 현대논리학의 가교 역할을 하고 있다고 할 수 있다. 이 논문의 목적은 포트로얄 논리학에 나타난 서술문의 계사에 대한 설명과 그에 대한 대립되는 해석들을 살펴보고 포토로얄 논리학전체 체계에 비추어 볼 때 어떠한 해석이 보다 설득력있는 해석인가를 검토해 봄으로써 포트로얄 논리학이 지닌 고전적 요소와 현대적 요소를 대비해 보는 것이다. 즉 포트로얄 논리학의 서술문의 계사에 대한 설명을 통해서 그 저서의 한계와 의미를 알아보고, 논리학사에서 그 저서의 정당한 가치를 평가하는 것이 이 논문의 목적이다. 서술문의 계사에 대한 포트로얄 논리학의 설명은 계사는 주어와 술어 사이의 동일성 기호라는 고전적인 해석을 가능하게 하는 여지를 가지고 있는 것은 분명하다. 동시에 서술문의 계사는 술어의 속성들의 집합(comprehension)에 속한 성질들을 주어의 외연(extension)에 적용시키는 역할을 한다고 주장함으로써 프레게의 개념과 대상에 대한 설명과 유사함도 보이고 있다. 필자는 포트로얄 논리학의 계사에 대한 설명을 주어와 술어의 동일성 기호로 해석하는 최근의 빠리앙뜨의 주장(1978)을 비판적으로 살펴보고, 포트로얄 논리학의 계사에 대한 설명을 보다 정확하게 이해하는 것은 술어의 속성과 주어의 외연 사이의 서술적 기능이라고 보는 것이라고 주장한다. 계사를 동일성 기호로 해석하는 것은 첫째 포트로얄 논리학 전체를 살펴볼 때 빈약한 문헌적 증거밖에 갖지 못하고, 둘째 논리학과 의미론에서 포트로얄 논리학의 가장 중요한 기여라고 평가되는 속성집합과 외연의 구별에 대한 오해를 포함하고 있으며, 마지막으로 이러한 해석은 같은 술어도 주어가 달라짐에 따라 다른 의미를 갖는다는 주장을 포함함으로써 반직관적이다. 반면에 계사를 서술적 기능을 하는 것으로 해석하는 것은 포트로얄 논리학의 외연과 내포 사이의 구별에 대한 보다 정확한 이해에 근거한 것이고 종속절을 갖고 있는 명제에 대한 포트로얄 논리학의 분석에 의해서도 뒷받침됨을 보인다. 그러나 포트로얄 논리학은 주어의 외연이 공집합인 명제에 대한 분석에서 여전히 고전논리학적인 설명을 고수한다. 즉 그러한 면제에 대해 주어의 외연이 존재한다고 가정하는 존재적 관점의 해석만 허락함으로써 전칭명제를 조건적으로 해석하고$[({\forall}x)(Sx{\rightarrow}Px)]$, 특칭명제를 연언적으로 해석함으로써$[({\exists}x)(Sx&Px)]$, 그 문제를 해결하는 현대논리학과는 구별된다. 즉 포트로얄 논리학은 서술문의 계사를 동일성 기호가 아니라 주어와 술어의 외연과 내포사이의 서술적 기능으로 설명한다는 점에서 고전적인 견해와 구별되지만, 여전히 존재적 관점에서 모든 명제를 해석한다는 점에서 고전적이다. 이것이 바로 포트로얄 논리학의 평가를 위해서 주목해야 할 그 논리학의 가치이며 한계인 것이다.

• Journal of The Korean Association For Science Education
• /
• v.22 no.4
• /
• pp.725-739
• /
• 2002

The purpose of this study was to investigate the relationships of graphing abilities to logical thinking and science process skills of middle school students. The subjects for this study were selected 481 students from four middle schools for TOGS(the Test of Graphing in Science), GALT(Group Assessment of Logical Thinking) and TIPS II (Test of Integrated Process Skills). This study shows that the correlation coefficient between abilities of students to construct/interpret graphs and the logical thinking was 0.45, and the correlation coefficient between abilities to construct/interpret graphs and science process skills are 0.32. As a result, abilities of students to construct and interpret graphs arc more correlate the logical thinking than science process skills.

• Korean Journal of Logic
• /
• v.10 no.1
• /
• pp.25-64
• /
• 2007

본 논문에서 필자는 수학에 대한 구조주의적 해석들은 수학의 객관성을 설명하는 문제인 비공허성의 문제를 해결하지 못하고 있음을 보이고자 한다. 제거적 구조주의가 비공허성의 문제를 해결하지 못한다는 것은 대부분의 수학철학자들 사이에서 공유되는 견해이며, ante rem 구조주의는, 케래넨의 논증을 수정한 필자의 강한 논증에 의하면, 수학적 대상들에 대한 적절한 동일성 설명을 결코 제공할 수 없기 때문에, 결국 비공허성의 문제를 해결하지 못한다. 또한, 양상 구조주의자인 헬만의 경우에는, 비공허성의 문제에 대한 양상 구조주의적 해결을 가능케 해주는 주장(산수와 관련하는 경우, "${\omega}$-순서열 체계가 논리적으로 가능하다")에 이르는 그의 증명이, 필자의 판단에 따르면, 논점 선취의 오류를 저지르고 있다.

• Journal of Korean Philosophical Society
• /
• v.131
• /
• pp.245-272
• /
• 2014

이 논문은 풍우란(馮友蘭:1895~1990)의 신리학적 철학과학관을 해명하는 것이다. 풍우란은 과학의 역할과 중요성을 긍정하면서도, 철학의 독자적인 역할을 인정한 철학자이다. 그에 따르면 과학은 실제세계에 대한 구체적 적극적 지식을 추구하고, 철학은 '인생경지(경계(境界))의 고양'을 추구하며 나아가 정신의 '자유와 불멸'을 목표로 하는 학문이다. 과학과 철학은 학문의 대상 방법 목표가 상이한 별개의 학문이다. 그는 신실재론의 논리분석방법을 빌어 중국전통철학을 재해석하여 신리학적 철학체계를 수립함으로써 그 혼동을 정리하려했다. 과학은 구체적 객관세계[기(器)] 즉 실제(實際)에 관한 학문이고, 철학은 추상적 보편세계[이(理)] 즉 진제(眞際)에 대한 학문이라는 것이다. 그래서 과학은 구체적인 실제세계에 대한 적극적[긍정적] 지식의 축적을 목표로 하고, 철학은 보편적 세계에 대한 이지적 분석 종합 해석을 목표로 한다. 가장 철학적인 철학인 형이상학은 인생의 경지를 드높이는 것을 추구한다. 철학은 최고의 인생경계 즉, 천지경계(天地境界)의 도달을 목표한다. 이를 위해 철학은 진제에 대한 개념적 논리적 분석을 통해 실제를 초월하는 네 가지 형이상학적 관념을 얻어 천지경계에 도달할 수 있다. 천지경계에 도달하는 형이상학적 방법은 두 가지이다. 하나는 정(正)의 방법으로 논리분석법인데, 경험에 대해 논리적 분석 종합 해석을 하는 것이다. 다른 하나는 부(負)의 방법으로 중국화(中國畵)의 '홍운탁월(烘雲托月)'처럼 말할 수 없는 것을 말하는(불가사의(不可思議), 불가언설(不可言說)) 방법이다. 형이상학은 이를 통해 인간의 삶에 자유와 불멸을 가져다줄 수 있다. 이런 형이상학적 활동은 과학이 목표로 하지도 않고 할 수도 없다는 것이 풍우란의 견해이다. 이로서 풍우란은 참과 거짓을 밝힐 수 없는 무의미한 명제의 추방을 주장한 논리실증주의와 대립되는 철학관에 도달했다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2008.06a
• /
• pp.280-285
• /
• 2008

유비퀴터스 공간컴퓨팅 환경이란 사용자가 언제 어디서든 원하는 지리정보를 쉽게 사용할 수 있는 융복합 IT환경을 말한다. 이 유비퀴터스 공간컴퓨팅 환경에서 객체의 위치는 이질적 공간에서 수시로 변하는 특성을 가진다. 공간의 이질성과 이동성에 대한 유지관리는 지리정보 서비스공급자들에게 많은 부담으로 존재한다. 이에 대한 해결을 위해, 본 연구는 물리적 위치변화에 독립적인 논리적 위치참조체계(이후, 'u-Position' 체계)를 제안한다. u-Position 체계는 IRI형태의 명명 체계와 이를 해석하기 위한 인터페이스들로 구성된다. 인터넷 환경에서 u-Position의 서비스 구조를 보여준 후, 사용 예를 기술하겠다. u-Position은 feature가 여러 공간에서 다른 좌표체계에 의해 다중 표현 되더라도, 이 feature를 인식하는 유일 식별자로서 변하지 않는다. 그러므로 공간의 이질성과 위치 이동성이 존재하는 유비퀴터스 공간컴퓨팅 환경이라 하더라도 객체의 위치투명성(location transparency)과 공간의 연결성(seamlessness)을 보장해 줄 수 있다는 점에서 의의가 있다.

• Journal of the Korean association of regional geographers
• /
• v.20 no.1
• /
• pp.70-91
• /
• 2014

There have been a lot of efforts to adapt climate change around the world, and Korea is no exception. The low carbon green cities for overseas have had many different forms through their own special models and strategies. Korea needs a model and strategy of Korean low carbon green city, which is suitable for Korea climate and topography. This study pays attention to the Pungsu, which is Korean traditional thinking system for space, and examines the way for selecting locations and space planning to create the Korean low carbon green city through the contemporary interpretation of the Pungsu. For this purpose, first of all, this study makes efforts for the contemporary interpretation of the past Pungsu theory from the modern city's perspective, through understanding the difference between the Korea's historic villages(cities) and the modern cities. Based on the contemporary interpretation of the Pungsu theory, this study finds ways of application the system on selecting locations and space planning in the Pungsu theory to create the Korean low carbon green city.

• Proceedings of the KAIS Fall Conference
• /
• 2006.05a
• /
• pp.252-257
• /
• 2006

감성은 인간의 생활에서 논리적 사고와 의사결정, 감정의 발생, 행동 등 모든 부분에 깊숙이 영향을 미치고 있어, 최근 감성의 개념을 도입한 공학적 제품의 도입이 활성화되어 여러 분야에 다양하게 사용 되어지고 있다. 그러나 감성을 평가함에 있어서는 단순한 해석의 의미 수준을 벗어 인간의 삶을 향상시키기 위한 제품이나 환경의 개발을 위해서는 인간의 감성을 정확하게 이해한다는 것은 체계적인 연구와 활용을 위한 선행 조건이라 할 수 있어, 생리신호등을 이용한 정량화된 감성평가 알고리즘의 개발 필요성이 있다. 특히, 최근 여러 IT기기들이 주변의 다양한 기술을 융합하여 다기능의 기기로 변모를 하고 있으며, 이러한 IT기기들에 인간의 감성을 평가할 수 있는 모듈을 부가하여 인간친화적인 기기로의 변모를 도모하고 있는 실정이다. 따라서, 본 연구에서는 측정이 용이한 소수의 생리신호만으로 간단하게 인간감성을 정량적으로 평가가 가능하며, SoC등에 간단하게 탑재할 수 있도록 시스템의 리소스를 적게 소비하는 소형 경량의 감성평가알고리즘을 개발하였다.