Статья 478

Ранее были описаны методы правильного рассуждения в рамках первопорядковой логики и даны различные способы их формализации. Если нам предъявлен вывод доказательство, то всегда можно установить, является ли он действительно выводом доказательством. Но естественно встанет вопрос, как можно построить этот вывод доказательство. Следует четко различать три вопроса.
Что такое правильное рассуждение, вывод, доказательство.
Как искать доказательство вывод.
Как выбирать доказываемое утверждение.
Дедуктивная логика на первых этапах своего развития ограничилась решением первого вопроса. Успехи в решении этой задачи были обусловлены отказом от психологизма, господствовавшего в логике в веке. Логика абстрагируется от того, употреблял кто-либо тот или иной способ рассуждения или нет. Важно систематически описать способы рассуждения, гарантирующие при истинности посылок истинность заключения.