Гуссерль отвергает идею логики как нормативной науки
Гуссерль отвергает идею логики как нормативной науки, которая выдвигалась Зигвартом и рядом других его современников. Нормативная наука формирует оценочные утверждения, исходя из некоторых ценностей высшего порядка и из целевой установки, относящейся к определенному знанию. Такова, к примеру, этика, которая, исходя из категорического императива или из каких-либо иного принципа, пытается найти подход к нравственной оценке конкретных жизненных ситуаций. Гуссерль считает, что логика не является сущностно нормативной наукой, ибо она не подчинена какой-либо высшей цели, объединяющей все ее принципы. Логику следует понимать прежде всего как идеально теоретическую науку, которая описывает отношения в идеальном царстве значений. Нормативная функция логики, по Гуссерлю, вторична. В этом отношении она тождественна арифметике, которая прежде всего описывает связи чисел в их отвлеченной идеальности, и только потом использует их в качестве правил счета. «Основные положения логики сами по себе не суть нормы, а только действуют как нормы»17.
В «Логических исследованиях» идея обоснования логики сводится у Гуссерля к уяснению факта ее априорности и аподиктической очевидности. «...Все «чисто логические» законы истинны a priori. Они обосновываются и оправдываются не через индукцию, а через аподиктическую очевидность»18.
В «Идеях к чистой феноменологии и феноменологической философии» (1913) Гуссерль подходит к определению логики через разделение универсальной и региональной онтологии. Существуют регионы знания, характеризующиеся специфическими типами предметности и существуют региональные онтологии — сущностные (эйдетические и априорные) принципы, относящиеся к этим регионам. Евклидова геометрия является региональной онтологией физики, фиксирующей в себе сущностные характеристики материальной предметности. Каждая предметная область, по Гуссерлю, явно или скрыто опирается на сущностные (априорные) представления, определяющие особенности ее предмета. Выявление и классификация региональных онтологии является одной из задач феноменологического анализа.
В отличие от геометрии логика и арифметика представляют собой универсальную онтологию, фиксирующую принципы предметности вообще, независимые от их региональных особенностей. Формальная логика возможна потому, что она абстрагируется от «материи» логического познания и мыслит в себе таковую в неопределенно свободно вариативной всеобщности (в качестве «чего-нибудь»)19. Логика и арифметика, таким образом, отделяются от других априорных принципов, которые так или иначе связаны со специфической (региональной) предметностью.
