Некласичні логіки: невідкладна допомога сучасній науці

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.