рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

ПАРАДОКС РАССЕЛА

ПАРАДОКС РАССЕЛА - раздел Право, ПО ЗАКОНАМ ЛОГИКИ Самым Знаменитым Из Открытых Уже В Нашем Веке Парадоксов Является Антиномия, ...

Самым знаменитым из открытых уже в нашем веке парадоксов является антиномия, обнаруженная Б. Расселом и сообщенная им в письме к Г. Фреге. Эту же антиномию обсуждали одновременно в Геттингене немецкие математики Э. Цермело и Д. Гильберт.

Идея носилась в воздухе, и ее опубликование произвело впечатление разорвавшейся бомбы. Этот парадокс вызвал в математике, по мнению Д. Гильберта, «эффект полной катастрофы». Нависла угроза над самыми простыми и важными логическими методами, самыми обыкновенными и полезными понятиями.

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

С дальнейшим исследованием антиномии убеждение в необходимости принципиально нового подхода неуклонно росло. Спустя полвека после ее открытия специалисты по основаниям логики и математики А. Френкель и И. Бар-Хиллел уже без всяких оговорок утверждали: «Мы полагаем, что любые попытки выйти из положения с помощью традиционных (то есть имевших хождение до XX столетия) способов мышления, до сих пор неизменно проваливавшихся, заведомо недостаточны для этой цели».

Современный американский логик X. Карри писал немного позднее об этом парадоксе: «В терминах логики, известной в XIX веке, положение просто не поддавалось объяснению, хотя, конечно, в наш образованный век могут найтись люди, которые увидят (или подумают, что увидят), в чем же состоит ошибка».

Парадокс Рассела в первоначальной его форме связан с понятием множества, или класса.

Можно говорить о множествах различных объектов, например о множестве всех людей или о множестве натуральных чисел. Элементом первого множества будет всякий отдельный человек, элементом второго — каждое натуральное число. Допустимо также сами множества рассматривать как некоторые объекты и говорить о множествах множеств. Можно ввести даже такие понятия, как множество всех множеств или множество всех понятий.

Относительно любого произвольно взятого множества представляется осмысленным спросить, является оно своим собственным элементом или нет. Множества, не содержащие себя в качестве элемента, назовем обычными. Например, множество всех людей не является человеком, так же как множество атомов—это не атом. Необычными будут множества, являющиеся собственными элементами. Например, множество, объединяющее все множества, представляет собой множество и, значит, содержит само себя в качестве элемента.

Очевидно, что каждое множество является либо обычным, либо необычным.

Рассмотрим теперь множество всех обычных множеств. Поскольку оно множество, о нем тоже можно спрашивать, обычное оно или необычное. Ответ, однако, оказывается обескураживающим. Если оно обычное, то согласно своему определению должно содержать само себя в качестве элемента, поскольку содержит все обычные множества. Но это означает, что оно является необычным множеством. Допущение, что наше множество представляет собой обычное множество, приводит, таким образом, к противоречию. Значит, оно не может быть обычным. С другой стороны, оно не может быть также необычным: необычное множество содержит само себя в Качестве элемента, а элементами нашего множества являются только обычные множества. В итоге приходим к заключению, что множество всех обычных множеств не может быть ни обычным, ни необычным множеством.

Итак, множество всех множеств, не являющихся собственными элементами, есть свой элемент в том и только том случае, когда оно не является таким элементом. Это явное противоречие. И получено оно на основе самых правдоподобных предположений и с помощью бесспорных как будто шагов.

Противоречие говорит о том, что такого множества просто не существует. Но почему оно не может существовать? Ведь оно состоит из объектов, удовлетворяющих четко определенному условию, причем само условие не кажется каким-то исключительным или неясным. Если столь просто и ясно заданное множество не может существовать, то в чем, собственно, заключается различие между возможными и невозможными множествами? Вывод о несуществовании рассматриваемого множества звучит неожиданно и внушает беспокойство. Он делает наше общее понятие множества аморфным и хаотичным, и нет гарантии, что оно не способно породить какие-то новые парадоксы.

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

