4. Аподиктичность и дедукция
– Эйдетические науки строятся на необходимых истинах (как у Спинозы в Этике, где всё выводится из аксиом).
– Формальная логика (mathesis universalis) – образец строгости, как у Лейбница с его идеей «универсальной характеристики».
5. Идеал математизации
– Гуссерль видит в математике парадигму научности, что перекликается с Галилеем, превратившим природу в «математическую книгу».
– Однако позднее (Кризис европейских наук) он критикует редукционизм, когда математизация подменяет жизненный мир.
Ключевые термины:
– Эйдос (сущность) – инвариантная структура, схватываемая в усмотрении.
– Аподиктичность – безусловная необходимость (в отличие от проблематичного у Канта).
– Mathesis universalis – универсальная наука о формах, предвосхищающая аналитическую философию.
Важно: Гуссерль (Идеи I) закладывает основы феноменологического метода, противопоставляя его натурализму и психологизму.
§8. Отношения зависимости между науками о фактах и эйдетическими науками
Из предыдущего ясно, что смысл эйдетической науки необходимо исключает любое включение познавательных результатов, полученных эмпирическими науками. Утверждения актуальности, присутствующие в непосредственных данных этих наук, очевидно, распространяются и на все их опосредованные выводы. Из фактов никогда не следует ничего, кроме фактов.
Однако, хотя каждая эйдетическая наука необходимо независима от любой науки о фактах, обратное, напротив, верно для последних. Не существует науки о фактах, которая, будучи полностью развитой как наука, могла бы быть свободной от эйдетических познаний и, следовательно, независимой от формальных или материальных эйдетических наук.
Во-первых, бесспорно, что эмпирическая наука, где бы она ни осуществляла опосредованное обоснование суждений, должна следовать формальным принципам, рассматриваемым формальной логикой. Поскольку, как и любая другая наука, эмпирическая наука направлена на объекты, она необходимо связана универсальными законами, принадлежащими сущности чего бы то ни было объективного. Тем самым она вступает в отношение с комплексом формально-онтологических дисциплин, которые, помимо формальной логики в узком смысле, охватывают другие дисциплины mathesis universalis (например, арифметику, чистый анализ, теорию множеств).