Философская энциклопедия - вывод

ВЫВОД

в (традиционной) логике — рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные граждане Афин были греками» и «Фемистокл был полноправным гражданином Афин» с помощью правил категорического силлогизма можно вывести высказывание: «Фемистокл был греком». В. иногда также называют процесс выведения нового высказывания из посылок или само это высказывание.

В символической логике В. определяется более строго — как последовательность высказываний или формул, состоящая из аксиом, посылок и ранее доказанных формул (теорем). Последняя формула данной последовательности, выведенная как непосредственное следствие предшествующих формул по одному из правил В., принятых в рассматриваемой аксиоматической теории, представляет собой выводимую формулу. Поскольку каждая формальная система имеет свои собственные аксиомы и правила В., постольку понятие В. приобретает относительный характер и должно определяться особо для каждой конкретной системы.

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.