• Korean Journal of Logic
• /
• v.10 no.2
• /
• pp.109-123
• /
• 2007

본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.

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

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

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.10a
• /
• pp.453-456
• /
• 2004

퍼지논리제어기는 제어 대상 플랜트에 관한 완전한 정보를 필요로하지 않으면서도 우수한 제어 성능을 발휘하는 비선형 제어기이다. 그러나 퍼지논리제어기는 많은 장점에도 불구하고 엄격한 수학적 해석을 요구하는 안정성 분석의 관점에서는 다소의 문제점을 가지고 있다. 본 논문에서는 퍼지논리제어기를 가지는 전체 폐루프 시스템을 섭동의 성분을 가지는 Lur'e 시스템으로 변형하고, 이를 통하여 퍼지논리제어기의 절대 안정성을 입증하고자 한다. 여기서는 이미 기존의 논문에서 제시한 간단구조 퍼지논리제어기를 대상으로 절대 안정성 해석을 제시한다.

• ETRI Journal
• /
• v.9 no.1
• /
• pp.37-42
• /
• 1987

개인용 전자자동설계 시스팀인 EDAS_P의 schematic으로부터 직접 디지틀 회로의 논리동작을 시뮬레이션할 수 있는 게이트 레벨 논리 시뮬레이터(GLSIM_P)를 IBM PC에서 C언어를 이용하여 개발하였다. 다룰수 있는 소자로는 input clock, 일반 게이트 및 clocked 게이트, ROM, RAM, PLA등이다. 논리신호 레벨은 1, 0,*(intermediate)이다. 효율적인 논리해석을 위해 selective trace 및 event driven 방식을 도입하였으며 게이트 500개 정도까지 해석이 가능하다.

• Korean Journal of Logic
• /
• v.3
• /
• pp.27-51
• /
• 2000

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

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.385-402
• /
• 1992

용언 '같다'는 다양한 의미를 지니는데, 그 가운데 [동일]이나 [유사]를 나타내는 '같다' 구문은 '비교'의 논리가 적용되는 문장들로서 문장을 이루는 명사구의 의미 특성, 명사구 사이의 의미관계, 문장 유형등의 요소에 따라 의미 해석이 달라진다. 이 유형의 '같다' 구문은 특정 문형의 실현이 명사구들의 의미 관계에 따라 제약을 받으며, 또 실현되는 경우에도 [동일]이나 [유사]라는 [비교]의 의미를 갖지 못하고 [비유]의 의미를 나타내게 된다. 이러한 의미범주의 변화는, 특정조건하에서의 '비교'가 현실논리에서는 성립할 수 없는 반면 언어논리에서는 수용될 때 나타나는 두 논리간의 괴리를 보완하는 기제인 것으로 생각된다. 한편, [동일]이나 [유사]를 나타내는 '같다'와 [추측] 혹은 [불확실한 단정]을 나타내는 '같다'는 통사구조와 의미해석 논리에서 다른 양상을 보인다. 이들은 항상 '(-ㄴ/ㄹ) 것 같다'와 같은 구성양식을 갖는데, 그럼에도 불구하고 단문구조로 해석되는 것이다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.49-67
• /
• 2003

조합논리는 기본적으로 정해진 해석이 없는 순수한 형태만을 가지고 추상적으로 연산하는 관점에 관한 논리로서, 논리학을 기호학적 관점에서 볼 수 있는 토대를 제공해 준다. 조합논리의 특징은 연산자가 피연산자도 될 수 있다는 사실에 있으며 그래서 동일한 연산자가 그 자신의 피연산자도 될 수 있다. 이 논문에서 우리는 기본연산자들의 직관적 개념과 형식적 개념을 소개하고 연산자 대수에 내해 검토하고 나서 조합논리와 $\lambda$-연산의 번역가능성에 다해 알아보겠다. 조합논리에 유형의 개념을 추가하면 자연언어 분석에서 아주 효율적인데 기본유형인 대상자 명제 이외의 어떤 요소라도 함수자로 나타낼 수 있는데 이들은 조합자의 특수한 경우로서 파생유형들이다.

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

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.33-35
• /
• 1998

선형논리는 Girard에 의해 소개되었으며, 고전논리의 확장이다. 최근에는 형할당 시스템으로 λ$\mu$-논리의 연구가 성행중이며 함수프로그래밍 언어가 발전할 수 있는 계기가 되었다. λ$\mu$-논리에서의 계산은 형추론 연역과정이다. λ$\mu$-논리의 카테고리로의 해석 λ$\mu$＊-논리를 이용하여 분배카테고리를 일차적으로 구성하고 함수의 흐름을 구체적으로 나타내는 준함수로써 회로 카테고리Cir(CLL*)를 설계하였다. 특히 전산처리에서 흔히 사용하는 큐(Queues)로써 선형고전논리 기증을 온전히 발휘할 수 있음을 지적한다.

• Korean Journal of Logic
• /
• v.1
• /
• pp.139-166
• /
• 1997