Вопрос.
Аналогичные
Индуктивные
Дедуктивные
Непосредственными называются умозаключения, которые строятся на основе только одной посылки. К непосредственным умозаключениям относятся: превращение, обращение, противопоставления предикату, умозаключения по логическому квадрату.
Превращения - это вид непосредственного умозаключения, при построении которого количественная характеристика посылки не меняется, а качественная формально меняется на противоположную. Превращение строится 2мя способами:
1) Двойное отрицание используется в тех случаях, когда посылка утверждающая. S есть P->S не есть не P.
2) Перенос отрицания используется в тех случаях, когда посылка отрицающая. S не есть P->S есть не P.
Превращение характерно для всех видов простых суждений, при этом общеутвердительное суждение превращается в общеотрицательное и наоборот А->E, E->A, а частноутвердительное в частноотрицательное и наоборот I->O, O->I.
Обращение - разновидность непосредственного умозаключения, при построении которого предикат посылки становится субъектом вывода, субъект посылки становится предикатом вывода, а логическая связка при этом не меняется S есть P->P есть S.
Принято различать 2 основных способа обращения:
1) Ограниченное, в ходе которого кванторное слово посылки меняется на противоположное.
2) Чистое обращение, в ходе которого кванторное слово посылки в выводе не меняется.
Вид обращения зависит от распределённости терминов посылки. Обращение характерно для всех видов простых суждений за исключением частноотрицательного. При этом общеутвердительное суждение может обращаться само в себя, либо в частноутвердительное суждение. Общеотрицательное всегда обращается только само в себя. Частноутвердительное может обращаться либо само в себя, либо в общеутвердительное.
Противопоставления предикату - это разновидность непосредственного умозаключения, при построении которого предикат посылки становится отрицанием субъекта в выводе, субъект посылки становится предикатом в выводе, а логическая связка меняется на противоположную S есть P-> не P есть S. Противопоставление предикату можно рассматривать как превращение и обращение, следующие друг за другом S есть P->S не есть не P>не P не есть S.
Противопоставление предикату характерно для всех видов простых суждений, за исключением частноутвердительных, при этом общеутвердительное суждение противопоставляется общеотрицательное A->E, общеотрицательное противопоставляется в частноутвердительное E->I, частноотрицательное также противопоставляется в частноутвердительное O->I.
3 вопрос.
Дедуктивными называются умозаключения, при построении которых вывод с необходимостью следует из посылок. Обобщенно дедуктивные умозаключения называются силлогизмы, а их особенностями являются во-первых переход от общей информации к частной, во-вторых получение достоверного вывода при соблюдении правил построения. Наиболее простой разновидностью дедуктивных умозаключений считается простой категорический силлогизм.
3.1) Простой категорический силлогизм - это разновидность дедуктивных умозаключений, которая строится на основе 2х посылок и включает в свой состав 3 вида терминов:
а) Средний термин - это понятие, содержащееся в обоих посылках показывающее между ними взаимосвязь, но в выводе неотражающееся (М).
б) Больший термин - это понятие, которое содержится в первой посылке а в вывод переносится на место предиката.
в) Меньший термин - это понятие, которое содержится во второй посылке, а в вывод переносится на место субъекта.
Пример. Все суждения являются предложениями.
Некоторые суждения утвердительны.
Вывод. Некоторые утверждения являются предложениями.
Для того, чтобы проверить вывод простого силлогизма на истинность используется 2 взаимосвязанных параметра:
а) Фигура силлогизма - схема, которая показывает различное расположение среднего термина в посылках. Принято различать 4 типа фигур: фигуры первого типа, фигура второго типа, фигура третьего типа, фигура четвертого типа.
б) Модус силлогизма - это схема, показывающая класс простых суждений, входящих в состав силлогизма (ААА). Принято различать 19 правильных модусов, которые подтверждают истинность вывода силлогизма. При этом для первой фигуры характерны 4 модуса, для второй 4, для третьей 6, для четвертой 5.
Для того, чтобы правильно построить вывод простого категорического силлогизма необходимо учитывать 3 основные группы правил: общее правило фигур, общие правило посылок, общие правила терминов силлогизмов.