• Nuclear Engineering and Technology
• /
• 제26권4호
• /
• pp.611-626
• /
• 1994

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

• 철학연구
• /
• 제116권
• /
• pp.257-280
• /
• 2010

본 연구의 목적은 우선 일차적으로 양상논리학체계를 국어의 통사론적 구조 하에서 재구성하는 것이고, 둘째로 이를 구성주의 인식론의 관점에서 해석하는 것이다. 말하자면, 본 연구는 논리학에 대한 인식론적 해석, 즉 일종의 메타-논리학적 연구이다. 본 연구는 논리(규칙) 및 논리학적 체계는 선험적으로 우리 정신에 주어진 원리가 아니라, 인식 주관이 외적 대상들을 조작하는 행동들 중에서 반복적으로 작용하는 메커니즘들을 형식적으로 구조화하는 데서 성립한다는 것을 정당화하고자 한다. 말하자면, 논리규칙의 후험적 구성주의 논제를 정당화하고자 한다. 따라서 본 연구는 일체의 논리적 구조들을 심리학적 구조들에로 환원을 시도하는 일종의 환원주의이다. 필자가 강조하는 논리적 구성의 두 계기는 체계의 닫힘과 새로운 모순의 발견이다. 따라서 여기서는 명제계산체계 내에 있는 모순을 지적하고 이를 극복하기 위해서 양상논리가 출현하게 되었다는 것과 그럼에도 불구하고 이 체계 역시 새로운 모순을 만난다는 것을 증명하고자 한다. 결국 논리의 구성주의의 논제는 상위의 체계는 하위의 체계에 없던 새로운 제한적 속성이 등장한다는 것을 해명하는 것이 될 것이다.

• 논리연구
• /
• 제3권
• /
• pp.27-51
• /
• 2000

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

• 논리연구
• /
• 제5권1호
• /
• pp.27-44
• /
• 2001

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

• 한국과학교육학회지
• /
• 제22권4호
• /
• pp.725-739
• /
• 2002

본 연구의 목적은 그래프를 작성하고 해석할 수 있는 중학생의 능력을 알아보고, 그래프 능력과 논리적 사고력 및 과학 탐구 능력의 관련성을 분석하여 효과적인 수업전략과 교사의 교수 행동에 대한 시사점을 얻는 데 있다. 중학생 481명을 대상으로 그래프 능력 검사지를 이용하여 중학생의 그래프 능력을 알아보고, 논리적 사고력 검사지와 과학 탐구 능력 검사지를 이용하여 그래프 능력과 논리적 사고력 및 과학 탐구 능력의 상관관계를 조사하였다. 그래프 능력과 논리적 사고력 및 과학 탐구 능력의 상관관계를 조사한 결과, 변인 통제 논리와 비례 논리가 그래프 능력과 관련이 깊은 것으로 나타났다. 그리고 그래프 능력은 논리적 사고력 및 과학 탐구 능력과 대부분 유의한 정적 상관을 보이지만, 통계적으로 상관은 낮았다. 이러한 연구 결과에 비추어볼 때, 앞으로 과학 교사는 중학생의 그래프 능력을 향상시키기 위해 그래프의 중요성을 인식하고, 학생들이 그래프를 작성하고 해석할 수 있는 능력과 변인 통제 논리, 비례 논리 등 논리적 사고력을 향상시킬 수 있도록 체계적인 노력과 효과적인 수업전략이 필요하다고 본다.

• 논리연구
• /
• 제10권1호
• /
• pp.25-64
• /
• 2007

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

• 철학연구
• /
• 제131권
• /
• pp.245-272
• /
• 2014

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

• 한국GIS학회:학술대회논문집
• /
• 한국GIS학회 2008년도 공동춘계학술대회
• /
• pp.280-285
• /
• 2008

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

• 한국지역지리학회지
• /
• 제20권1호
• /
• pp.70-91
• /
• 2014

세계 각국은 기후변화에 대응하기 위한 노력을 기울이고 있으며, 우리나라 또한 예외가 아니다. 세계의 저탄소 녹색도시가 고유한 모델과 실천전략을 통해 다양한 모습으로 실행되어 왔음에 비추어, 우리나라 또한 우리나라의 풍토와 지형적 특성에 맞는 한국형 녹색도시의 모델 및 실천 전략이 필요하다. 이에 본 연구는 우리나라의 전통적인 공간 사유체계인 풍수에 주목하여, 풍수 논리의 현대적 해석을 통해 한국형 녹색 도시 조성 방안을 고찰하고자 한다. 이를 위해, 우선 과거 도시 및 전통마을과 현대 도시의 차이점을 파악하여, 과거의 풍수 논리를 현대 도시의 관점에서 재해석한다. 풍수 논리의 현대적 해석을 바탕으로, 풍수논리에 담겨 있는 입지선정과 공간계획 체계가 한국형 녹색도시 조성에 어떻게 적용될 수 있는지를 모색하고자 한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2006년도 춘계학술발표논문집
• /
• pp.252-257
• /
• 2006

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