Парадокс Рассела не имеет специфически математического характера. В нем используется понятие множества, но не затрагиваются какие-то особые, связанные именно с математикой его свойства. Это становится очевидным, если переформулировать парадокс в чисто логических терминах.

О каждом свойстве можно, по всей вероятности, спрашивать, приложимо оно к самому себе или нет. Свойство быть горячим, например, неприложимо к самому себе, поскольку само не является горячим; свойство быть конкретным тоже не относится к самому себе, ибо это абстрактное свойство. Но вот свойство быть абстрактным, являясь абстрактным, приложимо к само* му себе. Назовем эти неприменимые к самим себе свойства неприложимыми. Применимо ли свойство быть неприложимым к самому себе? Оказывается, что неприложимость является неприложимой только в том случае, если она не является таковой. Это, конечно, парадоксально,

Логическая, касающаяся свойств разновидность антиномии Рассела столь же парадоксальна, как и математическая, относящаяся к множествам, ее разновидность.

Б. Рассел предложил также следующий популярный вариант открытого им парадокса.

Представим, что совет одной деревни так определил обязанности парикмахера этой деревни: брить всех мужчин деревни, которые не бреются сами, и только этих мужчин. Должен ли он брить самого себя? Если да, то он будет относиться к тем, кто бреется сам, а тех, кто бреется сам, он не должен брить. Если нет, он будет принадлежать к тем, кто не бреется сам, и, значит, он должен будет брить себя. Мы приходим, таким образом, к заключению, что этот парикмахер бреет себя в том и только том случае, когда он не бреет себя. Это, разумеется, невозможно.

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

Обязанности парикмахера не кажутся на первый взгляд противоречивыми, поэтому вывод, что его не может быть, звучит несколько неожиданно. Но этот вывод не является все-таки парадоксальным. Условие, которому должен удовлетворять «деревенский брадобрей», на самом деле внутренне противоречиво и, следовательно, невыполнимо. Подобного парикмахера не может быть в деревне по той же причине, по какой в ней нет человека, который был бы старше самого себя или который родился бы до своего рождения.

Рассуждение о парикмахере может быть названо псевдопарадоксом. По своему ходу оно строго аналогично парадоксу Рассела и этим интересно. Но оно все-таки не является подлинным парадоксом.

Другой пример такого же псевдопарадокса представляет собой известное рассуждение о каталоге.

Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылки на самих себя. Должен ли такой каталог включать ссылку на себя?

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

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

Допустим, что в какой-то момент был составлен каталог, скажем К1включающий все отличные от него каталоги, не содержащие ссылки на себя. С созданием K1появился еще один каталог, не содержащий ссылки на себя. Так как задача заключается в том, чтобы составить полный каталог всех каталогов, не упоминающих себя, то очевидно, что K1не является ее решением. Он не упоминает один из таких каталогов — самого себя. Включив в K1это упоминание о нем самом, получим каталог К2. В нем упоминается К1но не сам К2.

Добавив к К2такое упоминание, получим К3, который опять-таки неполон из-за того, что не упоминает самого себя. И так далее без конца.

– Конец работы –

Эта тема принадлежит разделу:

ПО ЗАКОНАМ ЛОГИКИ

ПО ЗАКОНАМ ЛОГИКИ ГЛАВА ПОНЯТЬ ПОНИМАНИЕ человеческая коммуникация естественность и простота... Глава... ПОНЯТЬ ПОНИМАНИЕ...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: ПАРАДОКС РАССЕЛА

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

ПО ЗАКОНАМ ЛОГИКИ
Несколько вступительных слов ГЛАВА 1 ПОНЯТЬ ПОНИМАНИЕ человеческая коммуникация: естественность и простота понимание — ключевая проблема интеллект и эмоции

