Роль парадоксов в развитии логики

Размещено на http://www.allbest.ru/

3

Министерство образования и науки Российской Федерации

Государственное образовательное учреждение высшего профессионального образования

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ТЕХНОЛОГИЙ И УПРАВЛЕНИЯ им. К.Г. Разумовского

Филиал ГО УВПО «МГУТУ» в г. Мелеузе

Контрольная работа

По дисциплине: Логика

На тему: Роль парадоксов в развитии логики

Мелеуз-2012 г.

Содержание

Введение

1. Определение понятия «парадокс»

2. Парадоксы в логике

3. Роль парадоксов в развитии науки

Заключение

Список литературы

Введение

парадокс логика наука

Требование непротиворечивости нашего знания является центральным в научном мышлении и обычно строго выполняется. Однако появление противоречий в процессе познания отнюдь не редкое явление. Почти в каждой более или менее сложной науке возникают противоречия определенных видов - так называемые парадоксы.

Чаще всего парадоксы расцениваются как негативные явления, «факторы зла», «патологии науки». От парадоксов стремятся избавиться любыми путями, парадоксальные идеи не принимаются, а парадоксальные теории не признаются. Однако полностью избежать парадоксов никогда не удаётся. Даже в таких строгих и точных науках как логика и математика существуют свои парадоксы.

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

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

1. Определение понятия «парадокс»

В настоящее время термин парадокс прочно вошел в нашу речь. Его можно встретить и в научных текстах (парадоксальный сон, парадоксы природы, парадоксы науки, парадоксы творчества) и в повседневной речи («ну это уже парадокс») и художественной литературе («О сколько нам открытий чудных готовят просвещенья дух, и опыт, сын ошибок трудных, и гений, парадоксов друг»). Поэтому вполне естественно, что термин парадокс понимается по-разному в разных ситуациях. В.С. Библер замечает: «Понятие парадокса существует сейчас в самых различных смыслах - от чисто словарного и повседневного (красиво звучащая бессмыслица, до строго формального (логического), наиболее осознанного в парадоксах теории множества».

Такое широкое значение термина парадокс хорошо отражено в словарях. В них можно найти следующие определения этого слова:

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

Парадокс - 1) в обще-базальном порядке - это аффирмация, которая контрастирует с общепринятыми критериями, ориентациями, установками, а также парадокс это элиминирование того, что может быть достоверным;

2) это неожиданное нестандартное положение, которое антитезно фактам действительности;

3) это дискурсивно-верное рассуждение, которое результирует харизматические тезисы, кои могут быть дискурсивно доказуемы, а уже такие положение мы не можем отнести ни к достоверным, ни к ложным;

4) два антитезных утверждения, которые обладают весьма убедительными аргументациями.

Парадокс (от греч. paradoxos - неожиданный, странный) - 1)мнение, рассуждение, резко расходящееся с общепринятыми, противоречащее (иногда только на первый взгляд) здравому смыслу;

2) необычное, неожиданное явление, не соответствующее привычным представлениям;

3) формально-логическое противоречие, которое возникает в содержательной теории множеств и формальной логике при сохранении логической правильности хода рассуждений;

Paradoxon - парадоксальное положение.

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

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

2. Парадоксы в логике

Логический парадокс - это положение, которое сначала ещё не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится, прежде всего, к его правильности или неправильности.

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

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

Рассмотрим некоторые из наиболее известных логических парадоксов.

Королем логических парадоксов по праву считается парадокс «Лжец». Автором этого парадокса считается Евбулид из Милета. В его формулировке данный парадокс звучит следующим образом:

Критянин Эпименид сказал: «Все критяне лжецы». Эпименид сам критянин. Следовательно, он лжец.

Далее начинаются логические рассуждения: «Если Эпименид лгун, тогда его заявление, что все критяне лгуны - ложно. Значит, критяне не лгуны. Между тем Эпименид, как определено условием, - критянин, следовательно, он не лгун, и поэтому его утверждение «все критяне лгуны» - истинно. Таким образом, получаются взаимоисключающие предложения. Одно из них утверждает, что высказывание «все критяне лгуны», является ложным, а другое, наоборот, квалифицирует это же высказывание как истинное. Притом как в одном, так и в другом случае используемые рассуждения логически строги, в них нет ни намеренных, ни непреднамеренных ошибок. Так где же истина?

Было приложено немало усилий объяснить этот странный результат. Имеется, например, такое решение. Почему мы должны считать, что Эпименид говорит одну только ложь и никогда не говорит правды? Точно так же тот, кто считается правдивым, разве всегда утверждает лишь правду? В практике общения ложное обычно перемешано с истиной, и мы не найдем такого отпетого лгуна, который только бы лгал». Поэтому вполне можно считать, что в данном случае Эпименид говорит правду, все критяне действительно лгуны, а данное высказывание является исключением. Однако подобные рассуждения, конечно, нельзя считать объяснением этого парадокса, это скорее «уход от решения», а не само «решение».

Парадокс «Лжец» считается наиболее известным и самым интересным из всех логических парадоксов. Одним из подтверждения данного факта можно считать огромное количество вариаций на тему этого парадокса.

В простейшем варианте «Лжеца» человек произносит всего одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно».

В средние века была распространена такая формулировка данного парадокса:

- Сказанное Платоном - ложно, - говорит Сократ.

- То, что сказал Сократ, - истина, - говорит Платон.

Имеются и современные перефразировки этого парадокса. Например:

На лицевой стороне карточки написаны слова: «На другой стороне карточки записано истинное высказывание». Значит то, что написано на обороте является истинным. Перевернув карточку, мы видим слова: «На другой стороне карточки написано ложное высказывание». Допустим, что утверждение на лицевой стороне карточки истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение с лицевой стороны ложно, тогда утверждение на обороте также должно быть ложным, и, следовательно, утверждение на лицевой стороне должно быть истинным. В итоге - парадокс.

Парадокс лжец произвел громадное впечатление на греков. Ходит даже легенда, что некий Филлит Косский, отчаявшись разрешить этот парадокс, покончил с собой. А один известный древнегреческий логик Диодор Кронос, уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдёт решение «Лжеца», и вскоре умер, так ничего и не добившись.

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

Сейчас «Лжец» считается характерным примером тех трудностей, к которым ведёт смешение двух языков: языка, на котором говориться о лежащей вне его действительности, и языка, на котором говорят о самом первом языке.

В повседневном языке нет различия между этими уровнями: и о действительности, и о языке, мы говорим на одном и том же языке. Однако, если бы у кого-то возникла мысль о необходимости говорить о мире на одном языке, а о свойствах этого языка - на другом, он мог бы воспользоваться двумя разними существующими языками, например, русским и английским. Вместо того чтобы просто сказать: «Утверждение «Стекло не прозрачно» ложно», он произнёс бы: «The assertion «Стекло не прозрачно» is false». При таком использовании двух разных языков сказанное о мире ясно отличалось бы от сказанного о языке, с помощью которого говорят о мире.

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

Если язык и метаязык разграничиваются указанным образом, утверждение «Я лгу» уже не может быть сформулировано. Оно говорит о ложности того, что сказано на русском языке, и, значит, относится к метаязыку и должно быть высказано на английском языке. Оно должно звучать так: «Everything speak in Russian is false», в этом английском утверждении ничего не говорится о нём самом, и никакого парадокса не возникает.

Несколько лет назад я бессознательно применила этот метод двух языков в одном из своих стихотворений. Стихотворение называлось «Alles Lьge» (всё ложь), его последняя строчка была такая:

Правда в том, что Alles Lьge - остальное ложь…

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

Таким образом, теперь можно смело утверждать, что «Лжец» - это е локальное изолированное препятствие, устранимое одним изобретательным движением мысли. «Лжец» затрагивает многие наиболее важные темы логики и семантики. Это и определение истины, и истолкования противоречия и доказательства, и целая серия важных различий: между употреблением выражения и его упоминанием, между смыслом имени и обозначаемым им объектом.

Еще одним известным парадоксом является «Неразрешимый спор». В его основе лежит небольшое происшествие, случившееся две с лишним тысячи лет назад и не забытое до сих пор:

У знаменитого софиста Протагора, жившего в V в. до н.э., был ученик по имени Еватл, обучавшийся праву. По заключенному между ними договору Еватл должен был заплатить за обучение лишь в том случае, если выиграет свой первый судебный процесс. Если же он этот процесс проиграет, то вообще не обязан платить. Однако, закончив обучение, Еватл не стал участвовать в процессах. Это длилось довольно долго, терпение учителя иссякло, и он подал на своего ученика в суд. Таким образом, для Еватла это был первый процесс. Своё требование Протагор обосновал так:

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

Судя по всему, Еватл был способным учеником, поскольку он ответил Протагору:

- Действительно, я либо выиграю процесс, либо проиграю его. Если выиграю, решение суда освободит меня от обязанности платить. Если решение суда будет не в мою пользу, значит, я проиграл свой первый процесс и не заплачу в силу нашего договора.

Было предложено много решений данного парадокса.

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

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

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

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

3. Роль парадоксов в развитии науки

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

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

В.Ф. Шарков пишет: «Возможно самой удачной, хотя очень грустной и парадоксальной формулировкой современного парадокса развития науки следует признать утверждение «Сегодня главным препятствием прогрессу науки становится сама наука!» Рождение этого парадокса связано с понятием "парадигма", то есть системной совокупностью устоявшихся за последние пару сотен лет научных представлений, законов, принципов. Очевидно, что процесс познания предполагает периодическую смену научных парадигм. Однако для этого должно быть преодолено огромное количество самых разнообразных препятствий. Из истории известно, что становление всякой новой науки проходит три этапа. Вначале ее принимают в штыки, как абсурдную: "этого не может быть потому, что это противоречит здравому смыслу". Затем наступает полоса признания: "пожалуй, в этом все-таки что-то есть". И, наконец, новая теория сама превращается в истину: "это же так просто, - и ежу ясно!". Так новая теория становится новой Истиной».

Какие же препятствия стоят на пути становления новой научной парадигмы? Их немало, но самым серьёзным противником бесспорно является старая научная парадигма и её представители (как ни странно - авторитетные учёные - академики, объединённые в Национальные Академии Наук).

В.Ф. Шарков приводит список «сторожей фундаментальных истин старой парадигмы»:

- Французская академия наук, которая отвергла предложение Э. Дженнера бороться с оспой путем прививок, заклеймила как шарлатана Ф. Мессмера, осуществившего первые опыты гипноза; - Английская академия наук, которая осудила эволюционную теорию Чарльза Дарвина, отклонила как нелепое изобретение Б. Франклина по защите высоких строений молниеотводами; - Немецкие и американские академики пришли к заключению, что аппараты тяжелее воздуха с неподвижными крыльями летать в принципе не могут; - Академия наук СССР заклеймила как лженауки кибернетику, генетику и статистику.

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

Джордано Бруно - итальянский философ и поэт, после восьмилетнего пребывания в тюрьме был сожжен на костре по обвинению в ереси и свободомыслии.

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

Галилео Галелей - итальянский астроном и философ перевел на родной язык книгу Н. Коперника, но под пытками в возрасте 69 лет вынужден был публично отречься от идей Н. Коперника.

Николай Лобачевский - русский математик, после опубликования теории неэвклидовой геометрии, которая сейчас носит его имя, был освобожден от всех должностей, в том числе от должности ректора Казанского университета.

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

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

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

Совершенно оригинальный способ вылавливать парадоксальные идеи практикуется американским журналом «Физическое обозрение». Обычно он печатает сообщения, в которых ниспровергаются основы науки. Но интересно следующее. Большинство статей, направляемых в журнал, отвергается редакцией не потому, что их нельзя понять, а потому именно, что их можно понять. А вот те, которые понять нельзя, как раз и печатаются. Великое открытие, когда оно едва появляется, наверняка возникает в запутанной и бессвязной форме. Самому первооткрывателю оно понятно лишь наполовину, а для всех остальных тем более тайна. Поэтому любое оригинальное построение кажется поначалу безумным, не имеющим никаких надежд на успех. Это и учитывает журнал, издавая непонятные работы.

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

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

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

Заключение

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

Парадоксы известны науке уже более двух тысяч лет. Впервые данное явление стали изучать ещё в Древней Греции. В античные времена были описаны многие парадоксы и для некоторых из них ученые до сих пор не могут найти объяснения и решения. Открываются парадоксы и в наши дни. Обычно подобные открытия сопровождаются кризисами в науке, разрушением старых, проверенных временем теорий и попытками создать новые, которые способны объяснить появившиеся противоречия.

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

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

В заключении можно отметить, что парадоксы в науке имеет парадоксальную (противоречивую) природу. С одной стороны они обозначают кризис старого научного знания (чем и объясняется негативное отношение к данному явлению многих ученых), с другой - они способствуют развитию нового, это доказывает их полезность и даже определенную необходимость. Здесь можно наблюдать выбор между покоем и развитием. Если наука, как ей и полагается, предпочитает развитие, значит, ученые должны принять парадоксы как данность и попытаться использовать то знание, которое они дают, несмотря на его непривычность и противоречивость устоявшимся правилам. Именно такое понимание парадокса предполагается как оптимальное для развития науки в настоящее время.

Список литературы

1. Кондаков, Н. И. Логический словарь-справочник / Н. И. Кондаков. -- М.: Наука, 1975. -- 720 с.

2. Ивин, А. А. Словарь по логике / А. А. Ивин, А. Л. Никифоров -- М.: Туманит, ВЛАДОС, 1997. -- 384 с.

3. Ивин, А. А. Логика. Учебное пособие / А. А. Ивин - Издание 2-е. -- М.: Знание, 1998. -- 240 с.

4. Френкель, А. А. Основания теории множеств / А. А. Френкель, И. Бар-Хиллел -- М.: Мир, 1966. -- 556 с.

5. Карри, Х. Основания математической логики / Х. Карри. - М.: Мир, 1969. - 568 с.

6. Блехман, И. И. Механика и прикладная математика: Логика и особенности приложений математики / И. И. Блехман, А. Д. Мышкис, Я. Г. Пановко. - М.: Наука, 1983. - 328 с.

Размещено на Allbest.ru