Мир вокруг нас никогда не будет логически безупречен, поскольку:
1) помимо логических суждений есть суждения эмпирические, которые доказываются только опытом. Утверждение «Все холостяки не женаты» можно обосновать, уточнив значение всех входящих в него слов («холостяк и есть тот, кто не женат»). Утверждение «Все лебеди белые» – эмпирическое: надо посетить Новую Зеландию, чтобы своими глазами убедиться в существовании черных лебедей.[4]
2) окружающие нас явления слишком отличаются от предикатов классической логики. Предикат «четное число» может быть исчерпывающе описан условием «Если число можно разделить на два без остатка, оно четное». Ученые в таких случаях говорят, что соблюдены необходимые и достаточные условия. Но попробуем найти необходимые и достаточные условия для такого явления, как «игра». Мы не обнаружим никакого общего знаменателя, к которому можно свести смысл игры. Физическая активность? Тогда шахматы остаются за бортом. Отсутствие материального интереса? А как же Олимпийские игры? Словом, мы увидим множество характерных, легкоузнаваемых признаков, которые складываются в разные подмножества.
Логика компьютера другая?
Кажется, интуитивное представление об игре и прочих жизненных явлениях нисколько не мешает нам жить. На самом деле очень мешает. Насколько, например, широко понятие «материнства»? Участившиеся в последнее время скандалы с суррогатными матерями подчеркивают сложность проблемы.
Конец ознакомительного фрагмента.
Текст предоставлен ООО «ЛитРес».
Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.
Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.
