§ "Король логических парадоксов"
Скачать 373.02 Kb.
|
| § 5. Другие парадоксы Приведенные парадоксы — это рассуждения, итог которых — противоречие. Но в логике есть и другие типы парадоксов. Они также указывают на какие-то затруднения и проблемы, но делают это в менее резкой и бескомпромиссной форме. Таковы, в частности, парадоксы, рассматриваемые далее. Парадоксы неточных понятий Большинство понятий не только естественного языка, но и языка науки являются неточными, или, как их еще называют, размытыми. Нередко это оказывается причиной непонимания, споров, а то и просто ведет к тупиковым ситуациям. Если понятие неточное, граница области объектов, к которым оно приложимо, лишена резкости, размыта. Возьмем, к примеру, понятие “куча”. Одно зерно (песчинка, камень и т.п.) — это еще не куча. Тысяча зерен — это уже, очевидно, куча. А три зерна? А десять? С прибавлением какого по счету зерна образуется куча? Не очень ясно. Точно так же, как не ясно, с изъятием какого зерна куча исчезает. Неточными являются эмпирические характеристики “большой”, “тяжелый”, “узкий” и т.д. Неточны такие обычные понятия, как “мудрец”, “лошадь”, “дом” и т.п. Нет песчинки, убрав которую мы могли бы сказать, что с ее устранением оставшееся уже нельзя назвать домом. Но ведь это означает как будто, что ни в какой момент постепенной разборки дом — вплоть до полного его исчезновения — нет оснований заявлять, что дома нет! Вывод явно парадоксальный и обескураживающий. Нетрудно заметить, что рассуждение о невозможности образования кучи проводится с помощью хорошо известного метода математической индукции. Одно зерно не образует кучи. Если п зерен не образуют кучи, то n+1 зерно не образуют кучи. Следовательно, никакое число зерен не может образовать кучи. Возможность этого и подобных ему доказательств, приводящих к нелепым заключениям, означает, что принцип математической индукции имеет ограниченную область приложения. Он не должен применяться в рассуждениях с неточными, расплывчатыми понятиями. Хорошим примером того, что эти понятия способны приводить к неразрешимым спорам, может служить любопытный судебный процесс, состоявшийся в 1927 г. в США. Скульптор К. Бранкузи обратился в суд с требованием признать свои работы произведениями искусства. В числе работ, отправляемых в Нью-Йорк на выставку, была и скульптура “Птица”, которая сейчас считается классикой абстрактного стиля. Она представляет собой модулированную колонну из полированной бронзы около полутора метров высоты, не имеющую никакого внешнего сходства с птицей. Таможенники категорически отказались признать абстрактные творения Бранкузи художественными произведениями. Они провели их по графе “Металлическая больничная утварь и предметы домашнего обихода” и наложили на них большую таможенную пошлину. Возмущенный Бранкузи подал в суд. Таможню поддержали художники — члены Национальной академии, отстаивавшие традиционные приемы в искусстве. Они выступали на процессе свидетелями защиты и категорически настаивали на том, что попытка выдать “Птицу” за произведение искусства — просто жульничество. Этот конфликт рельефно подчеркивает трудность оперирования понятием “произведение искусства”. Скульптура по традиции считается видом изобразительного искусства. Но степень подобия скульптурного изображения оригиналу может варьироваться в очень широких пределах. И в какой момент скульптурное изображение, все более удаляющееся от оригинала, перестает быть произведением искусства и становится “металлической утварью”? На этот вопрос так же трудно ответить, как на вопрос о том, где проходит граница между домом и его развалинами, между лошадью с хвостом и лошадью без хвоста и т.п. К слову сказать, модернисты вообще убеждены, что скульптура — это объект выразительной формы и она вовсе не обязана быть изображением. Обращение с неточными понятиями требует, таким образом, известной осторожности. Не лучше ли тогда вообще отказаться от них? Немецкий философ Э.Гуссерль был склонен требовать от знания такой крайней строгости и точности, какая не встречается даже в математике. Биографы Гуссерля с иронией вспоминают в связи с этим случай, произошедший с ним в детстве. Ему был подарен перочинный ножик, и, решив сделать лезвие предельно острым, он точил его до тех пор, пока от лезвия ничего не осталось. Более точные понятия во многих ситуациях предпочтительнее неточных. Вполне оправдано обычное стремление к уточнению используемых понятий. Но оно должно, конечно, иметь свои пределы. Даже в языке науки значительная часть понятий неточна. И это связано не с субъективными и случайными ошибками отдельных ученых, а с самой природой научного познания. В естественном языке неточных понятий подавляющее большинство; это говорит, помимо всего прочего, о его гибкости и скрытой силе. Тот, кто требует от всех понятий предельной точности, рискует вообще остаться без языка. “Лишите слова всякой двусмысленности, всякой неопределенности, — писал французский эстетик Ж. Жубер, — превратите их... в однозначные цифры — из речи уйдет игра, а вместе с нею — красноречие и поэзия: все, что есть подвижного и изменчивого в привязанностях души, не сможет найти своего выражения. Но что я говорю: лишите... Скажу больше. Лишите слова всякой неточности — и вы лишитесь даже аксиом”. Долгое время и логики, и математики не обращали внимания на трудности, связанные с размытыми понятиями и соответствующими им множествами. Вопрос ставился так: понятия должны быть точными, а все расплывчатое недостойно серьезного интереса. В последние десятилетия эта чрезмерно строгая установка потеряла, однако, привлекательность. Построены логические теории, специально учитывающие своеобразие рассуждений с неточными понятиями. Активно развивается математическая теория так называемых размытых множеств, нечетко очерченных совокупностей объектов. Анализ проблем неточности — это шаг на пути сближения логики с практикой обычного мышления. И можно предполагать, что он принесет еще многие интересные результаты. Парадоксы индуктивной логики Нет, пожалуй, такого раздела логики, в котором не было бы своих собственных парадоксов. В индуктивной логике есть свои парадоксы, с которыми активно, но пока без особого успеха борются уже почти полвека. Особенно интересен парадокс подтверждения, открытый американским философом К.Гемпелем. Естественно считать, что общие положения, в частности научные законы, подтверждаются своими положительными примерами. Если рассматривается, скажем, высказывание “Все А есть В”, то положительными его примерами будут объекты, обладающие свойствами А и В. В частности, подтверждающие примеры для высказывания “Все вороны черные” — это объекты, являющиеся и воронами, и черными. Данное высказывание равносильно, однако, высказыванию “Все предметы, не являющиеся черными, не вороны”, и подтверждение последнего должно быть также подтверждением первого. Но “Все не черное не ворона” подтверждается каждым случаем не черного предмета, не являющегося вороной. Выходит, таким образом, что наблюдения “Корова белая”, “Ботинки коричневые” и т.п. подтверждают высказывание “Все вороны черные”. Из невинных, казалось бы, посылок вытекает неожиданный парадоксальный результат. В логике норм беспокойство вызывает целый ряд ее законов. Когда они формулируются в содержательных терминах, несоответствие их обычным представлениям о должном и запрещенном становится очевидным. Например, один из законов говорит, что из распоряжения “Отправьте письмо!” вытекает распоряжение “Отправьте письмо или сожгите его!”. Другой закон утверждает, что, если человек нарушил одну из своих обязанностей, он получает право делать все, что угодно. С такого рода “законами долженствования” наша логическая интуиция никак не хочет мириться. В логике знания усиленно обсуждается парадокс логического всеведения. Он утверждает, что человек знает все логические следствия, вытекающие из принимаемых им положений. Например, если человеку известны пять постулатов геометрии Евклида, то, значит, он знает и всю эту геометрию, поскольку она вытекает из них. Но это не так. Человек может соглашаться с постулатами и вместе с тем не уметь доказать теорему Пифагора и потому сомневаться, что она вообще верна. § 6. Что такое логический парадокс Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен. Рассмотренные парадоксы — это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем откроют и многие другие парадоксы, и даже совершенно новые их типы. Само понятие парадокса не является настолько определенным, чтобы удалось составить список хотя бы уже известных парадоксов. “Теоретико-множественные парадоксы являются очень серьезной проблемой, не для математики, однако, а скорее для логики и теории познания”, — пишет австрийский математик и логик К.Гедель. “Логика непротиворечива. Не существует никаких логических парадоксов”, — утверждает математик Д.Бочвар. Такого рода расхождения иногда существенны, иногда словесны. Дело во многом в том, что именно понимается под логическим парадоксом. Своеобразие логических парадоксов Необходимым признаком логических парадоксов считается логический словарь. Парадоксы, относимые к логическим, должны быть сформулированы в логических терминах. Однако в логике нет четких критериев деления терминов на логические и нелогические. Логика, занимающаяся правильностью рассуждений, стремится свести понятия, от которых зависит правильность практически применяемых выводов, к минимуму. Но этот минимум не предопределен однозначно. Кроме того, в логических терминах можно сформулировать и нелогические утверждения. Использует ли конкретный парадокс только чисто логические посылки, далеко не всегда удается определить однозначно. Логические парадоксы не отделяются жестко от всех иных парадоксов, подобно тому как последние не отграничиваются ясно от всего непарадоксального и согласующегося с господствующими представлениями. На первых порах изучения логических парадоксов казалось, что их можно выделить по нарушению некоторого, еще не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введенный Б.Расселом принцип порочного круга. Этот принцип утверждает, что совокупность объектов не может содержать членов, определимых только посредством этой же совокупности. Все парадоксы имеют одно общее свойство — самоприменимость, или циркулярность. В каждом из них объект, о котором идет речь, характеризуется посредством некоторой совокупности объектов, к которой он сам принадлежит. Если мы выделяем, например, самого хитрого человека, мы делаем это при помощи совокупности людей, к которой относится и данный человек. И если мы говорим: “Это высказывание ложно”, мы характеризуем интересующее нас высказывание путем ссылки на включающую его совокупность всех ложных высказываний. Во всех парадоксах имеет место самоприменимость понятий, а значит, есть как бы движение по кругу, приводящее в конце концов к исходному пункту. Стремясь охарактеризовать интересующий нас объект, мы обращаемся к той совокупности объектов, которая включает его. Однако оказывается, что сама она для своей определенности нуждается в рассматриваемом объекте и не может быть ясным образом понята без него. В этом круге, возможно, и кроется источник парадоксов. Ситуация осложняется, однако, тем, что такой круг имеется во многих совершенно непарадоксальных рассуждениях. Циркулярным является огромное множество самых обычных, безвредных и вместе с тем удобных способов выражения. Такие примеры, как “самый большой из всех городов”, “наименьшее из всех натуральных чисел”, “один из электронов атома железа” и т.п., показывают, что далеко не всякий случай самоприменимости ведет к противоречию и что она важна не только в обычном языке, но и в языке науки. Простая ссылка на использование самоприменяемых понятий недостаточна, таким образом, для дискредитации парадоксов. Необходим еще какой-то дополнительный критерий, отделяющий самоприменимость, ведущую к парадоксу, от всех иных ее случаев. Было много предложений на этот счет, но удачного уточнения циркулярности так и не было найдено. Невозможным оказалось охарактеризовать циркулярность таким образом, чтобы каждое циркулярное рассуждение вело к парадоксу, а каждый парадокс был итогом некоторого циркулярного рассуждения. Попытка найти какой-то специфический принцип логики, нарушение которого было бы отличительной особенностью всех логических парадоксов, ни к чему определенному не привела. Несомненно полезной была бы какая-то классификация парадоксов, подразделяющая их на типы и виды, группирующая одни парадоксы и противопоставляющая их другим. Однако и в этом деле ничего устойчивого не было достигнуто. Английский логик Ф.Рамсей, умерший в 1930 г., когда ему еще не исполнилось и двадцати семи лет, предложил разделить все парадоксы на синтаксические и семантические. К первым относится, например, парадокс Рассела, ко вторым — парадоксы “Лжеца”, Греллинга и др. По мнению Рамсея, парадоксы первой группы содержат только понятия, принадлежащие логике или математике. Вторые включают такие понятия, как “истина”, “определимость”, “именование”, “язык”, не являющиеся строго математическими, а относящиеся скорее к лингвистике или даже теории познания. Семантические парадоксы обязаны, как кажется, своим возникновением не какой-то ошибке в логике, а смутности или двусмысленности некоторых нелогических понятий, поэтому поставленные ими проблемы касаются языка и должны решаться лингвистикой. Рамсею казалось, что математикам и логикам незачем интересоваться семантическими парадоксами. В дальнейшем оказалось, однако, что некоторые из наиболее значительных результатов современной логики были получены как раз в связи с более глубоким изучением именно этих нелогических парадоксов. Предложенное Рамсеем деление парадоксов широко использовалось на первых порах и сохраняет некоторое значение и теперь. Вместе с тем становится все яснее, что это деление довольно-таки расплывчато и опирается по преимуществу на примеры, а не на углубленный сопоставительный анализ двух групп парадоксов. Семантические понятия сейчас получили точные определения, и трудно не признать, что эти понятия действительно относятся к логике. С развитием семантики, определяющей свои основные понятия в терминах теории множеств, различие, проведенное Рамсеем, все более стирается. Парадоксы и современная логика Какие выводы для логики следуют из су ществования парадоксов? Прежде всего наличие большого числа парадоксов говорит о силе логики как науки, а не о ее слабости, как это может показаться. Обнаружение парадоксов не случайно совпало с периодом наиболее интенсивного развития современной логики и наибольших ее успехов. Первые парадоксы были открыты еще до возникновения логики как особой науки. Многие парадоксы были обнаружены в средние века. Позднее они оказались, однако, забытыми и были вновь открыты уже в нашем веке. Средневековым логикам не были известны понятия “множество” и “элемент множества”, введенные в науку только зо второй половине XIX в. Но чутье на парадоксы было отточено в средние века настолько, что уже в то давнее время высказывались определенные опасения по поводу самоприменимых понятий. Простейшим их примером является понятие “быть собственным элементом”, фигурирующее во многих нынешних парадоксах. Однако такие опасения, как и вообще все предостережения, касающиеся парадоксов, не были до нашего века в должной мере систематическими и определенными. Они не вели к каким-либо четким предложениям о пересмотре привычных способов мышления и выражения. Только современная логика извлекла из забвения саму проблему парадоксов, открыла или переоткрыла большинство конкретных логических парадоксов. Она показала далее, что способы мышления, традиционно исследовавшиеся логикой, совершенно недостаточны для устранения парадоксов, и указала принципиально новые приемы обращения с ними. Парадоксы ставят важный вопрос: в чем, собственно, подводят нас некоторые обычные методы образования понятий и методы рассуждений? Ведь они представлялись совершенно естественными и убедительными, пока не выявилось, что они парадоксальны. Парадоксами подрывается вера в то, что привычные приемы теоретического мышления сами по себе и без всякого особого контроля за ними обеспечивают надежное продвижение к истине. Требуя радикальных изменений в излишне доверчивом подходе к теоретизированию, парадоксы представляют собой резкую критику логики в ее наивной, интуитивной форме. Они играют роль фактора, контролирующего и ставящего ограничения на пути конструирования дедуктивных систем логики. И эту их роль можно сравнить с ролью эксперимента, проверяющего правильность гипотез в таких науках, как физика и химия, и заставляющего вносить в эти гипотезы изменения. Парадокс в теории говорит о несовместимости допущений, лежащих в ее основе. Он выступает как своевременно обнаруженный симптом болезни, без которого ее можно было бы и проглядеть. Разумеется, болезнь проявляется многообразно, и ее в конце концов удается раскрыть и без таких острых симптомов, как парадоксы. Скажем, основания теории множеств были бы проанализированы и уточнены, если бы даже никакие парадоксы в этой области не были обнаружены. Но не было бы той резкости и неотложности, с какой поставили проблему пересмотра теории множеств обнаруженные в ней парадоксы. Парадоксам посвящена обширная литература, предложено большое число их объяснений. Но ни одно из этих объяснений не является общепризнанным, и сколь-нибудь полного согласия в вопросе о происхождении парадоксов и способах избавления от них нет. “За последние шестьдесят лет сотни книг и статей были посвящены цели разрешения парадоксов, однако результаты поразительно бедны в сравнении с затраченными усилиями”, — пишет А.Френкель. “Похоже на то, — заключает свой анализ парадоксов Х.Карри, — что требуется полная реформа логики, и математическая логика может стать главным инструментом для проведения этой реформы”. |
Похожие:
 | Программа по формированию навыков безопасного поведения на дорогах... Логическим выражением называется совокупность констант, переменных, арифметических и логических функций, знаков математических и... | | Программа по формированию навыков безопасного поведения на дорогах... Цель урока: знакомство с логическими схемами, выработка умений построения логических схем по логическим выражениям, выполнения цепочек... |
 | Урока: повторить материал по теме «Решение логических задач» Цель урока: продолжить знакомство с основными способами решения логических задач | | Программа по формированию навыков безопасного поведения на дорогах... Дети думали, что Матушка-природа случайно перепутала времена года, что после осени должна быть не зима, а весна. В это начали верить... |
