양상적 자연언어 형식화의 세 방법

 

 

<1> <QML(양화 양상 논리) 형식화 + Kripke 모형>

양상적 자연언어 문장들을 QML언어로 형식화하고 그 형식화된 문장들에 크립키 모형을 부여하는 것.

형식화 방식: 매우 간단 - '가능적으로', '라는 것이 가능하다' 등은 '◇'로, '필연적으로', '라는 것이 필연적이다' 등은 '□'로 바꾼 후 나머지 어구들은 일차술어논리로 형식화한다.

QML에 크립키의 모형을 부여하는 방식은 생략(아주 복잡함- 차후 보완)

 

 

 

 

 

 

 

 

 

<철학, 지식이 아닌 지혜>

 

 

 

 

 

 

  공지 사항
  제가 인문학 공개 강좌를 하게 되었습니다.^^
  홈피의 게시판들을 정리합니다.
  이건, 공지사항이라기보다는 선전인데...^^
  공부 자료실
  언어분석철학의 한계와 실패
  언어분석철학: 언어에 대한 그림이론에서 규약으로의 관...
  언어적 절대주의(linguistic absolutism): 논...
   

 

 

 

 

 


이 홈페이지의 모든 내용에 대한 저작권은 파깨비에게 있으며, 각 게시판의 내용물에 대한 저작권은 각 저자에게 있습니다.