Results 1-2 of 2
 | 
期刊文章
Fulltext
周北海; 毛翊
逻辑研究专辑
2003
[ABSTRACT] 一、常识推理的志例与分析直观上常识推理就是用到常识的推理。考虑到技术处理的方便,可以宽泛地将含有常识命题或常识句的推理称为常识推理。下面是一些常识推理的例子。 (1)如果下雨则地湿,下雨,所以,地湿。 (2)鸟会飞,特威蒂是鸟,所以,特威蒂会飞。
[KEYWORDS] 常识推理; 可能世界; 命题逻辑; 逻辑地; 实质蕴涵; 形式化方法; 选择函数; 推不出; 推理形式; 谓词逻辑
期刊文章
Fulltext
张力锋
逻辑研究专辑
2003
[ABSTRACT] 意义理论是当代语言哲学的核心问题,它讨论什么是意义以及意义的组成。早在分析哲学创始之初,弗雷格(G.Frege)就为意义理论的研究制定出了一条重要原则"只有在语句的语境中,而不是在孤立的语词中,才能得到语词的意义。"(弗雷格,第
[KEYWORDS] 意义理论; 弗雷格; 塔尔斯基; 戴维森; 语言语义学; 语义真理; 真值条件; 递归定义; 真值函项; 当代语言
Results 1-2 of 2
  • <<
  • 1
  • >>