逻辑矛盾

摘要： 西方经济学规定的现代经济学研究范式是我国经济学教学的主要内容,但是却存在着内在的矛盾性。新古典学派和新奥地利学派作为现代经济学的两大分支,其形成的历史基础分别对应着西方哲学中唯理主义与个人主义两种思潮的兴起与斗争及其对经济学发展的深刻影响。两种思潮的固有矛盾以及西方经济学研究中“泛政治化”的意识形态恐慌导致现代经济学在“政府”与“市场”关系问题讨论中存在逻辑矛盾,从而在理论与实践中呈现出明显的背离,这成为西方经济学逐步走向没落的根本原因。厘清这一原因,对增强中国特色社会主义道路的理论自信、建构中国特色社会主义政治经济学具有重要意义。

摘要： 《拿来主义》的行文逻辑前后不一致,从矛盾律角度解释这种不一致难以让人信服.从矛盾真假与统一的角度审视发现,批判中外交流是表面现象,批判对传统文化盲目自信、自欺、自大才是真正目的,而且这些批判与后文中对孱头、昏蛋、废物的批判前后照应,有机统一.

摘要： 定罪量刑应遵循不矛盾律,排除逻辑矛盾。如此,才能准确认定案件事实、正确适用法律。笔者结合刑事法、证据法原理及司法实践,运用逻辑推理和论证方法,从逻辑矛盾这一维度探究刑事错案成因,以期有效防范和纠止刑事错案。案件事实认定和法律适用存在逻辑矛盾,是刑事错案发生的重要原因。

摘要： 辩证矛盾规律是马克思主义唯物辩证法的精髓所在,是指导人类社会实践的科学世界观和方法论.在教学、科研和日常工作中要准确把握马克思主义辩证矛盾规律,必须首先厘清三个基本问题:一是充分认识辩证矛盾与逻辑矛盾之间的区别,二是弄清"(辩证)矛盾"与"问题"之间的差别与联系,三是正确把握两种不同性质矛盾的解决方法和途径.

摘要： 互相否定的两个命题由同一个思维主体给出,称为自相矛盾;由两个不同思维主体给出,称为两相矛盾.矛盾律制约的逻辑矛盾除自相矛盾外,是否还包含两相矛盾？这在我国逻辑学界是存在争议的.金岳霖从唯物辩证法的立场出发,认为矛盾律和同一律、排中律一样,反映着“客观事物的确实性只有一个”.从他的观点看,同一主体陈述了一对矛盾命题,违背矛盾律,导致逻辑矛盾;两个主体陈述了一对矛盾命题,也违背矛盾律,也造成逻辑矛盾.因此,逻辑矛盾的产生与否与思维主体的多寡并无关系.对这一问题的探讨,有助于纠正以往我们对矛盾律和逻辑矛盾的错误见解,完善逻辑学的相关基础理论,对哲学研究、科学研究和学术争鸣具有重要的指导作用.

摘要： 《企业会计准则第39号——公允价值计量》存在的内在逻辑问题已引起了一部分学者的关注,通过分析相关文献发现其逻辑矛盾争议主要有:公允价值概念与其操作方法的逻辑矛盾;公允价值概念与可靠性要求的逻辑矛盾;公允价值概念与其他会计准则的逻辑矛盾;公允价值概念与估值技术中成本法和收益法的逻辑矛盾;公允价值计量准则缺乏完整的逻辑框架;输入值概念的逻辑矛盾.分析发现,公允价值是以市场为基础的,有些逻辑矛盾尚未厘清.建议尽快更正其他会计准则中关于公允价值概念的表述,使得整个会计准则体系中公允价值概念保持一致.

摘要： 悖论的矛盾归属问题一直被众多学者争论不休,悖论矛盾到底属于逻辑矛盾,还是属于辩证矛盾,或者同时属于逻辑矛盾与辩证矛盾,还是除了逻辑矛盾和辩证矛盾以外的第三类矛盾.在这个问题上,香港著名逻辑学家黄展骥认为悖论矛盾毫无疑问属于逻辑矛盾,并且是一种特殊的逻辑矛盾,但是在黄展骥看来,逻辑矛盾和辩证矛盾并不是决然对立的,辩证法指出了形式逻辑中的"矛盾律"存在原则上的缺陷,但是在某些方面走向了极端,必须给予技术上的弥补,黄展骥的做法是设置"含混区",从"二分法"走向"三分法",这样就化解了逻辑矛盾和辩证矛盾的紧张冲突,修补了形式逻辑中的"矛盾律"的固有缺陷.

摘要： 高校人文课程教学中,“逻辑矛盾”、“辩证矛盾”、“逻辑悖论”、“哲学悖论”以及彼此之间的关系问题,是理论教学中的难点,它使很多师生感到困惑,为此,本文将从以下几个维度进行探讨和澄清:何为悖论,尤其逻辑悖论,这是一个思维过程,应从思维过程论的维度审视和探析;逻辑矛盾和辩证矛盾之间存在着区别,应从学科维度进行整合和辨别;悖论和矛盾的表达方式不同,应从语言学维度进行解读和构建.

摘要： “逻辑矛盾”与“辩证矛盾”在高校人文通识课程教学中虽然是两个极易混淆的概念,但只要选取合适的视角,则并不难理解“辩证矛盾”与“逻辑矛盾”.而逻辑悖论能够成为沟通逻辑矛盾与辩证矛盾的桥梁,一方面,逻辑悖论的本质是逻辑矛盾;另一方面,逻辑悖论能够体现辩证矛盾的精髓.此外,对逻辑悖论的解决又能够使人类知识得到进步.因而,逻辑悖论对于解决逻辑矛盾与辩证矛盾的教学疑难是一个很好的突破口.

摘要： 根据逻辑派：“谎者”、“理发师”和“（韩非）矛陷盾”论题，同犯隐蔽的矛盾谬误；当被揭发后，“千古之谜”简明消解了，当更进一步揭发“谎者”随后又犯“复合命题”谬误，指出“谎者”只是“拟似真矛盾”，更能超越逻辑派而直面辩证派的“辩证矛盾（真矛盾）”，更彻底地消解了它，辩证派的“亦此亦彼”论题否证逻辑派的“不矛盾”律。

摘要： “反义务命令悖论”是道义逻辑系统研究遇到的最具冲击力的悖论。基于逻辑悖论的语用学概念。运用“悖论度”等方法论工具，本文考察了反义务命令悖论的结构和实质，明确其在“悖论度”序列中的定位，并揭示了哲学悖论向狭义逻辑悖论转化的途径和可能性。在某些普遍共识之下，结合道义逻辑的基本规则，却得出了不可接受的逻辑矛盾，反义务命令悖论由此形成。rn 其所由以导出的背景知识具有很高的“公认度”，其由以导出的前提与推导过程都可以得到严格的形式刻画，因此，反义务命令悖论实际上已由哲学悖论转化为狭义逻辑悖论。

摘要： 余英时认识，柯林伍德作为唯心主义史学的突出代表，在史学研究中，一方面过分注重历史的“内在性”，另一方面又极力强调“证据”的重要性，是一种严重的矛盾。因为当我们在设身处地地“重演”古人的意境时，我们很难找到任何证据来证明古人思路正是如我们头脑中现在所重演的。本文借余英时先生提出的这个观点，对柯林伍德的历史哲学理论出现这种矛盾的思想根源进行了论述。

摘要： 余英时认识，柯林伍德作为唯心主义史学的突出代表，在史学研究中，一方面过分注重历史的“内在性”，另一方面又极力强调“证据”的重要性，是一种严重的矛盾。因为当我们在设身处地地“重演”古人的意境时，我们很难找到任何证据来证明古人思路正是如我们头脑中现在所重演的。本文借余英时先生提出的这个观点，对柯林伍德的历史哲学理论出现这种矛盾的思想根源进行了论述。

摘要： 余英时认识，柯林伍德作为唯心主义史学的突出代表，在史学研究中，一方面过分注重历史的“内在性”，另一方面又极力强调“证据”的重要性，是一种严重的矛盾。因为当我们在设身处地地“重演”古人的意境时，我们很难找到任何证据来证明古人思路正是如我们头脑中现在所重演的。本文借余英时先生提出的这个观点，对柯林伍德的历史哲学理论出现这种矛盾的思想根源进行了论述。

摘要： 余英时认识，柯林伍德作为唯心主义史学的突出代表，在史学研究中，一方面过分注重历史的“内在性”，另一方面又极力强调“证据”的重要性，是一种严重的矛盾。因为当我们在设身处地地“重演”古人的意境时，我们很难找到任何证据来证明古人思路正是如我们头脑中现在所重演的。本文借余英时先生提出的这个观点，对柯林伍德的历史哲学理论出现这种矛盾的思想根源进行了论述。

摘要： 量子测量退相干解释,在解决量子测量难题上正在取得进展.但量子测量退相干解释的具体模型,被测系统与宏观仪器所形成的纠缠态,在退相干解释理论体系中,逻辑不自恰.退相干解释的应用模型仍存在重新建立的必要.

摘要： 量子测量退相干解释,在解决量子测量难题上正在取得进展.但量子测量退相干解释的具体模型,被测系统与宏观仪器所形成的纠缠态,在退相干解释理论体系中,逻辑不自恰.退相干解释的应用模型仍存在重新建立的必要.

摘要： 量子测量退相干解释,在解决量子测量难题上正在取得进展.但量子测量退相干解释的具体模型,被测系统与宏观仪器所形成的纠缠态,在退相干解释理论体系中,逻辑不自恰.退相干解释的应用模型仍存在重新建立的必要.

摘要： 本发明公开了一种矛盾语句识别方法和系统及条款逻辑鉴别方法和系统。所述矛盾语句识别方法包括：基于BiLSTM‑Attention机制，构建矛盾语句识别模型，所述模型用于预测两个文本相矛盾的概率；将相比较的两个文本分别转化为矩阵，作为所述模型的输入；经过所述模型的计算，得到相比较的两个文本相矛盾的概率。本发明使用深度学习技术解决自然语言推断问题，可以降低特征提取的人工成本，大幅提升推断的准确率。

摘要： 本发明公开了一种矛盾语句识别方法和系统及条款逻辑鉴别方法和系统。所述矛盾语句识别方法包括：基于BiLSTM‑Attention机制，构建矛盾语句识别模型，所述模型用于预测两个文本相矛盾的概率；将相比较的两个文本分别转化为矩阵，作为所述模型的输入；经过所述模型的计算，得到相比较的两个文本相矛盾的概率。本发明使用深度学习技术解决自然语言推断问题，可以降低特征提取的人工成本，大幅提升推断的准确率。

摘要： 本发明公开了命题逻辑中基于最大矛盾体的自动推理方法，其步骤为：首先，利用子句集S中出现的k个变元生成最大矛盾体，然后利用最大矛盾体找出矛盾体，删除矛盾体中的文字后，将全部剩余文字析取形成矛盾体分离式，最后利用矛盾体分离式判定子句集S的属性，完成推理；本发明突破了传统的归结原理每次演绎“且只能有两个子句参与”的限制，将静态、二元、归结演绎发展为动态、多元、矛盾体分离演绎，该方法具有更强的针对性、更大的灵活性，判定逻辑公式属性的能力更强。

摘要： 本发明公开了命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断S的不可满足性：如果判定S不可满足则停止，否则，基于矛盾体分离式构造逆向演绎子句集，得到t个新子句集并进行演绎推理，如果对t个新子句集的演绎结果都是空子句，则S不可满足，否则循环前述步骤，直至得到S属性的判定结论或满足设定条件停止；本发明能动态分解矛盾体分离式，形成动态逆向演绎目标，有效指导下一步演绎推理，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可用于程序验证、定理机器证明等领域。

摘要： 本发明公开了一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对一阶逻辑中子句集S构造矛盾体并形成矛盾体分离式R，根据R判断演绎推理是否终止：如果判定S不可满足，则停止；否则，用R与S构造t个新子句集，然后对t个新子句集进行演绎推理得到结果R

摘要： 本发明公开了一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法，该方法通过在一阶逻辑中的子句集S中寻找标准矛盾体，然后在子句集S中剩余的子句中删除出现在标准矛盾体中的文字，并将全部剩余文字进行析取形成矛盾体分离式，最后根据矛盾体分离式判定初始的子句集S的属性，最终直到得出判定结果，则停止演绎推理。本发明可将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，可应用于系统可信性自动验证、定理机器证明等领域，具有多元性、动态性、并行性、协调性、导向性、灵活性、方便性等特点。

摘要： 本发明公开了命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法步骤为：对于命题逻辑中的子句集S构造扩展三角形矛盾体，形成矛盾体分离式，根据矛盾体分离式判断子句集属性；如果能判断子句集不可满足，则停止；否则，将所得矛盾体分离式加入原子句集，形成新的子句集，接着构造并分离扩展三角形矛盾体，直至得到子句集属性的判定结论或满足设定条件停止；本发明提供了命题逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。

摘要： 本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法依次通过：对于一阶逻辑中的子句集构造扩展三角形标准矛盾体，形成标准矛盾体分离式，根据标准矛盾体分离式判断子句集的不可满足性；如果能够判断子句集不可满足，则停止得到结论：被判定的子句集S不可满足；否则，将所得标准矛盾体分离式加入子句集S，形成新的子句集，然后重复构造扩展三角形标准矛盾体，并分离扩展三角形标准矛盾体，直至得到子句集S属性的判定结论或满足设定条件停止；本发明提供了一阶逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。

摘要： 本发明公开了命题逻辑中基于最大矛盾体判定公式属性的方法，其步骤为：首先，利用子句集S中出现的全部命题变元构造最大矛盾体，然后在最大矛盾体中寻找满足一定条件的子句D，最后根据子句D判定子句集S的属性；本发明在基于矛盾体分离的多元动态自动演绎推理理论基础上，给出了一种利用最大矛盾体判定命题逻辑子句集属性的方法，且该方法在判定子句集为可满足的同时给出了一个满足该子句集的解释。

摘要： 本发明公开一种基于整数线性规划(Integer Linear Programming,ILP)解决本体中逻辑矛盾的方法，给出了解决逻辑矛盾的ILP模型，即通过将给定的冲突集合转变为ILP表示，进而使用传统的ILP求解器获取最佳解决方案。每个方案对应一个公理集合，从本体中移除一个这样的集合，便可解决给定的冲突。本发明首次提出一个计算基数最小解决方案的算法，使得删除的公理尽可能少，还提出保留尽可能多权重信息的算法。本发明提出的基于ILP解决冲突的方法是一个通用的逻辑矛盾处理方法，不仅可以用于修复单个本体和本体映射，还可以用于做本体修正或本体演化。本发明通过丰富的实验，说明了提出的算法具有非常高的效率，并且删除的公理具有基数最小或权重和最小的性质。