• 논리연구
• /
• 제16권3호
• /
• pp.309-346
• /
• 2013

이 글은 비트겐슈타인이 "논리-철학 논고"에서 어떤 언어 논리와 또 어떤 형이상학을 제시하는 지 다룰 것이다. 필자는 궁극적으로 어떻게 그가 언어 논리로부터 형이상학을 근거 짓는 지 밝히려고 한다. 비트겐슈타인이 언어의 한계를 '언어 내에서' 그으려 할 때, 그 언어 논리는 언어의 논리적 구문론이다. 그리고 비트겐슈타인은 논리적 구문론에 대한 사상을 세계의 본질에 대한 이해, 형이상학으로 확장시킨다. 언어(문장)가 가져야 하는 논리적 형식은 세계의 형식(또는 세계의 본질)이고, 그것은 오로지 언어의 논리적 구문론과 더불어서만 확정될 수 있다. 그러나 논리적 형식(세계의 형식)이 무엇인지에 대해서는 '말 되어질 수 없다'. 왜냐하면 그것을 말하는 명제는 '뜻' 없고, '아무것도 말할 수' 없기 때문이다. 그러므로 비트겐슈타인은 논리적 형식(세계의 형식)이 뜻 있는 문장에서 '오로지 드러날 수 있다'고 표현한다. 비트겐슈타인이 언어 논리(논리적 구문론)로부터 근거 지으려 하는 형이상학은 신비적일 것이다.

• 논리연구
• /
• 제3권
• /
• pp.95-113
• /
• 2000

타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.258-263
• /
• 1995

마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2001년도 제13회 한글 및 한국어 정보처리 학술대회
• /
• pp.414-421
• /
• 2001

본 논문에서는 한정된 영역을 대상으로 하는 질의응답 시스템에서 사용자의 질의를 해석하고 적당한 대답을 생성하기 위해 백과사전이나 일반사전 등과 같은 지식원에서 추출된 구조화된 지식을 사용하는 과정을 기술한다. 질의응답을 위하여 지식원은 그 단락의 의미에 따라 구조화되고 각 단락은 논리형식으로 변환되었으며, 논리형식 내 각 개체들은 사전 정의문에 따라 확장되었다. 이 구조화된 지식은 입력된 자연언어 질의문에서 질의의 의도를 추출하고, 질의에 포함되어 있는 지식에 의미속성을 부착하기 위해 사용된다. 지식원의 논리형식 변환을 위해 한국어의 논리형식이 도입되었으며, 사용된 지식원은 우리말 큰사전과 계몽백과사전의 30여개 질병정의문이다.

• 논리연구
• /
• 제6권2호
• /
• pp.83-106
• /
• 2003

선호구조의 논리를 결정모델에 적용시킬 때 선호구조는 일반적으로 특정 수치적 순서화 조건을 만족하게끔 표현된다. 그래야 주어진 선택지들을 둘러싼 개인 혹은 집단의 선호구조에 관한 정보가 형식적으로 표출될 수 있다고 여겨져 왔다. 그러나 선호구조의 수치적 순서화에 의해서만 선호관계의 정보가 형식적으로 표출될 수 있다는 성각은 일종의 독단이다. 더욱이 다양한 선택지의 결합에 의한 선호구조의 정보 이동은 기존의 수치적 순서화 속에서 제대로 다루어질 수 없다. 하나의 대안으로서 선형대수의 그래프이론에 바탕을 둔 선호구조의 질적 순서화 방식을 제안한다. 개인 혹은 집단의 선호구조에 관한 정보는 제안될 질적 순서화에 의해 보다 포괄적으로 다루어질 수 있다.

• 한국수학사학회지
• /
• 제25권1호
• /
• pp.57-70
• /
• 2012

<묵경(墨经)> 에 나타난 초보적인 형식논리와 수학적 개념 등을 살펴보면서 그 속에 내포된 고대 중국인들의 수리사상(數理思想)을 조명해보고, 이를 통해 <묵경(墨经)> 의 수학적 의의와 가치를 알아보고자 한다.

• 영재교육연구
• /
• 제23권3호
• /
• pp.335-354
• /
• 2013

본 연구의 목적은 초등학교 영재 학생의 인지발달 및 논리적 사고력 형성 수준을 조사하고 일반 학생과 비교하기 위함이다. 이를 위하여 경기도 소재 초등학교 영재학급 학생 79명과 초등학교 일반 학생 114명을 대상으로 논리적 사고력 검사(GALT)를 실시하고 자료를 분석하였다. 본 연구에서 얻어진 결과는 다음과 같다. 첫째, 초등 영재 학생은 일반 학생에 비해 논리적 사고력 점수가 유의미하게 높았다(p<.05). 인지발달 수준 분포를 비교한 결과 초등 영재 학생은 일반 학생에 비해 형식적 조작기에 도달한 비율이 매우 높았으며, 구체적 조작기에 머물러 있는 비율은 매우 낮았다. 이로써 영재는 일반 학생에 비해 인지발달이 빠르게 나타남을 알 수 있다. 둘째, 초등 영재 학생의 학년에 따라서 논리적 사고력 점수는 유의미한 차이가 있었다(p<.05). 5학년 영재에 비해 6학년 영재의 논리적 사고력이 유의미하게 높았으며, 형식적 조작기에 도달한 학생의 비율도 34% 높았다. 논리적 사고력 영역별로 비교한 결과 보존논리와 상관논리를 제외한 4개의 논리에서 6학년 영재가 유의미하게 높은 것으로 나타났다. 5, 6학년 모두 조합논리의 형성 비율이 가장 높았으며, 상관논리 형성 비율이 가장 낮았다. 셋째, 영재의 성별에 따른 논리적 사고력 점수에는 유의미한 차이가 나타나지 않았다(p>.05). 형식적 조작기에 도달한 비율은 영재 남학생이 높았으나 구체적 조작기에 머물러 있는 비율도 영재 남학생이 높았다. 논리적 사고 영역별로 비교한 결과 상관논리에서는 영재 여학생이 영재 남학생에 비해 유의미하게 높은 것으로 나타났다(p<.05).

• 한국과학교육학회지
• /
• 제18권4호
• /
• pp.503-516
• /
• 1998

본 연구는 형식적 조작기의 초기에 형성되며, 형식적 사고와 과학적 추론의 기초가 되는 비례 논리의 형성에 미치는 학습자 요인과 비례 논리 향상을 위한 프로그램의 적용효과를 분석하는데 그 목적이 있다. 비례 논리 형성에 미치는 요인 분석을 위하여 형식적 사고기의 초기에 해당하는 중학교 1, 2, 3학년 학생 790명을 대상으로 하였다. 표집된 학생들에게 과학적 사고력 검사, WCST, 설계기능검사, 정신용량 검사, 인지양식 검사, 뇌기능 분화 검사, 동시적/연속적 처리 검사, 과학적 추론 검사를 실시하였다. 한편, 비례논리 향상을 위한 프로그램의 적용을 위해서 비례논리가 형성되지 않은 학생 133명에게 처치하여 그 효과를 분석하였다. 본 연구의 결과 학습자의 연령, 과학적 추론 능력, 정신용량, 동시적/연속적 정보처리 점수가 높을수록 비례논리 형성 정도가 높았다. 반면에 보속적 오류가 적을수록 비례논리 형성 정도가 높았다. 비례논리 형성에 높은 예언력을 가지고 있는 대표적인 변인으로는 과학적 추론, 정보처리, 보속적 오류, 연령의 학습자 요인이다. 형식적 사고기의 연령에 있는 학생 중 비례논리가 형성되지 않은 학생을 위해서 비례 논리 형성을 위한 프로그램이 효과가 있는 것으로 나타났다. 본 연구결과를 바탕으로 논리적 사고 형성에 미치는 요인에 대한 분석과 비례논리의 형성이 기타의 논리 형성과 과학 교과목의 성취도에 미치는 영향에 대한 연구가 계속되기를 기대한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1990년도 제2회 한글 및 한국어정보처리 학술대회
• /
• pp.128-130
• /
• 1990

문장의 논리적인 내적이며 형식적이라고도 말하여지는 구조는 단순한 구문론적인 것이라기 보다는 우리의 외적 세계 이해의 범주라고도 말하여져 왔다. 이러한 이해에는 검증이 어렵다는 이유에서 쉽게 받아들일 수 없는 점이 있으나, 실제의 언어 이해에서 부인 할 수 없는 작용을 하는 것은 어쩔 수 없다. 원자 문장에서의 이러한 논리적인 제약이라고도 말하여지는 것은 거의 형이상학적인 측면이 있더라도 언어의 수학적인 성질로 받아들이지 않을 수 없다. 그래서 여기에서는 원자 문장 형성에서의 수학적인 성질들을 말하여 보고자 한다.

• 전기의세계
• /
• 제24권4호
• /
• pp.31-39
• /
• 1975

복잡한 시스템의 설계 또는 연구에서 무엇보다도 중요한 것은 조합설계의 원리를 완전해 이해하는데 있으며 여기서 기술한 조합개폐회로이론은 그 기초가 된다. 조합논리회로란, 출력이 입력의 현재상태에만 전적으로 종속되는 회로를 의미한다. 조합설계의 주목적은 최소수의 소자로 우리가 원하는 개폐특성을 실현하는 회로를 설계할 수 있는 능력을 부여하는데 있다. 이 장에서는 논리함수, 논리식의 표현형식, 논리식의 간단화 및 이들 기법이 실지 조합개폐회로의 설계에 어떻게 적용되는가를 실례를 통하여 기술한다.