| Решение логических задач, разгадывание загадок, кроссвордов, ребусов,... Инновационная деятельность в образовании понимается прежде всего, как формирование набора новых проблем, которые возникают из-за... | | Руководство по использованию парадоксов в психотерапии. Методические... Джеральд Р. Уикс, Лучиано Л'Абат. Психотехника парадокса. Практическое руководство по использованию парадоксов в психотерапии. Методические... |
| Урок Тема: Шахматные фигуры ладья и король. Один урок 45 мин Ладья и король – ключевые фигуры на шахматном поле. Ладья одна из мощных линейных шахматных фигур, без наличия короля невозможна... | | Диплом «Исследование и сравнение способов решения логических задач» Если обнаруживается несоответствие теоретических данных фактам, гипотеза отвергается и заменяется новой, после чего проверятся так... |
| Реферат по теме «\"Странный\" тип европейского монарха: российский... «"Странный" тип европейского монарха: российский император Павел I и баварский король Людвиг ii» | | Программа по формированию навыков безопасного поведения на дорогах... Буквы, обозначающие высказывания (А, В, ), можно рассматривать как имена логических переменных, так как ими можно заменить любые... |
| Данного реферата «Основы логики и решение логических задач». Выбор... При решении различных олимпиадных задач, даже в 5-6 классе, можно часто встретиться с логическими задачами. Существует много способов... | | Первая Джеральд Р. Уикс, Лучиано Л'Абат. Психотехника парадокса. Практическое руководство по использованию парадоксов в психотерапии. Методические... |
| Положение №13. о совете здоровья I. Общие положения Работа совета направлена на валеологическое обеспечение учебно-воспитательного процесса в школе, защиту и личностное развитие педагогов... | | Реферат на тему «Змеи и пауки Австралии» Из географических парадоксов можно отметить наличие удавов в Южной Америке, на Мадагаскаре, в Полинезии и на Зондских островах, в... |
| Работа большинства устройств компьютера основана на принципах алгебры... Любая другая логическая операция может быть представлена в виде комбинации трех базовых, поэтому любые устройства компьютера, производящие... | | Лекция первая дорнах, 29 ноября 1918 г Джеральд Р. Уикс, Лучиано Л'Абат. Психотехника парадокса. Практическое руководство по использованию парадоксов в психотерапии. Методические... |
