Логика

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

Ясно, что классификация вообще не придерживается никакого твёрдого основания, в ней нет даже намёка на единство и неизменность основания в ходе деления. Каждая новая группа животных выделяется на основе собственных своеобразных признаков, безотносительно к тому, по каким признакам обособляются другие группы. Связь между группами оказывается почти полностью разрушенной, никакой координации и субординации между ними установить невозможно. Можно предполагать, что сирены относятся к сказочным животным, а молочные поросята и бродячие собаки не принадлежат ни к тем, ни к другим. Но относятся ли сирены, сказочные животные, молочные поросята и бродячие животные к тем животным, что буйствуют, как в безумии, или к неисчислимым, или к тем, которые нарисованы тонкой кисточкой? Как соотносятся между собой животные, только что разбившие кувшин, и животные, издалека кажущиеся мухами? На подобные вопросы невозможно ответить, да их и бессмысленно задавать, поскольку очевидно, что никакого единого принципа в основе этой классификации не лежит. Далее, члены деления здесь не исключают друг друга. Всех перечисленных животных можно нарисовать, многие из них издалека могут казаться мухами, все они включены в классификацию и т.д. Относительно того, что перечисленные виды животных исчерпывают множество всех животных, можно говорить только с натяжкой: те животные, которые не упоминаются прямо, свалены в кучу в рубрике «и прочие». И наконец, очевидны скачки, допускаемые в данном делении. Различаются как будто сказочные и реально существующие животные, но вместо особого упоминания последних перечисляются их отдельные виды – поросята и собаки, причём не все поросята, а только молочные, и не все собаки, а лишь бродячие.

Классификации, подобные этой, настолько сумбурны, что возникает даже сомнение, следует ли вообще считать их делениями каких-то понятий. О возможности усовершенствования таких классификаций, придании им хотя бы видимости системы и порядка не приходится и говорить.

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

Нужно стремиться к логическому совершенству, но не следует быть педантичным и отбрасывать с порога все, что представляется логически не вполне совершённым.

Глава 4 Высказывания

1. Простые и сложные высказывания. Отрицание, конъюнкция, дизъюнкция

Высказывание – грамматически правильное предложение, взятое вместе с выражаемым им смыслом (содержанием) и являющееся истинным или ложным.

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

Понятие высказывания – одно из ключевых в логике. Как таковое, оно не допускает точного определения, в равной мере приложимого в разных её разделах. Ясно, что всякое высказывание описывает определённую ситуацию, что-то утверждая или отрицая о ней, и является истинным или ложным.

Высказывание считается истинным, если даваемое им описание соответствует реальной ситуации, и ложным, если не соответствует ей. «Истина» и «ложь» называются истинностными значениями высказывания.

Из отдельных высказываний разными способами можно строить новые высказывания. Так, из высказываний «Дует ветер» и «Идёт дождь» можно образовать более сложные высказывания «Дует ветер и идёт дождь», «Либо дует ветер, либо идёт дождь», «Если идёт дождь, дует ветер» и т.п. Слова «и», «либо, либо», «если, то» и т.п., служащие для образования сложных высказываний, называются логическими связками.

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

Высказывание является сложным, если оно получено с помощью логических связок из нескольких более простых высказываний.

Может показаться, что знакомство с высказываниями естественнее всего начать с изучения простых высказываний и их частей, и уже затем приступить к изучению того, как из простых высказываний образуются сложные. В логике, однако, подход является обратным. Сначала рассматриваются способы построения сложных высказываний из более простых, при этом простое высказывание берётся как неразложимое далее целое (как «атом»), и только затем переходят к выявлению строения простых высказываний. Анализ структуры сложных высказываний предшествует анализу структуры простых. Объясняется это следующим: для того, чтобы понимать способы сочетания высказываний, вовсе не обязательно знать, что такое простое высказывание; достаточно учитывать только то, что последнее имеет определённое значение истинности. Простые высказывания чрезвычайно разнообразны, выявление составляющих их частей во многом зависит от принятого способа их анализа. Некоторые логические связи между высказываниями не зависят от строения простых высказываний. Разумно поэтому поступить так, как если бы мы знали все о простых высказываниях, т.е. оставить вопрос об их структуре на время в стороне и заняться логическими связями высказываний. Последняя задача является относительно лёгкой.

Та часть логики, в которой описываются логические связи высказываний, не зависящие от структуры простых высказываний, называется общей теорией дедукции.

Перейдём теперь к рассмотрению наиболее важных способов построения сложных высказываний.

Отрицание – логическая связка, с помощью которой из данного высказывания получается новое, причём, если исходное высказывание истинно, его отрицание будет ложным, и наоборот. Отрицательное высказывание состоит из исходного высказывания и отрицания, выражаемого обычно словами «не», «неверно, что». Отрицательное высказывание является, таким образом, сложным высказыванием: оно включает в качестве своей части отличное от него высказывание. Например, отрицанием высказывания «10 – чётное число» является высказывание «10 не есть чётное число» (или: «Неверно, что 10 есть чётное число»).

Будем обозначать высказывания буквами А, В, С, …, отрицание высказывания – символом ~. Полный смысл понятия отрицания высказывания задаётся условием: если высказывание Л истинно, его отрицание А ложно, и если А ложно, его отрицание, ~А, истинно. Например, так как высказывание «1 есть целое положительное число» истинно, его отрицание «1 не является целым положительным числом» ложно, а так как «1 есть простое число» ложно, его отрицание «1 не есть простое число» истинно.

Определению отрицания можно придать форму таблицы истинности, в которой