• Title, Summary, Keyword: 논리적 형식

Search Result 203, Processing Time 0.034 seconds

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

  • Byun, Youngjin
    • Korean Journal of Logic
    • /
    • v.16 no.3
    • /
    • pp.309-346
    • /
    • 2013
  • This paper deals with the problem, which logic of language and which metaphysics Wittgenstein suggests in the Tractatus logico-philosophicus. I will ultimately show how he bases the metaphysics on the logic of language. The logic of language by which Wittgenstein sets the limit to the language 'in the language' is the logical syntax of the language. And Wittgenstein extends the idea of the logical syntax to the understanding the nature of the world, i.e. to the metaphysics. The logical form the language(proposition) must have is the form of the world(or the nature of the world), and it can be determined only together with the logical syntax of the language. But what is the logical form(form of the world) 'cannot be said', since the proposition saying it is devoid of 'sense' and 'says nothing'. Therefore Wittgenstein expresses that the logical form(form of the world) 'can only be shown' in the proposition that has sense. The Metaphysics Wittgenstein wants to base on the logic of language(the logical syntax) must be mystical.

  • PDF

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

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

  • PDF

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

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

  • PDF

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

  • Choi, Byeong-Il
    • Korean Journal of Logic
    • /
    • v.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 (초등 영재와 일반 학생의 인지발달 및 논리적 사고력 형성 수준 비교)

  • Lee, Chong-Sup;Yoo, Mi-Hyun
    • Journal of Gifted/Talented Education
    • /
    • v.23 no.3
    • /
    • pp.335-354
    • /
    • 2013
  • The purpose of this study was to investigate cognitive development and logical thinking formation levels of elementary gifted students and to compare with those of elementary regular students. For this purpose, 79 gifted elementary school students and 114 regular elementary school students in Kyunggi Province were participated, and GALT(Group Assessment of Logical Test) was administered to them. The results obtained in this study were as follows. First, the logical thinking scores of elementary gifted students were significantly higher than general students'(p<.05). Comparing the distribution of cognitive development level, elementary gifted students showed higher ratio in formal operation and lower ratio in concrete operation compared to the general students. It was interpreted that the cognitive development of gifted students preceded general students'. Second, analyzing according to the grade of elementary gifted students, logical thinking scores were significantly different between 5th graders and 6th graders(p<.05). Compared to 5th graders, logical thinking and formal operation ratio of 6th gifted graders showed significantly higher. The scores of four logical thinking areas except for conservational logic and correlational logic of 6th gifted graders showed significantly higher than 5th gifted graders'. Both 5th and 6th graders showed the highest formation ratio in combinational logic, and the lowest ratio in correlational logic. Third, logical thinking scores of gifted students according to gender did not show a significant difference(p>.05). The gifted boys reached formal operation more than gifted girls, but stayed more in the concrete operation. There was gender difference in correlational logic. The gifted girls showed significantly higher than gifted boys in correlational logic(p<.05).

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

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

  • PDF

선호구조의 질적 순서화

  • Lee, Sang-Ha
    • Korean Journal of Logic
    • /
    • v.6 no.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 (비례 논리 형성에 미치는 학습자 요인 및 비례 논리 신장을 위한 프로그램 효과 분석)

  • Chung, Wan-Ho
    • Journal of The Korean Association For Science Education
    • /
    • v.18 no.4
    • /
    • pp.503-516
    • /
    • 1998
  • The purpose of the present study was to evaluate some variables, such as learner's cognitive characteristics and a training-program emphasized proportional logic, in proportional reasoning development. Seven hundred and ninety students in junior high schools were enrolled as subjects for the study which investigated learner's cognitive characteristics in proportional reasoning development and asked to perform tests of logical thinking, card sorting, planning, mental capacity, cognitive style, brain lateralization, information processing pattern and scientific reasoning. In addition, one hundred and thirty-three students who failed to solve proportional thinking items were administered a training program which has been applied to improve the subjects' proportional reasoning skills. The results showed a significant higher correlation between subjects' performance score on proportional thinking test, and their age and scores on scientific reasoning test, mental capacity, information processing test and perseveration errors on card sorting test. Also, the training program applied in this study showed an effective result in developing subjects' proportional reasoning skills. Further, this study may serve as a suggestion in the efforts to investigate factors of proportional thinking development and a contribution for the future research in other logical thinking development.

  • PDF

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

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

  • PDF

컴퓨터를 통한 수학적 사고력 신장의 가능성 모색

  • Jo, Han-Hyeok;An, Jun-Hwa;U, Hye-Yeong
    • Communications of Mathematical Education
    • /
    • v.14
    • /
    • pp.197-215
    • /
    • 2001
  • 최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.

  • PDF