37

Логическая схема сложной конструктивной дилеммы

.

bd

Впростой деструктивной дилемме условная посылка содержит одно основание, из которого вытекают два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.

Логическая схема простой деструктивной дилеммы

.

a

В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.

Логическая схема сложной деструктивной дилеммы

.

a c

Второй семинар по умозаключениям посвящён индуктивным, или правдоподобным умозаключениям. Индукция (от лат. inductio –

наведение) – 1) логический вывод, в котором совершается переход мысли от частного знания к общему заключению; 2) метод исследования, познания, связанный с обобщением результатов наблюдения и экспериментов. Как правило, в научной литературе индуктивные умозаключения противопоставляются дедуктивным. В отличие от дедуктивных умозаключений индуктивные логические выводы носят правдоподобный (вероятностный) характер даже при соблюдении всех правил логического следования. Индуктивные умозаключения относят к

38

методам установления причинно-следственных связей. Часто индуктивные умозаключения называют обобщением.

Во все индуктивные обобщения мы всегда добавляем – «вероятно». Например: «Вероятно, все лебеди белые». Исходные суждения в индуктивных умозаключениях, как и в дедуктивных, называются посылками. Но в дедукции это общие (или частные) суждения, а в индукции – единичные суждения. Заключение в индукции, главным образом общее (хотя может быть и частным), тогда как в дедукции оно может быть и частным, и единичным.

Все индуктивные умозаключения делятся на два вида – полная индукция и неполная.

Индуктивные умозаключения

Логический вывод полной индукции будет истинным, если: 1) все посылки истинны по содержанию; 2) между ними и заключением есть отношение логического следования. Если хотя бы одно из этих условий не соблюдено, то умозаключение полной индукции может оказаться ложным.

Неполная индукция делится на популярную (энумеративную) и научную (элиминативную). Научную индукцию также называют индукцией Бэкона-Милля (по имени учёных, разработавших правила или каноны). Методы или каноны научной индукции: 1) сходства; 2) различия; 3) соединённый метод сходства и различия; 4) сопутствующих изменений; 5) остатков.

39

1.Метод сходства: если причина АВС вызывает явление K, а причина АDЕ – явление К, то делается заключение, что А – причина К.

2.Метод различия: если причина АВС вызывает явление К, а ВС не вызывает явление К, то делается предположение, что А – причина К.

3.Объединённый метод сходства и различия образуется как подтверждение результата, полученного с помощью метода сходства, применением к нему метода различия.

4.Метод сопутствующих изменений: если при изменении причины А изменяется и изучаемое нами явление К, а все остальные предшествующие обстоятельства, например ВСDЕ, остаются неизменными, то А является причиной К.

5.Метод остатков: если установлено, что АВС – единственные причины сложного явления К, при этом известно, что В и С – причина части целого (явления К), то можно предположить, что А есть причина или, по крайней мере, находится в причинной связи с явлением К.

В научной индукции предметы для исследования отбираются по особым признакам, предполагающим знание того, какие факторы могут влиять на интересующее нас явление (событие). Если отбор предметов для посылок научной индукции преследует цель отразить все разновидности предметов исследуемого класса, то индукция будет по репрезентативной выборке. Если цель отбора состоит в том, чтобы выбрать наиболее типичных представителей для посылок, то индукция будет по типичному представителю. Последний вид индукции используется для получения выводов о классе, составляющие элементы которого существенно не отличаются друг от друга.

К индуктивным умозаключениям относятся также статистические выводы. Это логические умозаключения о том, что определённый процент (часть) элементов некоторого класса обладает каким-то свойством. В статистических обобщениях используется репрезентативная выборка.

Методы установления причинных зависимостей тоже относятся к индуктивным обобщениям. Здесь делается вывод о закономерностях (причинах) появления того или иного события (класса). Индуктивный логический вывод, связанный с обобщением результатов наблюдения и

40

экспериментов, – это умозаключение от частного знания к общему. При этом следует отметить, что индуктивный логический вывод, в отличие от дедуктивного, не обеспечивает достоверную истинность заключения.

К индуктивным умозаключениям, хотя и не бесспорно относят аналогию. Аналогия (от греч. analogia – соответствие) – это умозаключение, в котором на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам.

Аналогия – довольно распространённый в обыкновенной жизни логический приём. Можно даже говорить о естественной привычке человека к аналогии, ибо часто мы умозаключаем как раз на основе аналогии – через определения сходного в различном и различного в сходном. Она привлекается как для получения нового знания, так и для иллюстрации труднодоступного материала студентам, ученикам и др. Аналогия вполне может выступать в роли гипотезы, особенно на первых этапах гипотетико-дедуктивного рассуждения. Аналогия лежит в основе моделирования. Она часто применяется в художественном творчестве, в обычной жизни, в этических оценках, в идеологии, религии и т.д. Аналогия также применяется в правовой сфере. В частности, широко применяется методологическое правило аналогии права и закона. Формальное строение аналогии соответствует другим видам умозаключений. В аналогии тоже есть посылки, логическая связь и заключение. Посылки в аналогии – это исходные суждения, имеющие сходные (но нетождественные) признаки. Исходное суждение в аналогии называется объектом-оригиналом; суждение, на которые переносится сходный признак – субъектом-моделью; суждение, в котором утверждается наличие переносимого признака, называется заключением. Кратко: оригинал модель заключение. Признак, переносимый с образца на модель, называется переносимым признаком, или сходным, или основанием аналогии. Исходные суждения аналогии (объект + модель) называются терминами умозаключения по аналогии.

Виды аналогии. Аналогия делится по степени достоверности логического вывода на 1) поверхностную (нестрогую); 2) основательную (строгую). Различают также аналогию предметов и аналогию отношений.