15
Июл

ЛОГИКА

  Автор: admin   , категория Лекции

вследствии чего возникают неправильные умозаключения (учетверение
терминов) и доказательства (подмена тезиса). Об этом будет речь впере-
ди, в частности в разделе, посвященном логическим ошибкам.

Символическое выражение закона: А = А.

2. Закон противоречия (его называют также и законом непротиворе-
чия): два противоречащих друг другу суждения об одном и том же предме-
те, взятом в одном и том же отношении и в одно и то же время, не могут
быть одновременно истинными. __^

Символическое выражение этого закона: А & А.

3. Закон исключенного третьего: из двух противоречащих друг другу суж-
дений одно непременно истинно. А может быть либо Ь, либо Ь. Третьего
не дано. Важный вопрос о том, можно ли средствами формальной логики
передавать противоречия, мы рассмотрим далее в курсе.

Закон исключенного третьего применяется только: ;

• К двум единичным противоречащим суждениям. Например, к таким:

Нил является крупнейшей рекой Африки.
Нил не является крупнейшей рекой Африки.

Какое-то из этих двух суждений непременно истинно, а какое-то
непременно ложно.

• К двум суждениям, одно из которых общеутвердительное, а другое
частноотрицательное:

Все рыбы дышат жабрами.
Некоторые рыбы не дышат жабрами.

• К двум суждениям, одно из которых общеотрицательное, а другое
частноутвердительное:

Ни одно синтетическое вещество не электропроводно.
Некоторые синтетические вещества электропроводны. _
Символическое выражение закона исключенного третьего: AvA.

4. Закон достаточного основания: всякая мысль, чтобы быть истинной, |
должна быть доказанной, т. е. должны существовать достаточные аргумен- ‘
ты в пользу ее истинности. Иными словами, относительно всякого утвер-
ждения мы имеем право требовать достаточных доказательств, в против-
ном случае мы можем не принимать его в расчет. Данный закон уже выхо-
дит за рамки формально-логического закона, так как требует соотнесения
мысли с действительностью. На этом основании некоторые авторы вооб-
ще не считают его логическим: «закон достаточного основания не есть
логический закон, — писал один автор. — Он является скорее пережит-
ком вольфианской метафизики XVIII века»’.

В качестве достаточного основания могут фигурировать: очевидные фак-
ты, факты, проверенные на опыте, законы и положения науки, подтвер-
жденные практикой, аксиомы.

Символическое выражение закона достаточного основания: В -> А.
Это основные законы логики. Существует, конечно, и множество дру-
гих. Среди них можно назвать следующие:

Законы ассоциативности. Это ряд законов, позволяющих по-разному
группировать знаки, соединенные союзами «и» и «или». Эти законы ана-
логичны соответствующим законам в арифметике для сложения и умно-
жения:

(а + b) + с = а + (b + с); (а • Ь) • с = а • (Ь • с)

Закон гипотетического силлогизма: если условием истинности а являет-
ся истинность b, если условием истинности b является истинность с, то

истинность с является условием истинности а.

Закон двойного отрицания: отрицание отрицания дает утверждение:

а = а. Этот закон мы встречаем в одном из высказываний Бардольфа,
действующего лица драмы Шекспира «Генрих IV»: «Нормальный. Это го-
ворят, когда кто-нибудь нормальный, и про кого нельзя сказать, что он

ненормальный».

Законы де Моргана. Это ряд законов, показывающих, как заменяется

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

речь о равносильностях формул логики высказываний.

Закон Дунса Скотта: из ложного высказывания следует какой угодно

вывод.

Закон идемпотентности: в сумме или в произведении два или несколь-
ко одинаковых сообщений дают одно такое сообщение. В логике
а + а = а, а не 2а. Если я сказал, что сегодня среда, а потом сказал еще раз
то же самое, то сколько сообщений я сделал? Если судить по количеству
информации, которую получили мои слушатели, то одно.

Закон Клавия: если из отрицания некоторого высказывания вытекает

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96

Запись оставлена Воскресенье, Июль 15th, 2012 в 8:47 пп в категории Лекции. Вы можете следить за комментариями по RSS 2.0 комментариям. Комментарии и пинги закрыты, извините.

Комментарии закрыты.