KobaÏa Ïss de Hündin!! KobaÏa Ïss de Hündin!!

Modal의 의미를 사전에서 찾아보니 이렇다. a modal or a modal auxiliary is a word such as 'can' or 'would' which is used with a main verb to express ideas such as possibility, intention, or necessity. 영어 공부할 때 배운 조동사가 바로 modal 이다. 따라서, 양상 논리(Modal Logic)는 술어를 꾸미는 양상 연산자를 통해 가능성, 필요성, 의도 등을 표현할 수 있게 하고 각 양상 연산자가 논리 연산에 미치는 영향을 연구하고 정의하는 학문이 되리라. 실세계의 지식을 모델링하려면, 이는 필수적 표현력이 되리라.

양상 논리를 키워드로 하여 구글 검색을 시도해 보니 다양한 문서들이 검색된다. 그 중 PDF 문서 하나[1]를 열어 보게 되었는데 그 내용인 즉 매우 복잡해 보이는 논리 이론에 관한 것이었다. 헌데 놀랍게도 - 내 무지로 인한 놀라움이리라 - [1]은 철학을 공부하는 분이 적은 글임에도 불구하고 그 내용은 매우 수학적인 것이었다. 웹 온톨로지와 규칙을 공부하면서 접한 각종 논리 기호와 집합론적 해석들...... 과연 이 글이 철학 분야의 글이란 말인가? 그렇다면, 컴퓨터 분야의 논리학은 수학과 맞닿아 있고, 이는 다시 철학과 맞닿아 있다는 얘기가 된다. 웹 온톨로지와 규칙을 이용하여 실제 응용될 지식을 저작하고 처리하는 일을 하려면 지식의 본질에 다가가야 하지 않을까? 적어도, 오늘 이 순간만큼은 철학과..