Неприемлемое смешение реальной логики с предметным исчислением
С праксеологической точки зрения мы имеем здесь неприемлемое смешение реальной логики с предметным исчислением. То, что мы называем логикой квантовой механики, является лишь формальным описанием определенной теоретической модели, но никоим образом не логикой, определяющей форму мышления вообще. Исчисление Рейхенбаха может оказаться полезным в качестве теоретической или метатеоретическои систематизации в рамках физической теории, но мы не имеем никаких оснований для допущения, что это исчисление, отражающее особенности конкретной физической модели, может обогатить или скорректировать систему реальной логики, связанную с универсальной онтологией и проистекающую из универсальных целевых требований к структуре знания.
Другой пример предметной логики — это интуиционистская логика Брауэра. Привязав все понятия логики к понятию построения, Брау-эр, заменил универсальную логику математического мышления, имеющую категориальные истоки, исчислением, описывающим понятие математического построения. Ясно, что это исчисление имеет ничуть не больше прав на универсальность, чем логика причинности, логика времени или логика квантовой механики. Интуиционистская логика описывает законы математического конструирования и ничего больше. Опыт показывает, что такая логика принципиально ограничена и недостаточна для построения математики.
К предметным логикам относятся также и модальная логика, построенная на экспликации отношения между категориями необходимости и возможности. Реальная логика исходит из понятия абсолютной истины и предполагает лишь необходимые связи значений. Категория возможности имеет не большую значимость для реальной логики, чем категория времени: в обоих случаях мы получаем формальные структуры, полезные для теоретического анализа логики, но не имеющие значения нормативной основы мышления. Реальное умозаключение не использует и не может использовать схем модальной логики. Аристотель, несомненно, смешивал логику и онтологию, рассматривая вопрос о будущем морском сражении в качестве логической проблемы.
Если мы понимаем реальную логику как систему норм, соединяющих понятия и суждения в практике рассуждения, то предметные логики должны быть полностью исключены из состава реальной логики. Реальная логика универсальна, она относится исключительно к определению смысла логических констант, но не к экспликации какого-либо теоретического или онтологического содержания.
