• 제목/요약/키워드: 논리적 형식

검색결과 224건 처리시간 0.019초

비트겐슈타인의 언어 논리와 형이상학 (Wittgenstein's Logic of Language and Metaphysics)

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

  • PDF

마음과 정보처리형식체계의 논리적 동치성: 괴델의 선언결론과 불완전성 정리를 중심으로 (Equivalence of Mind and Information Processing Formal System: $G{\ddot{o}}del's$ Disjunctive Conclusion and Incompleteness Theorems)

  • 현우식
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.258-263
    • /
    • 1995
  • 마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

  • PDF

원자 문장의 논리적 형식 (LOGICAL FORM OF ATOMIC SENTENCE)

  • 이건원
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 1990년도 제2회 한글 및 한국어정보처리 학술대회
    • /
    • pp.128-130
    • /
    • 1990
  • 문장의 논리적인 내적이며 형식적이라고도 말하여지는 구조는 단순한 구문론적인 것이라기 보다는 우리의 외적 세계 이해의 범주라고도 말하여져 왔다. 이러한 이해에는 검증이 어렵다는 이유에서 쉽게 받아들일 수 없는 점이 있으나, 실제의 언어 이해에서 부인 할 수 없는 작용을 하는 것은 어쩔 수 없다. 원자 문장에서의 이러한 논리적인 제약이라고도 말하여지는 것은 거의 형이상학적인 측면이 있더라도 언어의 수학적인 성질로 받아들이지 않을 수 없다. 그래서 여기에서는 원자 문장 형성에서의 수학적인 성질들을 말하여 보고자 한다.

  • PDF

타르스키의 논리상항의 정의에 대한 연구

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

  • PDF

초등 영재와 일반 학생의 인지발달 및 논리적 사고력 형성 수준 비교 (Comparison of Cognitive Development, and Logical Thinking Formation Levels between Elementary Gifted Students and General Students)

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

선호구조의 질적 순서화

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

  • PDF

비례 논리 형성에 미치는 학습자 요인 및 비례 논리 신장을 위한 프로그램 효과 분석 (A Study on Learner's Neuro-Cognitive Variables and An Analysis of Program Effects for Developing Proportional Reasoning Ability)

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

  • PDF

형식개념의 외연과 내포격자 (Extent and Intent Lattice on Formal Concept)

  • 연용호
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2019년도 춘계종합학술대회
    • /
    • pp.387-388
    • /
    • 2019
  • 형식개념(Formal Concept)은 외연(extent)과 내포(intent)를 이용하여 어떤 대상에 대한 정의를 내리거나, 그 대상들을 분류하여 군집화하기 위한 논리적 도구로 사용되어왔다. 여기에서 외연이란 객체(Object)들의 집합이고, 내포는 그 객체들이 지니고 있는 속성(Attribute)들의 집합이다. 이러한 형식개념은 어떤 문제에 나타나는 다양한 데이터로부터 객체와 속성들을 추출하고 이로부터 개념(Concept)들의 계층구조(hierarchy)를 형성하여 데이터를 분석하는데 적용될 수 있다. 본 논문에서는 형식개념의 정의와 성질을 소개하고, 이를 일반화한 완비격자에서의 형식개념을 정의한다. 또한 이 형식개념에서의 외연과 내포격자에 대한 성질을 알아본다.

  • PDF

논리-대수 구조에 관한 연구 - 격자 구조의 논리 철학적 함의에 관하여 -

  • 양은석
    • 논리연구
    • /
    • 제2권
    • /
    • pp.119-150
    • /
    • 1998
  • 이 글의 기본적인 목적은 논리 체계의 근간이 되는 구조의 중요성을 부각시키는데 있다. 이를 위하여 여기서는 그러한 구조 논의가 격자를 통해 마련될 수 있다는 점을 논리, 철학적으로 예증하였다. 구체적으로 첫째로 그간 이질적인 체계로 간주되어 온 명제를 대상으로 한 고전 논리와 직관주의 논리, 다치 논리가 모두 격지 구조를 갖는다는 것을 형식적으로 증명하였다. 둘째로 격자 구조가 갖는 철학적 함의를 멱등법칙을 중심으로 검토하였다.

  • PDF

조합논리 소개

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

  • PDF