模态逻辑语义学相关论文
鲁道夫·卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与模态逻辑（S4和S5类型）相组合的逻辑类型提供了公理系......
“可能世界”概念在模态逻辑语义学中居于重要的地位，但这个概念本身的定义问题，却仍然处于激烈的争论之中。一般说来，在这个问题上，有......
<正> 言语行为理论是奥斯汀(J.Austint)在五十年代提出的,但它的某些论点早已出现在弗雷格和维特根斯坦的著作中。弗雷格曾提出,......
<正> Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它......
<正> “分析哲学”(analytic philosophy)这个词的意义比较含糊,但使用得相当广泛。起初,这个词主要用于指那些强调日常语言分析......
