является тем самым общей теорией квантификации, теорией смыслообразования, а не
самого смысла, интерпретацией формализма смысла, поскольку она сама
интерпретирует себя, лишенная отношений присущности между множествами.
Затем
структура, исчерпывая себя схемой, образует множества, элементами которых
являются упорядоченные тройки (S
синтаксис;
их прагматическими множествами или сигнатурами. Упорядоченная тройка
Symbol;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman";
mso-char-type:symbol;mso-symbol-font-family:Symbol'>å
mso-ansi-language:EN-US'>S; F
mso-ansi-language:EN-US'>P> называется сигнатурой, если выполняются следующие
условия: а) множества S
mso-ansi-language:EN-US'>P есть выполнимые множества; б) множество
mso-ansi-language:EN-US'>F акцидентальное для множеств style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>S и P
видно, эта схема исчерпывает структуру конструктивной теории множеств,
показавшей себя таким образом.
Разъясним
это подробнее, построив алфавит языка морфологии, формализующего язык логики
отношений. Метафорическое изложение языка морфологии мы имеем, в частности, в
статье Гете "Природа".
<![if !supportLists]>
mso-ansi-language:EN-US'>Es2
mso-ansi-language:EN-US'>Es3
<![if !supportLists]>
mso-ansi-language:EN-US'>C2, style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>C3 (постоянная величина) -- грамматика;
<![if !supportLists]>
mso-ansi-language:EN-US'>B1, style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>B3 (морфизмы) --семиотики;
<![if !supportLists]>
Symbol;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman";
mso-char-type:symbol;mso-symbol-font-family:Symbol'>m
Symbol;mso-ascii-font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman";
mso-char-type:symbol;mso-symbol-font-family:Symbol'>m
множества) -- семантики;
<![if !supportLists]>
самоморфизм
-- строгая импликация,
автоморфизм
-- дедуктивная импликация,
эндоморфизм
-- индуктивная импликация
сигнатура
-- субстантивация
<![if !supportLists]>
mso-ansi-language:EN-US'>T (топология) -- style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>P
Укажем
на подобные контроверзы у Ч. Пирса ("горизонтальная регрессия бесконечности в
отличие от вертикальной", теорема Пирса в топологии)
<![if !supportLists]>
Symbol;mso-ascii-font-family:MathematicaBTT;mso-hansi-font-family:MathematicaBTT;
mso-char-type:symbol;mso-symbol-font-family:Symbol'>"
mso-ansi-language:EN-US'>E
уместно
здесь вспомнить замечания А. Эйнштейна, Н. Бора, Гейденберга о "простоте"
формул. Таблицы здесь -- правила употребления квазикванторов
mso-ansi-language:EN-US'>n
Добавим
также, что доказательство собственной непротиворечивости в морфологии
достигается формализуемыми в ней же средствами, поскольку это доказательство,
будучи формализмом, интерпретируется адекватно в интерпретируемом языком
морфологии языке логики отношений, снимающих в свою очередь обвинение в
неполноте, интерпретируя языки логики предикатов, пустой формализации по
отношению к нему, как логики понятия. Сделаем также замечание о том, что
полнота системы доказывается той системой, которую она формализует, ее же
непротиворечивость доказывается системой, которая формализует ее самое. Система
морфологии в этом смысле система конъюнктивная, подобно тому, как система
логики отношений импликативна, т. е. является логикой понятия,
интерпретирующего импликативную конструктивную теории множеств, ее формальный
язык по отношению к ней, как к речи. В собственном смысле, существуют не
различные логики, математики, физики, не различные науки со стороны их точности
и гуманитарности, а различные, различных измерений теории множеств, что
впрочем, не слишком усложняет и в отношении них (этих теорем дело), поскольку
множество прежде всего является понятием и, следовательно лишь его
интерпретирующий, т. е. интерпретаций интерпретаций, конечно, как мы покажем
далее, показав коррелируемость этих измерений (при этом следует помнить, что,
объективистски выражаясь, субстантивация множества есть ничто; безусловно,
здесь следует упомянуть русского философа Соловьева, его "Критику отвлеченных
начал") множество в этом смысле есть вспомогательное средство, формализующееся
в системе и доказывающее ее непротиворечивость референцией интерпретации,
экспликации, экспликатом которого является понятие. Рассмотрим карнаповскую
теорию функции С, разработанную им в "Логических основаниях вероятностей", и
"Times New Roman";mso-hansi-font-family:"Times New Roman";mso-char-type:symbol;
mso-symbol-font-family:Symbol'>p
индуктивных методов" в зависимости от того, существует или не существует
непрерывный переход от одного описания состояния к другому, имеем мы дело с
непрерывным или прерывным многообразием, отдельные описания состояния
называются в первом случае индексами, или геделевыми номерами, во втором --
референциальными точками, общим понятием, предпосланным топологами, изучающей
свойства геометрических объектов, сохраняющихся при непрерывных преобразованиях.
Как
известно, конечное число независимых одночленных предикатов и число независимых
индивидных констант имеет язык логики Карнапа. Определим их соответственно
через референциальные точки и геделевские номера. Образуемые из исходных
предикатов Q
Qi (x) = ( ) P1 (x)
& ( ) P2 (x)& .... & ( ) PR (x),
где
( ) Pj
mso-ansi-language:EN-US'>x) означает Pj
mso-ansi-language:EN-US'>x) или ~
mso-ansi-language:EN-US'>Pj ( style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>x), рассматриваются нами как сумма топологий или некоторая
теория множеств определенного измерения style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>n (геделевского номера, то есть референтативный характер
множеств, данных одновременно и заданного типа.
Конъюнкции
из Q-предикатов, называются тогда
конструктивной теорией множеств, теорией определенного референтативного типа,
т. е. измерительный характер множеств. Назовем их поэтому суммой теологий.
S =
style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>Qji (α
mso-ansi-language:EN-US'>Qj2
mso-ansi-language:EN-US'>α2
& Qin
mso-ansi-language:EN-US'>αn)
Областью
рациональности уравнения Qi
mso-ansi-language:EN-US'>x) будет совокупность рациональных функций
коэффициентов R
mso-ansi-language:EN-US'>p1, style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>p2, p
Для
уравнений Qi
mso-ansi-language:EN-US'>x)=0 в той же области рациональности можно найти
уравнение S style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%'>
что корни данных уравнений будут выражаться друг через друга рациональностью.
Уравнение S
mso-ansi-language:EN-US'>α) в этом случае
называется нормальным. Подстановки корней нормального уравнения образуют
совершенную группу с простым делителем style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>p, имея в виду иерархию типов чисел, снимаемую таким образом.
Всякое
рациональное соотношение между корнями уравнения и элементами поля
mso-ansi-language:EN-US'>R
Необходимое
и достаточное условие разрешимости уравнения в радикалах состоит в разрешимости
этой группы, условие разрешимости будет соответствовать уравнению.
Такова
сущность программы трансфинитизма, прагматики в качестве теоретической
дисциплины, крайней точкой зрения которой является кантианство, единственно
предполагающее существование формализмов в речи. Как ясно, у программы
трансфинитизима существует лишь одна крайняя точка зрения, и поэтому она может
быть выражена также концепцией понимания в физике, сформулированной А.
Эйнштейном в виде тезиса о реальности общих понятий, принципа дополнительности
Н. Бора.
Совершенная
группа с простым делителем избирается еще и потому, что подстановки корней
нормального уравнения S
mso-ansi-language:EN-US'>α) = 0 не исчерпывают style='font-size:14.0pt;mso-bidi-font-size:12.0pt;line-height:150%;mso-ansi-language:
EN-US'>Gp и образуют, точнее. Ей образуется также подстановки
корней уравнения для всех логических связок языка логики предикатов и
формализующих его языков, в чем и состоит необходимое и достаточное условие
формализации Gp
таким образом, субстантивацию связки "есть" и служит исходным словом в
алгорифме.
Трансфинитизм
выражает тот факт, что объектом в подлинном смысле любой науки любой специализацией,
является не опыт, не эксперимент, не уравнение, а математические понятия
группы.
На
вопрос "что исследуется, что изучается?" следует, таким образом, отвечать
"понятие группы", трансфинитизм есть финитизм логики понятия. Математические
суждения, высказываемые в этой главе получат демонстративное доказательство
(так сказать, "вокальный жест" (Мид), идуктивного доказательства) в следующей
главе, здесь же они принимаются в виду допущения понятийной структуры,
предшествующей образованию понятия "величины", требующей имя величины.
Прагматики -- это ловцы душ ученых, они всесильны там, где бессилен ученый и
индифферентны там, где всесилен ученый. Собственно говоря, эта глава посвящена
схеме и схематизированию, понятию схемы, которое было подвергнуто и
незаслуженно подвергается и поныне самой резкой критике, как в области
философии, так и в области науки, а между тем, смысл, требующий образования
понятия схемы весьма глубок и лежит у истоков чистого теоретического мышления,
и состоит он, на наш взгляд, в том, что выражает и начинает прагматику
мышления, будучи ее нетематизируемым основанием, иначе говоря, план для самого
мышления выглядит конструирование мышлением прагматической системе, в каждой
его десигнируемой ситуации, фазе, этапе, образе, десигнируемой теперь уже
посредством самого понятия, его собственной финитности. Таким пониманием
схематизма мы обязаны, по-видимому, Шеллингу. Оно дает нам право вместо термина
"схема систем" употреблять термин "конфигурация". Значением термина
"конфигурация" тогда будет выступать финитизм понятия арифметической формулы,
поскольку трансфинитивно арифметическая формула представляет из себя любую
комбинацию символов.
+,
-, х, :, (,), =, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9)
Понятно,
что мы приступаем здесь к изложению трансфинитивной логики, поскольку ясно, что
таких формул бесконечно много, но множество их счетно: существует соответствие
между ними и множеством n
натуральных чисел.
Чтобы
установить это соответствие, начнем с того, что "закодируем" символы:
+
- х : ( ) = 0 1 2
4 5
7 8
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
(под
каждым символом стоит его код). Далее, чтобы закодироваь цепочку символов,
например
4+7=11
образуем
число
212
Ї 31 Ї 515 Ї 77 Ї 119 Ї 139,
где
2, 3, 5, 7, 11, 13 ... - последовательность
простых чисел, а показатели степени 12, 1, 15, 7, 9, 9 -- коды символов
4, +, 7, =, 1, 1, образующих нашу цепочку. Таким способом можно поставить
каждой цепочке в соответствие ее код, который является натуральным числом.
Поскольку каждое число единственным образом разлагается на простые множители,
цепочку можно восстановить по ее коду. Допустим, например, что кодом является
число 720. Разложим его на множители: 720 = 24 Ї 32 Ї 51
Числа
4, 2, 1 являются кодами символов: -, +.
Значит,
720 есть код цепочки: -, +.
Такие коды называют
геделевскими номерами.
Нашей задачей, таким
образом, является построение такой цепочки символов и кодирующейся таким
образом, чтобы каждый код цепочки давал осмысленное выражение, выполнимую
цепочку символов. Такова истина логики формального языка, трансфинитивной
логики языка, имеющего самостоятельное, независимое существование.
Первый отсюда вывод -- это
тот, что геделевский номер есть некоторая формула. Формула геделевского номера
есть доказательство, устанавливающее существование произвольно больших простых
чисел, простой и изящный результат Евклида:
n = p! + 1
Геделевский номер, код,
не делится ни на какое простое число, вплоть до
style='font-size:14.0pt;line-height:150%;mso-ansi-language:EN-US'>p
число, либо простым является само n
предположению, что p - наибольшее простое число.
Таким образом,
конструирование числа конструктивной теорией множеств операция проектирования
конструктивной теории множеств, есть индексация (индексирование). Геделев