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

1)     референты -- радикалы;

2)     денотаты -- простые числа;

3)     десигнаторы -- совершенные группы с простыми делителями р;

4)     сигнификаторы -- квадраты тонкого множества.

5)     αx -- ординалы, ∫ xαx (неопределенный интеграл) -- кардиналы (кванторы в языке логики предикатов, формального языка по отношению к речи предлагаемого языка.)

6)     сигнификация -- алгорифмирование по нормальному алгорифму; коннотация -- алгорифмирование по присоединяющему алроифму;

денотация -- алгорифмирование по сокращающему алгорифму;

референция -- алгорифмирование по разветвляющему алгорифму;

дефинирование -- алгорифмирование по удваивающему алгорифму;

десигнация -- алгорифмирование по обращаемому алгорифу.

7)     технические знаки:

8)     алгорифм побуквенного кодирования, алгорифм двойного проектирования (Платон "Филеб", "Г...")

 

Таблицами языка понятия является арифметика трансфинитивных чисел, которая будет изложена в следующей главе. Конфигурация, если схема систем содержит, таким образом, n понятий, и между ними отмечено единственное отношение, выражаемое термином "x предшествует y". Условия или аксиомы, определяющие это соотношение, называются символами, так как поскольку сама существующая конфигурация есть существование понятия, то лишь символ является одновременно экспликатом и экспликандуумом понятия, имеет единственное значение, выражаемое термином "если х отлично от у, то или "х предшествует у", или "у предшествует х"". Ясно, что представителем такой конфигурации является текст

x1, х2, ... xn

в котором отношение "х предшествует у" означает: "х и у таким образом подчинены десигнации смысла". Далее определяются конструктивные планы конфигураций и конструктивные операции надо конфигурациями. Классы конфигураций бывают двух видов, являясь, кроме всего прочего, выраженностью, общим решением закона противоречия: классы измерений, выражаемые в ординалах, и реальные классы референций, реферируемые в радикалах (так называются числа классов). Конструктивными операциями над классами является арифметика трансфинитивных чисел. Принадлежность элемента конструктивного класса этому классу заменяется терминологией, язык которой является, следовательно, языком КТМ. Впервые, таким образом, может быть удовлетворительно представлено понятие формализма, он выражается сингулярным термином, рассматриваемом нами в его единственном значении быть критерием конструктивности теории (термин, функция которого состоит в указании на один и только один объект). Язык терминологии формализует язык понятия диспут таким образом, что формализует уже само значение языка, но лишь предикатов, финитность посредством понятия которого речи была нами здесь использована и конфигурация которого была последовательно представлена в понятиях языков морфологии, значения и т. д. в последовательности текста, методом этого представления был символический метод. Терминология есть понятие, раскрывающее себя таким образом и затем, и потому даже, чтобы скрыть, десигнировать десигнационные системы, конфигурирующие конфигурации своего смысла.

1.     сингулярный термин -- референт;

2.     упорядоченное множество -- денотат;

3.     жесткость упорядоченного множества -- десигнатор (Теорема о жесткости: Пусть f: x - x -- точное отображение упорядоченного множества x, < в себе. Тогда f(x) = x для всех x = x, т. е. отображение f-тождественно)

4.     принцип сквозной цепи -- сигнификаты (Подмножество Y упорядоченного множества x, < называют сквозным (в x, <), если не существует x К x, для которого y < x при всех y К Y, т. е. если Y не строго ограничено в x, <).

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

6.     трансфинитивная индукция (построение или верификация по трансфинитивной индукции) -- сигнификация трансфинитивная рекурсия (принцип трансфинитивной рекурсии) -- коннотация или фальсификация. Арифметика кардиналов -- денотация ("принцип индивидуализации" конфинальным характером кардинала. Ф. Аквинский, Л. Хиптикка). Референция -- арифметика ординалов -- референция.

арифметика трансфинитивных имен -- дефиниция деревья (упорядоченное множество T, < называется деревом, если для каждого x К T множество Tx = {y К T; y <x} всех предшествующих x в T, < элементов вполне упорядоченно отношением <) -- десигнация.

7.     технические знаки: бесконечное множество -- представлен в виде квадрата бесконечного множества (он равномощен своему множеству) и конечное множество -- в виде аксиомы выбора.

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

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

Таблицами этого языка будет арифметика с точки зрения высшей математики, совершенная группа с простым делителем р; курируемая ее выполнением в теореме Ферма.

Семантику, десигнируемую в своих препозициональных установках, как прагматику, назовем трансфинитивной эстетикой, или трансцендентальным схематизированием, первой дисциплиной чистого разума по Канту, под которой мы, в частности, понимаем эстетику словесного творчества М. Бахтина.

Семантика эксплицирует понятия метода. Совершенная группа с простым делителем, курируемая и выполняемая теоремой Ферма, равна группе простых чисел.

 

 

 

 

 

 

 

Логика и онтология

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

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

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

Идея Вторичного получает свое обоснование в модальности de dicto, приписывающий необходимость предложению, судению сущностью Вторичности является, таким образом, референция, лишающая Вторичность сущности и превращающая ее в идею Вторичного. Идея Третичности, таким образом, может быть представлена в формальном языке, высказывание которого редуцирует модальность de dicto к dire, так называемая "реальность неопределенности" (Ч. Пирс). "...в своей аутентичной форме Третичность есть триадическое отношение, которое существует между знаком, его объектом и интерпретирующей мыслью, являющейся самой по себе знаком, рассмотренной как конституирующее способ бытия закона".

Как известно, в интерпретации современной модальной логики, большую силу обрела концепция возможных миров, связанная с редукцией модальностей de re к de dicto в понятии индивидуализирующей функции Л. Хиптикки.

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

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

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

Трансфинитизм настаивает на такого рода существовании знака при том, что его референтом является интерпретант, денотатом -- интерпретанта (в смысле Морриса), десигнатором -- интерпретация, референцией, денотацией и десигнацией является понятие, единственно только этот знак, под "существованием такого рода" мы можем теперь понимать не что иное, как значение. Наивысшая степень существования, образующая само понятие существование, есть, таким образом, значение. Ясно, что референтом, денотатом и десигнатором здесь соответственно оказывается Первый, Второй и Третий Корреляты, а свойственным им референцией, денотацией и десигнацией -- идея Первичности, Вторичности, Третичности, оказываются они потому таким образом, что являются знаками, не отличающимися нисколько друг от друга и в этом смысле одним и тем же знаком, существующем в разных референциальных точках пространства смысла (репрезентация здесь возможна, как шаг понимания существования, значение, шаг алгорифма, смысл хода в игре). Теория современной прагматики формализуется таким образом как теория копирования, схема систем, конфигурация комбинаторики, техника которой представлена в комбинаторной теории множеств, выяснении его внутренней связи с топологией, конструктивной связи (анализ Пирса как горизонтальная регрессия бесконечности), записывающейся в копировании, во включении копирования в математику вместо отношений присущности и выполнении в этом смысле программы бурбакизации математики, как определение отношений копирования в поле комплексных чисел, имеющих алфавит в составе топологических пространств, правила вывода в виде "способа бытия" теорем циркуляций жидкости в замкнутом контуре и соответствующего мышления. Резюмируя вышеизложенные соображения, мы имеем, на наш взгляд, право требовать следующего реформирования языка логики предикатов: добавление к логическим связкам в его алфавите связки "экспликация" a ← b (a эксплицирует b)

a

b

a ← b

И

И

И

И

Л

И