Логика - Германова А.Д

ный им каталог окажется не-нормальным, т.е. он не может упоминать его. Если же библиотекарь не упомянет свой каталог, то один из нормальных каталогов — тот, который он составил, — окажется неупомянутым, хотя должен был бы быть упомянутым, как все нормальные каталоги. Итак, библиотекарь не может ни упомянуть, ни не упомянуть составляемый им каталог. Как же тут быть? Посмотрим на этом примере, как разрешаются подобные парадоксы.

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

Таким образом, в логику входит категория времени, категория изменения: приходится рассматривать изменяющиеся объемы понятий. А рассмотрение объема в процессе его изменения — это уже аспект диалектической логики. Трактовка парадоксов математической логики и теории множеств, связанных с нарушением требований диалектической логики, принадлежит С.А.Яновской. В примере с каталогом удается избежать противоречия потому, что объем понятия «каталог всех нормальных каталогов» берется на какое-то определенное, точно фиксированное время, например, на 20 июня 1998 г. Имеются и другие способы избежать противоречий такого рода.

§ 6. Искусство ведения дискуссии

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

Правила ведения дискуссии можно показать на примере проведения диспута молодежи. Диспут позволяет рассматривать, анализировать проблемные ситуации, развивать способность аргументированно отстаивать свои знания, свои убеждения.