|
Если резать живую истину бытия формализмом где-то между рождением и смертью, в том числе не только отдельного биологического вида, а и нашей вселенной, то истина станет релятивной. У стоиком триада «референт (материя, природа, фон…) – знак (символ, память) – мысль (идеальное, настоящее)» в целом истинна как совокупность взаимосвязанных элементов бытия. В конкретном срезе бытия знак мертв, вне времени и развития, и множества знаком могут иметь только относительно истинное значение. Мысль без знака пуста, самовырождается в ничто, то есть в ложь, хотя любители поэйзиса утверждают обратное: акустические знаки, в которые упаковывается мысль, уже ложь, а вот внутреннее ничто – глубочайшая истина. Если внутреннее ничтожество глубоко сокрытой мысли – истина, то, очевидно, не нужно референта. «Я», которое Б. Паскаль назвал «ненавистным я», самозакупоривается в белковом теле, а его «истина» отрывается от материального мира. Всё вокруг ложь, но истину прячет где-то далеко в под- или надсознании субъект самоотрицания, и эта истина – абсолютно относительна. Если отвлечься от символа, знака, формальной логики и вернуться к референту, который является причиной самоистинности картезианского релятивиста, то можно заключить, что мир неопозитивиста разбит на несвязанные между собой три области: формальная знаковая система, счастливое эго в парах идеальной истины и пустая лживая природа как источник чувственно-эмоциональных переживаний, которым «нельзя верить». Эти три области относительно друг друга взаимно пусты в полном согласии с метафизическим тезисом Б. Спинозы о существовании во Вселенной «предметов, никоим образом и никогда друг с другом не имеющих ничего общего». Эскиз построения логической системы дан в [38]. Сначала выбирается язык (общения, передачи информации) с алфавитом Б (знаками, буквами…) и множеством всех слов Б?, записанных в этом алфавите. Затем определяется подмножество «истинных утверждений» Т ? Б?, конструируются формулы. Процедура доказательства имеет в общем случае свой алфавит D ? D?. Вводится функция выделения доказанного ?, и тройка {D, E, ?} объявляется дедуктикой, в которой Е – алгоритмы доказательств. Отмечается после этого, что «хотя термин ‘доказательство’ является едва ли не самым главным в математике, он не имеет точного определения» (с. 9). И вся эта конструкция математического ума либо неполна, либо противоречива, либо и то и другое вместе. Существен парадокс лжеца, приведенный в качестве эпиграфа к этим заметкам: «Я – лжец», принадлежащий Эвбулиду [39]. Эта семантическая антиномия античного мыслителя – родственница парадокса Б. Рассела. В обеих антиномиях не употребляются сложные конструкции типа множества, содержащего себя в качестве элемента, но противоречия извлекаются из незатейливого понимания слов естественного языка. — 25 —
|