|
양상적 자연언어 형식화의 세 방법
<1> <QML(양화 양상 논리) 형식화 + Kripke 모형> 양상적 자연언어 문장들을 QML언어로 형식화하고 그 형식화된 문장들에 크립키 모형을 부여하는 것. 형식화 방식: 매우 간단 - '가능적으로', '라는 것이 가능하다' 등은 '◇'로, '필연적으로', '라는 것이 필연적이다' 등은 '□'로 바꾼 후 나머지 어구들은 일차술어논리로 형식화한다. QML에 크립키의 모형을 부여하는 방식은 생략(아주 복잡함- 차후 보완)
|
<철학, 지식이 아닌 지혜> |
처음으로