НЕСКОЛЬКО ВСТУПИТЕЛЬНЫХ СЛОВ
Эта книга посвящена логике — науке о законах правильного мышления. Логика — одна из самых старых наук. Ее богатая событиями история началась еще в Древней Греции и насчитывает две с полови

ЧЕЛОВЕЧЕСКАЯ КОММУНИКАЦИЯ: ЕСТЕСТВЕННОСТЬ И ПРОСТОТА
Казалось бы, что может быть обыденнее и проще общения людей с помощью языка и достигаемого ими понимания друг друга? Если я советую кому-то, кто не знает английского языка: «StriKe while t

ПОНИМАНИЕ — КЛЮЧЕВАЯ ПРОБЛЕМА
Однако понимание как схватывание смысла сказанного далеко не так просто и прозрачно, как это кажется. Обычность понимания, его элементарность, повседневность и доступность, прежде всего бросающиеся

ИНТЕЛЛЕКТ И ЭМОЦИИ
До сих пор речь шла только об интеллектуальной коммуникации, имеющей дело со значениями и знаками, прежде всего — словами. Очевидно, что она не является единственной формой общения людей. Кроме реч

ОДИН И ТОТ ЖЕ ЯЗЫК
Можно далее обратить внимание и на то, что даже требование говорить на одном языке не так уж однозначно и ясно, как кажется. Один из собеседников обращается к другому на русском языке, вто

ОДИН И ТОТ ЖЕ ПРЕДМЕТ
И наконец, о требовании, чтобы собеседники говорили об одном и том же предмете. Разумеется, никакое понимание невозможно, если люди рассуждают о разных вещах, искренне полагая или только д

ПОНИМАНИЕ И ЛОГИКА
Понимание — это та точка, в которой пересекаются все основные темы и проблемы такого сложного и многоаспектного явления, как человеческая коммуникация. Поэтому всякая попытка охарактеризовать поним

АНАЛИЗ И КРИТИКА МЫШЛЕНИЯ
Слово «логика» многозначно. Поэтому, прежде чем начать разговор о «логике», нужно уточнить, о чем именно пойдет речь. Нередко говорят о логике событий, о логике характера, логике истории и

РАССУЖДАТЬ ПРАВИЛЬНО
Чем отличается формальная логика от всех иных предлагавшихся теорий мышления? Самый общий ответ на этот вопрос прост: предметом своего исследования и теми методами, которые используются пр

МЫСЛИ ИМЕЮТ ФОРМУ
Формальная логика отделяет правильные способы рассуждения от неправильных и систематизирует первые. Ее можно определить, таким образом, как науку о правильном рассуждении. Она занимается, конечно,

СВЯЗЬ СОДЕРЖАТЕЛЬНЫХ ЧАСТЕЙ
Понятие логической формы, формы рассуждения, или формы мысли, является крайне абстрактным. Смысл его лучше всего раскрыть на примерах. Сравним два утверждения: «Все лошади едят овес» и «Вс

ТОТАЛЬНЫЙ ОПТИМИЗМ
Каждый умеет рассуждать правильно, хотя редко кто знаком даже с азами теории правильного рассуждения. Принципы, или схемы, правильных рассуждений усваиваются каждым человеком с усвоением я

СТАРАЯ И НОВАЯ ЛОГИКА
История логического исследования мышления охватывает около двух с половиной тысячелетий. Из других наук раньше формальной логики начали складываться, пожалуй, только философия и математика.

МОГУЩЕСТВО ИСКУССТВЕННОГО ЯЗЫКА
Старая логика пользовалась для описания мышления обычным языком, на котором повседневно общаются люди. Но он имеет целый ряд особенностей, мешающих ему, к сожалению, успешно справляться с этой зада

