Разрешимости (разрешения) проблема

одна из основных проблем, встающих в логике в связи с построением формальных логических систем. Ее положительное или отрицательное решение для каждой конкретной формальной логической системы связано соответственно с существованием или несуществованием некоторого общего метода (или алгоритма), позволяющего конечным числом действий выяснить, является ли к.-л. формула рассматриваемой системы доказуемой (истинной) в данной системе или же она таковой не является. Р. п. положительно решается, напр., в исчислении высказываний и в формализованной аристотелевской силлогистике. Однако уже для исчисления предикатов общего решения этой проблемы не существует. Невозможность найти для какой-либо формальной системы общий разрешающий метод не исключает поисков таких решений для отдельных классов формул этой системы.