“当然”和“可行”的语义分析(英文) |
| |
引用本文: | 熊明.“当然”和“可行”的语义分析(英文)[J].中山大学学报论丛,2000(2). |
| |
作者姓名: | 熊明 |
| |
作者单位: | South China Nonnal University,Guangdong Guangzhou 510631 |
| |
摘 要: | 在自然语言中,当然和可行类似于必然和可能表明了两种命题模态。本文对这两类模态(其对应的模态词在形式语言中分别表示为“C”和“F”)进行语义分析。半形式地,当然算子的解释如下:公式C对主体u真当且仅当存在一个与之有联络的主体v 使得对任何与v有联络的主体w都有公式对主体w真。可行算子是当然算子的对偶。由此,定义相应的有效性概念,给出一正则系统C。同时,我们把当然算子推广为n-当然算子,引进了知性模态范畴。从而把真性模态纳入知性模态中。
|
关 键 词: | 可行算子 当然算子 行动主体 必然算子 |
本文献已被 CNKI 等数据库收录! |
|