• 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.

• Annual Conference on Human and Language Technology
• /
• 1990.11a
• /
• pp.128-130
• /
• 1990

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

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.629-636
• /
• 1992

컴퓨터의 언어이해 가능성을 반박하는 주된 근거는 형식적 기호들을 처리하는 프로그램이 의미론을 다룰 수 없다는 것이다. 그러나 인과적 계산이론에 따르면 컴퓨터 프로그램이 순전히 구문론적인 것은 아니고 컴퓨터 내부의 기호적 표상의 처리과정에서 의미론적인 지시와 해석이 일어난다고 할 수 있다.

• Annual Conference on Human and Language Technology
• /
• 1991.10a
• /
• pp.171-177
• /
• 1991

한글 표현에 나타난 부정의 사용의 애매성에서 부터 그 속의 어떠한 종류이던간의 특성을 귀납적으로 추론하는 것은 언어학적으로 중요하나, 부정이 가지고 있는 원초적인 문제를 고찰하는 것이 또다른 측면으로 한글속의 부정을 조명하여 볼 수도 있을 것이다. 그래서 부정의 개념적 구조에서 부터 한글 표현에서의 부정의 사용을 이해하여 보려는 형식적 구조에서 시작하여서 한글 부정의 특성을 살펴 보고자 한다.

• Journal of KIISE:Databases
• /
• v.32 no.2
• /
• pp.111-119
• /
• 2005

Electronic catalog contains ich semantics associated with products, and serves as a challenging practical domain for ontology application. Ontology is concerned with the nature and relations of being. It can play a crucial role in e-commerce as a formalization of e-Catalogs. Description Logics provide a theoretical core for most of the current ontology languages. In this paper, we present an ontological model of e-Catalogs in DL. We take an Extended Entity Relationship approach for conceptual modeling method, and present the fundamental set of modeling constructs and corresponding description language representation for each construct. Additional semantic knowledge can be represented directly in DL. Our modeling language stands within SHIQ(d) which is known reasonably practical with regard to its expressiveness and complexity. We illustrate sample scenarios to show how our approach may be utilized in modeling e-Catalogs, and also implement the scenarios through a DL inference tool to see the practical feasibility.

• Annual Conference on Human and Language Technology
• /
• 1995.10a
• /
• pp.258-263
• /
• 1995

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

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.411-418
• /
• 2000

Hausser (1999)와 이기용 (1999a, 1999c)에서는 데이터베이스 관리 시스템(DBMS)을 이용하여 자연언어의 의미를 다루는 데이터베이스 의미론을 제안하였다. 특히 이기용 (1999c)에서는 수형도(tree), 논리 형태(logical fomulas), 자질 구조(feature structure)와 같은 다양한 언어 표상 형식들을 관계형 데이터베이스 관리 시스템(DBMS)의 표상 형식인 테이블 형식으로 전환 가능함을 보임으로써 데이터베이스 의미론에 관계형 데이터베이스 관리 시스템을 도입할 수 있음을 제시하였다. 한편, Lee (2000)에서 제시한 데이터베이스 의미론 모형에서는 데이터베이스 관리 시스템과 사용자(end-user)를 연결하는 언어 정보 처리 시스템(LIPS; Linguistic Information Processing System)을 제안하였다. 이 언어 정보 처리 시스템은 사용자에 의해 입력된 언어 자료를 처리하여 그 분석 결과를 데이터베이스 관리 시스템에 전달하고, 이를 통해 구축된 데이터베이스에서 추출한 정보를 다시 사용자에게 전달하는 시스템이다. 이 논문은 한국어 '이, 히, 리, 기' 피동형을 전산처리 할 수 있도록, 데이터베이스 의미론에서 핵심 요소인 언어정보 처리 시스템과 데이터베이스 관리 시스템을 구현하는 것이 목적이다.

• Annual Conference on Human and Language Technology
• /
• 1989.10a
• /
• pp.92-95
• /
• 1989

단어 인지과정은 언어 이해과정의 한 부분으로, 신속성과 정확성 그리고 심성어휘집을 그 특정으로 한다. 표기 단어의 인지과정에는 그 언어의 정서법 체계가 반영된다. 한국어의 단어 인지과정에 대한 모델 작성의 예비 연구로 음운적 처리와 어휘 근접에서의 정서법적 정보의 역활에 대해 검토하였다. 어휘 근접의 단위에 대한 논의에서는 음절, 자질, 단어등의 형식적 언어학적 단위외에 심리적 단위가 고려되어야 함이 지적되었으며, 그 심리적 단위들과 정서법의 관계에 대해 논의하였다. 마지막으로 한글 단어 인지과정에 관한 한 모델로서 상호작용 활성화 모델의 가능성에 주목하였다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.6
• /
• pp.163-172
• /
• 2021

To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

• Journal of the Korean Chemical Society
• /
• v.50 no.6
• /
• pp.477-485
• /
• 2006

study investigated the influences of the forms of verbal external representations and students' verbal learning style in learning chemical concepts with drawing as a method to assist students in connecting and integrating multiple external representations. Seventh graders (N=133) at a coed middle school were assigned to formal drawing (FD) and personalized drawing (PD) groups. Students in the PD group were provided words at personalized style as verbal external representations for drawing, while those in the FD group were provided words at formal style. All students were taught about Boyles Law and Charless Law for two class hours. Results revealed that the scores of a conception test for the PD group were significantly higher than those for the FD group. In a situational interest test, students with strong verbal learning style preference scored significantly higher than students with weak verbal learning style preference in the two groups. Most PD group students were found to prefer to read verbal external representations at personalized style for drawing rather than at formal style, and perceived their activities positively upon cognitive, affective and motivational aspects. Students with strong verbal learning style preference had more positive perceptions about their activities than students with weak verbal learning style preference especially upon affective and motivational aspects.