СЛОЖНЫЕ ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВИДЫ (Логика)

Введение 3
Виды умозоключений 6
Умозаключения, содержащие сложные суждения 8
Условные умозаключения 8
Заключение 14
Список используемой литературы 16

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

Виды умозоключений
1. По характеру логического следования заключений из посылок
все умозаключения делятся на дедуктивные (необходимые) и недедук-
тивные (выроятностные).
Дедуктивные –  умозаключения,  между  посылками  и  заключе-
нием  которых имеет место  отношение  логического  следования,  кото-
рое можно определить следующим образом: из суждения α логически
следует суждение β тогда и только тогда, когда α и β связаны по смыс-
лу, а α→β является логическим законом. При этом α – символическое
выражение посылок, соединенных логическим союзом конъюнкция, β
– символическое выражение заключения. Умозаключение будет дедук-
тивным, если его символическое выражение будет представлять собой
логический закон, т. е. тождественно-истинную формулу, что проверя-
ется посредством таблицы истинности. 
Тождественно-истинная  формула –  формула,  принимающая
логическое значение истины при всех вариантах логических значений
входящих в нее переменных.
...

Условные умозаключения

Чисто условный силлогизм – умозаключение, в котором обе посылки являются условными суждениями.
Если а, то b
a --> b
Если b, то c
b --> c
Если a, то с
а --> c
Условно-категорический силлогизм – умозаключение, в котором одна посылка – условное суждение, а другая посылка и вывод – категорические суждения.
1. Утверждающий модус

Если во второй посылке утверждается следствие первой посылки, то вывод может быть только вероятным.
a-->b
a
b

a-->b
b
вероятно, а
Не знаешь - молчи.
Не знаешь.
Молчи.

Не знаешь - молчи.
Молчишь.
Вероятно, не знаешь.
2. Отрицательный модус

Если отрицается основание условной посылки, то вывод может быть только вероятным.
a-->b

b
а

a-->b

a
вероятно, b
Если на улице светит солнце, то предметы отбрасывают тень.
Предметы не отбрасывают тень.
На улице не солнечно.

Если число делится на четыре, то оно делится на два.
Число не делится на четыре.
Вероятно, оно не делится на два.
...