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
亚洲成AV人片在线观看WV| 久久精品国产99国产精品| 又嫩又硬又黄又爽的视频| 午夜福利片| 大香蕉人人| 久久免费精品囯产| 久久国产色AV免费看| 国产精品久久久久久久影院| 国产一区二区三区美女| 中文字幕人妻三级中文无码视频| 忻城县| bxbxbxbx性老熟妇xxx| 国产精品成人免费久久黄av片| 毛片av| 黑人巨大精品欧美一区二区免费| 青青操久久| 草草福利影院| 91久久精品一区二区三区| 女人18片毛片90分钟| 懂色中文一区二区三区在线视频 | 狠狠狠狠狠狠2019新版免费| japanesexxx乱女另类| 爱片| 亚洲一级内射| 无人码人妻一区二区三区免费| 伊人久99久女女视频精品免| 草少妇| 欧美激情av| 久久99精品久久久水蜜桃| 一级性生活片| 你懂的在线网址| 我爱av| a亚洲天堂| 久久久亚洲熟妇熟女| 欧美xxxx18性欧美护士| 极品| 大连市| JiZz国产大全视频免费| 通许县| 亚洲日韩v无码中文字幕| 欧洲另类类一二三四区|