Belief Logic Based on Cognitive Reflection
Hui Li · 2008
Quine[9] has introduced some problems about belief modality,such as Cicero problem.The semantic interpretation of these problems is significant for first-order modal logic.This paper discusses the limitation of the de re/de dicto interpretation for the Quine problems,which is widely adopted by the first-order modal logic systems presented so far,and then gives a new first-order modal logic BLCR(Belief Logic based on Cognitive Reflection).We introduce into each model of BLCR a cognitive reflection relation by witch BLCR can give the Quine problems interpretation that well meets the people's intuition about the belief modality and without the limitation of the de re/de dicto interpretation.[JP