Статья 280

А в частных случаях, например, исчисления высказываний, исчисления одноместный предикатов и эти исчисления дают простое доказательство того, что проблема разрешения разрешима, для любой правильно построенной формулы мы можем однозначно установить, доказуема она в данной логической системе или нет.

Но в данном случае нам более важно то, что идея секвенциальных исчислений открывает широкие возможности для организации систематического поиска логических доказательств.

Силлогистика и так называемые естественные рассуждения.

Хорошо известно, что впервые формализация рассуждений была осуществлена Аристотелем. Им была разработана теория силлогистических выводов.

Существует достаточно широко распространенное мнение, что в силлогистике формализованы естественные рассуждения, которые человек проводит на обычном, естественном языке.