“当然”和“可行”的语义分析(英文)

在自然语言中,当然和可行类似于必然和可能表明了两种命题模态。本文对这两类模态(其对应的模态词在形式语言中分别表示为“C”和“F”)进行语义分析。半形式地,当然算子的解释如下:公式C对主体u真当且仅当存在一个与之有联络的主体v 使得对任何与v有联络的主体w都有公式对主体w真。可行算子是当然算子的对偶。由此,定义相应的有效性概念,给出一正则系统C。同时,我们把当然算子推广为n-当然算子,引进了知性模态范畴。从而把真性模态纳入知性模态中。