· В прямых умозаключениях вывод представляет собой получение некоторого заключения из множества суждений, являющихся посылками.
Силлогизм представляет собой умозаключение, составными частями которого являются категорические суждения. Вывод представляет собой получение нового суждения из одного или нескольких имеющихся суждений.
Различают два основных вида силлогизмов: непосредственные и опосредованные.
Силлогизм, в котором вывод делается из одной посылки, называется непосредственным.
Видами непосредственного силлогизма являются: превращение, обращение, противопоставление предикату, умозаключение по логическому квадрату.
Силлогизм, в котором вывод делается из двух или нескольких посылок, называется опосредованным.
Опосредованные силлогизмы бывают двух основных видов: простой категорический силлогизм и сложный силлогизм.
превращением называется операция изменения связки исходного суждения на противоположную, а предиката - на противоречащее понятие.
обращение - это умозаключение, в котором субъект исходного суждения становится предикатом и, наоборот, предикат - субъектом заключения.
Противопоставление предикату - это умозаключение, в котором субъектом заключения становится понятие, противоречащее предикату, а предикатом - субъект исходного суждения.
Простой категорический силлогизм является дедуктивным умозаключением, которое состоит из двух посылок и заключения. В простом категорическом силлогизме в заключении устанавливается отношение между двумя понятиями на основе знания их отношения к третьему понятию.
всё, что утверждается относительно всего множества, утверждается и относительно каждого члена этого множества, точно так же, всё что отрицается относительно всего множества, отрицается и относительно каждого члена этого множества.
Семантическое требование истинности силлогизма означает, что из истинных посылок должны следовать истинные заключения. Другими словами, это предполагает, что между посылками и заключением должно существовать логическое следование. А для этого, прежде всего, посылки должны быть истинными суждениями.
Синтаксические правила предполагают, что силлогизм может давать истинные заключения по сугубо формальным правилам, без обращения к конкретному содержанию и значению суждений.
[1]