Аналитичность и реальность логики
Логика как особый тип знания может быть понята через раскрытие таких ее характеристик, как универсальность, априорность, аналитичность, реальность, нормативность и самоочевидность,
Логика универсальна в том смысле, что ее законы относятся к понятиям вообще и не имеют каких-либо содержательных ограничений для своего применения. Как форма мышления, проистекающая из его общей цели, она едина для всякого понятийного мышления. Логика, используемая в биологии, истории и географии, не может отличаться от логики математических умозаключений, а логика обыденного мышления не может отличаться от логики науки. Всюду, где человек стремится выразить некоторую истину в понятиях, он подчинен единым правилам категориального синтеза, а следовательно, и единой логике. Другое дело, что в одних науках мы имеем возможность давать точные определения и строить сложные цепи умозаключений и не имеем для этого условий в других. Различие здесь не в логике, а в характере определений, который зависит от предмета науки.
Универсальность законов логики часто ставилась под сомнение. Гегель полагал, что законы диалектики опровергают или, по крайней мере, ограничивают действие законов формальной логики. А. Бергсон считал, что формальная логика не имеет никакой силы за сферой исследования твердых тел и механических движений. Брауэр ограничивал логику в ее применении к бесконечным множествам. Биркгофф и Нейман претендовали на создание особой логики квантовой механики, заменяющей в этой науке обычную логику, т. е. считали возможным обусловить законы логики типом научных теорий или характером предмета, к которому они относятся.
Все эти опровержения универсальности логики имеют общую основу: они исходят из понимания логических принципов как некоторого рода индуктивных или квазииндуктивных обобщений, т. е. на явном или неявном признании тезиса, согласно которому все нормативные принципы, регулирующие познание, проистекают у\з опыта и являются, в конечном итоге, отражением определенных аспектов опыта. Прак-сеологическая теория логики отвергает такого рода релятивизм как противоречащий сущности логического знания.
Логика априорна, поскольку ее принципы не зависят от опыта в своем генезисе и предшествуют любому акту мышления в качестве его предварительного условия. Логика не основана на психологии: ее законы относятся не к состояниям сознания и не к операциям мышления, а лишь к структуре языка, в котором выражаются результаты мышления. Эта структура задается общей деятельностной ориентацией мышления и имеет не большее отношение к психологии, чем ко всякой другой науке. Законы логики как законы телеологические принципиально отличаются от законов опытных наук, имеющих индуктивный или квазииндуктивный статус. Мы можем говорить об априорности логики, понимая под этим внеопытный, необходимый и универсальный характер ее законов.
