В повседневной жизни, на экзаменах или в научных дискуссиях мы постоянно сталкиваемся с необходимостью оценить высказывание. Формулировки заданий часто звучат так: «Да или нет: если вы согласны с тем, что данное утверждение верно, напишите ответ». Кажется, что может быть проще? Однако за этой простой бинарной логикой скрывается целый пласт правил, которые помогают нам отличать истину от лжи, а здравый смысл — от логических парадоксов.
Что такое высказывание в логике?
Прежде чем соглашаться или не соглашаться с утверждением, нужно понять, что именно перед нами. В математической логике и информатике существует строгое определение:
- Высказывание, это утверждение или повествовательное предложение, о котором можно однозначно сказать, истинно оно или ложно.
Как подчеркивается в курсе информатики и теории алгоритмов, смысл высказывания не играет никакой роли. Главным являеться только один факт: истинно это высказывание или ложно. Содержание отходит на второй план, уступая место формальной истинности. Это важнейший принцип, который позволяет алгебре логики работать с любыми утверждениями, не погружаясь в их семантику.
Когда вас просят написать «да» или «нет», проверяя согласие с утверждением, важно опираться на законы логики. Они помогут определить ложные суждения и не сделать преждевременных выводов.
Закон достаточного основания
Один факт не подтверждает утверждение. Пример из практики: «Я готовился к экзамену, поэтому я не заслужил двойку». Студент мог просто прочесть лекции, но не заучивать нужный материал. Этот закон помогает не делать поспешных выводов и не верить, например, желтой прессе, где из единичного факта раздувается общее правило.
Закон двойного отрицания
Этот закон гласит: отрицание отрицания дает утверждение. Если вы дважды отрицаете что-либо, вы фактически подтверждаете это. Помните об этом, когда формулировка задания запутана многочисленными «не».
Закон исключенного третьего
Если перед вами истинное высказывание, оно не может быть одновременно ложным, и наоборот. Именно поэтому в заданиях используется строгий выбор: только «Да» или только «Нет». Промежуточного варианта в классической логике не существует.
Закон тождества
Любая мысль должна быть тождественна самой себе на протяжении всего рассуждения. Смысл утверждения не должен подменяться по ходу дела.
Разбираем сложные формулировки: союзы «И» и «ИЛИ»
Часто утверждение состоит из нескольких частей. Как оценивать их истинность?
Конъюнкция (союз «И»)
Если части соединены союзом «И», утверждение истинно только тогда, когда истинны обе части. Если хотя бы одна ложна — всё высказывание ложно.
Дизъюнкция (союз «ИЛИ»)
Здесь многих подстерегает ошибка из-за бытового понимания «или» как строгого выбора. В логике оборот «хотя бы одно» означает одно и больше. Рассмотрим пример из курсов СУНЦ МГУ:
Верно хотя бы одно из следующих утверждений: На завтрак Маша не съела кашу, На завтрак Маша не выпила какао.
Союз «или» несет нужный нам смысл: могут быть верны обе части утверждения выше. Высказывание данного типа истинно, если и только если истинна по крайней мере одна из двух частей. Если снега на самом деле нет (аналогичный пример), то истинной оказываеться первая часть, и этого уже достаточно для ответа «Да».
Парадокс Лжеца: когда «Да» или «Нет» сказать невозможно
Что делать, если утверждение разрушает саму логику? Самый известный пример — Парадокс лжеца. Смысл этого логического парадокса можно заключить в утверждении: «Я лгу» или «Данное утверждение ложно».
Если вы согласны с тем, что оно верно (напишете «Да»), значит, оно истинно, но в нем сказано, что оно ложно. Если напишете «Нет» (считаете его ложным), значит, оно ложно, но тогда то, что оно ложно — правда, и оно должно быть истинным. В логике высказываний нет средства, чтобы установить истинность или ложность такого простого высказывания. Оно просто выпадает из бинарной системы «да/нет».
В каком смысле логика нормативна?
Интересный философский вопрос: обязывает ли нас логика мыслить определенным образом? Как отмечает философ Джон Макфарлейн, логика указывает нам, как мы должны мыслить, если хотим достичь истины. Однако вы не обязаны так делать. В отношении всего, что утверждает логика, у вас даже нет основания так делать, если вы не стремитесь к истинному познанию. Логика нормативна лишь для тех, кто выбирает рациональность.
Здравый смысл против формальной логики
В словарях здравый смысл определяется как здоровый, неповрежденный болезнью рассудок, ум. В повседневной речи под смыслом подразумевается целеполагание, сущностное содержание, идеальная идея или конечная цель (смысл жизни, смысл истории). В других славянских языках (например, чешском) smysl может означать даже ощущение.
Однако в рамках логического анализа языка и решения формальных задач здравый смысл часто мешает. Мы начинаем искать глубокий смысл там, где нужно лишь оценить истинность. Как гласит словарь: смысл — это то, что возможно (в отличие от бессмыслицы). Но в алгебре логики бессмыслица с точки зрения содержания может быть абсолютно валидным высказыванием, если к нему применимо понятие истинности.
Итак, когда вы в следующий раз увидите задание: «Да или нет: если вы согласны с тем, что данное утверждение верно, напишите…», помните главное:
- Отбросьте поиск глубокого смысла — важна только истинность.
- Проверьте утверждение на достаточность оснований (не делайте преждевременных выводов).
- Внимательно читайте союзы: «ИЛИ» означает «хотя бы одно», а не строгий выбор.
- Учитывайте двойное отрицание.
Проверьте себя прямо сейчас: как хорошо вы разбираетесь в логике? Пройдите любой бесплатный онлайн-тест на логику, и вы увидите, что формальный подход делает оценку утверждений прозрачной и понятной!