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

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

• 논리연구
• /
• 제21권1호
• /
• pp.1-37
• /
• 2018

잘 알려져 있듯이, 비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론을 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 이 물음에 대답하기 위하여 나는 철학적인 측면과 논리학적인 측면에서 유형 이론을 살펴보고자 한다. "논리-철학 논고"에서 비트겐슈타인의 논리적 구문론은 말하자면 러셀의 유형 이론에 대한 대안이다. 논리적 구문론은 "논리-철학 논고"의 표기법의 기호 규칙들이며 특히 형성 규칙들이다. 비트겐슈타인의 말하기-보이기 구분은 논리적 구문론의 가장 근본적인 근거이다. 비트겐슈타인은 러셀의 유형 이론에 대한 비판과 함께 논리적 문법의 임의성(자의성)과 선험성으로 나아간다. 유형 이론에 대한 이러한 비트겐슈타인의 비판은 결국 프레게와 러셀의 논리학관에 대한 도전이다. 논리학은 세계에 속하는 일반적인 진리나 특성들을 다루지 않으며, 논리학을 이루는 동어반복은 아무것도 말하지 않는다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 1985년도 Proceedings of 84 Matsuyama Workshop on Formal Grammar
• /
• pp.1-8
• /
• 1985

• 컴퓨터교육학회논문지
• /
• 제17권5호
• /
• pp.43-51
• /
• 2014

본 연구는 중 고등학생들의 온라인 프로그래밍 과제 수행결과에서 발생한 오류를 파악하여, 오류유형과 오류내용을 분류하고, 프로그래밍 개념학습 성취수준에 따른 오류 빈도의 차이와 성취수준과 오류유형과의 상관관계를 분석하여 향후 프로그래밍 교육에 대한 방향과 인지수준에 따른 교육방법을 제시하였다. 연구를 위해 88명의 학생들의 프로그래밍 과제 수행 결과를 가지고 문법오류, 논리오류, 코딩오류로 오류유형과 오류내용을 분류하고 분석하였다. 분석결과, 세 오류유형 중 논리오류의 발생비율이 69.3%로 가장 높았으며, 성취수준에 따른 오류 빈도의 차이에서는 성취수준 상, 중, 하 세 집단 간에 유의한 차이가 있었다. 성취수준과 오류유형과의 상관관계 분석 결과에서는 논리오류와 코딩오류에서 부적 상관관계를 보여, 성취수준이 높을수록 논리오류와 코딩오류를 적게 범함을 알 수 있었다. 오류유형간의 상관관계에서는 문법오류와 코딩오류간의 정적상관관계를 보였다.

• 한국주거학회:학술대회논문집
• /
• 한국주거학회 2000년도 학술발표대회논문집
• /
• pp.97-102
• /
• 2000

The final purpose of this study is to develop the synthetic and logical analytical tool for analyzing spatial organization of housing. For this purpose, this study made the starting-point by proposing some alternatives to improve one of the quantitative analytical tools of spatial organizations, Space Syntax. These propositions were intended to consider human behavior as well as physical structure in analyzing spatial organization. The propositions were as follow; 1) Classify the private outdoor space in detail, 2) Consider that the spatial organization which visitors cognize can differ from which residents do, and 3) Use distinctive spatial depth according to the states of connection.

• 동의생리병리학회지
• /
• 제16권5호
• /
• pp.845-850
• /
• 2002

This paper suggest a methodology for representation of findings which can be called as signs and symptoms. A finding consists of unit signs and unit symptoms, and moreover findings which appear in one individual patient have so many different relationship each other. So, it is nat appropriate to list all of possible findings as medical standard or to fill findings as independent things in paper for medical record. We try to distinguish finding item from finding list, and suggest the methodology by which we can make finding list from finding items. That is, we suggest finding item[Concept], value types, relationship, logical operator, and syntax as a component of representation. And by using urinary symptom, we make the example for representation methodology. Finally, we mention the background knowledge, brief research process of related area.

• 공학교육연구
• /
• 제18권6호
• /
• pp.46-51
• /
• 2015

