Читать «Методология мышления. Черновик» онлайн - страница 83

Сведением логики к геометрии, однако, поставленная задача ее онтологического обоснования решается не до конца – необходимо также показать, что мышление, или – шире – сознание человека, действительно способно корректно отвлекать от мира эту его имманентную структуру. Предлагаемая Курпатовым методология призвана решить именно последнюю задачу – ведь существование подобной методологии эквивалентно наличию некоторого, свободного от конкретного содержания, единого алгоритма, которому следует наша с вами «интеллектуальная функция» всякий раз, когда правильно отвечает на вопрос: что происходит на самом деле? Таким образом, методология действительно обосновывает мыслимость мира. Теперь из соображений удобства я переформулирую пармени-довский тезис следующим образом: мир мыслим, если и только если он реален. Такую равносильность иногда еще называют критерием или необходимым и достаточным условием. Так вот необходимость в начале двухтысячных годов пытался показать Ален Бадью в своей фундаментальной работе «Логики миров». Во всяком случае, с моей точки зрения, им была проделана гигантская философская работа по приданию содержательного и по сути онтологического смысла формальному математическому (теоретико-категориальному) результату. У Бадью этот результат приобретает вид утверждения: мир – это топос Гротендика, однако в теории категорий это всего лишь теорема, имеющая форму гипотетического суждения, и состоящая в том, что если категория С есть категория полных Ω-множеств, то функтор из нее в категорию множеств Set является пучком. Я вполне отдаю себе отчет, что приведенная формулировка звучит полной абракадаброй для любого нормального человека, но тем не менее я настаиваю на том, что стараниями того же Бадью эта абракадабра и в самом деле может быть понята как первая часть тезиса Парменида, а именно, как всё еще как гипотетическое, но уже гораздо более осмысленное утверждение: если мир реален, то он мыслим. «Реальность» же мира, которой соответствует та самая полнота Ω-множеств, Бадью вынужден постулировать. Он так это и называет: главный постулат материализма.