Яшин Б.Л. —
Неклассические логики в современной науке
// Философская мысль. – 2023. – № 1.
– 和。 15 - 25.
DOI: 10.25136/2409-8728.2023.1.39350
URL: https://e-notabene.ru/fr/article_39350.html
阅读文章
注释,注释: Неклассические логики существенным образом расширили традиционную область использования логических методов. Первой из них стала трехзначная логика Я. Лукасевича. Следом появились трехзначная логика А. Бочвара, «квантовые логики» Г. Рейхенбаха и П. Детуш-Феврие, бесконечнозначные, вероятностные и другие логики. Возможности неклассических логик стали широко использоваться в различных отраслях научного знания. Многозначная, нечёткая, интуиционистская, модальная, релевантная и паранепротиворечивая, временная и другие неклассические логики находят сегодня широкое применение в физике, вычислительной математике, информатике, лингвистике, юриспруденции, этике и других областях естественнонаучного и социогуманитарного знания. Возросший в последнее время интерес к неклассическим логикам объясняется, прежде всего, тем, что на смену ранее обсуждавшимся в научном сообществе различным философским, синтаксическим, семантическим и металогическим проблемам на первый план выходят практические интересы. Главным источником такого интереса служит широкое их применение в компьютерных науках, искусственном интеллекте и программировании. Логика причинности используется в об-суждениях трактовки понятий «закон природы», «онтологическая необходимость» и «детерминизм»; темпоральные модальные логики - для моделирования, спецификации и верификации программных систем логического управления; логики с векторной семантикой, совмещающие в себе особенности нечётких и паранепротиворечивых логик - в решении задач динамической верификации продукционных баз знаний и экспертных систем.
Abstract: Non-classical logicians have significantly expanded the traditional field of using logical methods. The first of them was the three-digit logic of Y. Lukasevich. Next came the three-digit logic of A. Bochvar, the "quantum logics" of G. Reichenbach and P. Detush-Fevrier, infinite-valued, probabilistic and other logics. The possibilities of non-classical logics have become widely used in various branches of scientific knowledge. Polysemantic, fuzzy, intuitionistic, modal, relevant and paranoherent, 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 socio-humanitarian knowledge. The recently increased interest in non-classical logics is explained, first of all, by the fact that various philosophical, syntactic, semantic and metalogical problems that were previously discussed in the scientific community are being replaced by practical interests. The main source of such interest is their wide application in computer science, artificial intelligence and programming. The logic of causality is used in the interpretation of the concepts of "law of nature", "ontological necessity" and "determinism"; temporal modal logics - for modeling, specification and verification of software systems of logical control; logics with vector semantics, combining the features of fuzzy and para-contradictory logics - in solving problems of dynamic verification of production knowledge bases and expert systems.