Логика
Шрифт:
Нужно стремиться к логическому совершенству, но не следует быть педантичным и отбрасывать с порога все, что представляется логически не вполне совершённым.
Глава 4
ВЫСКАЗЫВАНИЯ
1. ПРОСТЫЕ И СЛОЖНЫЕ ВЫСКАЗЫВАНИЯ.
ОТРИЦАНИЕ, КОНЪЮНКЦИЯ, ДИЗЪЮНКЦИЯ
Высказывание — грамматически правильное предложение, взятое вместе с выражаемым им смыслом (содержанием) и являющееся истинным или ложным.
Высказывание — более сложное образование, чем имя. При разложении высказываний на части, мы всегда получаем те или иные имена. Скажем, высказывание «Солнце есть звезда» включает
Понятие высказывания — одно из ключевых в логике. Как таковое, оно не допускает точного определения, в равной мере приложимого в разных её разделах. Ясно, что всякое высказывание описывает определённую ситуацию, что-то утверждая или отрицая о ней, и является истинным или ложным.
Высказывание считается истинным, если даваемое им описание соответствует реальной ситуации, и ложным, если не соответствует ей. «Истина» и «ложь» называются истинностными значениями высказывания.
Из отдельных высказываний разными способами можно строить новые высказывания. Так, из высказываний «Дует ветер» и «Идёт дождь» можно образовать более сложные высказывания «Дует ветер и идёт дождь», «Либо дует ветер, либо идёт дождь», «Если идёт дождь, дует ветер» и т.п. Слова «и», «либо, либо», «если, то» и т.п., служащие для образования сложных высказываний, называются логическими связками.
Высказывание называется простым, если оно не включает других высказываний в качестве своих частей.
Высказывание является сложным, если оно получено с помощью логических связок из нескольких более простых высказываний.
Может показаться, что знакомство с высказываниями естественнее всего начать с изучения простых высказываний и их частей, и уже затем приступить к изучению того, как из простых высказываний образуются сложные. В логике, однако, подход является обратным. Сначала рассматриваются способы построения сложных высказываний из более простых, при этом простое высказывание берётся как неразложимое далее целое (как «атом»), и только затем переходят к выявлению строения простых высказываний. Анализ структуры сложных высказываний предшествует анализу структуры простых. Объясняется это следующим: для того, чтобы понимать способы сочетания высказываний, вовсе не обязательно знать, что такое простое высказывание; достаточно учитывать только то, что последнее имеет определённое значение истинности. Простые высказывания чрезвычайно разнообразны, выявление составляющих их частей во многом зависит от принятого способа их анализа. Некоторые логические связи между высказываниями не зависят от строения простых высказываний. Разумно поэтому поступить так, как если бы мы знали все о простых высказываниях, т.е. оставить вопрос об их структуре на время в стороне и заняться логическими связями высказываний. Последняя задача является относительно лёгкой.
Та часть логики, в которой описываются логические связи высказываний, не зависящие от структуры простых высказываний, называется общей теорией дедукции.
Перейдём теперь к рассмотрению наиболее важных способов построения сложных высказываний.
Отрицание — логическая связка, с помощью которой из данного высказывания получается новое, причём, если исходное высказывание истинно, его отрицание будет ложным, и наоборот. Отрицательное высказывание состоит из исходного высказывания и отрицания, выражаемого обычно словами «не», «неверно, что». Отрицательное высказывание является, таким образом, сложным высказыванием: оно включает в качестве своей части отличное от него высказывание. Например,
Будем обозначать высказывания буквами А, В, С, …, отрицание высказывания — символом ~. Полный смысл понятия отрицания высказывания задаётся условием: если высказывание Л истинно, его отрицание А ложно, и если А ложно, его отрицание, ~А, истинно. Например, так как высказывание «1 есть целое положительное число» истинно, его отрицание «1 не является целым положительным числом» ложно, а так как «1 есть простое число» ложно, его отрицание «1 не есть простое число» истинно.
Определению отрицания можно придать форму таблицы истинности, в которой «и» означает «истинно» и «л» — «ложно».
В результате соединения двух высказываний при помощи слова «и», мы получаем сложное высказывание, называемое конъюнкцией. Высказывания, соединяемые таким способом, называются членами конъюнкции. Например, если высказывания «Сегодня жарко» и «Вчера было холодно» соединить связкой «и» получится конъюнкция «Сегодня жарко и вчера было холодно».
Конъюнкция истинна только в случае, когда оба входящих в неё высказывания являются истинными; если хотя бы один из её членов ложен, то и вся конъюнкция ложна.
Высказывание А может быть либо истинным, либо ложным, и то же самое можно сказать о высказывании В. Следовательно, возможны четыре пары значений истинности для этих высказываний.
Обозначим конъюнкцию символом &. Таблица истинности для конъюнкции приведена ниже.
Определение конъюнкции, как и определения других логических связок, служащих для образования сложных высказываний, основывается на следующих двух предположениях:
1) каждое высказывание (как простое, так и сложное) имеет одно и только одно из двух значений истинности: оно является либо истинным, либо ложным;
2) истинностное значение сложного высказывания зависит только от истинностных значений входящих в него высказываний и способа их логической связи между собой.
Эти предположения кажутся простыми. Приняв их, нужно, однако, отбросить идею, что, наряду с истинными и ложными высказываниями, могут существовать также высказывания неопределённые с точки зрения своего истинностного значения (такие, как, скажем, «Через пять лет в это время будет идти дождь с громом» и т.п.). Нужно отказаться также от того, что истинностное значение сложного высказывания зависит от «связи по смыслу» соединяемых высказываний.
В обычном языке два высказывания соединяются союзом «и», когда они связаны между собой по содержанию, или смыслу. Характер этой связи не вполне ясен, но понятно, что мы не рассматривали бы конъюнкцию «Он шёл в пальто и я шёл в университет» как выражение, имеющее смысл и способное быть истинным или ложным. Хотя высказывания «2 — простое число» и «Москва — большой город» истинны, мы не склонны считать истинной также их конъюнкцию «2 — простое число и Москва — большой город», поскольку составляющие её высказывания не связаны между собою по смыслу.