СОВРЕМЕННАЯ ЛОГИКА И ДРУГИЕ НАУКИ
В заключение этого, по необходимости краткого, разговора о том, чем занимается формальная логика, следует сделать несколько замечаний о ее связях с другими науками. С момента своего возник

НЕПОСРЕДСТВЕННАЯ ДЕЙСТВИТЕЛЬНОСТЬ МЫШЛЕНИЯ
Французский философ XVII века Р. Декарт доказывал, что способность нормально использовать язык является единственным достоверным признаком того, что некоторое существо обладает человеческим разумом

ЗАПУТАННЫЙ МИР ИМЕН
Особый интерес среди разных языковых выражений представляют имена. Они есть везде. В обычном кругу поименовано все. Попадая в совершенно незнакомое место, человек тут же снабжает его ярлыком: «Незн

ДВЕ ХАРАКТЕРИСТИКИ ИМЕН
В общем случае имя — это выражение языка, обозначающее отдельный предмет или некоторую совокупность предметов. Способность обозначать что-то является специфической особенностью имени. Толь

НЕТОЧНЫЕ ПОНЯТИЯ
Имена можно классифицировать, исходя из самых разных соображений. Несколько ранее они были подразделены, например, на единичные, общие и пустые. Затем разделены на собственные и не являющиеся собст

ПАРАДОКСЫ НЕТОЧНОСТИ
Говорят, главное во всяком деле — уловить момент. Это относится, пожалуй, и к таким делам, как размышление и рассуждение. Однако здесь «момент» улавливается особенно трудно, и существенную роль в э

НЕЯСНЫЕ ПОНЯТИЯ
До сих пор речь шла о неточных понятиях. Граница множества вещей, подпадающих под неточное понятие, является размытой и неопределенной. Относительно тех из них, которые лежат на этой грани

СМЫСЛ — ОСНОВА ОСНОВ
И в логике, и в обычной жизни о смысле говорится часто и много, о бессмысленном — только изредка и мимоходом. Однако бессмысленное — это только обратная сторона той же самой медали, лицева

ТУМАННОЕ И ТЕМНОЕ
Есть градации света: от ослепляющего сияния через постепенно сгущающиеся сумерки до полной, беспросветной темноты. Сходным образом есть в естественном языке разные степени осмысленности: от полного

ТРЕТЬЕГО НЕ ДАНО
Закон исключенного третьего противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух

ОСНОВНЫЕ» ЗАКОНЫ
Еще одним логическим законом, имеющим долгую, хотя и довольно спокойную историю, является закон тождества. Внешне он самый простой из всех законов. Он говорит: если высказывание истинно, т

ЕЩЕ ЗАКОНЫ
Вернемся, однако, к конкретным законам логики. Законы двойного отрицания позволяют снимать и вводить такое отрицание. Их можно выразить так: если неверно, что не-А, то А; если А, то неверн

МНОГОЗНАЧНАЯ ЛОГИКА
Классическая логика основывается на принципе, согласно которому всякое высказывание является либо истинным, либо ложным. Это так называемый принцип двузначности. Саму логику, допускающую только ист

МОДУСЫ ИМЕЮЩИХСЯ СВЯЗЕЙ
Модальная логика занимается рассуждениями, в которых встречаются модальные понятия. Примерами последних могут служить: «возможно», «необходимо», «случайно», «убежден», «знает», «полагает», «обязате

ДОБРО И ДОЛГ: ВОЗМОЖНОСТЬ ЛОГИЧЕСКОГО АНАЛИЗА
Этика изучает, как известно, моральные нормы и ценности. Она не является в отличие от, скажем, математики или физики точной наукой. Это отмечал в ясной форме еще Аристотель, первым употребивший наз

ЛОГИЧЕСКИЕ ТАВТОЛОГИИ
В обычном языке слово «тавтология» означает повторение того, что уже было сказано; «Жизнь есть жизнь» или «Не повезет так не повезет». Тавтологии бессодержательны и пусты, они не несут ник

