• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.25-42
• /
• 2019

This paper deals with Kripke-style semantics, which will be called set-theoretic Kripke-style semantics, for weakly associative substructural fuzzy logics. We first recall three weakly associative substructural fuzzy logic systems and then introduce their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

• Korean Journal of Logic
• /
• v.1
• /
• pp.65-93
• /
• 1997

거짓말쟁이 역설에 대한 전통적인 설명은 다음 두 가지로 주어진다. 역설을 일으키는 거짓말쟁이 문장이 자기지시적이기 때문에 역설이 발생하므로 자기지시적 문장을 금함으로써 그 역설을 피할 수 있다는 것이 첫 번째이고, 둘째는 모든 문장을 참이나 거짓이라고 주장하는 진리값에 대한 배중률(principle of bivalence)에 집착하기 때문에 그 역설이 발생한다고 생각하고 제3의 진리값을 갖는 문장이 있음을 인정해야 한다는 것이다. 이러한 전통적인 설명과 달리 진리 개념을 비일관적인 개념으로 보고 진리 술어와 그 외의 술어의 용법상의 차이를 설명함으로써 거짓말쟁이 역설에 대한 새로운 설명을 시도하고자 하는 것이 굽타의 "진리 수정론"이다. 굽타의 진리 수정론에 따르면, 진리 술어 외의 술어들은 그 외연이 고정적으로 산출되고 그 과정은 적용 규칙(rule of application)에 의해서 설명되지만 진리 술어는 순환적 정의처럼 고정된 외연을 만들어내지 못하고 단지 가설적 외연만 만들어 낼 뿐이다. 이렇게 진리술어의 가정적 외연을 산출해내는 과정은 수정규칙(rule of revision)에 의해서 설명된다. 요컨대 진리 수정론은 순환적 개념도 의미를 가질 수 있음을 보여주는 의미론적 구조틀이 있다는 것과 진리개념이 바로 그러한 의미구조틀에 의해서 의미를 갖는 순환적 개념이라는 것이다. 그리고 굽타는 그러한 의미구조 틀을 일정한 규칙을 갖는 함수로 설명하려고 시도한다. 즉 진리개념을 일관적인 것으로 보고 거짓말쟁이 역설을 해결해야 할 병리적 현상으로 보는 진리의 일관성론과 달리 굽타의 진리 수정론은 진리술어 자체가 비일관적이기 때문에 거짓말쟁이 역설은 그 술어의 속성상 자연스러운 것이지 피해야 만할 병리적 현상이 아니라고 주장한다. 필자는 의미론적 역설에 대한 여러 가지 설명 중에서 진리 수정론이 가장 설득력 있는 것으로 인정하고 그에 대한 가능한 반론을 검토하고 그에 대한 답변을 시도했다. 또한 진리 수정론을 통해서 거짓말쟁이 역설을 설명하고 -해결하려는 것이 아니라- 나아가서 진리 개념에 대한 이해를 제공해보려고 시도했다.

• Korean Journal of Cognitive Science
• /
• v.3 no.1
• /
• pp.1-24
• /
• 1991

This paper presents the Lexical Ambiguity Resolution System of Korean Language. This system uses Dependency grammar and Collative Semantics. Dependency grammar is used to analyze Korean syntactic dependency. A robust way to analyze a sentence is to establish links between individual words. Collative Semantics investigates the interplay between lexical ambiguity and semantics relations. Collative Semantics consists of sense-frame, semantic vector, collation, and screening. Our system was implemented by C programming language. This system analyzes sentences, discriminates the kinds of semantic relation between pairs of words senses in those sentences, and resolves lexical ambiguity.

• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.233-253
• /
• 2014

The Pinocchio paradox that Eldridge-Smith suggested is a version of the semantic paradox. But it is unique in the sense that this paradox does not contain a semantic predicate. Tarski's solution which appeals to the hierarchy of language and Kripke's para-completeness which accepts the third truth value cannot solve the Pinocchio paradox. This paper argues that Eldridge-Smith's trial to criticize semantical dialetheism is not successful and that the paradox implies the rule of the truth predicate is inconsistent. That is, the proper diagnosis to this paradox is that the Pinocchio principle should be considered to be potentially inconsistent, which suggests that semantic paradoxes such as the liar paradox arise because the rule of the truth-predicate is inconsistent. The Pinocchio paradox teaches us that consistent view of truth cannot be successful to solve the semantic paradoxes and that we should accept the inconsistent view of truth.

