Сокращенные и сложные силлогизмы
Энтимема сокращенная форма силлогизма. Может быть с опущенной посылкой или заключением.
Умозаключение, в которое входит два и более силлогизмов, называют полисиллогизмом.В прогрессивном полисиллогизме заключение предыдущего силлогизма становится большой посылкой последующего. Регрессивный полисиллогизм, наоборот, переводит предыдущее заключение в меньшую посылку.
Прогрессивный и регрессивный сориты получаются из соответствующих полисиллогизмов за счет сокращения части посылок, которые опускаются.
Эпихейрема - самое сложное умозаключение среди силлогизмов. Она составляется из двух энтимем. Каждая из них, точнее их заключения, играют роль посылок. Заключение всего такого сложного образования - простое категорическое суждение.
Умозаключения логики высказываний.
Логика высказываний рассматривает сложные суждения и умозаключения из них. Такие умозаключения основываются только на связях между суждениями, т.е. на смысле логических союзов. В них не учитываются отношения между терминами.
К таким умозаключениям относят условные, разделительные и их различные сочетания: 1) собственно условные (чисто условные); 2) условно-категорические; 3) условно-разделительные; 4) разделительно-категорические.
Собственно условные умозаключения содержат и в посылках, и в заключении одни только условные суждения:
p → q
q → r следовательно
p → r
Либо: ((p → q) ^ ( q → r)) →( p → r)
Правило чисто условного умозаключения: Следствие следствия есть следствие основания.
Условно-категорическое умозаключение имеет одну из посылок и заключение, выражаемые категорическими суждениями, а вторая посылка – условное суждение. Вывод в условно-категорическом умозаключении можно делать либо от утверждения основания к утверждению следствия (утвержающий модус), либо от отрицания следствия к отрицанию основания (отрицающий модус).
Modus ponens - утверждающий Modus tollens -отрицающий модус
p→ q p→ q
p следовательно ┐q следовательно
q ┐p
Либо: ((p→ q) ^ p) → q Либо: ((p→ q) ^ ┐q) → ┐p
Собственно разделительные умозаключения содержат в качестве посылок и заключения одни только разделительные суждения.
((p ٧ q) ^ (q ٧ r)) → p ٧ q ٧ r
Разделительно-категорические умозаключения содержат наряду с разделительной (большая) еще и категорическую посылку (меньшая). Заключение в них тоже выражается категорическим суждением. У этого вида умозаключения два правильных модуса. Первый модус называется tollendo ponens (отрицающе-утверждающим): через отрицание одного из дизъюнктов в меньшей посылке приходят к утверждению другого дизъюнкта в заключении.
((p ٧ q) ^ ┐p) → q
Правило: В разделительной посылке должны быть перечислены все возможные суждения, т.е. это должна быть закрытая дизъюнкция.
Другой модус - ponendo tollens (утверждающе-отрицающий): отрицает один из дизъюнктов в выводе, а не в посылке. В меньшей посылке утверждается один из дизъюнктов.
((p ٧ q) ^ p) → ┐q
Правило:Разделительная посылка обязательно должна быть выделяющей или иметь смысл строгой дизъюнкции.
Условно-разделительные силлогизмы содержат в различных сочетаниях условные и разделительные суждения в посылках и заключениях. В зависимости от количества альтернатив, содержащихся в разделительной посылке их разделяют на дилеммы (2 альтернативы), трилеммы (3 альтернативы), полилеммы (4 и больше). Кроме того, эти умозаключения распадаются на четыре разновидности: простые (заключением является следствие условных посылок или отрицание их основания) и сложные (заключением является дизъюнкция следствий условных посылок или отрицаний их оснований), каждая из которых в свою очередь подразделяется на конструктивные (в заключение входят следствия условных посылок) и деструктивные (в заключения входят отрицания оснований условных посылок).
В простой конструктивной дилемме из двух условных и одной разделительной посылок делается вывод простым суждением. В условной посылке содержатся два основания, из которых вытекает одно и то же следствие.
((p → r) ^ (q → r) ^ (p ٧ q)) → r
Простая деструктивная дилемма приводит всегда к отрицательному простому суждению в заключении. В условной посылке из одного основания вытекает два различных следствий. Разделительная посылка отрицает оба следствия, а заключение отрицает основание.
((p → q) ^ (p→ r) ^ (┐q ٧ ┐r)) → ┐p
Сложные дилеммы содержат в заключении сложные суждения. В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
((p → q ^ (r → s) ^ (p ٧ r)) → (q ٧ s)
Сложная деструктивная дилемма имеет такую же первую посылку, как и сложная конструктивная. Но во второй посылке отрицаются оба следствия., заключение отрицает оба следствия.
((p → q ^ (r → s) ^ (┐q ٧ ┐s)) → (┐p ٧ ┐r)
Индуктивные умозаключения
Индукция - это умозаключение, в результате которого на основе знания об отдельных предметах какого-либо класса делается вывод обо всем классе этих предметов.
Виды индукции
По характеру исследования индукцию принято подразделять на:
1. Полную, где заключение о принадлежности некоторого признака всему классу явлений получают на основе повторяемости этого признака у каждого из явлений класса.
S1 - P
S2 - P
S3 - P
-------
Sn – P
Только S1, S2, S3……Sn составляют класс К
Следовательно, каждый элемент класса К – Р
2.Неполную, когда заключение получают на основе повторяемости признака у некоторых явлений класса.
S1 - P
S2 - P
S3 - P
-------
S1, S2, S3…… составляют класс К
Вероятно, каждый элемент класса К – Р
Полная индукция дает достоверные заключения, неполная – только вероятные.
По способам обоснования заключения различают два вида неполной индукции:
- индукция путем перечисления (популярная).
- индукция путем отбора (научная).
Методы научной индукции:
Метод сходства:
ABC – вызывает d
MFB – вызывает d
MBC - вызывает d
По-видимому, B является причиной d
Метод различения:
ABCDE – вызывает d
ABCD – не вызывает d
По-видимому, E является причиной d
Совместный метод сходства и различения
ABC – вызывает d
MFB - вызывает d
MBC - вызывает d
AC – не вызывает d
MF – не вызывает d
MC – не вызывает d
По-видимому, В является причиной d
Метод сопутствующих изменений:
ABC1- вызывает d1
ABC2- вызывает d2
ABCn- вызывает dn
По-видимому С, является причиной d
Метод остатков:
ABC- вызывает xyz
A – вызывает x
B- вызывает y
C вызывает z
Умозаключение по аналогии
Аналогия представляет собой вид умозаключения, в котором знания об одном предмете переносятся на предмет другой природы на основании наличия сходства между ними.
Виды аналогии:
Аналогия свойств Аналогия отношений
P(a) Ù P(b) P(a1,a2,an) Ù P(b1,b2,bn)
S(a) Ù S(b) S(a1,a2,an) Ù S(b1,b2,bn)
R(a) Ù R(b) R(a1,a2,an) Ù R(b1,b2,bn)
a≈b a≈b
Q(a)Q(a1,a2,an)
Q(b) Q(b1,b2,bn)