Вывод рассуждения( умозаключения) окажется необходимо истинным( силлогистичным) в том и только том случае, когда и исходные мысли истинны, и взаимные связи между ними закономерны, т. е. в полной мере соответствуют законам логики.
Любое умозаключение состоит по крайней мере из двух исходных суждений( посылок), а также третьего суждения( или четвертого, пятого, если посылок больше двух), которое получается из исходных. Это получаемое суждение называется выводом, заключением илиследствием умозаключения.
Роль связующего звена, т. е. логической связи между исходными мыслями в умозаключении— назовем его простым категорическим силлогизмом,— играет понятие, входящее в посылки( средний термин). В умозаключениях же из сложных суждений эту связующую роль исполняет отдельное простое суждение, также вводящее в посылки. Оно может служить основанием, следствием условного суждения либо членом деления разделительного суждения.
Виды умозаключений классифицируются( различаются) в соответствии с видами суждений, входящих в состав этих умозаключений. Умозаключения делятся на виды как по количеству и качеству посылок, которые имеются в составе умозаключения, так и по направленности движения мысли. Различают умозаключения из простых категорических суждений, из простых суждений отношения, из сложных суждений, а также дедуктивные, индуктивные, интрадуктивные умозаключения. Умозаключения из простых категорических суждений по-другому называют простой категорический силлогизм, а соответственно умозаключения из сложных суждений— условные и разделительные силлогизмы, которые могут комбинироваться между собой. Традиционно термин « силлогизм » относят к простому категорическому умозаключению, однако он также относится и ко всем дедуктивным умозаключениям.
Виды умозаключений
Умозаключения, состоящие из одной посылки, называются непосредственными умозаключениями, в действительности представляющими собой простое суждение.
Если мы в посылку подставим два отрицания: одно— перед связкой, а другое— перед предикатом, то наше исходное умозаключение потерпит так называемое превращение и в результате будет новым суждением. Умозаключения принято изображать так: формулируется посылка( или посылки), под ней изображается черта, которая обозначает слово « следовательно », а под чертой записывается вывод. Если посылкой является общеутвердительное суждение, то превращение выглядит так: « Все S есть Р. Ни одно S не есть не-P >.
Приведем пример превращения конкретного суждения: « Все металлы электропроводны »; « Ни один металл не является неэлектропроводным ».
Если в качестве посылки взять общеотрицательное сцждение, то превращение будет выглядеть так: « Ни одно S не есть Р. Все S есть не-P >.
Обращение представляет собой разновидность непосредственного умозаключения. При обращении— вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки— на место предиката.