佛教逻辑的研究径路论略

1

作者 董英东 魏雪园 《绵阳师范学院学报》 2024年第1期1-6,33,共7页

在佛教哲学传统中,有大量展现逻辑的发展进程的资料,印度佛教逻辑学家陈那和法称都研究了推理。虽然他们不认为推理具有重要的作用,但却保留了推理的大多数性质、特征和简洁形式。鉴于记录语言的形式和不同语言间的差异以及佛教逻辑学... 在佛教哲学传统中,有大量展现逻辑的发展进程的资料,印度佛教逻辑学家陈那和法称都研究了推理。虽然他们不认为推理具有重要的作用,但却保留了推理的大多数性质、特征和简洁形式。鉴于记录语言的形式和不同语言间的差异以及佛教逻辑学家与当代哲学家/逻辑学家提出的不同问题,如果承认佛教逻辑为当代的论证所作出的贡献,那么仅以呈现的方式重复材料是有问题的。如果能够从这些资料中提取或抽象出一些逻辑思想,从而实现佛教哲学与逻辑间的对话,并为此提供一些有价值的建议是有意义的。 展开更多

关键词 佛教逻辑 推理 心理主义 外延主义

下载PDF 职称材料

基于动态认知逻辑的协议信息

2

作者 董英东 《贵州工程应用技术学院学报》 2024年第1期47-56,共10页

长期以来人们一直都在关注知识问题。在哲学中研究知识和信念性质的理论称为认识论。对认识论的形式化主要是运用模型以及基于数学的方法对知识和信念进行推理。动态认知逻辑的形式模型和一般框架可用于刻画计算机网络相关的异步信息传... 长期以来人们一直都在关注知识问题。在哲学中研究知识和信念性质的理论称为认识论。对认识论的形式化主要是运用模型以及基于数学的方法对知识和信念进行推理。动态认知逻辑的形式模型和一般框架可用于刻画计算机网络相关的异步信息传递系统等多主体系统的重要性质。由于单独运用动态认知逻辑无法很好地刻画协议信息,故可运用动态认知逻辑和认知时间逻辑的组合来刻画协议信息,这种技术在计算机网络系统中具有重要的应用价值。 展开更多

关键词 认知逻辑 信念 协议 动态

下载PDF 职称材料

偏好语境下的序逻辑 被引量：1

3

作者 董英东 张学立 徐扬 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2012年第3期425-428,共4页

为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,... 为了解决偏好逻辑语境中的先后关系问题,需要引入集合论中的序关系的概念,从而构成序逻辑.采用状态消减、关系变化和关系分割的方法,给出了序逻辑的公开宣告、字典序更新和偏好更新三个动态行动,更多的行动可以采用类似的方法进行分析,最基本的观点就是对基础语言的解释.序逻辑在动态偏好逻辑中具有重要的作用和意义. 展开更多

关键词 公开宣告 字典序更新 偏好更新 归约公理 序逻辑 集合论 模态逻辑 动态行动

下载PDF 职称材料

模态逻辑中转换结构的局限性 被引量：1

4

作者 董英东 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2014年第2期284-288,共5页

针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽... 针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性. 展开更多

关键词 模态逻辑 转换结构 典范模型 有穷模型性 赋值模型 朴素模型 完全性 加标转换

原文传递

高校逻辑学教学改革探析 被引量：1

5

作者 董英东 方明明 《毕节学院学报（综合版）》 2013年第12期53-57,共5页

逻辑学传入中国至今,取得了长足的发展,但也面临着一些困境。逻辑学教学改革主要应该从逻辑学教学的课程内容、逻辑学的人才培养、逻辑学教学方法、逻辑学的科研创新等几个方面着手。逻辑学是一门基础性、工具性学科,在培养人的理性思... 逻辑学传入中国至今,取得了长足的发展,但也面临着一些困境。逻辑学教学改革主要应该从逻辑学教学的课程内容、逻辑学的人才培养、逻辑学教学方法、逻辑学的科研创新等几个方面着手。逻辑学是一门基础性、工具性学科,在培养人的理性思维、创新思维能力等方面具有重要的作用,应该受到教育主管部门和高校的高度重视。 展开更多

