内蒙古大学学报（哲学社会科学版）
內矇古大學學報（哲學社會科學版）
내몽고대학학보（철학사회과학판）
JOURNAL OF INNER MONGOLIA UNIVERSITY(HUMANITIES AND SOCIAL SCIENCES)
2011年
5期
49-55
,共7页
涵义与指称%内涵%外延%内涵逻辑
涵義與指稱%內涵%外延%內涵邏輯
함의여지칭%내함%외연%내함라집
内涵逻辑系统有广义狭义之分.从广义上来说,当前最具代表性的内涵逻辑系统有:模态逻辑、时间逻辑、自由逻辑、道义逻辑、认知逻辑等.从狭义上看,内涵逻辑系统包括丘奇的内涵逻辑系统以及以丘奇内涵逻辑系统为基础的其他系统.本文讨论的内涵逻辑特指源于弗雷格的涵义和指称理论的狭义内涵逻辑.
內涵邏輯繫統有廣義狹義之分.從廣義上來說,噹前最具代錶性的內涵邏輯繫統有:模態邏輯、時間邏輯、自由邏輯、道義邏輯、認知邏輯等.從狹義上看,內涵邏輯繫統包括丘奇的內涵邏輯繫統以及以丘奇內涵邏輯繫統為基礎的其他繫統.本文討論的內涵邏輯特指源于弗雷格的涵義和指稱理論的狹義內涵邏輯.
내함라집계통유엄의협의지분.종엄의상래설,당전최구대표성적내함라집계통유:모태라집、시간라집、자유라집、도의라집、인지라집등.종협의상간,내함라집계통포괄구기적내함라집계통이급이구기내함라집계통위기출적기타계통.본문토론적내함라집특지원우불뢰격적함의화지칭이론적협의내함라집.
