Основные законы формальной логики

1) Закон тождества. Не подменять объект мышления другим объектом. Дело в том, что одно слово часто имеет несколько значений. «Общество», например. Это не только ошибка, но и приём в ходе спора (софистика – искусство вводить в заблуждение, основываясь на законах формальной логики).

2) Закон противоречия. Если мы приписываем предмету два несовместимых признака – то одно из двух суждений обязательно ложно. Пример: «стол жёлтый» и «стол красный»; одно из них – обязательно ложное, а оставшееся – не обязательно.

3) Закон исключённого третьего. Если мы предмету предписываем обладание каким-нибудь признаком, а во втором суждении – отрицаем этот признак, то из этих двух суждений обязательно 1 – ложное, 2 – истинное, 3го – не дано. Пример: «стол жёлтый» и «стол не жёлтый».

Обратим вниманий на различия: 2й закон – два утверждения, одно ложно, оставшееся – неизвестно; 3й закон – утверждение и отрицание, одно истинно, оставшееся - ложно.

Позже Аристотель добавил:

4) Закон достаточного основания. Только убедившись, что исходные положения верны – можно двигаться дальше (использовать 1-3 законы). Хотя тут возможны разные трактовки. Например, в средневековье «достаточным основанием» считались ссылки на Библию или Аристотеля. В 20м веке так вообще - достаточном основанием считалась ссылка на Сталина.

60. Что дает и чего не может дать формальная логика?

К сожалению, дедуктивная логика не способна обеспечить получение принципиально нового знания. (Нужно отличать знания «новые для меня» и знания «новые для человечества».) Такая логика способна делать только уточнения. В какой-то степени это исправляет индуктивная логика. Она дает нам новые знания (из единичных фактов – общие), но возможности индуктивной логики ограничены. Путем индукции нельзя вывести ни одной теории, НИКОГДА! Можно установить зависимости, а объяснить их нельзя. (Например, можно установить, что A вызывает B. Но ответит на вопрос о том почему А вызывает B индуктивная логика ответ не дает.)