• Annual Conference on Human and Language Technology
• /
• 1992.10a
• /
• pp.615-627
• /
• 1992

연결주의적 선회'(the connectionistic turn)를 말할 만큼 학문적 방법론과 이론적 관점에 중요한 변화를 가져오고 있는 연결주의를 철학에서의 원자주의와 대비시켜서 고찰한다. 특히 원인론, 실재론 및 의미론의 문제에 관하여 연결주의적 관점이 어떤 의미를 갖는지 검토해 본다.

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.411-418
• /
• 2000

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

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.1-14
• /
• 2004

현재의 언어철학에서 거의 지배적인 위상을 갖고 있는 의미 전체론이 직면하는 중요한 문제 중의 하나는 '의미 불안정성 문제'이다. 의미 전체론에 의하면, 한 진술의 동일성 조건이 그 진술이 속한 이론에 상대적이기 때문에 전체 이론이 조금만 바뀌어도 그 진술의 의미가 바뀌게 되는 의미 불안정성의 문제가 발생한다. 필자는 이 논문에서 이 문제에 관한 기존의 해결 방식의 일부를 소개한 후 브랜덤이 그의 책 Making It Explicit (1994)에서 제시한 새로운 해결책을 소개하고 이를 옹호한다. 브랜덤은 이 문제를 해결하기 위해, 커뮤니케이션은 어떤 공통적인 것을 공유하는 것이라는 커뮤니케이션에 관한 기존 모델을 거부하고, "실천 속에서의 일종의 협동"으로서의 새로운 커뮤니케이션 모델을 제시한다. 필자는 이 논문에서 브랜덤이 제시하는 새로운 커뮤니케이션의 모델을 적극 옹호한다.

• The Journal of the Korea Contents Association
• /
• v.18 no.4
• /
• pp.38-47
• /
• 2018

Even though there are many discussions about how to plan new content, it is difficult to find the discourse about planning new content in media academy. I tried to check how useful the semantics is in planning new content by autoethnography and how liberal art approach connect with content production field. As I had had no experience of making new current issue program, I chose forced connection method to develop new program's title 'Danbak'. By listing the meaning of 'Danbak' which means 'at once', 'without delay', 'on the spot', 'frankly', I could arrange new mechanism for the program and decide whom to invite and this could be called content planning method by semantics. This is the result of forced production environment characterized by short period for planning and small team and it shows that liberal art approach is useful enough.

• Journal of KIISE:Software and Applications
• /
• v.26 no.8
• /
• pp.988-999
• /
• 1999

본 논문은 SCR 방법으로 작성된 요구사항 명세의 정형적인 의미론을 제안한다. 먼저 우리는 SCR 명세를 시간적전이시스템으로 변환함으로써 SCR 명세의 의미론을 정의한다. 그리고 우리는 SCR 방법을 실시간 시스템의 명세를 위하여 확장하며, 확장된 SCR 명세의 의미론 또한 시간적전이시스템으로의 변환을 통하여 정의한다. 이러한 의미론은 SCR 명세의 병행성과 시간 개념을 제대로 나타낼 수 있으며, 시간적전이시스템에서의 검증 방법을 SCR 명세의 검증에 직접 적용할 수 있게 하는 장점이 있다.Abstract This paper presents a formal semantics for requirements specifications written in the SCR method. We define a semantics for SCR specifications by a translational approach into timed transition systems. Then we extend the SCR method for real-time systems and define a semantics for timed SCR specifications. The main benefit from providing such semantics is that it provides a natural modeling of concurrency and time in SCR specifications. The semantics enables us to directly apply verification methods for timed transition systems to SCR specifications.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.268-270
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통합 설계에 유리한 언어를 제시한다. 그리고 그 언어의 의미론을 기술하고, SyncCharts라는 정형명세 언어로 그 행위의 의미론을 부여한다. 이렇게 하여 기존의 Statecharts를 실시간 내장형 시스템에 적합하도록 수정하고 그 의미론을 부여한다.