关键词 逻辑学 传统逻辑 教学改革 教学方法 策略

下载PDF 职称材料

从逻辑哲学的视角看中国逻辑史研究

6

作者 董英东 周海娟 《重庆工商大学学报（社会科学版）》 2010年第2期148-152,共5页

中国逻辑研究作为逻辑学的分支领域是从中国近代开始的,其后,一直到现在,中国逻辑史研究成为国内外学术界十分关注的重要领域。中国逻辑史的对象是关于中国思想史中与推理有关的思想学说的研究。中国逻辑研究的方法主要有逻辑解读、文... 中国逻辑研究作为逻辑学的分支领域是从中国近代开始的,其后,一直到现在,中国逻辑史研究成为国内外学术界十分关注的重要领域。中国逻辑史的对象是关于中国思想史中与推理有关的思想学说的研究。中国逻辑研究的方法主要有逻辑解读、文化解读、动态分析和比较研究等方法。中国逻辑史其实就是中国逻辑哲学史。 展开更多

关键词 中国逻辑史 逻辑哲学 逻辑动态 动态分析

下载PDF 职称材料

归纳逻辑的哲学疑难

7

作者 董英东 周海娟 《信阳师范学院学报（哲学社会科学版）》 2009年第6期42-45,共4页

对如何构造科学归纳逻辑系统,逻辑学家们面临一些疑难和谜题,其中最为奇特的谜题是尼尔森.古德曼提出的古德曼悖论,对归纳逻辑的合理性提出了新的挑战。

关键词 休谟问题 投射 古德曼悖论 归纳之谜

下载PDF 职称材料

模态逻辑中的三值逻辑 被引量：1

8

作者 董英东 《毕节学院学报（综合版）》 2014年第8期1-7,共7页

每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译... 每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。 展开更多

关键词 三值逻辑 模态逻辑 线性翻译 辩证逻辑

下载PDF 职称材料

认知逻辑存在的问题及发展趋向 被引量：1

9

作者 董英东 《毕节学院学报（综合版）》 2009年第3期43-47,共5页

认知逻辑属于哲学逻辑的一个重要的分支,时至今日,已经发展得相当成熟了,但它也面临着种种的问题和挑战。除了传统的逻辑全能问题之外,还存在其它哲学方面的一系列问题。尽管认知逻辑面临着一系列的问题,但它还是取得了长足的发展,逐渐... 认知逻辑属于哲学逻辑的一个重要的分支,时至今日,已经发展得相当成熟了,但它也面临着种种的问题和挑战。除了传统的逻辑全能问题之外,还存在其它哲学方面的一系列问题。尽管认知逻辑面临着一系列的问题,但它还是取得了长足的发展,逐渐从静态向动态发展,从单主体向多主体方向发展,同时研究的方法也多样化起来。 展开更多

关键词 认知逻辑 逻辑全能 不可能世界 觉知逻辑

下载PDF 职称材料

多主体自认知逻辑系统

10

作者 董英东 《西南大学学报（社会科学版）》 CSSCI 北大核心 2009年第5期71-75,共5页

认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模... 认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。 展开更多

关键词 稳定集 自认知逻辑 非单调推理 i-集

下载PDF 职称材料

模态逻辑发展历史概述

11

作者 董英东 《燕山大学学报（哲学社会科学版）》 2010年第2期133-138,共6页

