搜索筛选:
搜索耗时2.7306秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
类      型:
[期刊论文] 作者:李娜,李巍, 来源:重庆理工大学学报:社会科学版 年份:2014
QLP是第一个量化核证逻辑,它允许对证明项的量化.菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性.迪安和黑川用QLP分析了知道者悖论,后来又对其进行了...
[期刊论文] 作者:李娜;李巍, 来源:哲学动态 年份:2013
核证(Justification)的概念自柏拉图以来就是认知研究中的一个重要部分。在现实中,我们通过给出一个证据,即一个核证来证实我们的知识。柏拉图对知识有三个准则:核证、真和信念。他将知识刻画成核证为真的信念。但是,尽管逻辑研究者在知识和信念的形式化的逻辑模型中......
[期刊论文] 作者:李贞,李娜,李巍, 来源:小城镇建设 年份:2007
小城镇建设对于推动我国城镇化进程、促进建设小康社会、缓解大城市人口及生态压力有着举足轻重的作用,但也带来了诸如人口密度增加、环境污染加剧、土地利用不合理和生态退化......
相关搜索: