确证逻辑:一种基于证据的认知逻辑

发布时间：2017-10-01 10:06

  本文关键词：确证逻辑:一种基于证据的认知逻辑

  更多相关文章： 确证 确证逻辑 认知

【摘要】：在当代知识论中,柏拉图"确证的真信念"(justified true belief)的知识的三元定义仍是知识论的核心定义。在形式语义学中,这个定义中的"真信念"成分通过模态逻辑和可能世界语义学,已经给出了一种形式的刻画。但与此同时,柏拉图定义中的"确证"要素长期以来却缺乏一种形式的表征。于是,将"确证"引入形式认识论之中而构建的逻辑系统成为一种新型的认知逻辑。具有确证的认知逻辑连同通常的知识算子□F(F是可知的)包含了对确证的形式处理(断定t:F意味着t是对F的确证)。同时,该系统还为这种逻辑提供了可能世界语义学,该语义学扩展了具有确证断定的t:F的菲廷类型的克里普克模型。
【作者单位】： 苏州大学政治与公共管理学院哲学系;
【关键词】： 确证 确证逻辑 认知
【分类号】：B815.3
【正文快照】： 一、确证与认知逻辑历史上,逻辑的研究一直集中于认识论和本体论两个方面。从亚里士多德直到19世纪,逻辑关注的焦点主要是认识论。逻辑处理论证、演绎和证明。它提供区别正确论证与不正确论证的标准,并使用推理来扩展我们的知识。自布尔和弗雷格以来,逻辑转向本体论的方向。逻

【相似文献】

中国期刊全文数据库 前10条

1 熊立文;认知逻辑——对休谟问题的一种解决方案[J];中山大学学报论丛;2000年02期

2 文学锋;何杨;;濠梁之辩、摩尔悖论与唯我论[J];现代哲学;2011年02期

3 刘奋荣;从信息更新到博弈逻辑——写在约翰·范·本特姆来访之后[J];哲学动态;2005年02期

4 张君;;认知逻辑和知识论:可能的融通[J];哲学研究;2007年04期

5 约翰·范本特姆;;在动态认知逻辑中融合观察与内省(英文)[J];逻辑学研究;2008年01期

6 李夏妍,张敏强;认知逻辑研究概观[J];首都师范大学学报(社会科学版);2005年05期

7 李小五;何纯秀;;一个刻画理解的认知逻辑[J];西南大学学报(社会科学版);2009年05期

8 郝旭东;;弗协调多主体认知逻辑系统C_nE_mK[J];云南师范大学学报(哲学社会科学版);2010年05期

9 康巧茹;逻辑研究的第二次转向[J];宁夏党校学报;2003年02期

10 王左立;;可知性悖论及其解决方案[J];中共郑州市委党校学报;2004年01期

中国重要会议论文全文数据库 前10条

1 张建军;;逻辑全能问题与动态认知逻辑[A];2000年逻辑研究专辑[C];2000年

2 熊立文;;用认知逻辑刻画简单枚举法[A];2001年逻辑研究专辑[C];2001年

3 李瑞峰;;知道逻辑初探[A];1994年逻辑研究专辑[C];1994年

4 刘奋荣;;非单调性问题与自认知逻辑[A];2001年逻辑研究专辑[C];2001年

5 陈晓华;;逻辑全能问题研究述评[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

6 唐晓嘉;陈树文;;认知逻辑的几个语义问题分析[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

7 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

8 刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

9 蔡曙山;;学科交叉与现代逻辑的发展[A];小康社会：文化生态与全面发展——2003学术前沿论坛论文集[C];2004年

10 郭佳宏;;信息交流背景下的逻辑与理性——从LORI国际研讨会看逻辑学研究发展趋势[A];和谐社会：社会建设与改革创新——2007学术前沿论丛（下卷）[C];2007年

中国重要报纸全文数据库 前7条

1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

2 扎拉嘎;关于逻辑平行律问题[N];中国社会科学院院报;2007年

3 陈慕泽;多主体系统中的互知[N];光明日报;2000年

4 华东师范大学 冯棉;逻辑科学，将充满活力[N];社会科学报;2004年

5 黑龙江大学 宁莉娜;论逻辑方法拐点上的哲学动因[N];光明日报;2007年

6 陈志远;《逻辑研究》中的直观和意义[N];中国社会科学院院报;2007年

7 张汉良（国立台湾大学外文系）王晓冰;对话中的悖论：柏拉图、奥古斯丁与先秦哲学家们[N];中华读书报;2002年

中国博士学位论文全文数据库 前8条

1 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

2 荣立武;内涵逻辑的哲学基础[D];中山大学;2006年

3 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

4 张君;知道逻辑中的知识可传递性问题研究[D];清华大学;2008年

5 冯彦波;合并逻辑方法研究[D];南开大学;2010年

6 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年

7 张继华;科学探究推理研究[D];西南大学;2012年

8 马亮;论卡尔纳普的意义理论[D];中国社会科学院研究生院;2003年

中国硕士学位论文全文数据库 前10条

1 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

2 吕进;同一性与指称理论评析[D];西南师范大学;2005年

3 刘珂;动态认知逻辑发展初探[D];河南大学;2008年

4 张冬冬;现代逻辑语义学中的真之概念[D];山西大学;2004年

5 宋丽;塔尔斯基的真理语义论研究[D];燕山大学;2009年

6 陈瑞;逻辑与哲学视野中的克里普克可能世界理论[D];山西大学;2013年

7 张焱;什么是命题——从两种命题处理方案来看[D];华东师范大学;2005年

8 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

9 萧瑶;信念修正逻辑初探[D];西南大学;2008年

10 张丽;时态公开宣告逻辑初探[D];西南大学;2009年

，

本文编号：952819