在模态逻辑的发展过程中,区分出三个阶段是非常有用的:语形时期、经典时期和现代时期,在此所介绍的大部思想都来源于经典时期。语形时期最主要的特点是只注重语形,其基本任务是证明不同的定理,不足之处是缺乏必要的自然语义解释。经典... 在模态逻辑的发展过程中,区分出三个阶段是非常有用的:语形时期、经典时期和现代时期,在此所介绍的大部思想都来源于经典时期。语形时期最主要的特点是只注重语形,其基本任务是证明不同的定理,不足之处是缺乏必要的自然语义解释。经典时期的最大特点是发展了关系语义,关系语义指的是框架,模型,可满足性和有效性等概念,同时还包括在可能世界中引入了程序。现代时期的开始主要取决于两种因素:框架不完全结果的发现和在理论计算机科学中对模态语言的应用,这些因素深刻地影响了模态逻辑的进程并且直到今天继续影响着它的发展。模态逻辑是非常有用的工具。 展开更多

关键词 模态逻辑 语形时期 经典时期 现代时期

下载PDF 职称材料

意图和逻辑及理性选择

12

作者 董英东 《天津商业大学学报》 2010年第2期35-40,共6页

经济生活中的主体在执行行动之前,总是先有一个意图,然后再制定规划,最后逐步实现该规划。在这个过程中,主体要进行实用推理,要和其他主体进行交互作用,同时其意图也会受到信息和信息变化的影响,这是一个动态的过程。在大量的现代分析... 经济生活中的主体在执行行动之前,总是先有一个意图,然后再制定规划,最后逐步实现该规划。在这个过程中,主体要进行实用推理,要和其他主体进行交互作用,同时其意图也会受到信息和信息变化的影响,这是一个动态的过程。在大量的现代分析理论中,知识、信念和偏好,都发挥着巨大的作用,现在的某些决策和博弈论者都坚持认为对决策环境的恰当的描述内容中都应该包括主体的信息模型。这些模型的发展,很大程度上归功于对现代动态认知逻辑的研究。决策论和博弈论都是工具理性论。 展开更多

关键词 实用推理 工具理性 偏好 信息 决策论

下载PDF 职称材料

关于本质主义的一些看法

13

作者 董英东 《毕节学院学报（综合版）》 2009年第2期40-44,共5页

本质主义是与模态逻辑中的跨世界识别问题联系在一起的,承认可能世界,运用可能世界理论的一个结果就是必须承认有跨越不同世界的个体。因此,如何识别、辨认在不同可能世界中存在的同一个体?如何承认跨界同一与跨界识别问题是模态逻辑的... 本质主义是与模态逻辑中的跨世界识别问题联系在一起的,承认可能世界,运用可能世界理论的一个结果就是必须承认有跨越不同世界的个体。因此,如何识别、辨认在不同可能世界中存在的同一个体?如何承认跨界同一与跨界识别问题是模态逻辑的可能世界语义学必然派生出来的一个问题,而对这一问题做出正面回答的一个主要办法就是诉诸本质或本质属性,即认为跨越世界的个体是可以识别的,识别的依据就是看这些不同世界中的个体是否具有共同的本质属性。如果具有,那它们就是同一个个体,反之则不是。这种观点肯定对象具有本质和本质属性,把事物或对象所具有的性质分成本质属性与非本质属性,因此也被称为本质主义。 展开更多

关键词 本质主义 协定论 分析的 综合的

下载PDF 职称材料

逻辑及其在知识研究中的作用

14

作者 董英东 《唐山学院学报》 2014年第5期9-12,84,共5页

逻辑主要研究语形和语义之间的二元关系,是特殊的形式化的推理系统。演绎推理并不必然要求论证是演绎有效的或者是无效的。演绎推理是不可废止的,但非演绎推理却是可废止的。从知识科学的角度看,逻辑的作用在于提供推理形式化的范式。... 逻辑主要研究语形和语义之间的二元关系,是特殊的形式化的推理系统。演绎推理并不必然要求论证是演绎有效的或者是无效的。演绎推理是不可废止的,但非演绎推理却是可废止的。从知识科学的角度看,逻辑的作用在于提供推理形式化的范式。现代逻辑和方法论以及科学哲学之间关系密切。演绎推理只是其中的一种,并且具有一定的局限性,而非演绎推理或可废止推理也可以用数学的方法进行刻画。 展开更多