Recently, Information Communication Technology(ICT) is one of the most important technology that supports the modern society. As the ICT rises, the needs of the nurturing talents, who can develop a service or hardware on the basis of the humanities increases. As a result, teaching programming skills to students studying humanities and social science are essential. Also, it is important to train students studying science and engineering to write their thoughts logically. In order to serve these students, we introduce a pedagogy for computer programming using programming essay. Since a program is a sequence of the operations based on the programmer's logical thinking, programming can be considered as describing programmer's logic in the proper order using programming syntax. In this research, we train students to describe their logic using natural language. Students write down their essays for a given programming problems. Also, we introduce a pedagogy guideline using programming essay.

• 제어로봇시스템학회논문지
• /
• 제11권4호
• /
• pp.297-303
• /
• 2005

In this paper, I developed an intelligent multi agents based softPLC(IMPLC). In IMPLC, the standard IEC 1131-3 PLC languages(LD, SFC, FBD, ST) programmed by a user are converted to IL, which is one of intermediate codes, in order to make them interactions. And then the IL is converted to the standard C code regarding some extension and transplanting, which can be used in a commercial editor such as visual C++. In IMPLC, the logical errors and syntax errors occurred by users are detected, so that the optimal PC control based softPLC can be possible. IMPLC provide easy programming platform to such beginner as well as professionals. The study of code conversion is firstly tried in the world as well as KOREA. I applied IMPLC to 3 steps conveyer belt system. The simulation results say that the debugging steps by IMPLC using multi agents are decreased than the conventional softPLC's.

• 컴퓨터교육학회논문지
• /
• 제22권2호
• /
• pp.29-38
• /
• 2019

SW 개발과 관련된 프로그램 평가는 학생이 작성한 결과물에 대한 정답 여부만을 제공하는 경우가 많다. 본 연구는 프로그램 평가의 내용이 교사의 수업을 지원하고, 부분점수 제공에서 어떤 부분을 중요하게 고려해야 하는지에 대한 기초자료를 제공하기 위한 목적으로 진행되었다. 목적 달성을 위해 본 연구는 자유학기제 운영 중학교 90명을 대상으로 2개월 간 파이썬 수업을 진행하고, 과정에서 수집된 1185개의 소스코드를 분석하였다. 분석 결과, 학생의 실수가 많은 오류는 '문법오류'이며, 교사들은 '논리오류'를 중요하게 고려하였다. 결과를 토대로 학생의 잦은 문법오류를 줄일 필요가 있으며, 교사는 평가에서 논리적 측면에 대한 중요성을 고려하여 학생들의 프로그램을 평가하고, 부분점수를 고안할 필요가 있다. 본 연구는 프로그램 평가를 학습 지원과 평가의 관점으로 고려했다는 점에 의의가 있다.

• 논리연구
• /
• 제11권2호
• /
• pp.57-91
• /
• 2008

철학적 문제들의 발생은 언어의 논리에 대한 오해에 기인한다는 신념에 따라, 비트겐슈타인의 철학적 탐구는 언제나 언어의 논리 문제를 중심으로 전개되었다. 그의 철학적 작업은 실로 논리적 탐구였다고 할 수 있다. 그러나 그가 생각한 언어의 논리란 무엇인가? 그것은 처음부터 언어의 문법으로서 이해되었지만, 이 이해에는 그의 전후기에 중요한 변화가 있었다. 초기에 그는 언어의 논리를 이상적 표기법에서 실현되는 진리 함수적 구문론과 같은 것으로 이해했으나, 후기에 그는 언어의 논리를 언어놀이의 다양한 언어 사용 규칙들로서 보는 데로 나아갔다. 그것은 논리를 모든 가능성이 미리 규정되어 있는 매우 엄격하고 이상적인 하나의 보편적 문법 체계로서 보는 데서부터, 논리를 미리 생각되지 않은 가능성에 열려 있고 언어놀이들에 특유한 다양한 언어 사용 규칙들로 이루어진 문법 체계들로서 보게 되는 변화이다. 이 글은 그의 전후기 논리관의 상이한 핵심과 그 변화 이유를 다루고 있다. 특히 논리의 자율성과 필연성에 대한 그의 전후기의 관점 변화가 다루어진다.