贵州省优秀科技教育人才省长资金项目(201250)
- 作品数：7 被引量：2H指数：1
- 相关作者：董英东方明明何向东更多>>
- 相关机构：西南大学贵州工程应用技术学院毕节学院更多>>
- 发文基金：贵州省优秀科技教育人才省长资金项目国家社会科学基金贵州省社科规划课题更多>>
- 相关领域：哲学宗教自然科学总论更多>>
- 高校逻辑学教学改革探析被引量：1
- 2013年
- 逻辑学传入中国至今,取得了长足的发展,但也面临着一些困境。逻辑学教学改革主要应该从逻辑学教学的课程内容、逻辑学的人才培养、逻辑学教学方法、逻辑学的科研创新等几个方面着手。逻辑学是一门基础性、工具性学科,在培养人的理性思维、创新思维能力等方面具有重要的作用,应该受到教育主管部门和高校的高度重视。
- 董英东方明明
- 关键词：逻辑学传统逻辑教学改革教学方法
- 逻辑及其在知识研究中的作用
- 2014年
- 逻辑主要研究语形和语义之间的二元关系,是特殊的形式化的推理系统。演绎推理并不必然要求论证是演绎有效的或者是无效的。演绎推理是不可废止的,但非演绎推理却是可废止的。从知识科学的角度看,逻辑的作用在于提供推理形式化的范式。现代逻辑和方法论以及科学哲学之间关系密切。演绎推理只是其中的一种,并且具有一定的局限性,而非演绎推理或可废止推理也可以用数学的方法进行刻画。
- 董英东
- 关键词：归纳逻辑
- 组合模态逻辑
- 2013年
- 通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。
- 董英东
- 关键词：复杂度
- 模态逻辑中的三值逻辑被引量：1
- 2014年
- 每一个真值函数三值命题逻辑都可以翻译为模态逻辑系统S5。定义一般的三值命题逻辑的真值函数,并给出将任意的三值逻辑命题公式翻译成为模态公式的翻译方法。证明了每一S5模型,都存在有一个等值翻译的三值赋值。给出了一个将LP和K3翻译为S5的线性翻译方法。
- 董英东
- 关键词：三值逻辑模态逻辑辩证逻辑
- 关于奎因的本体论标准的批判
- 2016年
- 奎因提出的本体论承诺的逻辑或语言的标准主要是为了讨论本体论承诺和语义之间的关系,是关于一阶语句的形式分析。对奎因的本体论承诺标准的批判主要有两条可能的进路,其一是对本体论标准的哲学价值的批判分析,其二是对奎因的系统化方法的局限性进行批判。语言逻辑的研究由外延研究向内涵研究的转变同样与探索本体论承诺有关。霍奇和拉约分别从这两方面对奎因的本体论标准进行了批判。
- 董英东何向东
- 关键词：本体论承诺逻辑
- 关于存在的分析
- 2015年
- 存在肯定或否定某些对象存在的命题以及X与Y是否相同的等值命题,以及在涉及到此时此刻的对象的命题时,可以通过检测的方法对主谓形式的命题和存在形式的命题进行区分,同时也会涉及到真实的和存在的关系问题。
- 董英东
- 关键词：命题
- 法律推理中的解释和一致性
- 2015年
- 法律推理在法学理论实践中具有重要的作用,法官在判案的过程中必须理解法律,必须对法律的合理性给出足够的解释,并以此指导其司法实践或者对所给的判决做出辩护。在法哲学中所遇到的问题,多属于法律推理的范畴。可以从解释和一致性两方面对"法律推理"进行简洁的辨析,讨论法律推理的不同解释及其和法律的关系。解释和一致性在法律推理中具有重要的作用,法律推理和关于法律的推理是有区别的。
- 董英东
- 关键词：法律推理一致性
