Основы математической логики. Дедукция и индукция. Необходимость и достаточность

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

Не всякий вывод является правильным. Чтобы делать правильные выводы, надо знать законы математической логики.

1.6.1. Дедукция и индукция – логические переходы от общего к частному и наоборот. Метод полной математической индукции и логическая ошибка неполной индукции

.

Дедукция – логический переход от общего к частному. Если некий элемент принадлежит некоторому множеству элементов, и некое высказывание верно для всего множества, то оно верно и для этого элемента.

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

1. сначала высказывание проверяется для одного элемента множества (для n=1)

2. затем проверяется шаг индукции – если из предпосылки о верности высказывания для одного элемента следует его верность и для другого элемента (если из предпосылки верность для n=k следует верность и для n=k+1)

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

Примеры применения метода полной математической индукции есть в учебниках по математике.

Очень частая логическая ошибка – неполная индукция. Например: "1 января – праздник, 2 января – праздник, 3 января – праздник, значит все дни – праздники". Здесь не доказан шаг индукции. В результате логической ошибки неполной индукции возникают приметы, религии и другие ошибочные взгляды. Например, после 2–3 наблюдений кто‑то сделал вывод о наличии некой приметы или предполагаемой закономерности. Но математическая логика запрещает так делать.

В естественных науках – в физике, химии и пр. – шаг полной математической индукции может быть доказан посредством нахождения материальной причинно‑следственной связи между явлениями природы. Например, законы сохранения массы, энергии и импульса объясняются через однородность времени и пространства (равноценность всех моментов времени, точек пространства), закон сохранения момента импульса – через изотропность пространства (равноценность всех направлений). Биологическая эволюция объясняется изменчивостью, мутациями, наследственностью и естественным отбором. Второй закон термодинамики имеет статистическое объяснение по Больцману. Закон Хаббла объясняется расширением Вселенной – разбеганием галактик и пр.

Нахождение логического причинно‑следственного объяснения той или иной закономерности принципиально важно – это шаг полной математической индукции (глава 1.3). Без него накопленные факты даже в очень большом количестве ещё пока не дают оснований делать вывод о закономерности. Факты дают лишь право на выдвижение гипотезы – предполагаемой закономерности. Гипотеза должна быть проверена, причем не только попыткой подтверждения, но и попыткой опровержения по Попперу.

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

Дата добавления: 2015-05-08