经典命题逻辑的本体论承诺

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

The Subject Promise of Classical Proposition Logic

The subject promise of a theory is based on the issues existed in that theory. The classical proposition logic is the basis of modern formal logic. From the perspective of semantics and its definition of "logic truth", its subject promise is the possible world. The subject promise of classical proposition logic reflects the logic outlook of reality, which is the necessity of its research content. Regarding the possible world as its subject promise has widely influenced logic itself and the experience science.