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
激情欧美日韩一区二区| 性熟妇ⅹxxooozzxx| bt天堂| 久久97久久97精品免视看| 精品久久久久国产免费| 免费男人和女人牲交视频全黄 | 精品一区二区ww| 国产亚洲2021成人乱码| 岛国AAAA级午夜福利片| 无码人妻精品一区二区三区久久久 | 18禁裸露啪啪网站免费| 乱色熟女综合一区二区三区| 欧洲色网站| jizzjizz欧美69巨大| 蜜臀AV 国内精品久久久| 精精国产XXXX视频在线| A级毛片内射免费视频| 国产在线欧美日韩精品一区| 97超级碰碰碰碰久久久久| 国产乱子伦无套一区二区三区| 贺州市| 嘉兴市| 国产视频在线观看| 狠狠干狠狠艹| wwwxxx欧美| 变态另类视频一区二区三区| 出租屋嫖妓大龄熟妇露脸在线播放| 狠狠色噜噜狠狠狠777米奇小说| 一区二区三区午夜无码视频| 久久精品娱乐亚洲领先| 满洲里市| 国产精品内射| 国产a级特黄的片子| 性video饥渴少妇china| 久久婷婷综合| 亚洲综合婷婷| 久草免费在线视频| 福利一区福利二区| www.亚洲色图| 激情内射亚洲一区二区三区| 亚洲国产精品ⅤA在线播放|