关键词 归纳逻辑 似然推理 溯因推理 可废止的

下载PDF 职称材料

组合模态逻辑

15

作者 董英东 《毕节学院学报（综合版）》 2013年第8期1-7,共7页

通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果... 通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。 展开更多

关键词 组合模态逻辑 融合 更新积 复杂度

下载PDF 职称材料

因果陈述句逻辑系统

16

作者 董英东 《毕节学院学报（综合版）》 2012年第1期40-46,共7页

因果必然性的性质是什么?因果必然性和归纳概率的关系如何?我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性... 因果必然性的性质是什么?因果必然性和归纳概率的关系如何?我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性质。条件化模态逻辑的最大特点是把模态演算建立在演算的条件逻辑的基础上,它用条件蕴涵来定义可能、必然等模态算子,并在此基础上研究条件模态算子之间的关系,使它成为与古典模态逻辑既有联系又有区别的新的模态逻辑系统。 展开更多

关键词 因果陈述句 因果蕴涵 因果模态 逻辑蕴涵

下载PDF 职称材料

动态逻辑的强完全性和不协调性

17

作者 董英东 《毕节学院学报（综合版）》 2012年第8期6-12,共7页

动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集,正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性... 动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集,正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统,是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的,而是公式协调的。 展开更多

关键词 不协调性 强完全性 认知逻辑 动态逻辑

下载PDF 职称材料

单主体自认知逻辑系统

18

作者 董英东 《毕节学院学报（综合版）》 2010年第3期46-54,共9页

摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知... 摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。 展开更多

关键词 自认知逻辑 非单调推理 稳定集 唯一知道逻辑

下载PDF 职称材料

浅析归纳逻辑的认知倾向

19

作者 董英东 《唐山学院学报》 2010年第2期13-15,共3页

现有的归纳推理模型都是领域一般性的,这些模型的局限性和遭遇到的困难说明在领域一般性的意义上考察归纳推理可能是行不通的。而且逻辑学的研究已经承认,要建立一个完全的归纳逻辑也是不可能的。因此,对归纳推理研究应该放弃领域一般... 现有的归纳推理模型都是领域一般性的,这些模型的局限性和遭遇到的困难说明在领域一般性的意义上考察归纳推理可能是行不通的。而且逻辑学的研究已经承认,要建立一个完全的归纳逻辑也是不可能的。因此,对归纳推理研究应该放弃领域一般性的思路,而采用领域特殊性的视角和功能分析的研究方法可能会给归纳推理研究带来新的活力。 展开更多

关键词 归纳推理 信念修正 认知 概率逻辑

下载PDF 职称材料

王延直《普通应用论理学》出版100周年纪念暨贵州省逻辑学会2012年年会综述

20

作者 董英东 《毕节学院学报（综合版）》 2013年第2期39-41,共3页

王延直《普通应用论理学》出版100周年纪念暨贵州省逻辑学会2012年年会在贵阳隆重召开,来自省内多所高校和科研院所的40余名代表出席了会议。大会以纪念王延直《普通应用论理学》为核心,就王延直的生平、著述的学术价值进行了研讨,并对... 王延直《普通应用论理学》出版100周年纪念暨贵州省逻辑学会2012年年会在贵阳隆重召开,来自省内多所高校和科研院所的40余名代表出席了会议。大会以纪念王延直《普通应用论理学》为核心,就王延直的生平、著述的学术价值进行了研讨,并对逻辑史、因明逻辑、哲学逻辑和逻辑哲学等方向的内容进行了研讨,同时也对贵州省逻辑学会未来的发展进行了规划。 展开更多

关键词 王延直 《普通应用论理学》 100周年纪念会

下载PDF 职称材料