经典命题逻辑的本体论承诺
一个理论的本体论承诺就是按照那个理论有什么东西存在的问题.经典命题逻辑是现代形式逻辑的基础.从语义学角度和它对"逻辑真"的定义看,它的本体论承诺是可能世界.存在经典命题逻辑这一本体论承诺是实在论逻辑观的反映,是它研究内容的必然要求.把可能世界存在作为它的本体论承诺对逻辑学自身、对经验科学都有深远而广泛的影响.
作 者： 崔泽云 作者单位： 湖南文理学院,政史系,湖南,常德,415000 刊 名： 湘潭师范学院学报（社会科学版） 英文刊名： JOURNAL OF XIANGTAN NORMAL UNIVERSITY（SOCIAL SCIENCE EDITION） 年，卷(期)： 2004 26(6) 分类号： B81 关键词： 经典命题逻辑 本体论承诺 可能世界