§ библиотека мастерская Помощь Контакты Вход —

Ивин А.А. Логика: Учебник для гуманитарных вузов

В каталоге: Разное
Прислано в библиотеку: Gallaxy
Стр. 167

Символически законы коммутативности для конъюнкции и дизъюнкции записываются так:

(А & В) ↔ (В & А),

A и B тогда и только тогда, когда B и A;

(A v В) ↔ (В v А),

A или B, если и только если B или A.

Данные эквивалентности можно проиллюстрировать примерами: «Волга – самая длинная река в Европе и Волга впадает в Каспийское море в том и только том случае, если Волга впадает в Каспийское море и Волга является самой длинной рекой в Европе»; «Завтра будет дождь или будет снег, если и только если завтра будет снег или завтра будет дождь».

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

Закон Дунса Скотта

Закон, носящий имя средневекового логика и философа, монаха Дунса Скотта, характеризует ложное высказывание. Смысл этого закона можно приблизительно передать так: из ложного утверждения вытекает какое угодно утверждение. Это звучит парадоксально: из того, что дважды два равно пяти, вовсе не вытекает, как кажется, что Луна сделана из зеленого сыра. Не все современные описания логического следования принимают эту его характеристику.

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

из 332
Предыдущая    Следующая
 
Реклама
Авторизуйтесь