양상 논리

양상 논리를 키워드로 하여 구글 검색을 시도해 보니 다양한 문서들이 검색된다. 그 중 PDF 문서 하나[1]를 열어 보게 되었는데 그 내용인 즉 매우 복잡해 보이는 논리 이론에 관한 것이었다. 헌데 놀랍게도 - 내 무지로 인한 놀라움이리라 - [1]은 철학을 공부하는 분이 적은 글임에도 불구하고 그 내용은 매우 수학적인 것이었다. 웹 온톨로지와 규칙을 공부하면서 접한 각종 논리 기호와 집합론적 해석들...... 과연 이 글이 철학 분야의 글이란 말인가?

그렇다면, 컴퓨터 분야의 논리학은 수학과 맞닿아 있고, 이는 다시 철학과 맞닿아 있다는 얘기가 된다. 웹 온톨로지와 규칙을 이용하여 실제 응용될 지식을 저작하고 처리하는 일을 하려면 지식의 본질에 다가가야 하지 않을까? 적어도, 오늘 이 순간만큼은 철학과 수학 분야의 논리 관련 문서를 많이 찾아 읽어볼 필요가 있겠다는 생각이 든다. 국내에 계산 이론과 자동 증명 등에 관한 서적이 전무한 상황을 반추해 볼 때, 수학이나 철학 분야의 논리학 관련 서적을 참조하는 것이 큰 도움이 되지 않을까 싶다.

[1] 수반 개념의 논리적 분석 (http://phil.snu.ac.kr/source/nongu/29-7.pdf)