自信性认知逻辑

作者：许涤非

来源：湖南科技大学学报(社会科学版), 2004, (05): 28-34.

• 逻辑全能
• 认知逻辑语义
• K-系统
• 典范框架
• 典范模。 logic omniscience
• semantics of epistemic logic
• K-system
• Canonical Frame
• Canonical Model

认知T-原则是一种过强的认知原则,一般的认知不具有此性质。"逻辑全能性质"不只是"理想认知主体"才具有的认知性质,一般的"理性认知主体"也具有某些"逻辑全能"的性质。在一种修正的可能世界语义学下,削弱了"逻辑全能问题",并且保留了那些合理的认知性质。认知T-原则在这种语义学下,不会有效。自信性以及弱自信性认知逻辑系统刻画了认知主体的自信性和弱自信性。这两个系统相对于这种语义学有可靠性和完全性。

• 单位
  中国人民大学