Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Анализ парадокса Ришара, причины возникновения, способы устранения.

Построение семантики языка исчисления классов | Определение понятия истинности | Понятие дедуктивной теории | Классификация языков по Тарскому (на базе теории семантических категорий). | Теория семантических категорий | Понятие и критерии синтаксической связанности | Экспликация понятия логической формы на базе теории семантических категорий. | Основной принцип теории семантических категорий и его роль в анализе искусственных и естественных языков. | Семантические парадоксы, причины возникновения | Пути и способы устранения парадокса Лжеца. (Тарский, Рассел, Мартин, Ван-Фрассен, Крипке.) |


Читайте также:
  1. I Рамочная проблемно-ориентированную методика анализа и решения организационно-экономических задач
  2. I. Анализ воспитательной работы за прошлый год
  3. I. Анализ инженерно-геологических условий площадки строительства
  4. I. Причины российской смуты
  5. II Когнитивный анализ
  6. II. Виды средних и способы их вычисления
  7. II. ИЗУЧЕНИЕ ЛИТЕРАТУРЫ, ЕЕ АНАЛИЗ И СОСТАВЛЕНИЕ БИБЛИОГРАФИЧЕСКОГО СПИСКА

Парадокс Ришара.

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

Множество выражений языка счетно.

S1: А1, А2, А3… - множество выражений языка, оно бесконечно, но счетно.

S2: А1, А2, А3… - те из выражений языка, которые описывают одноместные арифметические функции.

S2 S1

S3: f1, f2, f3… - сами функции.

Никто нам не запрещает нумеровать сами функции в соответствии с теми выражениями языка, которые их репрезентируют.

Теперь я произношу слова: "Та самая функция, которая для любого натурального числа n принимает значение на 1 большее, чем функция, которая репрезентируется выражением языка за номером n". Эти слова описывают одноместную арифметическую функцию:

fq(q)=fq(q) + 1

 

Это семантический парадокс, потому что здесь мы идем от языка. Диагональная функция попадает в пересчет за счет языка.

Почему мы получаем парадокс?

1) Определение диагональной функции является непредикативным. (Вспомним Рассела: m определяется ссылкой на M, но принадлежит к M.) Диагональная функция определяется ссылкой (номер q в пересчете) на совокупность, к которой она принадлежит, будучи одноместной арифметической функцией.

 

NB:

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

Непредикативное определение (2) - это определение, посредством которого создаётся или вводится в рассмотрение предмет, являющийся одним из значений неопределённого имени («переменной»), участвующего в определяющем выражении. Некорректность н.о. состоит в том, что предмет, вводимый посредством такого определения, своим появлением может изменить смысл определяющего выражения, а тем самым и самого определяемого предмета. Когда эта возможность не реализуется (что бывает, если все вхождения упомянутого неопределённого имени несущественны, т. е. устранимы логическими средствами), некорректностью н.о. можно пренебречь, но в таких случаях не возникает и проблемы н.о. Если же хоть одно вхождение неопределённого имени неустранимо, то создаваемый определением объект сам участвует в своём определении в качестве одного из значений смысла этого имени — и определение порочно, поскольку оно не даёт редукции определяемого объекта к ранее известным объектам и понятиям. С точки зрения теории определений, подобные порочные н.о. следует считать столь же недопустимыми, как и круги в доказательствах. Впервые на н.о. в математическом анализе указал А. Пуанкаре. Он же ввёл и сам термин «Непредикативное определение». Наиболее известные примеры н.о. встречаются при «наивных» классических попытках обоснования аксиоматической теории множеств. Например, доказательство существования объединения («теоретико-множественной суммы») произвольного множества множеств является непредикативным (так как при определении множества слово «множество» входит, и притом дважды, в определяющее выражение). В целях избежания связанных с этим трудностей были предложены различные средства (модификация наивной теории множеств), в частности теория типов.

 

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

 

Канторово доказательство несчетности множества.

Множество всех бесконечных последовательностей несчетно, а множество всех конечных последовательностей счетно.

Соответственно, множество всех функций от натуральных чисел несчетно.

Каждая функция задается ее системой значений:

x²: 1, 4, 9…

x²+1: 2, 5, 10…

Допустим, что множество одноместных арифметических функций счетно. Тогда можно организовать пересчет:

f(0), f(1), f(2)…

f(0), f(1), f(2)…

f(0), f(1), f(2)…

Диагональная функция:

f(0), f(1), f(2)…

Эта система значений позволяет нам задать функцию F:

f(0)+1, f(1)+1, f(2)+1…

F – это функция, которая отличается от любой функции в нашем пересчете на 1. Или: от функции за номером k она будет отличаться значением, которое та функция принимает для числа k – на 1.

Зададим функцию F (задать функцию=задать алгоритм вычисления системы ее значений):

F(n) f(n)+1

F – одноместная арифметическая функция. Область определения – целые положительные числа. Область значения – целые положительные числа.

Значит, F попадает в наш пересчет.

 

f(n) f(n)+1

Т.к., возьмем, к примеру:

n=q

f(q)=f(q)+1

Мы получаем противоречие.

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

Парадокса здесь нет, просто наше допущение неверно.

 

2) Пагубная самоприменимость. В данных условиях самоприменимость приводит к парадоксу.

 

Выводы:

1) Множество одноместных арифметических функций несчетно. Для любого пересчета S1 всегда можно построить диагональную функцию, не попадающую в пересчет.

2) Множество выражений языка счетно. Пересчет одноместных арифметических функций организуется в соответствии с выражениями языка, определяющими эти функции.

3) Если диагональная функция выразима в языке, то мы получаем парадокс.

4) Выразима ли диагональная функция в языке? Здесь возникает необходимость экспликации понятий выразимости свойств, отношений в языке.

 


Дата добавления: 2015-07-16; просмотров: 128 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Истинность и критерии осмысленности высказываний. (Рассел, Фреге, Мартин, Ван-Фрассен, Гильберт.)| Уточнение понятия определимости, выразимости свойств, отношений, операций в языке (К-определимость, семантическая определимость, рекурсивная определимость, Т-определимость).

mybiblioteka.su - 2015-2024 год. (0.008 сек.)