Лекция
Привет, Вы узнаете о том , что такое логический парадокс, Разберем основные их виды и особенности использования. Еще будет много подробных примеров и описаний. Для того чтобы лучше понимать что такое логический парадокс, парадоксы, современная логика , настоятельно рекомендую прочитать все из категории Логика.
Парадокс в логике — это противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Логическая ошибка парадокса объясняется неверным выбором логических посылок, например, когда речь идет о предметах, не имеющих четкого определения (См. стрела Зенона).
Различаются такие разновидности логических парадоксов, как апория и антиномия.
Апория характеризуется наличием аргумента, противоречащего очевидному, общепринятому мнению, здравому смыслу. Антиномия — наличием двух противоречащих друг другу, якобы одинаково доказуемых суждений.
Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен.
Рассмотренные парадоксы — это только часть из всех обнаруженных к настоящему времени. Вполне вероятно, что в будущем откроют и многие другие парадоксы, и даже совершенно новые их типы. Само понятие парадокса не является настолько определенным, чтобы удалось составить список хотя бы уже известных парадоксов.
«Теоретико-множественные парадоксы являются очень серьезной проблемой, не для математики, однако, а скорее для логики и теории познания», — пишет австрийский математик и логик К. Гедель. «Логика непротиворечива. Не существует никаких логических парадоксов», — утверждает математик Д. Бочвар. Такого рода расхождения иногда существенны, иногда словесны. Дело во многом в том, что именно понимается под логическим парадоксом.
Необходимым признаком логических парадоксов считается логический словарь. Парадоксы, относимые к логическим, должны быть сформулированы в логических терминах. Однако в логике нет четких критериев деления терминов на логические и нелогические. Логика, занимающаяся правильностью рассуждений, стремится свести понятия, от которых зависит правильность практически применяемых выводов, к минимуму. Но этот минимум не предопределен однозначно. Кроме того, в логических терминах можно сформулировать и нелогические утверждения. Использует ли конкретный парадокс только чисто логические посылки, далеко не всегда удается определить однозначно.
Логические парадоксы не отделяются жестко от всех иных парадоксов, подобно тому, как последние не отграничиваются ясно от всего непарадоксального и согласующегося с господствующими представлениями.
На первых порах изучения логических парадоксов казалось, что их можно выделить по нарушению некоторого, еще не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введенный Б. Расселом принцип порочного круга. Этот принцип утверждает, что совокупность объектов не может содержать членов, определимых только посредством этой же совокупности.
Вес парадоксы имеют одно общее свойство — самоприменимость, или циркулярность. В каждом из них объект, о котором идет речь, характеризуется посредством некоторой совокупности объектов, к которой он сам принадлежит. Если мы выделяем, например, самого хитрого человека, мы делаем это при помощи совокупности людей, к которой относится и данный человек. И если мы говорим: «Это высказывание ложно», мы характеризуем интересующее нас высказывание путем ссылки на включающую его совокупность всех ложных высказываний.
Во всех парадоксах имеет место самоприменимость понятий, а значит, есть как бы движение по кругу, приводящее, в конце концов, к исходному пункту. Стремясь охарактеризовать интересующий нас объект, мы обращаемся к той совокупности объектов, которая включает его. Однако оказывается, что сама она для своей определенности нуждается в рассматриваемом объекте и не может быть ясным образом попята без него. В этом круге, возможно, и кроется источник парадоксов.
Ситуация осложняется, однако, тем, что такой круг имеется во многих совершенно непарадоксальных рассуждениях. Циркулярным является огромное множество самых обычных, безвредных и вместе с тем удобных способов выражения. Такие примеры, как «самый большой из всех городов», «наименьшее из всех натуральных чисел», «один из электронов атома железа» и т.п., показывают, что далеко не всякий случай самоприменимости ведет к противоречию и что она важна не только в обычном языке, но и в языке науки.
Простой ссылки на использование самоприменяемых понятий недостаточно, таким образом, для дискредитации парадоксов. Необходим еще какой-то дополнительный критерий, отделяющий самоприменимость, ведущую к парадоксу, от всех иных ее случаев.
Было много предложений на этот счет, но удачного уточнения циркулярность так и не было найдено. Невозможным оказалось охарактеризовать циркулярность таким образом, чтобы каждое циркулярное рассуждение вело к парадоксу, а каждый парадокс был итогом некоторого циркулярного рассуждения.
Попытка найти какой-то специфический принцип логики, нарушение которого было бы отличительной особенностью всех логических парадоксов, ни к чему определенному не привела.
Несомненно, полезной была бы какая-то классификация парадоксов, подразделяющая их на типы и виды, группирующая одни парадоксы и противопоставляющая их другим. Однако и в этом деле ничего устойчивого не было достигнуто.
Английский логик Ф. Рамсей, умерший в 1930 г., когда ему еще не исполнилось и двадцати семи лет, предложил разделить все парадоксы на синтаксические и семантические. К первым относится, например, парадокс Рассела, ко вторым — парадоксы «Лжеца», Греллинга и др.
По мнению Рассела парадоксы первой группы содержат только понятия, принадлежащие логике или математике. Вторые включают такие понятия, как «истина», «определимость», «именование», «язык», не являющиеся строго математическими, а относящиеся скорее к лингвистике или даже к теории познания. Семантические парадоксы обязаны, как кажется, своим возникновением не какой-то ошибке в логике, а смутности или двусмысленности некоторых нелогических понятий, поэтому доставленные ими проблемы касаются языка и должны решаться лингвистикой.
Рамсею казалось, что математикам и логикам незачем интересоваться семантическими парадоксами. В дальнейшем оказалось, однако, что некоторые из наиболее значительных результатов современной логики были получены как раз в связи с более глубоким изучением именно этих нелогических парадоксов.
Предложенное Рамсеем деление парадоксов широко использовалось на первых порах, и сохраняет некоторое значение и теперь. Вместе с тем становится все яснее, что это деление довольно-таки расплывчато и опирается преимущественно на примеры, а не на углубленный сопоставительный анализ двух групп парадоксов. Семантические понятия сейчас получили точные определения, и трудно не признать, что эти понятия действительно относятся к логике. С развитием семантики, определяющей свои основные понятия в терминах теории множеств, различие, проведенное Рамсеем, все более стирается.
Какие выводы для логики следуют из существования парадоксов?
Прежде всего, наличие большого числа парадоксов говорит о силе логики как науки, а не о ее слабости, как это может показаться. Обнаружение парадоксов неслучайно совпало с периодом наиболее интенсивного развития современной логики и наибольших ее успехов.
Первые парадоксы были открыты еще до возникновения логики как особой науки. Многие парадоксы были обнаружены в Средние века. Позднее они оказались, однако, забытыми и были вновь открыты уже в XX в.
Средневековым логикам не были известны понятия «множество» и «элемент множества», введенные в науку только во второй половине XIX в. Но чутье на парадоксы было отточено в Средние века настолько, что уже в то давнее время высказывались определенные опасения по поводу самоприменимых понятий. Об этом говорит сайт https://intellect.icu . Простейшим их примером является понятие «быть собственным элементом», фигурирующее во многих нынешних парадоксах.
Однако такие опасения, как и вообще все предостережения, касающиеся парадоксов, не были до нашего века в должной мере систематическими и определенными. Они не вели к каким-либо четким предложениям о пересмотре привычных способов мышления и выражения.
Только современная логика извлекла из забвения саму проблему парадоксов, открыла или переоткрыла большинство конкретных логических парадоксов. Она показала далее, что способы мышления, традиционно исследовавшиеся логикой, совершенно недостаточны для устранения парадоксов, и указала принципиально новые приемы обращения с ними.
Парадоксы ставят важный вопрос: в чем, собственно, подводят пас некоторые обычные методы образования понятий и методы рассуждений? Ведь они представлялись совершенно естественными и убедительными, пока не выявилось, что они парадоксальны.
Парадоксы подрывают веру в то, что привычные приемы теоретического мышления сами но себе и без всякого особого контроля за ними обеспечивают надежное продвижение к истине.
Требуя радикальных изменений в излишне доверчивом подходе к теоретизированию, парадоксы представляют собой резкую критику логики в ее наивной, интуитивной форме. Они играют роль фактора, контролирующего и ставящего ограничения на пути конструирования дедуктивных систем логики. И эту их роль можно сравнить с ролью эксперимента, проверяющего правильность гипотез в таких науках, как физика и химия, и заставляющего вносить в эти гипотезы изменения.
Парадокс в теории говорит о несовместимости допущений, лежащих в ее основе. Он выступает как своевременно обнаруженный симптом болезни, без которого ее можно было бы и проглядеть.
Разумеется, болезнь проявляется многообразно, и ее, в конце концов, удается раскрыть и без таких острых симптомов, как парадоксы. Скажем, основания теории множеств были бы проанализированы и уточнены, если бы даже никакие парадоксы в этой области не были обнаружены. Но не было бы той резкости и неотложности, с какой поставили проблему пересмотра теории множеств обнаруженные в ней парадоксы.
Парадоксам посвящена обширная литература, предложено большое число их объяснений. Но ни одно из этих объяснений нс является общепризнанным, и сколько-нибудь полного согласия в вопросе о происхождении парадоксов и способах избавления от них нет.
«За последние шестьдесят лет сотни книг и статей были посвящены цели разрешения парадоксов, однако результаты поразительно бедны в сравнении с затраченными усилиями», — пишет А. Френкель. «Похоже на то, — заключает свой анализ парадоксов X. Карри, — что требуется полная реформа логики, и математическая логика может стать главным инструментом для проведения этой реформы».
Следует обратить внимание на одно важное различие. Устранение парадоксов и их разрешение — это вовсе не одно и то же. Устранить парадокс из некоторой теории -значит перестроить ее так, чтобы парадоксальное утверждение оказалось в ней недоказуемым. Каждый парадокс опирается на большое число определений, допущений и аргументов. Его вывод в теории представляет собой некоторую цепочку рассуждений. Формально говоря, можно подвергнуть сомнению любое ее звено, отбросить его и тем самым разорвать цепочку и устранить парадокс. Во многих работах так и поступают и этим ограничиваются.
Но это еще нс разрешение парадокса. Мало найти способ, как его исключить, надо убедительно обосновать предлагаемое решение. Само сомнение в каком-либо шаге, ведущем к парадоксу, должно быть хорошо обосновано.
Прежде всего решение об отказе от каких-либо логических средств, используемых при выводе парадоксального утверждения, должно быть увязано с нашими общими соображениями относительно природы логического доказательства и другими логическими интуициями. Если этого нет, устранение парадокса оказывается лишенным твердых и устойчивых оснований и вырождается в техническую по преимуществу задачу.
Кроме того, отказ от какого-либо допущения, даже если он и обеспечивается устранением некоторого конкретного парадокса, вовсе не гарантирует автоматически устранения всех парадоксов. Это говорит о том, что за парадоксами не следует «охотиться» поодиночке. Исключение одного из них должно быть настолько обосновано, чтобы появилась определенная гарантия, что этим же шагом будут устранены и другие парадоксы.
Каждый раз, как обнаруживается парадокс, пишет А. Тарский, «мы должны подвергнуть паши способы мышления основательной ревизии, отвергнуть какие-то посылки, в которые верили, и усовершенствовать способы аргументации, которыми пользовались. Мы делаем это, стремясь не только избавиться от антиномий, но и с целью не допустить возникновения новых».
И наконец, непродуманный и неосторожный отказ от слишком многих или слишком сильных допущений может привести просто к тому, что получится хотя и не содержащая парадоксов, но существенно более слабая теория, представляющая только частный интерес.
Каким может быть минимальный, наименее радикальный комплекс мер, позволяющих избежать известных парадоксов?
Один путь — это выделение наряду с истинными и ложными предложениями также бессмысленных предложений. Этот путь был принят Б. Расселом. Парадоксальные рассуждения были объявлены им бессмысленными на том основании, что в них нарушаются требования логической грамматики. Не всякое предложение, не нарушающее правил обычной грамматики, является осмысленным — оно должно удовлетворять также правилам особой, логической грамматики.
Рассел построил теорию логических типов, своеобразную логическую грамматику, задачей которой было устранение всех известных антиномий. В дальнейшем эта теория была существенно упрощена и получила название простой теории типов.
Основная идея теории типов — выделение разных в логическом отношении типов предметов, введение своеобразной иерархии или лестницы рассматриваемых объектов. К низшему, или нулевому, типу относятся индивидуальные объекты, не являющиеся множествами. К первому типу относятся множества объектов нулевого типа, т.е. индивидов; ко второму — множества множеств индивидов и т.д. Иными словами, проводится различие между предметами, свойствами предметов, свойствами свойств предметов и т.д. При этом вводятся определенные ограничения на конструирование предложений. Свойства можно приписывать предметам, свойства свойств — свойствам и т.д. Но нельзя осмысленно утверждать, что свойства свойств имеются у предметов.
Возьмем серию предложений: Этот дом — красный. Красное — это цвет. Цвет — это оптическое явление.
В этих предложениях выражение «этот дом» обозначает определенный предмет, слово «красный» указывает на свойство, присущее данному предмету, «являться цветом» — на свойство этого свойства («быть красным») и «быть оптическим явлением» — указывает на свойство свойства «быть цветом», принадлежащего свойству «быть красным». Здесь мы имеем дело не только с предметом и его свойствами, но и со свойствами свойств («свойство быть красным имеет свойство быть цветом»), и даже со свойствами свойств свойств.
Все три предложения из приведенной серии являются, конечно, осмысленными. Они построены в соответствии с требованиями теории типов. А, скажем, предложение «Этот дом есть цвет» нарушает данные требования. Оно приписывает предмету ту характеристику, которая может принадлежать только свойствам, но не предметам. Аналогичное нарушение содержится и в предложении «Этот дом является оптическим явлением». Оба эти предложения должны быть отнесены к бессмысленным.
Простая теория типов устраняет парадокс Рассела. Однако для устранения парадоксов «Лжеца» и Берри простого разделения рассматриваемых объектов на типы уже недостаточно. Необходимо вводить дополнительно некоторое упорядочение внутри самих типов.
Исключение парадоксов может быть достигнуто также на пути отказа от использования слишком больших множеств, подобных множеству всех множеств. Этот путь был предложен немецким математиком Е. Цермело, связавшим появление парадоксов с неограниченным конструированием множеств. Допустимые множества были определены им некоторым списком аксиом, сформулированных так, чтобы из них не выводились известные парадоксы. Вместе с тем эти аксиомы были достаточно сильны для вывода из них обычных рассуждений классической математики, по без парадоксов.
Ни эти два, ни другие предлагавшиеся пути устранения парадоксов не являются общепризнанными. Нет единого убеждения, что какая-то из предложенных теорий разрешает логические парадоксы, а не просто отбрасывает их без глубокого объяснения. Проблема объяснения парадоксов по-прежнему открыта и по-прежнему важна.
У Г. Фреге, величайшего логика XIX в., был, к сожалению, очень скверный характер. Кроме того, он был несговорчив и даже жесток в своей критике современников. Возможно, поэтому его вклад в логику и обоснование математики долго не получал признания. И вот когда известность начала приходить к нему, молодой английский логик Б. Рассел написал ему, что в системе, опубликованной в первом томе его книги «Основные законы арифметики», возникает противоречие. Второй том этой книги был уже в печати, и Фреге смог лишь добавить к нему специальное приложение, в котором изложил это противоречие (позднее названное «парадоксом Рассела») и признал, что не способен его устранить.
Однако последствия этого признания были для Фреге трагическими. Он испытал сильнейшее потрясение. И хотя ему тогда было всего 55 лет, он не опубликовал больше ни одной значительной работы по логике, хотя прожил еще более двадцати лет. Он не откликнулся даже на оживленную дискуссию, вызванную парадоксом Рассела, и никак не прореагировал на многочисленные предлагавшиеся решения этого парадокса.
Впечатление, произведенное на математиков и логиков только что открытыми парадоксами, хорошо выразил Д. Гильберт: «Состояние, в котором мы находимся сейчас в отношении парадоксов, па продолжительное время невыносимо. Подумайте: в математике — этом образце достоверности и истинности — образование понятий и ход умозаключений, как их всякий изучает, преподает и применяет, приводит к нелепости. Где же искать надежность и истинность, если даже само математическое мышление дает осечку?»
Фреге был типичным представителем логики конца XIX в., свободной от каких бы то ни было парадоксов, логики, уверенной в своих возможностях и претендующей на то. чтобы быть критерием строгости даже для математики. Парадоксы показали, что абсолютная строгость, якобы достигнутая логикой, была не более чем иллюзией. Они, бесспорно, говорили о том, что логика — в том интуитивном виде, какой она имела на рубеже XIX—XX вв., — нуждается в глубоком пересмотре.
Прошло около века с тех пор, как началось оживленное обсуждение парадоксов. Предпринятая ревизия логики так и не привела, однако, к недвусмысленному их разрешению.
И вместе с тем такое состояние вряд ли кого волнует сегодня. С течением времени отношение к парадоксам стало более спокойным и даже более терпимым, чем в момент их обнаружения. Дело не только в том, что парадоксы сделались чем-то привычным. И, разумеется, не в том, что с ними смирились. Они все еще остаются в центре внимания логиков, поиски их решений активно продолжаются. Ситуация изменилась прежде всего потому, что парадоксы оказались, так сказать, локализованными. Они обрели свое определенное, хотя и неспокойное место в широком спектре логических исследований. Стало ясно, что абсолютная строгость, какой она рисовалась в конце XIX в. и даже иногда в начале XX в., — это в принципе недостижимый идеал.
Было осознано также, что нет одной-единственной, стоящей особняком проблемы парадоксов. Проблемы, связанные с ними, относятся к разным типам и затрагивают, в сущности, все основные разделы логики. Обнаружение парадокса заставляет глубже проанализировать наши логические интуиции и заняться систематической переработкой основ науки логики. При этом стремление избежать парадоксов не является ни единственной, ни даже, пожалуй, главной задачей. Они являются, хотя и важным, по только поводом для размышления над центральными темами логики. Продолжая сравнение парадоксов с особо отчетливыми симптомами болезни, можно сказать, что стремление немедленно исключить парадоксы было бы подобно желании» снять такие симптомы, не особенно заботясь о самой болезни.
Требуется не просто разрешение парадоксов, необходимо их объяснение, углубляющее наши представления о логических закономерностях мышления.
логический парадокс- это своеобразное противоречие, которое имеет форму конкретного, четкого и логически правильного вывода, но при этом оно представляет собой рассуждение, которое приводит к образованию двух или более заключений, исключающих друг друга.
1. "Дихотомия" (Одно из рассуждений Зенона).
Чтобы преодолеть путь, нужно сначала преодолеть половину пути, а чтобы преодолеть половину пути, нужно сначала преодолеть половину половины, и так до бесконечности. Таким образом, движение никогда не начнется.
2. Стрела Зенона (Одно из рассуждений Зенона).
Летящая стрела находится в покое, утверждал Зенон, ибо в каждый данный момент она занимает равное ей место, покоится относительно этого места. Это обстоятельство справедливо для любого момента времени, значит, оно справедливо вообще. Летящая стрела неподвижна.
3. "Парадокс Журдена с карточкой".
Представьте себе — вы держите в руках открытку, на которой написано: «Утверждение на обратной стороне открытки истинно». Перевернув открытку, вы обнаруживаете фразу «Утверждение на другой стороне ложно». Как вы понимаете, противоречие налицо: если первое утверждение правдиво, то второе тоже соответствует действительности, но в таком случае первое должно оказаться ложным. Если же первая сторона открытки лжива, то фразу на второй также нельзя считать истинной, а это значит, первое утверждение опять-таки становится правдой…
4. Софизм «Крокодил».
Другими словами, Софизм-сложное, иногда запутанное рассуждение.
На берегу реки стоят мать с ребенком, вдруг к ним подплывает крокодил и затаскивает ребенка в воду. Безутешная мать просит вернуть ее чадо, на что крокодил отвечает, что согласен отдать его целым и невредимым, если женщина правильно ответит на его вопрос: «Вернет ли он ее ребенка?». Понятно, что у женщины два варианта ответа — да или нет. Если она утверждает, что крокодил отдаст ей ребенка, то все зависит от животного — посчитав ответ правдой, похититель отпустит ребенка, если же он скажет, что мать ошиблась, то ребенка ей не видать, согласно всем правилам договора.
Отрицательный ответ женщины все значительно усложняет — если он оказывается верным, похититель должен выполнить условия сделки и отпустить дитя, но таким образом ответ матери не будет соответствовать действительности. Чтобы обеспечить лживость такого ответа, крокодилу нужно вернуть ребенка матери, но это противоречит договору, ведь ее ошибка должна оставить чадо у крокодила.
Стоит отметить, что сделка, предложенная крокодилом, содержит логическое противоречие, поэтому его обещание невыполнимо.
Автором этого классического софизма считается оратор, мыслитель и политический деятель Коракс Сиракузский, живший в V-м веке до нашей эры.
5. Парадокс Эватла".
Это древняя логическая задача, суть которой такова: «Некий учитель Протагор взял к себе в ученики Эватла и начал обучать его судебному делу. Эватл пообещал оплатить все обучение как только выиграет свое первое дело. Однако после обучения Эватл не спешил работать. Тогда Протагор подал на него в суд. В итоге судья так и не смог вынести какое-либо решение, ведь если Эватл выиграет это дело, то он обязан будет отдать деньги Протагору. Таким образом он на самом деле проиграет, а значит, ему не нужно будет оплачивать свою учебу Протагору. И так до бесконечности.
6. Парадокс неодолимой силы.
Что случится, если неодолимая сила встретит на своем пути недвижимый объект? Если сила сдвинет объект, тогда он не недвижимый. Если сила не справиться, то она не неодолимая.
Решение: эта ситуация никогда не произойдет, так как если есть неодолимая сила, то не может существовать недвижимый объект (обратное тоже верно). Более того - недвижимый объект не может существовать в принципе.
Недвижимый объект должен обладать бесконечной инерцией, а значит бесконечной массой. Бесконечная масса не может существовать в нашей имеющей предел вселенной, а значит, недвижимый объект невозможен.
7 Парадокс бережливости
Самая известная формулировка любопытного экономического явления, описанного Уоддилом Кетчингсом и Уильямом Фостером выглядит следующим образом: «Чем больше мы откладываем на черный день, тем быстрее он наступит». Чтобы понять суть противоречия, заключенного в этом феномене, немного экономической теории.
Если во время экономического спада большая часть населения начинает экономить свои сбережения, снижается совокупный спрос на товары, что в свою очередь приводит к уменьшению заработка и как следствие — падению общего уровня экономии и сокращению сбережений. Попросту говоря, возникает своего рода замкнутый круг, когда потребители тратят меньше денег, но тем самым ухудшают свое благосостояние.
В некотором роде парадокс бережливости аналогичен проблеме из теории игр под названием дилемма заключенного: действия, которые выгодны каждому участнику ситуации по отдельности, вредны для них в целом.
В заключение, эта статья об логический парадокс подчеркивает важность того что вы тут, расширяете ваше сознание, знания, навыки и умения. Надеюсь, что теперь ты понял что такое логический парадокс, парадоксы, современная логика и для чего все это нужно, а если не понял, или есть замечания, то не стесняйся, пиши или спрашивай в комментариях, с удовольствием отвечу. Для того чтобы глубже понять настоятельно рекомендую изучить всю информацию из категории Логика
Комментарии
Оставить комментарий
Логика
Термины: Логика