Наука и психическое здоровье (книга 2) (ЛП)

Подобные переформулировки относятся ко всем случаям, приведенным в Principia Mathematica, так что становится очевидно, что представленная теория охватывает ту же территорию, что и теория типов, а также бесконечный список повседневных жизненных проблем, которые несут критическую семантическую важность для теории психического здоровья. Здесь мы должны особо указать на простой, естественный и единственный семантический закон нетождественности, который охватывает все смешивания порядков абстракций. Это одно правило, а также тренировки, учат нас не смешивать высшие абстракции с низшими, не отождествлять слова с объектами (не объектифицировать), а также не смешивать высшие абстракции разных порядков. Эта обобщенность и структурная простота являются весомым аргументом в пользу представленной Ā-системы. Преподавать простое, единственное и естественное правило, которое перекрывает огромную область семантических источников человеческих трудностей, гораздо проще. Ибо как только данное правило объяснено, и ученик потренировался со Структурным дифференциалом, семантическая проблема разрешается просто показыванием пальцем на «различные порядки абстракций», и настаиванием на том, что «это не есть это».

Если рассмотреть естественный, структурный и эмпирический факт о том, что наши жизни проживаются в мире неотождествляемых абстракций разных порядков, различение между этими различными порядками обретает первостепенную семантическую важность для оценки. При таких условиях нам следует тщательно разобраться с механизмом этих различных порядков абстракций. Во-первых, следует отметить, что язык Principia Mathematica является A, и содержит отождествляющее «есть», . Такой язык приводит к отождествлениям и замешательствам, делая простые вопросы трудными и парадоксальными. Термин «класс» сам по себе запутывает. Что мы имеем в виду под этим термином? В жизни у нас есть только индивидуальные вещи на объективных, несловесных уровнях. Если мы возьмем некоторое их количество, то у нас их будет несколько, но каждая из них сохранит индивидуальность. Если мы производим абстракцию высшего порядка, при потере индивидуальности каждого члена, то у нас получается абстракция высшего порядка (на старом языке, «идея»), и у нас больше нет тех абсолютных индивидуумов из нашего набора. Термин «класс» в этом отношении вводит в серьезное замешательство, поскольку он склонен опускать простой экспериментальный факт, и он приводит к смешиванию порядков абстракций, если не сформулировать многопорядковость термина «класс».

Многие критики и рецензенты Principia Mathematica так или иначе понимали, что это так, но их критика была не слишком уверенной и не добиралась до корней этой A семантической трудности. Они не обращают внимания на A, «логический», «философский» и «психологический» элементалистский метод и язык, построенный на отождествляющем «есть», на котором написано введение в Principia. Доктор Алонсо Черч (Alonzo Church) является первым, насколько мне известно, кто предположил, что, следуя идеям Пеано (Peano), числа следует определять на языке абстракций. Однако он не продолжает этот анализ далее и не говорит о том, что для этого требуется язык с совершенно иной Ā структурой.³ Если отказаться от термина «класс» и принять язык «абстракций различных порядков», то мы придем далее к отказу от отождествляющего «есть» и к представленной здесь системе, в которой теория математических типов становится необходимой частью. Проблемы «класса» перестают быть «предположением», так как различные порядки абстракций являются описанием экспериментальных фактов; так что «аксиома сводимости» становится ненужной. На моем языке, данная аксиома также является аристотелевым описанием того экспериментального факта, что мы можем абстрагировать на различных порядках.

Раздел B. Многопорядковые термины.