Логической формой получения выводного знания является умозаключение.

Умозаключение представляет собой такую общелогическую форму мышления, которая формирует новое знание на основе ранее известных суждений, называемых посылками суждения. С их помощью расширяется или углубляется наше знание, осущест­вляется переход от известного знания, к новому знанию, еще не известному. Этот переход осуществляется по определенным пра­вилам — т.н. правилам умозаключений. Новые суждения при этом следуют логически, являются логическим с действием из посылок. В общей форме это записывается так: суждение В следует из посылок суждений, ..., тогда и только тогда, когда не существует контрпримера с той же логической структурой, но при этом все посылки истинны, а суждение, вывод ложно. Символ следования: (знак -> читается как «следует», «следовательно»).

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

Во всяком умозаключении различают три элемента.

Исходное знание. Оно выражено в суждениях — посылках.

Обосновывающее знание. Это т.н. правила умозаключения. Они различны для разных видов умозаключения. Обосновывающее знание не имеет специфического формулированного или словес­ного выражения.

Выводное знание. Это новое суждение, суждение-вывод, суждение-заключение.

Новизна знания, содержащегося в выводе, состоит в том, что за известным классом предметов приписываются новые сущест­венные признаки; наряду с известным уже классом появляется новый класс, содержащий суждения, имеющие сходные или упо­добляемые признаки; осуществляется переход от предмета, оха­рактеризованного общими (или особенными) признаками, к пред­мету, охарактеризованному соответственно особенными (или об­идами) признаками.

Для того, чтобы умозаключение было истинным, необходимы два условия:

1. Исходные знания (посылки) должны быть истинными, то есть отражать действительные, реальные связи, отношения между предметами, явлениями, процессами.

2. Использование правил умозаключения (обосновывающего знания) должно строго соответствовать законам логики, законам правильного мышления.

Понятие логического отношения

Логика отношений - раздел логики, посвящённый изучению отношений между объектами различной при­роды. Эти отношения выражаются сказуемыми и ана­логичными им словами в предложениях естественных языков. В зависимости от числа объектов, связанных дан­ным отношением, говорят о двуместных (двучленных, бинарных), трёхместных (трёхчленных, тернарных), вообще n-местных (n-членных, n-арных) отношениях, которые в терминах теории множеств определяются соот­ветственно как классы упорядоченных пар, троек, ...n-ок предметов нек-рой предметной области.

Отношение следования

Вывести следствие из некоторых положений – значит изъять из них какую-то часть их содержания. Если исходное содержание является истинным, то и следствие также истинно. Из ложного содержания можно получить как ложное, так и истинное содержание. Поэтому отношение следования в логике высказываний можно определить так: логические схемы a и b находятся в отношении следования (из a следует b ), если и только если при одинаковых значениях переменных не бывает так, что схема a получает значение «истинно», а схема b получает значение «ложно». В качестве примера возьмем схемы высказываний: “Если электростанция прекратит подачу тока, то предприятие остановится, а если оно остановится, то понесет большие убытки” и “Если электростанция прекратит подачу тока, то предприятие понесет большие убытки”.