Глава 4. Рассуждение

СТРОНЦИЙ АСПЕКТ ПРИПЕВ ?

Аналогия отношений — рассуждение, в кото­ром делается вывод о некотором отношении между элементами одной системы на основании установлен­ного подобного отношения между элементами дру­гой системы, сходной с первой по ясно определен­ным критериям.

1. СОФА 2. НОС ? 2. НОС 3. ?

Аналогией предметов называется рассуждение, в котором делается вывод о принадлежности некото­рого элемента одной системе на основании принад­лежности подобного элемента другой системе, если две системы сходны по ясно определенным крите­риям, а сравниваемые элементы аналогичны по свой­ствам или отношениям.

?

•

миля

досьол

(анаграмма)

ДОЛЯ

Распространенная аналогия — рассуждение, в котором делается вывод от сходства явлений к

127

Логика

сходству причин. Примером распространенной ана­логии является диагностирование.

Строгая аналогия — рассуждение, в котором делается вывод от сходства двух предметов по одно­му признаку к их сходству по другому признаку, если сравниваемые признаки взаимозависимы.

Упражнение

4.14. Решите все задачи, приведенные в каче­стве примеров рассуждения по аналогии. Составьте свои примеры для всех типов ана­логии.

4.5. Силлогистика

Исторически первой дедуктивной теорией рассуж­дения является учение Аристотеля о силлогизмах, которое в последующем получило название «тради­ционная логика». В силлогистике анализируются правила заключения из посылок, выраженных в ка­тегорической форме безусловных атрибутивных суждений о принадлежности данного свойства рас­сматриваемому предмету.

Категорические суждения по качеству делятся на утвердительные и отрицательные. Структура утвердительных категорических суждений имеет вид 5 есть Р, где S является субъектом суждения, то есть термином, обозначающим понятие предмета суж­дения; Р — предикат суждения, то есть термин, обо­значающий понятие свойства, приписываемого пред-

128

Глава 4. Рассуждение

мету суждения. Пример утвердительного сужде­ния: «Человек — это разумное существо». Отри­цательные категорические суждения имеют струк­туру S не есть Р. Например, «Обвиняемый не обя­зан доказывать свою невиновность».

Категорические суждения по количеству делятся на общие и частные. Суждение называется общим, если объем понятия, обозначенного субъектом суж­дения, полностью включается в объем понятия, обо­значенного предикатом суждения, либо полностью исключается из этого объема. Структура общих кате­горических суждений имеет вид Все S есть Р или Все S не есть Р. Например, «Все люди смертны», «Лю­бое простое число не делится на 12». Утвердительное суждение называется частным, если пересечение объе­мов субъекта и предиката суждения, по крайней мере, не пусто. Например, «Существует простое четное чис­ло». Отрицательное суждение называется частным, если, по крайней мере, один элемент объема субъекта суждения не включается в объем предиката сужде­ния. Например, «Некоторые студенты не посещают занятия». Структура частных категорических суж­дений имеет вид Некоторые S есть Р или Некото­рые S не есть Р. Таким образом, можно различать общеутвердительные (А), общеотрицательные (Е), час-тноутвердительные (1) и частноотрицательные (0) ка­тегорические суждения.

Простым категорическим силлогизмом на­зывается рассуждение в форме последовательности трех категорических суждений, заключение которого имеет субъектно-предикатную структуру (есть Р), а две посылки объединены средним термином (М). Простой категорический силлогизм имеет следую­щий вид: