Анализ vs дедукция

Main Article Content

В. И. Шалак

Аннотация

В настоящей работе рассматриваются четыре вида задач, которые естественным образом возникают в связи с определением логического вывода: 1) проверка доказательства:  \(\varGamma \langle A_{1},..,A_{n}\rangle A \); 2) поиск интересных следствий: \( \varGamma \langle ...\rangle ?\); 3) поиск доказательства: \( \varGamma \langle .?.\rangle A\); 4) поиск гипотез: \( ?\langle ...\rangle A \). В современной логике основное внимание уделяется задаче поиска доказательств. Ограничительные теоремы Гёделя имеют прямое к ней отношение. В то же время в реальной практике задача поиска гипотез, из которых следует целевое предложение, встречается гораздо чаще, чем задача поиска доказательства. Подробному ее исследованию и посвящена основная часть настоящей работы. Дано предложение \(A\), и требуется найти множество гипотез (посылок) \(\varGamma\), из которых оно логически выводимо. Выбор подходящих гипотез \(\varGamma\) происходит на основе логического анализа предложения \(A\). Мы можем выделить шесть различных оснований для выбора этих гипотез: 1) принятие явных определений для предикатных и функциональных символов; 2) принятие неявных аксиоматических определений для предикатных и функциональных символов; 3) принятие ранее доказанных теорем; 4) принятие эмпирически истинных предложений; 5) принятие предложений, описывающих результат некоторого действия; 6) принятие правдоподобных гипотез, которые могут иметь отношение к решаемой задаче. В работе построено исчисление, которое формализует задачу аналитического поиска гипотез для данного целевого предложения.

DOI: 10.21146/2074-1472-2018-24-1-26-45

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
В. И. Шалак. Анализ vs дедукция // Логические исследования / Logical Investigations. 2018. Т. 24. № 1. С. 26-45.
Раздел
Традиционная логика