一个理论的本体论承诺就是按照那个理论有什么东西存在的问题.经典命题逻辑是现代形式逻辑的基础.从语义学角度和它对"逻辑真"的定义看,它的本体论承诺是可能世界.存在经典命题逻辑这一本体论承诺是实在论逻辑观的反映,是它研究内容的必然要求.把可能世界存在作为它的本体论承诺对逻辑学自身、对经验科学都有深远而广泛的影响.
湘潭师范学院学报：社会科学版
2004年6期
