Группы 071111-ДБ Направления Соц. Философия: Седых Д.Д.
Проверил доцент, кандидат физико-математических наук
Бирюлина Т.В. Введение • В этом докладе мы разберем: 1)Что такое непротиворечивость и полнота 2) как они работают в исчислений предикатов 3)Проблему разрешимости Начнем с простого • Содержательная непротиворечивость исчисления предикатов, как и исчисления высказываний, понимается в том смысле, что выводимыми в этом исчислении могут быть лишь тождественно истинные формулы, т.е. такие формулы, которые остаются истинными для любой предметной области и для любой конкретной интерпретации входящих в них предикатов. Здесь кроется некоторая неконструктивность подхода, связанная с неявно предполагающейся возможностью перебора всех значений предметных переменных при определении тождественной истинности. В случае бесконечной предметной области это требует бесконечного числа шагов. Поэтому широко привлекается теоретико- множественный подход, основанный на смысловом анализе как предметной области, так и заданных на ней предикатов. • Подобным путём устанавливается и формальная непротиворечивость исчисления предикатов, как невозможность вывести в этом исчислении некоторую формулу вместе с её отрицанием. • В случае конечных предметных областей вопрос о содержательной полноте исчисления предикатов сводится к соответствующему вопросу для исчисления высказываний и потому решается конструктивно. • Возможность формального вывода в этом исчислении любой тождественно истинной формулы была решена К. Гёделем. Однако в случае бесконечных предметных областей установление содержательной полноты исчисления предикатов требует привлечения средств, выходящих за пределы конечной (финитной) математики. Перейдем к проблемам • Проблема непротиворечивости исчисления предикатов заключена в доказательстве невыводимости формулы и ее отрицания. Исчисление предикатов непротиворечиво, т. к. каждая доказуемая формула является тождественно истинной формулой. Тогда ее отрицание является тождественно ложной формулой и при доказательстве в исчислении предикатов ведет к противоречию. • Проблема разрешимости есть проблема поиска эффективной процедуры в доказательстве. Исчисление предикатов – пример неразрешимой формальной системы, т.к. нет единого эффективного алгоритма в доказательстве любой формулы. Наличие кванторов, ограничивающих области определения, наличие сколемовских функций не позволяет использовать таблицы истинности. Итог • Тема короткая и решается за пару слайдов • Исчисление высказываний основано на ограниченной аксиоматике, отделено от смысла объектов высказываний, и потому не даёт полного представления о действительно логическом подходе к определению истинности. • Исчисление предикатов расширяет исчисление высказываний привлечением предметной области. Применение кванторов общности и существования позволяет расширить возможности логических преобразований на основе расширенной аксиоматики. Литература • Основы Мат. Логики https://intuit.ru/studies/professional_skill_im provements/22206/courses/763/lecture/3255 9?page=3 • Полнота и противоречивость пердикатов https://megalektsii.ru/s4456t5.html
