Логика является реальной
Тем не менее, логика является реальной в смысле ее необходимой коррелятивности с универсальной онтологией. Теоретическая система является реальной в отношении некоторого содержания, если ее принципы осмыслены в рамках этого содержания и если эта система запрещает некоторые ситуации. Ясно, что оба этих требования выполняются в отношении между логикой и онтологией. Различие в плане синтетичности-аналитичности принципов здесь не существенно, так как оно говорит не об осмысленности или неосмысленности этих принципов, но лишь о различном распределении смысла (между субъектом и предикатом в предложении как лингвистической системе) в принципах и в их системе.
Система теоретического знания указывает нам на некоторую градацию типов реальности, идущую от физики к логике. Физическая теория реальна в том смысле, что она имеет предмет исследования, который определяет состав ее принципов и является основой их корректировки. Первичные математические теории обладают квазипредметом (интуитивной основой), который определяет состав их принципов, но не является источником контрпримеров. Система логических принципов не имеет предмета в каком-либо смысле и как чисто нормативная наука определяет свой состав исключительно общей целью знания. Тем не менее ее онтологическая основа не может быть оспорена, ибо смыслы, которые она фиксирует, относятся к онтологии и задают некоторую структуру нашего мира30.
Логика фиксирует в себе предельно бедное онтологическое содержание. Но это сущностно необходимое содержание, ибо именно оно определяет структуру реальных суждений и обеспечивает саму рацит ональность мышления. Онтологическая реальность (означенность) логических норм является их сущностным признаком и дает нам важный критерий определения истинного состава логики.
Логика как наука характеризуется также особой самоочевидностью своих принципов. Мы говорим, что принципы логики даны нам с аподиктической очевидностью, подчеркивая тем самым, что очевидность этих принципов качественно иная, чем очевидность эмпирических утверждений, обоснованных опытом. Мы выяснили, что аподиктическая очевидность — это очевидность праксеологическая, особая очевидность, имеющая деятельностное происхождение. Анализ прак-сеологических истоков логической очевидности позволяет понять ее обосновательный статус. С этой точки зрения является безусловно истинным положение Гуссерля о том, что самоочевидность принципов логики является их истинным и полным обоснованием.
