ДЕДУКЦИЯ (от лат. deductio — выведение). — В современной логике термин «Д .» используется как синоним более точного, но более громоздкого термина «дедуктивно правильное рассуждение». Рассуждение дедуктивно правильно, если его заключение не может быть ложным при истинности его посылок («Все люди смертны. Сократ — человек. Следовательно, Сократ смертен.»); таким образом, в дедуктивно правильном заключении истинность посылок является достаточным основанием для уверенности в истинности заключения. В силу такой уверенности, дедуктивно правильные рассуждения — начиная с Аристотеля, разработавшего исторически первую теорию дедуктивно правильных рассуждений силлогистику — привлекали особое внимание логиков (первые шаги в разработке теории недедуктивных рассуждений были предприняты только в конце 19 в.).
Иногда дедуктивно-правильные рассуждения характеризуются с теоретико-информационной точки зрения как рассуждения, посылки которых содержат в себе всю информацию, содержащуюся в их заключении. С такой точки зрения, ни одно дедуктивно правильное рассуждение не приводят к получению новой информации — оно всего лишь делает явным неявное содержание его посылок.
С философской точки зрения, наибольший интерес представляет вопрос об источнике уверенности в истинности дедуктивно правильного заключения на основании истинности его посылок. В настоящее время принято считать, что этот источник — значение входящих в рассуждение логических терминов; таким образом, дедуктивно правильные рассуждения оказываются «аналитически верными».
П.И. Быстрое
Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». И.Т. Касавин. 2009.