Понятие искусственного языка.

Всякий предметный или искусственный язык состоит из следующих компонентов:

1. Алфавит (конечный список исходных символов).

2. Правила построения термов (имен и именных форм).

3. Правила построения формул (высказываний и высказывательных форм).

4. Интерпретации языка.

 

Пункты 1-3 представляют синтаксис языка; пункт 4 представляет семантику языка. Если вернуться к трём функциям Л.Эйлера языковой знаковой системы, то мы видим, что п.3 формирует логическую функцию, п.п.1-2 формируют коммуникационную функцию, а п.4 отвечает за реализацию опорной функции.

Математические языки является искусственными языками и носят исключительно информативный характер. В этих языках используются только повествовательные предложения (высказывания). Формы мыслительной деятельности не представляющиеся повествовательными предложениями в этих языках невыразимы.

Самым простым искусственным языком, позволяющим строить импликации, является язык математической логики первого порядка, [11].

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

Искусственные языки делятся по уровням сложности в зависимости от типов отношений, которые они описывают.

Описание свойств моделей в зависимости от уровня языка требует специальных сведений по математической логике [11], которые не входят в круг рассматриваемых нами вопросов.

Понятие и анализ парадоксов.

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

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

Такимспособом определённые парадоксы следует отнести к бессмысленным текстовым продуктам. Следовательно, анализ парадокса связан с исследованием изоморфизма - соответствия мыслимой и реальной структур.

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

Мы выделим два следующих типа соответствий, возникающих при мысленном моделировании дедуктивных теорий.

Первый тип. Согласно выводу п. 8.1, изоморфизм мыслимой структуры на некоторую реальную структуру дает возможность “мысленно воспринимать объект” или, что тоже, выражать мысль в виде отношения каких-то элементов внешнего объекта в знаковой форме. Этот первый тип отношений мы назовём существованием реализации мыслимой теории.

Второй тип. Соответствие между языками моделей представляется структурными изоморфизмами. Этотвторой тип соответствия мы назовём структурным изоморфизмом.

Рассмотрим текстовые противоречия с точки зрения нарушения одного из двух указанных типов соответствия между языками моделей на примерах известных парадоксов.

Ахиллес и черепаха”.

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

Апория “Ахиллес и черепаха” принадлежит Зенону из Элен (483-375 гг. до н.э.) и состоит в следующем.

«Легендарный бегун Ахиллес движется в два раза быстрее черепахи. В момент старта черепаха находилась на расстоянии “а” от Ахиллеса. Когда Ахиллес пробежит этот отрезок “а”, то черепаха уползет вперед на расстояние “а”/2. Когда Ахиллес пробежит отрезок “а”/2, то черепаха уползет вперед на “а”/4. Когда Ахиллес пробежит “а”/4, то черепаха продвинется вперед еще на “а”/8 и т.д. Этот процесс бесконечен, и Ахиллес никогда не догонит черепаху».

Зенон считает, что в реальном мире каждая физическая операция требует некоторого времени, которое больше некоторого фиксированного временного интервала. Поэтому всякая бесконечная последовательность физических операций “выполнима” лишь за бесконечный промежуток времени.

Апория построена на интуитивном убеждении, что никакие бесконечные процессы завершиться не могут. Именно это и приводит к противоречию.

Надо объяснить каким образом рассматриваемый “мысленно” бесконечный процесс все же закончится.

Герман Вейль в начале XX века дал следующее объяснение этой апории. В мыслимой модели существует бесконечная последовательность 1,2,3,...,n,... временных событий (Ахиллес проходит расстояние “а”/2ⁿ) с неограниченно убывающим временным интервалом t_n =1/2ⁿ. В реальности, сумма таких интервалов существует и равна 2 ед. времени, поэтому через эти две единицы времени Ахиллес догонит черепаху.

Мы видим, что в апории Зенона «Ахиллес и черепаха» отсутствует изоморфизм мыслимой и реальной структур, по нашей классификации нарушено соответствие первого типа. Изоморфизм нарушен там, где Зенон неверно оценил сумму временных интервалов.

Парадокс пустого множества.

Рассмотрим высказывание Тº{всё, что я скажу, ложь}. Первый вопрос, который у нас возникает истинно это утверждение или ложно?

По своему смыслу это высказывание ложно, так как заявлено, что любое моё высказывание – ложь. С другой стороны истина в том, что я только лгу, поэтому это высказывание истинно. Таким образом, Т не является ни истинным, ни ложным. В чем суть противоречия?

Рассмотрим утверждение “Т” как аксиому и будем считать, что есть некоторая мыслимая структура и теория этой структуры, построенные на основе этой аксиомы. Рассмотрим существование реализации R(T) мыслимой теории построенной по этой аксиоме Т. Реализация есть пустое множество, поскольку не существует языка, в котором все утверждения лживы. Если бы реализация такого языка нашлась, то в этой реализации мы имели бы некоторое свойство и его отрицание одновременно, что противоречит понятию реализации как совокупности конкретных свойств. Поэтому не существует изоморфизма мыслимой модели Т ни на какую реализацию R(T). Следовательно, согласно определению смысла текстового объекта в выводе п.8.1, заключаем, что утверждение Тº{всё, что я скажу, ложь} является бессмысленным.

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