Логика мыслится уже как априорная теоретическая номологическая наука, относящаяся к идеальному существу науки как таковой, т.е. как теория теорий, целиком и полностью исключающая всякие эмпирические или антропологические аспекты. Теория науки, понятая как теория теорий, имеет дело с первичными понятиями (понятие, положение, истина и др.), с их соединениями (например, конъюнктивными, гипотетическими и др.). Кроме того, теория науки должна выявлять законы, характеризующие объективное значение и усложнение этих понятий. И, наконец, теория науки должна рассматривать априори формы теорий и соответствующие законы их отношений. Так интерпретируемая теория науки апеллирует прежде всего к чистой категории значения и весьма далека от эмпирических наук. Для того, чтобы перейти к обоснованию эмпирических наук, Гуссерль вводит чистое учение о вероятности, поскольку в опытных науках объяснение исходит не из очевидно достоверных, а из вероятных законов. Но и в вероятных законах он усматривает идеальные элементы и законы, которые и составляют условие возможности эмпирической науки.