Немецкие философы в своем большинстве были сторонниками платонизма и для обоснования этого самого платониза придумали "третий Рейх" (das dritte Reich) -- мир вечных чистых смыслов. Более всего усилий к обоснованию третьего Рейха приложил Г. Фреге -- основатель современной логики. Третий Рейх, согласно Фреге, содержит в себе 1) логические аксиомы (аналитическое a priori), 2) нелогические аксиомы или постулаты теории (синтетическое a priori), 3) коннотаты и чистые смыслы.
Я не люблю третий Рейх во всех его проявлениях и придумал, как его уничтожить.
Заканчиваю работу над довольно интересным научным текстом (где много математики), в котором показывается, что современную математику можно логически формализовать без третьего Рейха, основываясь только на аналитическом a posteriori и синтетическом a posteriori. В формальной, механической математике можно вообще обходиться без априорных смыслов!
Статус аналитического a posteriori обосновал Stephen Palmquis. Простейший пример аналитического a posteriori -- суждение Декарта "Я мыслю, следовательно я существую". Оно основывается на опыте (апостериорно) и при этом не выходит за рамки тривиальной логики (аналитично).
Современная математика уже тяготеет к тому, чтобы строиться только на аналитическом a posteriori и синтетическом a posteriori. Но более радикальную программу предложил в свое время спекулятивист Г.В.Ф. Гегель. Согласно которому, все подлинное знание является только лишь аналитическим a posteriori. Ни синтетического a posteriori, ни аналитического a priori, ни синтетического a priori не существует. Если эту гипотезу Гегеля удасться формализовать, то это будет означать только одно -- мы построили абстрактную машину, способную симулировать всю Вселенную. Эта перспектива куда круче, чем третий Рейх. Поэтому третий Рейх я собираюсь послать в жопу. Не люблю фашистов.