Для теории психического здоровья эти вопросы представляются важными и существенными структурно. В отождествлениях, бреде, иллюзиях и галлюцинациях мы обнаружили смешивание порядков абстракций, или ложную оценку, выраженную в виде обращения естественного порядка.
Один из симптомов этой путаницы проявляется в виде «ложных убеждений», которые, опять же, подразумевают сравнение утверждений о «фактах» и «реальности», и связаны с такими терминами, как «да», «нет», «истинный», «ложный», . Поскольку все эти термины многопорядковые, и, следовательно, неоднозначные, следует избегать «философской» болтовни «об этом вообще». С осознанностью абстрагирования и, следовательно, с чувством в отношении этого особенного расслоения «человеческого знания», все семантические проблемы можно решить довольно просто.
Невозможно и нежелательно избегать м.п терминов. Систематическая неоднозначность большинства важнейших терминов происходит в соответствии с систематической аналогией. Они появляются как непосредственный результат и условие нашей способности абстрагировать на различных порядках, и позволяют нам применять одну цепочку оо-значной логики к бесконечному набору различных однозначных фактов, каждый из которых отличается ото всех остальных и становится управляемым только благодаря нашей абстрагирующей способности.
Более подробное описание теории типов читатель может найти в ссылках на литературу по предмету и в Приложении II ; здесь же я только приведу несколько примеров сложностей и трудностей, встроенных в язык, и покажу, как просто они решаются с помощью А общей семантики и проистекающей из нее «осознанности абстрагирования».
Для примера я процитирую анализ Рассела «простого» утверждения «я лгу», приведенный в Principia. «Старейшее противоречие подобного рода известно по имени Эпименида. Эпименид Критский сказал, что все критяне - лжецы, и что все утверждения, сделанные критянами, определенно являются ложными. Было ли это утверждение ложью? Простейшая форма данного противоречия предоставляется человеком, который говорит «Я лгу»; если он лжет, то он говорит правду,и наоборот. ...
«Когда человек говорит «Я лгу», можно истолковать его утверждение как: «Есть утверждение, которое я высказываю, и которое является ложным». То есть, он утверждает истинность некоторой ценности функции «я утверждаю/», ир является ложным». Но мы видели, что слово «ложный» является неоднозначным, и что для того, чтобы сделать его однозначным, нужно конкретизировать порядок этой ложности, или, что то же самое, порядок утверждения, которому приписывается ложность. Мы также видели, что, если р является утверждением и-ного порядка, то утверждение, в котором р, очевидно, является переменной, не принадлежит к и-ному порядку, а имеет более высокий порядок. Следовательно, истинность или ложность, которые могут относиться к утверждению «имеется утверждение р, которое я утверждаю и которое обладает ложностью и-ного порядка» - это истинность или ложность более высокого порядка, чем п-ный. Следовательно, утверждение Эпименида не относится к самому себе, и, соответственно, не возникает никакого противоречия.