董英东
- 作品数：28 被引量：6H指数：1
- 供职机构：西南大学政治与公共管理学院更多>>
- 发文基金：贵州省优秀科技教育人才省长资金项目国家社会科学基金贵州省社科规划课题更多>>
- 相关领域：哲学宗教自动化与计算机技术自然科学总论理学更多>>
- 概率动态认知逻的研究现辑状分析
- 归纳逻辑中的概率逻辑是逻辑学界、哲学界和心理学界共同关注的研究领域，探讨归纳逻辑中有关概率的认知基础及哲学问题非常必要。自休谟以来的历史经验证明，对归纳逻辑的研究 离不开认知方面的分析，将认知逻辑和动态、时间逻辑等和概率...
- 董英东张学立
- 关键词：归纳逻辑认知逻辑概率逻辑信息处理
- 文献传递
- 模态逻辑中的转换结构的局限性
- 董英东
- 关键词：模态逻辑
- 文献传递
- 自然语言的本体论承诺
- 2015年
- 定义自然语言的本体论承诺比较复杂,需要选择关于自然语言的特定的语义理论,揭示自然语言的本体论承诺依赖对所使用的自然语言的语义装置的研究。逻辑语言是处理自然语言的表达意义的媒介工具,形式工具的表达力依赖所使用的逻辑语言,需要运用形式语言说明自然语言语义的本体论承诺。在实体的种类中必须接受存在关于实体的自然语言的表达以及对这些表达的语义分析的多重区分。下面,对这些区分进行澄清,并讨论自然语言语义的本体论承诺的意义。
- 董英东何向东
- 关键词：自然语言本体承诺
- 偏好语境下的序逻辑被引量：1
- 2012年
- 为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义.
- 董英东张学立徐扬
- 关键词：集合论模态逻辑
- 动态认知概率逻辑研究
- 随着现代逻辑研究的不断深入，出现了许多逻辑分支，如概率逻辑、认知逻辑、动态逻辑、时间逻辑等，而且这些逻辑之间出现了交叉融合的趋势，每一分支都分别利用其它分支的研究成果，从而拓宽了各自的视野，增强了各个分支的表达力。如果将...
- 董英东
- 关键词：信息处理
- 文献传递
- 动态逻辑的强完全性和不协调性
- 2012年
- 动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集,正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统,是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的,而是公式协调的。
- 董英东
- 关键词：认知逻辑动态逻辑
- 浅析归纳逻辑的认知倾向
- 2010年
- 现有的归纳推理模型都是领域一般性的,这些模型的局限性和遭遇到的困难说明在领域一般性的意义上考察归纳推理可能是行不通的。而且逻辑学的研究已经承认,要建立一个完全的归纳逻辑也是不可能的。因此,对归纳推理研究应该放弃领域一般性的思路,而采用领域特殊性的视角和功能分析的研究方法可能会给归纳推理研究带来新的活力。
- 董英东
- 关键词：信念修正概率逻辑
- 归纳逻辑的哲学疑难
- 2009年
- 对如何构造科学归纳逻辑系统,逻辑学家们面临一些疑难和谜题,其中最为奇特的谜题是尼尔森.古德曼提出的古德曼悖论,对归纳逻辑的合理性提出了新的挑战。
- 董英东周海娟
- 关键词：休谟问题
- 模态逻辑中转换结构的局限性被引量：1
- 2014年
- 针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.
- 董英东
- 关键词：模态逻辑
- 单主体自认知逻辑系统
- 2010年
- 摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。
- 董英东
- 关键词：非单调推理稳定集
