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丨九色丨刺激黑人| 国产亚洲综合欧美视频| 久久久av亚洲男天堂| 久久久久亚洲AV片无码下载蜜桃| 中文字幕天天躁日日躁狠狠躁免费 | 国产极品美女到高潮| 精品视频一区二区三区中文字幕| 国产无遮挡又黄又爽网站| 香蕉伊蕉伊中文视频在线| 一本一道久久a久久精品蜜桃| 香蕉网在线| 欧美日韩精品区| 在线a毛片免费视频观看| 亚洲AV无码乱码国产精品| 50岁熟妇的呻吟声对白| 久视频精品线在线观看| 亚洲 欧美 日韩 国产综合 在线| 精品丰满熟女一区二区三区| xxav| 欧美高清videos高潮hd| 欧美a一级| 久久精品国产亚洲av麻豆| 16videosex性欧美69| 国内毛片毛片毛片| 日韩蜜桃一区二区三区| 国产大屁股喷水| 精品人妻人人做人人爽| 黑人巨大翔田千里av| 国产精品久久久亚洲一区| 日韩一区二区三区不卡| 国产丰满人妻被黑人猛烈进入| 欧美自愉自愉七区| 久久久久人妻一区精品色欧美| 天堂资源8地址8| 午夜精品久久久久久久99蜜桃 | 337p日本欧洲亚洲高清鲁鲁| 日韩精品无码区免费专区| 乱人伦人妻中文字幕在线入口| va在线看国产免费| 亚洲国产精品久久久久蜜桃网站| 国产一卡2卡三卡4卡免费网站|