现代科学中的非经典逻辑

DOI:

EDN:

评审日期

出版日期

注解: 非经典逻辑学家显着扩展了使用逻辑方法的传统领域。 其中第一个是Y.Lukasevich的三位数逻辑。 接下来是A.Bochvar的三位数逻辑，G.Reichenbach和P.Detush-Fevrier的"量子逻辑"，无限值，概率和其他逻辑。 非经典逻辑的可能性已广泛应用于科学知识的各个分支。 Polysemantic，fuzzy，intuitionistic，modal，related and paranoherse，temporal and other non-classical logics are widely used today in physics，computational mathematics，computer science，linguistics，jurisprudence，ethics and other fields of natural science and social-humanitarian knowledge. 最近对非经典逻辑的兴趣增加主要是由于科学界以前讨论过的各种哲学，句法，语义和金属逻辑问题正在被实际利益所取代。 这种兴趣的主要来源是它们在计算机科学，人工智能和编程中的广泛应用。 因果逻辑用于解释"自然法"、"本体论必要性"和"决定论"的概念；时间模态逻辑--用于逻辑控制软件系统的建模、规范和验证；结合模糊和准矛盾逻辑特征的矢量语义逻辑--解决生产知识库和专家系统的动态验证问题。

出版日期: