Удивительно при этом, что Бадью не замечает, что утверждение, обратное тому, которым пользуется он сам, также является теоремой теории категорий: если нам дан пучок F из некоторой категории порядка Ω в категорию множеств Set, то в категории Set всегда можно указать такое зависящее от F множество AF, которое является полным Ω-множеством. Но это есть не что иное, как достаточность, или вторая часть парменидовского тезиса: если мир мыслим, то он реален. Только в данном случае ситуация гораздо более строгая, поскольку Андрей Курпатов, в отличие от Алена Бадью, наличие своей методологии, а следовательно, и мыслимость мира, вовсе не постулирует – он ее строит! Чем, собственно, и завершается доказательство тезиса Парменида, сколь ни парадоксальным казалось бы нам наше представление о том, что мыслить и быть суть одно…
Доктор философских наук
Егорычев Илья Эдуардович