曹飞
- 作品数：27 被引量：14H指数：2
- 供职机构：中共陕西省委党校更多>>
- 发文基金：国家社会科学基金陕西省哲学社会科学基金更多>>
- 相关领域：哲学宗教政治法律社会学经济管理更多>>
- 一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统
- 逻辑矛盾是因人们在思维过程中违反形式逻辑不矛盾律的要求而引起的,辩证矛盾是因人们在思维过程中表达对象的运动而产生的,二者根本不同。然而,经典命题演算没有区别辩证矛盾与逻辑矛盾,它拒斥逻辑矛盾,但不容纳辩证矛盾,因而不能合...
- 曹飞
- 关键词：重言式合取范式矛盾命题
- 文献传递
- 从关系逻辑的观点看三段论
- 2006年
- 从关系逻辑的观点看,三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理,而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。三段论是量化的间接关系推理。三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。
- 曹飞
- 关键词：关系逻辑三段论
- 关于以人为本的几个问题
- 2010年
- 以人为本在不同关系上有不同的涵义,从归根究底的意义上说,以人为本就是以人为人的实践活动和人的世界的根本目的、根本动力和根本标准。它不是本体论命题,也不是世界观和历史观的基本命题。它只是体现世界观和历史观的重要方面的价值观命题,在不同的世界观和历史观中具有不同的涵义和要求。
- 曹飞
- 关键词：以人为本本体论世界观历史观价值观
- 论价值的生成性及其相关的几个问题
- 2009年
- 价值既非"是"判断的事实,也非"应当做"的行为规范,而是"应当是"所指向未来的选择性生成过程。价值不是发现出来的实然,而是人在选择中生成的应然。当人们通过实际行动从实然迈向应然时,价值便由此生成。在生成论视野下,价值只有形式上的定义而无实质的定义。合理、合情、合意、富于创造性是价值选择的基本标准。价值先于并独立于评价,价值是评价的标准而不是评价的对象,评价不是对价值的评价而是用价值来评价。
- 虢美妮曹飞邱根江
- 与时俱进是马克思主义的理论品质
- 一、马克思主义理论作为一个严整的科学体系,具有与时俱进的理论品质马克思主义理论是一个严整的科学体系。这主要表现在历史和逻辑两个方面。首先,马克思主义理论各历史形态间存在着直接的继承和发展的关系.
- 曹飞
- 关键词：马克思主义
- 文献传递
- 构造辩证逻辑的形式系统必须澄清的几个问题——对马佩教授批评的回应
- 2011年
- 经典逻辑只是形而上学思维的逻辑,不等于形式逻辑。经典逻辑的不矛盾律是形而上学思维的基本规律,不是形式逻辑的基本规律,它不仅排除逻辑矛盾,也排除辩证矛盾。尽管辩证矛盾与逻辑矛盾无论是从内容、形式还是从与理论体系的关系看都有明显区别,但二者都是矛盾,都具有矛盾的一般形式。在经典逻辑的基础上,或在承认经典逻辑的不矛盾律的条件下,不可能构造辩证逻辑的形式系统。
- 曹飞
- 关键词：经典逻辑辩证逻辑形式逻辑辩证矛盾逻辑矛盾
- 一个限制排中律适用范围的命题演算系统
- 本文构造了一个不矛盾律普遍有效、排中律在一定范围内有效的命题演算系统PC5，证明了PC5的可靠性和完全性，并以PC5为逻辑基础阐明了反证法的适用范围等问题。
- 曹飞
- 关键词：排中律不矛盾律反证法
- 文献传递
- 当代大学生理想、信念、价值观的调查与思考
- ＜正＞ 当前,改革开放引发的我国人民思想深入的变革——价值观的变化,成为社会研究领域关注的热点问题。大学生作为青年的优秀群体,对时代脉搏具有敏锐的觉察力,其价值观表现出一定的代表性和鲜明的时代特色,并对全社会的价值观产生...
- 曹飞
- 文献传递
- “以人为本”中的“人”究竟指什么?“以人为本”何以成立?
- ＜正＞作为现实的人及其发展的科学,马克思主义有两个基本精神:其一是科学精神,其二是人文精神.前者可概括为"实事求是",后者可概括为"以人为本"。实事求是是马克思主义的基础,以人为本则是马克思主义的最高原则。实事求是作为世...
- 曹飞
- 文献传递
- 一个限制排中律适用范围的命题演算系统被引量：1
- 2015年
- "一个命题与肯定该命题而形成的命题是等值的"只是逻辑学的一个公设,基于这一公设,肯定词在任何情况下都可以随意消除,人们在构造命题演算系统时根本无需引入肯定词。然而,值得提出的是,上述公设从未得到过系统外的预先证明。命题演算系统PC5在限制上述公设适用范围的基础上引入了0级命题变项和肯定词符号。PC5具有可靠性和完全性。在PC5中,对于任意的肯定和否定同一个n(n∈N且n≥0)级命题而形成的两个相反命题而言,不矛盾律都成立;对于任意的肯定和否定同一个n(n∈N且n≥1)级命题而形成的两个相反命题而言,排中律成立,但对于任意的肯定和否定同一个0级命题而形成的两个相反命题而言,排中律不成立。以PC5为逻辑基础,反证法适用于论证n(n∈N且n≥1)级命题的肯定或否定命题,但不适用于论证0级命题的肯定或否定命题。
- 曹飞
- 关键词：排中律不矛盾律反证法
