7. Пути обоснования логики

Особая трудность этой задачи состоит в том, что пути обоснования частных понятийных систем здесь не применимы.

Ценность праксеологической концепции логики состоит в том, чтс, она намечает определенный сдвиг в указанном отношении. Выявляя онтологическую природу логических принципов, она указывает ка некоторые подходы к их обоснованию.

Первый теоретически обоснованный путь может состоять здесь в праксеологической дедукции принципов. Такие законы, как закон непротиворечия, закон исключенного третьего и закон импликации, непосредственно проистекают из общей цели мышления и, таким образом, обосновываются как абсолютные с точностью до устойчивости самой этой цели. Поскольку эта цель не может быть уничтожена без уничтожения мышления и человечества в целом, то такое обоснование является обоснованием абсолютности законов логики для всякого эффективного мышления. Наличие праксеологической дедукции определенного принципа означает его принадлежность к реальной логике, обладающей универсальной значимостью и абсолютной надежностью.

Второй приемлемый путь оправдания логических норм состоит в их оправдании на основе аподиктической очевидности. Важнейший прогресс, осуществляемый в праксеологической теории логики, состоит в оправдании статуса аподиктической очевидности как обосновательной инстанции. Праксеологическая точка зрения позволяет понять внепси- хологическую и объективную природу аподиктической очевидности, принципиальное отличие ее от различных типов индуктивной очевидности и позволяет обосновать критерий аподиктической очевидности в качестве высшего критерия выявления и обоснования логических и математических аксиом.

Мы можем возвратиться здесь к критерию «немыслимости иного», на который опирался Спенсер при обосновании принципов логики.

Праксеологическая теория логики вскрывает объективную основу этого принципа. За немыслимостью иных принципов логики лежит онтологическая обусловленность данных принципов, которая является высшей степенью мх обоснования. .Вечный двигатель в некотором смысле возможен, ибо он запрещен только физическими законами. Беспричинное явление запрещено абсолютно, ибо оно запрещено онтологически. Принципы реальной /югики мы можем считать абсолютно обоснованными на том основании, что отступление от них немыслимо и, следовательно, запрещено онтшіогически.

Мы можем, наконец, продвинуться в обосновании логики на уровне рациональных рассуждений о логике., а именно, через критику различного рода ложных учений о ее составе. Мы будем исходить здесь из методологического правила Аристотеля, согласно которому при отсутствии прямых доказательств для принципа, мы можем иметь строгие доказательства ложности принципов, которые ему противоречат. Мы обосновываем логику, устраняя ложные альтернативы и, в частности, устраняя ложные пристройки к логике, проистекающие из непонимания статуса этой науки. М-ы очищаем логику от всего нелогического. Важность такого рода очистительной работы не подлежит сомнению. С точки зрения обоснования математики решающее значение имеет для нас реабилитация абсолютности логики, достигаемая на основе ее онтологического обоснования.