ВОЗМОЖНЫЕ МИРЫ
Законы логики, подобно всем иным научным законам, являются универсальными и необходимыми. Они действуют всегда и везде, где для этого есть соответствующие условия. Всякий раз, когда имеютс

СОФИЗМ — ИНТЕЛЛЕКТУАЛЬНОЕ МОШЕННИЧЕСТВО!
Софизмы обычно трактуются вскользь и с очевидным осуждением. И в самом деле, стоит ли задерживаться и размышлять над такими, к примеру, рассуждениями: «Сидящий встал; кто встал, тот стоит; следоват

АПОРИИ ЗЕНОНА
Обратимся теперь к конкретным софизмам и тем проблемам, которые стоят за ними. Знаменитые рассуждения древнегреческого философа Зенона «Ахиллес и черепаха», «дихотомия» и др., называемые о

НЕОПРЕДМЕЧЕННОЕ» ЗНАНИЕ
Софизмы «Электра» и «покрытый» до сих пор приводятся в качестве характерных образцов «мнимой мудрости». В одной из трагедий Еврипида есть сцена, в которой Электра и Орест, брат и сестра, в

ВЕЧНО ПЕРЕСТРАИВАЕМОЕ ЗДАНИЕ
Софизм «покрытый» можно переформулировать так, что обнаружится еще одна сторона скрывающейся за ним проблемы. Допустим, что рядом со мной стоит, накрывшись, не Сидоров, а какой-то другой ч

СОФИЗМЫ И ЗАРОЖДЕНИЕ ЛОГИКИ
Очень многие софизмы выглядят как лишенная смысла и цели игра с языком; игра, опирающаяся на многозначность языковых выражений, их неполноту, недосказанность, зависимость их значений от контекста и

ТРАГЕДИЯ И ФАРС
Чаще всего анализ софизма не может быть завершен раскрытием логической или фактической ошибки, допущенной в нем. Это как раз самая простая часть дела. Сложнее уяснить проблемы, стоящие за софизмом,

РАССЛАИВАНИЕ» ЯЗЫКА
Сейчас «лжец» обычно считается характерным примером тех трудностей, к которым ведет смешение двух языков: «предметного языка», на котором говорится о лежащей вне языка действительности, и «метаязык

НЕРАЗРЕШИМЫЙ СПОР
В основе одного знаменитого парадокса лежит как будто небольшое происшествие, случившееся две с лишним тысячи лет назад и не забытое до сих пор. У знаменитого софиста Протагора, жившего в

ВЫХОД» ИЗ БЕЗВЫХОДНОГО ПОЛОЖЕНИЯ
Человеческому уму, привыкшему не только к своей силе, но и к своей гибкости и даже изворотливости, трудно, конечно, смириться с этой абсолютной безвыходностью и признать себя загнанным в тупик. Это

ПАРАДОКСЫ ГРЕЛЛИНГА И БЕРРИ
Интересный логический парадокс был открыт немецкими логиками К. Греллингом и Л. Нельсоном («парадокс Греллинга»). Этот парадокс можно сформулировать очень просто. Некоторые слова, обознача

ЧТО ТАКОЕ ЛОГИЧЕСКИЙ ПАРАДОКС?
Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен. Рассмотренные парадоксы — это только часть из всех обнаруженных к настоящему времени. Вполне вероят

УСТРАНИТЬ ЕЩЕ НЕ ЗНАЧИТ ОБЪЯСНИТЬ
Какие выводы для логики следуют из существования парадоксов? Прежде всего наличие большого числа парадоксов говорит как раз о силе логики как науки, а не о ее слабости, как это может показ

ПАРАДОКСЫ — ТОЛЬКО СИМПТОМ
У Г. Фреге, признаваемого теперь многими величайшим логиком прошлого века, был, к сожалению, очень скверный характер. Кроме того, он был безоговорочен и даже жесток в своей критике современников. В

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

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги