哲学研究
哲學研究
철학연구
Philosophical Researches
2011年
1期
101~106
,共null页
模态逻辑 谓词逻辑 自由 指称 命题逻辑 一阶逻辑 逻辑学家
模態邏輯 謂詞邏輯 自由 指稱 命題邏輯 一階邏輯 邏輯學傢
모태라집 위사라집 자유 지칭 명제라집 일계라집 라집학가
一般地说,一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。大多数逻辑学家所讨论的模态谓词逻辑其实是一阶模态逻辑。
一般地說,一階模態邏輯就是指經典一階邏輯和基本模態命題邏輯組閤而成的模態謂詞邏輯。自由模態邏輯則是由自由邏輯和基本模態命題邏輯組閤而成的模態謂詞邏輯。大多數邏輯學傢所討論的模態謂詞邏輯其實是一階模態邏輯。
일반지설,일계모태라집취시지경전일계라집화기본모태명제라집조합이성적모태위사라집。자유모태라집칙시유자유라집화기본모태명제라집조합이성적모태위사라집。대다수라집학가소토론적모태위사라집기실시일계모태라집。