a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

當前位置:主頁 > 社科論文 > 邏輯論文 >

核證邏輯研究概觀

發(fā)布時間:2020-09-30 17:09
   正核證(Justification)的概念自柏拉圖以來就是認知研究中的一個重要部分。在現(xiàn)實中,我們通過給出一個證據(jù),即一個核證來證實我們的知識。柏拉圖對知識有三個準則:核證、真和信念。他將知識刻畫成核證為真的信念。但是,盡管邏輯研究者在知識和信念的形式化的邏輯模型中處理了信念和真,核證這一概念卻一直缺少相應的處理。這一不足最明顯地體現(xiàn)在知識的模態(tài)邏輯的邏輯萬能缺陷中,也成為了對證明的BHK語義的形式化以及給出哥德爾的可證明性邏輯S4和直覺主義邏輯的可證明性語義的障礙,同時使認知邏輯與主流認知理論之間產(chǎn)生了隔閡,直到核證邏輯出現(xiàn)后,核證才被引入到知識的

【共引文獻】

相關期刊論文 前1條

1 李娜;李巍;;量化核證邏輯QLP概觀[J];重慶理工大學學報(社會科學);2014年03期

相關博士學位論文 前1條

1 王晶;可知性悖論研究[D];廈門大學;2014年



本文編號:2831116

資料下載
論文發(fā)表

本文鏈接:http://www.wukwdryxk.cn/shekelunwen/ljx/2831116.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權申明:資料由用戶c6a4d***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
国产91精品一区二区麻豆网站| 色图区| 亚洲和欧洲一码二码区别7777| 奇米777狠狠色噜噜狠狠狠| 风流老熟女一区二区三区| 国产成人精品一区二区色戒| 亚洲激情网站| 毛片一区二区三区无码| 欧美国产亚洲高清| 粗大挺进尤物人妻中文字幕| 国产精品-区区久久久狼| 99久久er这里只有精品18| 宜兴市| 欧美久久综合| 我和少妇性生话| 男的操女的网站| 新妺妺窝人体色www| E99久久婷婷国产综合精品青草| 亚洲大成色www永久网站动图 | 两个人看的www视频中文字幕| 四虎影视永久无码精品| 亚洲色偷偷综合亚洲AV78| 色婷婷一区二区三区| 久久久成人影院| 激情亚洲色图| av人人| 91久久国产| 青青艹| 国产喷白浆精品一区二区| 伊人网| 91人妻porny九色大屁股| 日韩精品无码一区二区三区 | av片网址| 成人欧美日韩| 亚洲v国产v欧美v久久久久久| 黄色搞基网站| 小小拗女性BBWXXXX国产| 一边做饭一边躁狂怎么办| 国产AV仑乱内谢| 午夜精品久久久久9999| 日韩免费中文字幕看久久|