重言式、逻辑规律与准逻辑悖论

同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式.同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论.故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.     

论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系,事实上具有“两个独立性”。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与“两个独立性”相对立的“两个依赖性”,从而并非真正的充分条件关系的“逻辑抽象”。即使在正统数理逻辑中作为逻辑工具使用的“若,则”乃是事实上具有“两个独立性”的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。     

逻辑与非逻辑的划界标准

逻辑与非逻辑的划界标准是元逻辑的根本问题之一.流行的四种标准全都认定逻辑基础是逻辑.在展开正统的两个演算时所采用的能从已知定理去得出新定理的真正的逻辑事实上并不符合正统数量逻辑.鉴于正统的两个演算只以真值函数、个体-真值函数为研究对象,故而属于离散数学.因此需提出能鉴别这种真正的逻辑的第五种标准--逻辑是人类在认识宇宙时从已知进入新知(从已有客观事件必然过渡到新客观事件的认识)的普遍有效的工具.     

对命题逻辑斯谛有效式的剖析

逻辑斯谛中作为纯真值联结词的蕴涵和传统逻辑中表述充分条件关系的命题联结词“若,则”的语义全然不同,任一重言式都不是能据以进行不循环论证的传统推理式,正统的命题演算取代不了传统的命题逻辑     

人工智能对我国体育产业发展的推动作用

人工智能作为人类第四次工业革命的主导技术,对推动我国体育产业发展具有重要意义。运用文献资料法、逻辑分析法等对人工智能推动我国体育产业发展的理论逻辑、动力来源、现实路径进行研究,并提出建议。研究认为：人工智能推动我国体育产业发展的理论逻辑在于数字经济为人工智能推动体育产业发展提供时代背景,人工智能促进体育产业领域“技术—经济范式”变迁,从而为体育产业发展提供新空间。社会环境变革与产业发展需求分别是人工智能推动我国体育产业发展的外部动力与内部动力。人工智能推动我国体育产业发展的路径为：加强人工智能在传统体育产业改造升级过程中应用;鼓励培育人工智能与体育产业融合发展的新产业、新业态与新模式;搭建人工智能推动体育产业发展的平台载体。主要建议：发挥智能体育产业相关政策的引导作用;加大体育产业技术研发和标准制定的力度;加速推进体育产业互联网平台的建设与推广;加大智能体育产业高端人才培养与引进力度。     

作为联结关系"偶然"和"风马牛"的逻辑含义

作为逻辑联结关系的"偶然"是一种特殊的可能:同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能.作为逻辑联结关系的"风马牛"是一种最彻底的、最特殊的偶然.A风马牛B,当且仅当,A偶然B(-)且A偶然B.偶然和风马牛都是2元的非纯真值联结关系.不是为正统数理逻辑所研究的纯真值联结词.     

专统逻辑向何处去

从主导思想上说,传统逻辑和数理逻辑殊异。实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若,则”的逻辑抽象。基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。只有在坚持传统逻辑深刻正确主导思想,并借鉴数理逻辑提供的严格精密的数学方法的基础上,才能真正实现传统逻辑的现代发展。     

浅析法律推理的内涵及产生原因

法律推理是法理学的一个研究热点,目前许多基本问题都还没有形成共识.从法律推理的主体、法律推理适用的领域、法律推理的关键点等方面入手对法律推理的内涵作一诠释,同时对法律推理产生的动因和逻辑背景进行探讨.     

应该的逻辑——对一种元伦理确证理论的批判

王海明先生提出了一种具有几何学模型的从"是"到"应该"的推理逻辑.但该逻辑不具有三段论的实质特征,因而不能成为严格的逻辑推理.该逻辑只是符合论,是符合的逻辑,而不是推理的逻辑.而符合论的基础是心理学中的需要理论,但人的需要因其具有层次性、差异性而充满歧异,所以元伦理确证理论最终缺乏可靠的基础.     

论律师法律推理的逻辑性

逻辑是律师法律推理的重要工具,逻辑性是律师法律推理的主要特征,这与法律的逻辑性有关,也与司法过程的说理性、证立性有关。法律适用需要得到必然的结论,因此,对于法律推理来说,演绎推理的"必然地得出"特征满足了这一要求。