以谓词表达模态

摘要：

以谓词表达模态,在表达力上比算子具有更明显的优势,但蒙塔古悖论和语义的不完善曾使模态谓词遭遇技术困境.采用“模态”与“真”相结合的研究策略,不仅可以在语形上利用真谓词限制模态谓词的表达力实现模态谓词的相容性,亦能在语义上借助语义真理论定义模态谓词的可能世界语义学.因此,以谓词表达模态可以促进模态逻辑的研究,实现各种模态概念与真概念的结合,体现真概念在逻辑研究中的基础性地位.

关键词：模态、谓词、算子、真

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金17CZX051

在线出版日期：2018-12-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：96-101