Paraconcilable logics作为科学中表达客观矛盾的一种方式

DOI:

EDN:

评审日期

出版日期

注解: 这篇文章的重点是与需要用科学语言以一致的方式表达客观世界中发生的运动和各种变化有关的问题,这些变化是通过发展能够容忍逻辑矛盾的逻辑。 本文介绍了paraconstant（paraconsistent）逻辑的创建简史，其中逻辑矛盾被证明是可以接受的。 值得注意的是，他们发展的优先事项属于俄罗斯科学家N.A.Vasiliev和I.E.Orlov，以及波兰哲学家和逻辑学家J.Lukasevich和S.Yaskovsky;自上个世纪七十年代以来，paraconsistent logics的发展已具 讨论了使用国内外哲学家和逻辑学家作品中提出的paraconsistent logics进行辩证法形式化的可能性。 这些逻辑的积极作用表现在解决经典命题逻辑和谓词逻辑基础中的许多悖论，以及在使用与处理不一致或矛盾信息相关的IT技术时限制不良后果。 结论认为，在辩证法的个别片段模型的构建中使用偏执逻辑有助于其作为逻辑和本体的发展，并表明非经典逻辑的整体装置是研究和解释一般理论知识的许多问题的非常有力的手段。

出版日期: