О классификации парадоксов на группы А и В у Ф. Рамсея

Проблема классификации парадоксов (анализ). Классификация парадоксов на группы А и В. Фиксация "пограничные парадоксы", которые демонстрируют проблематичность Рамсеевой классификации. Экспликация парадоксов. Парадокс наименьшего неопределимого ординала.

Рубрика Математика
Вид статья
Язык русский
Дата добавления 30.09.2020
Размер файла 27,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

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

О классификации парадоксов на группы А и В у Ф. Рамсея

В.А. Ладов,

С.М. Стоев

Аннотации

Обсуждается проблема классификации парадоксов. Ф. Рамсей классифицировал парадоксы на группы А и В. Группу А образовывали логические парадоксы, основанные на проблематичности некоторых понятий логики и математики, а в группу В входили семантические (лингвистические) парадоксы, основанные на проблематичности средств языкового выражения понятий. Авторы, статьи утверждают, что провести четкую демаркацию между группами А и В весьма затруднительно, так как некоторые из парадоксов носят "пограничный" характер и могут быть рассмотрены, и как логические, и как семантические. Предлагается проект новой классификации, учитывающей выявленные затруднения.

Ключевые слова: Рамсей, Рассел, парадокс, логика, математика, язык, множество, класс, высказывание, пропозиция, классификация.

Vsevolod A Ladov, Tomsk Scientific Center, SB RAS (Tomsk, Russian Federation); Tomsk State University (Tomsk, Russian Federation).

Stanislav M. Stoev, Tomsk Scientific Center, SB RAS (Tomsk, Russian Federation); Tomsk State University (Tomsk, Russian Federation).

ON RAMSEY'S CLASSIFICATION OF PARADOXES

Keywords: Ramsey; Russell; paradox; logic; mathematics; language; set; class; statement; proposition; classification.

The problem of paradoxes is discussed in this paper. At the beginning of the 20th century the problem was presented by Bertrand Russell and Frank Ramsey. Russell thought all paradoxes as similar to each other. Ramsey asserted that they are divided into two completely different groups. The paradoxes of group A are logical paradoxes. The paradoxes of group B are semantic (linguistic) paradoxes. The paradoxes of group A are connected with problems of some logical and mathematical concepts. The paradoxes of group B are connected with problems of linguistic expression of concepts. In the second half of the 20th century Ramsey's point of view was dominant. The modern Australian logician Graham Priest affirms that Russell was right and Ramsey was wrong for all paradoxes have a common structure and one way to solve them. The authors of this paper assert that it is a difficult task to distinguish paradoxes on Ramsey's basis because there are so-called "frontier paradoxes". These paradoxes can be interpreted to be logical as well as semantic paradoxes. But it does not mean that Ramsey was wrong at all. The authors think that Priest's assessment of Ramsey's classification of paradoxes is incorrect. Ramsey's classification is meaningful but it should be corrected. As a conclusion, the authors offer the project of a new classification of paradoxes. Ramsey's classification may be retained but it would be supplemented. The classification should consist of three groups of paradoxes: A (pure logical paradoxes), B (pure linguistic paradoxes) and C (frontier paradoxes).

Введение

К проблеме парадоксов в современной логике впервые обратился Б. Рассел [1]. Он сформулировал ряд парадоксов, которые, по его мнению, имеют подобие между собой. Позднее Ф. Рамсей [2] предложил классифицировать рассмотренные Расселом парадоксы на две группы А и В, утверждая при этом, что парадоксы из разных групп не могут расцениваться как подобные. Рамсей настаивал на том, что парадоксы группы А возникают на основании проблематичности определенных понятий логики и математики, тогда как парадоксы группы В возникают на основании проблем не с понятиями, а, скорее, со способами их именования. При введении данной классификации сам Рамсей ссылался на Д. Пеано, который, в частности, утверждал, что хотя парадокс Ришара формулируется через обращение к предметной области математики, тем не менее имеет не математическую, а лингвистическую природу [Там же. С. 157].

Классификация Ф. Рамсея стала хрестоматийной для логики ХХ в. Однако в логической литературе последних десятилетий данная позиция подвергается критике. Так, австралийский логик Г. Прист настаивает на том, что прав был все-таки Рассел, представляя все парадоксы как подобные, а Рамсей, соответственно, ошибался [3. Р. 25].

Рамсееву классификацию можно было бы попытаться защитить за счет различения таких понятий, как структура парадоксов и природа парадоксов [4]. Можно сказать, что представленные в исследованиях Рассела и Рамсея парадоксы сходны по своей структуре, и в этом смысле прав Рассел. Но вместе с тем данные парадоксы можно классифицировать как различные по их природе, одни из них возникают на основании некоторых проблем с понятиями мышления (логического и математического), тогда как другие на основании проблем со способами именования понятий, т.е. с языком, и в этом смысле прав Рамсей.

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

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

Экспликация парадоксов

Г. Прист утверждает, что Рассел прав, считая приведенные им в работе "Математическая логика, основанная на теории типов" парадоксы подобными. Все они подобны по своей структуре. Назовем структуру, объединяющую все парадоксы, Структурой Рассела по аналогии с понятием Схема Рассела, которое вводит Г. Прист.

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

(1) w = {х: р(х)}

(2) е є х

(3) (е є ж) & (е Ј м>).

Рассмотрим, как эта структура обнаруживается в обсуждаемых парадоксах.

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

Парадокс Бурали - Форти. Для любого упорядоченного множества важной характеристикой выступает не только количество его элементов, но и их упорядоченность. Любой элемент упорядоченного множества может быть представлен в качестве порядкового номера - ординала, обозначаемого порядковым числом: первый, второй, третий и т.д. Если любое множество в качестве элементов может содержать также и другие множества, то любое множество может быть рассмотрено в качестве ординала того или иного упорядоченного множества. Будем собирать в упорядоченное множество м> все возможные элементы х, которые обладают свойством р - свойством быть ординалом. Однако само м> также может быть рассмотрено в качестве одного из ординалов множества всех ординалов. Таким образом, при образовании м> возникает новый элемент е, который, во-первых, принадлежит х, поскольку тоже является оридиналом, и во-вторых, является самим w. Относительно этого нового элемента е оказываются истинными два противоречивых положения: е и принадлежит w, и не принадлежит w. Обоснование вывода (3) в Структуре Рассела в отношении парадокса Бурали - Форти таково. В упорядоченное множество м> включены все возможные ординалы. Причем среди них в качестве последнего элемента должен существовать самый большой ординал. Но само м> также может быть рассмотрено в качестве ординала множества ординалов, а значит, оно должно иметь возможность быть своим собственным элементом. В таком случае м> должно иметь порядковый номер, больший на 1, нежели порядковый номер последнего элемента в w. Таким образом, м> оказывается ординалом, который больше самого большого ординала, т.е. если мы предполагаем, что м> принадлежит w, то отсюда следует вывод, что м> не принадлежит w.

Парадокс отношения. В формулировке Рамсея данный парадокс представлен как парадокс отношения между двумя отношениями, где одно не находится в отношении самого себя к другому [2. С. 38].

Этот парадокс сложно подкрепить примерами, ибо не просто привести пример отношения, которое находится в своем собственном отношении к другому отношению. Представляется, что формулировку данного парадокса можно было бы упростить, если вместо собственного отношения некоторого отношения к другому отношению рассмотреть собственное отношение некоторого отношения к самому себе. Это уточнение будет вполне уместным, ибо у Рассела, от которого отталкивается Рамсей, речь идет о любых отношениях R и Ј [1. С. 22], таким образом, Ј можно заменять на R, и наоборот, R на Ј. Следовательно, формулировка проблемы может быть представлена в рамках лишь одного отношения R к самому себе в отношении R к R).

Например, логическое отношение пересечения между понятиями не находится в отношении пересечения к себе самому. А вот логическое отношение тождества между понятиями находится в отношении тождества к себе самому.

Теперь посмотрим, как в данном парадоксе представлена Структура Рассела. Образуем класс w, состоящий из отношений х, таких, которые обладают свойством р, сформулированном в высказывании: "Отношение, которое не имеет собственного отношения к себе самому".

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

Парадокс Лжеца. Образуем класс м>, состоящий из высказываний х, имеющих свойство р, выраженное в высказывании: "Высказывание, которое не является истинным". В данный класс м> попадут, например, такие высказывания, как "2 + 2 = 5" или "На обратной стороне Луны нет кратеров", тогда как высказывания "2 + 2 = 4" и "На обратной стороне Луны имеются кратеры" в класс м> не попадут.

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

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

Парадокс наименьшего неопределимого ординала. Существуют неопределимые ординалы. Среди этих ординалов имеется наименьший. Следовательно, существует наименьший неопределимый ординал. Однако этот ординал определяется с помощью выражения "наименьший неопределимый ординал". Следовательно, данный ординал является определимым.

В Структуру Рассела данный парадокс может быть вписан следующим образом:

х - ординалы;

р - свойство быть наименьшим неопределимым ординалом;

- класс ординалов, которым присуще свойство р;

е - наименьший неопределимый ординал;

е принадлежит х;

е и принадлежит, и не принадлежит w.

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

Как пишет Рассел: "Парадокс Ришара родствен парадоксу о наименьшем неопределимом ординале" [1. С. 23]. Данное родство действительно можно заметить, но только при том условии, что мы произведем определенную инверсию парадокса Ришара и начнем его формулировку с рассмотрения класса десятичных дробей, которые не могут быть определены за конечное число слов. Определим конкретный элемент данного класса при помощи выражения "Дробь, которая не может быть определена за конечное число слов". При этом указанное выражение, очевидно, имеет конечное число слов. Следовательно, рассматриваемая дробь и может, и не может быть определена за конечное число слов.

В такой "инверсионной" формулировке парадокс Ришара соответствует Структуре Рассела аналогично тому, как соответствует этой Структуре парадокс наименьшего неопределимого ординала, а именно:

х - дроби;

р - свойство быть дробью, которая не определяется за конечное число слов;

м> - класс дробей, которым присуще свойство р;

е - дробь, которая не определяется за конечное число слов;

е принадлежит х;

е и принадлежит, и не принадлежит м>.

Парадокс Греллинга. Данный парадокс Рассел не упоминал, но Рамсей его указал в своей классификации, поэтому имеет смысл обсудить и его. Все прилагательные можно разделить на два типа - гетерологические и автологи- ческие. Гетерологическим называется такое прилагательное, которое обозначает свойство, не присущее ему самому. Например, слово "сладкое" само не является сладким. Автологическим называется такое прилагательное, которое обозначает свойство, присущее ему самому. Например, слово "русское" само русское.

Поставим вопрос относительно слова "гетерологическое". Это слово является автологическим или гетерологическим? Если оно автологическое, то ему присуще свойство, которое оно выражает, а значит, оно гетерологическое. Если оно гетерологическое, то ему не присуще свойство, которое оно выражает, а значит, оно не является гетерологическим и, как следствие, является автологическим. С какой бы посылки мы ни начинали, получаем противоречие.

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

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

Так, к первой группе может быть отнесен парадокс Рассела, возникающий на основании проблематичности самого понятия множества множеств или класса классов. Сюда же попадает и парадокс Бурали - Форти, возникающий на основании проблематичности математического понятия ординала множества всех ординалов или наибольшего ординала. Рамсей причислял к данной группе и парадокс об отношении между двумя отношениями, ибо проблема здесь, по его мнению, возникает именно с логическим понятием отношения.

В других парадоксах, если рассуждать в духе Рамсея, речь идет либо о словах, выражающих понятия, либо о высказываниях, выражающих логические суждения. Одним из наиболее характерных примеров здесь выступает берущий начало в Античности парадокс Лжеца. В данном парадоксе речь идет о высказывании одного из жителей острова Крит о своих согражданах.

А. Тарский, как и Рамсей, подчеркивал семантический характер данного парадокса, формулируя его таким образом, что в нем речь шла даже не о высказываниях, а о предложениях языка, т.е. о лингвистических сущностях [5. Р. 157-158].

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

Перевод логических парадоксов в семантические и семантических парадоксов в логические ("пограничные парадоксы")

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

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

Еще более выразительный пример "пограничного парадокса" являет собой классический парадокс Лжеца. Казалось бы, этот парадокс имеет ярко выраженную лингвистическую природу, поскольку в класс м> в Структуре Рассела мы в данном случае собираем лингвистические сущности - высказывания. И проблематичный элемент е также является одним из высказываний, а именно высказыванием: "Высказывание, которое не является истинным". Рамсей не сомневается в том, чтобы поместить этот парадокс в группу В в своей классификации. Однако достаточно поставить вопрос о том, что есть высказывание, и проблематичность классификации данного парадокса сразу становится явной. Высказывание может быть рассмотрено в качестве лингвистической сущности - определенной языковой конструкции, но также оно может быть интерпретировано и в чисто логическом смысле как форма мысли, а именно как пропозиция, в которой определенному логическому субъекту приписан соответствующий предикат. Если мы будем трактовать высказывание во втором из указанных смыслов, то в класс w в качестве элементов х будут попадать не лингвистические, а логические сущности. И специфический элемент е также будет представлять собой пропозицию, в которой зафиксировано свойство р пропозиций х, образующих класс w. В такой интерпретации парадокс Лжеца оказывается чисто логическим парадоксом, в котором фиксируются определенные проблемы мышления, а не языка. И в таком случае непонятно, почему мы должны относить данный парадокс в группу В, как это предлагал Рамсей.

Подобного же рода сомнения можно высказать и относительно парадокса Греллинга. Прилагательные, которые представляют собой элементы х класса м> в Структуре Рассела для этого парадокса, можно трактовать как лингвистические сущности, и это первое, что приходит на ум в данном случае. При такой интерпретации данный парадокс оказывается семантическим и помещается в группу В в Рамсеевой классификации. Но прилагательные можно трактовать и иначе. Они могут быть интерпретированы как понятия мышления, в каждом из которых фиксируется какое-либо свойство предметов. Одним из таким понятий оказывается и парадоксальное понятие "гетерологическое" в качестве специфического элемента е, относительно которого невозможно без противоречия утверждать, попадает оно в класс ^ или нет. В таком случае парадокс Греллинга становится логическим парадоксом и должен быть перемещен из группы В в группу А.

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

И все же в группе В остаются парадоксы, которые могут быть сформулированы только на лингвистическом уровне, - это парадокс Берри и парадокс Ришара. В парадоксе Берри некоторому специфическому элементу е также дается логическое определение: е есть наименьшее целое число, не именуемое менее чем десятью словами. Казалось бы, здесь, как и в случае с парадоксом наименьшего неопределимого ординала, мы можем легко перевести рассуждение с лингвистического на чисто логический уровень и также представить парадокс Берри как "пограничный парадокс". Однако специфика данного парадокса состоит в том, что в логическом родовидовом определении элемента е дается указание именно на средства языкового выражения - слова, чего нет в определении, фиксируемом в парадоксе наименьшего неопределимого ординала. Если из определения элемента е в парадоксе Берри убрать отсылку к словам, то сам парадокс просто невозможно будет сформулировать. Его суть состоит в том, что логическое определение элемента е в своем внешнем языковом выражении представлено с помощью меньшего количества слов, нежели указано в самом этом определении. Таким образом, парадокс Берри занимает стабильное место в группе В Рамсеевой классификации.

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

В итоге мы можем констатировать наличие следующего положения дел. В Рамсеевой группе А имеются парадоксы, которые однозначно должны попадать именно сюда, они имеют чисто логическую природу и возникают на основании проблематичности некоторых понятий мышления. Таковы парадоксы Рассела и Бурали - Форти. Вместе с тем в данной группе А у Рамсея находится парадокс, который имеет "пограничный" характер и может быть сформулирован и как чисто логический, и как семантический (лингвистический). Это - парадокс отношения.

В группе В у Рамсея также имеются парадоксы, природа которых не вызывает сомнений. Они имеют лингвистический характер и должны однозначно попадать именно в эту группу. Таковы парадоксы Берри и Ришара. Но как и в случае с группой А, в группе В также имеются "пограничные парадоксы", которые можно трактовать и как логические, и как семантические. Это - парадокс Лжеца, парадокс наименьшего неопределимого ординала и парадокс Греллинга.

Выводы

1. Рамсеева классификация проблематична из-за наличия "пограничных парадоксов".

2. Вместе с тем можно говорить о том, что данная классификация все равно имеет смысл, ибо даже при наличии "пограничных парадоксов" все же остаются те, которые можно однозначно отнести либо к чисто логическим (парадоксам мышления), либо к чисто лингвистическим (парадоксам языка).

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

Литература

1. Рассел Б. Математическая логика, основанная на теории типов // Логика, онтология, язык. Томск, 2006. С. 16-62.

2. Рамсей Ф.П. Основания математики // Философские работы. М., 2011. С. 16-56.

3. Priest G. The Structure of the Paradoxes of Self-Reference // Mind. 1994. Vol. 103, № 409. P. 25-34.

4. Ладов В.А. Б. Рассел и Ф. Рамсей о проблеме парадоксов // Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 43. С. 101-110.

5. Tarski A. The Concept of Truth in Formalized Languages // Logic, Semantics, Metamathematics. Oxford : Oxford University Press, 1956. P. 152-278.

References

1. Russell, B. (2006) Matematicheskaya logika, osnovannaya na teorii tipov [Mathematical Logic as Based on the Theory of Types]. Translated from English by V.A. Surovtsev. In: Surovtsev, V.A. (ed.) Logika, ontologiya, yazyk [Logic, ontology, language]. Tomsk: Tomsk State University. pp. 1662.

2. Ramsey, F.P. (2011) Osnovaniya matematiki [The foundation of mathematics]. Translated from English by V.A. Surovtsev. In: Ramsey, F.P. Filosofskie raboty [Philosophical Papers]. Moscow: Kanon+. pp. 16-56.

3. Priest, G. (1994) The Structure of the Paradoxes of Self-Reference. Mind. 103(409). pp. 2534. DOI: 10.1093/mind/103.409.25

4. Ladov, V.A. (2018) Russell and Ramsey on the problem of paradoxes. Vestnik Tomskogo gosudarstvennogo universiteta. Filosofiya. Sotsiologiya. Politologiya - Tomsk State University Journal of Philosophy, Sociology and Political Science. 43. pp. 101-110. (In Russian). DOI: DOI: 10.17223/1998863Х/43/9

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

...

Подобные документы

  • Свойство, устранение и объяснение парадоксов в математике. Логический парадокс "Лжец" Эвбулида из Милета (IV в. до н.э.). Парадокс Греллинга, связанный с прилагательными. Парадоксы с множествами, парадоксы-петли. Проблемы парадоксов в математике.

    контрольная работа [34,1 K], добавлен 30.01.2010

  • Возникновение и развитие теории вероятностей и ее приложений. Решение классических парадоксов игры в кости и "азартных игр". Парадокс закона больших чисел Бернулли и Бертрана, дня рождения и раздачи подарков. Изучение парадоксов из книги Г. Секея.

    контрольная работа [64,8 K], добавлен 29.05.2016

  • Как высшая математика разрешает философские парадоксы. Математика в апориях Зенона. Точная математическая формулировка интуитивного физического или метафизического понятия непрерывного движения. Попытки избавления от допущений в математических выкладках.

    реферат [320,7 K], добавлен 05.01.2013

  • Классификация гиперболических уравнений в общей классификации уравнений математической физики. Классификация уравнений: волновое, интегро-дифференциальные, уравнение теплопроводности. Методы решения в зависимости от видов гиперболических уравнений.

    контрольная работа [249,3 K], добавлен 19.01.2009

  • Понятие алгебраической системы (группы), ключевые условия, которым она удовлетворяет и ее нейтральный элемент. Основные свойства группы. Мультипликативные и аддитивные циклические подгруппы и группы. Теорема Лагранжа и характеристика следствий из нее.

    курсовая работа [173,6 K], добавлен 10.01.2015

  • Предмет вычислительной техники - задачи, которые умеют решать машины. Измерение сложности задачи. Алгоритм сортировки слиянием. Полиномиальные и не полиномиальные задачи. Понятие недетерменированного алгоритма. Графическое представление классификации.

    презентация [277,7 K], добавлен 22.10.2013

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

    курсовая работа [303,7 K], добавлен 22.09.2009

  • Конечные группы со сверхразрешимыми подгруппами четного и непримарного индекса. Неразрешимые группы с заданными подгруппами непримарного индекса. Классификация и строение конечных минимальных несверхразрешимых групп. Доказательство теорем и лемм.

    курсовая работа [427,2 K], добавлен 18.09.2009

  • Исследование свойств конечной разрешимой группы с заданными инвариантами подгруппы Шмидта. Основные свойства проекторов и инъекторов. Определение подгруппы группы, максимальной подгруппы группы, инъектора и биектора. Изложение теорем, следствий и лемм.

    курсовая работа [177,7 K], добавлен 22.09.2009

  • Исследование существования примарных нормальных подгрупп в бипримарных группах. Конечные бипримарные группы, разрешимые группы порядка. Порядки силовских подгрупп общей линейной группы. Доказательство лемм и теорем с использованием бинома Ньютона.

    курсовая работа [527,0 K], добавлен 26.09.2009

  • Сущность теории групп. Роль этого понятия в математике. Мультипликативная форма записи операций, примеры групп. Формулировка сущности подгруппы. Гомоморфизмы групп. Полная и специальная линейная группы матриц. Классические группы малых размерностей.

    курсовая работа [241,0 K], добавлен 06.03.2014

  • Факторизуемые группы с Х-перестановочными силовскими подгруппами. Классическая теорема Холла о разрешимых группах. Нахождение признаков сверхразрешимости группы на основе условий Х-перестановочности ее подгрупп. Доказательство тождества Дедекинда.

    курсовая работа [229,4 K], добавлен 02.03.2010

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

    курсовая работа [489,5 K], добавлен 05.01.2010

  • Бинарная алгебраическая операция. Разновидности групп, использование рациональных чисел вместо вещественных. Действие группы на множестве. Группа симметрий тетраэдра. Формулировка и доказательство леммы Бернсайда о количестве орбит. Задачи о раскрасках.

    курсовая работа [822,9 K], добавлен 25.02.2015

  • Возникновение и развитие теории групп. Проблема интегрирования дифференциальных уравнений. Алгебраические конструкции в теории автоматов. Появление понятия перестановок. Группы и классификация голограмм. Применение теории групп в квантовой механике.

    реферат [457,3 K], добавлен 08.02.2013

  • Неразрешимые конечные группы с нильпотентными добавлениями к несверхразрешимым подгруппам. Нормальные подгруппы конечных-обособленных груп. Факторизуемые группы с разрешимыми факторами нечетных индексов. Произведения 2-разложимых групп специальных видов.

    курсовая работа [546,1 K], добавлен 26.09.2009

  • Выработка современного абстрактного понятия групп. Простейшие свойства конечных нильпотентных групп. Подгруппа Фраттини конечной группы нильпотентна. Нахождение прямого произведения нильпотентных групп. Бинарная алгебраическая операция на множестве.

    курсовая работа [393,4 K], добавлен 21.09.2013

  • Применение леммы Бернсайда к решению комбинаторных задач. Орбиты группы перестановок. Длина орбиты группы перестановок. Лемма Бернсайда. Комбинаторные задачи. "Метод просеивания". Формула включения и исключения.

    дипломная работа [163,6 K], добавлен 14.06.2007

  • Разрешимость факторизуемой группы с разложимыми факторами. Свойства конечных групп, являющихся произведением двух групп, одна из которых группа Шмидта, вторая - 2-разложимая. Произведение бипримарной и 2-разложимой групп. Доказательство теорем и лемм.

    курсовая работа [475,0 K], добавлен 22.09.2009

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

    курсовая работа [136,6 K], добавлен 30.03.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.