5. Аналогия.

Аналогией называется вероятностное умозаключение, в котором заключение о принадлежности предмету определенного признака делается на основании сходства этого предмета с другим в ряде известных признаков. Логическую структур аналогии можно выразить схемой:

А обладает признаками a,b,c,d

В обладает признаками a, b, c .

Вероятно, В также обладает признаком d

(d — переносимый признак).

По характеру переносимого признака различают аналогию свойств и аналогию отношений. Если этот признак выражает свойство, то умозаключение относится к аналогии свойств, а если он выражает отношение, то — к аналогии отношений.

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

Тема 7. Доказательство и опровержение.

1. Состав доказательства и опровержения. Виды доказательств и опровержений.

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

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

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

Опровержение в своей сущности является тоже доказательством. Если доказательство как логический процесс предполагает обоснование истинности суждения, то опровержение есть процесс обоснования ложности суждения.

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