Каринский, Михаил Иванович: биография
«Классификация выводов» — единственный русский вполне оригинальный и весьма значительный труд по логике. К. показывает несостоятельность обоих противоположных направлений в логике — силлогистического, формального (Аристотелевского) и индуктивного (Бэкона и Милля). Он утверждает, что нельзя основывать классификацию выводов на противоположности между индукцией и силлогизмом. Среди силлогистических выводов найдутся такие, которые окажутся ближе к индуктивным, чем к другим силлогистическим; самый принцип деления силлогистических фигур, как чисто внешний, разъединяет сродное и соединяет совершенно различное. Противоположная школа Бэкона и Милля указала на некоторые существенные недостатки силлогистики, но сама не выдерживает критики. Отрицание силлогизма Бэконом покоится на недоразумении, и его теория индукции отлично уживается с силлогизмом. Утверждение Милля, что всякий силлогизм есть petitio principii и что мы заключаем от частного к частному — неверно, ибо заключение получается лишь в том случае, если сделать добавочное предположение о сходстве частных случаев между собою. Оба направления, как силлогистическое, так и индуктивное, имеют и общие недостатки — а именно они оставляют без внимания целый ряд законных выводов, необъяснимых с их точки зрения. Итак, нужно найти новый принцип для классификации выводов. Выводом называется перенесение одного из основных элементов установленного уже в нашем знании суждения на соответственное место в другом суждении на основании некоторого отношения между остальными элементами обоих суждений. Логически перенесение элементов суждения из одного в другое может быть оправдано в случаях тождества этих элементов. Итак, тождество есть оправдание всякого вывода.
Эта мысль К. сближает его с математическим направлением логики (Гамильтона и др.). Так как основных элементов в суждении два, субъект и предикат, то из сличения их получаются две главных группы выводов: первая, основанная на сличении субъектов двух суждений, дает выводы положительные; вторая, основанная на сличении предикатов двух суждений, дает выводы отрицательные и гипотетические. К. дает весьма подробное описание первой группы, причем останавливается на вполне законных выводах, обыкновенно не помещаемых в логиках, напр. заключении от частей агрегата к агрегату и т. д.
Весьма интересны указания, каким образом и так называемую неполную индукцию следует свести к общему логическому основанию вывода — тождеству. Вторая группа рассмотрена К. менее подробно. В общем следует сказать, что К. нашёл верный принцип и блистательно провел его и если можно спорить с К., то только относительно деталей, напр. того места, которое следует отвести умозаключению по аналогии, etc.
Вторая задача логики, имеющая несравненно большее философское значение, состоит в перечислении и оправдании самоочевидных истин. На природу их в философии выражены два диаметрально противоположных взгляда: рационалистический и эмпирический. Эта противоположность направлений резко выступает в лице Канта и Милля. К. в первом выпуске своего труда «Об истинах самоочевидных» рассматривает пока только рационалистическое решение вопроса, причем, отождествляя в известном смысле рационализм с кантианизмом, подробно рассматривает «Критику чистого разума».
До настоящего времени не было в литературе столь всестороннего анализа «Критики чистого разума», смелого и глубокого, каким является книга К. Он сначала критикует исходное положение «Критики чистого разума» и доказывает его догматичность: предполагая неопытное происхождение аксиом знания, Кант ссылается на всеобщность их и необходимость — но всеобщность и необходимость следует доказать, а не предполагать. Дальше Каринский останавливается на аксиомах математических и доказывает, что созерцания пространства и времени могут быть априорны, а суждения о законах созерцания (напр. математические аксиомы) могут, в то же время, происходить и из опыта. Математическое знание могло бы быть умозрительным, только если бы оно было аналитическим, а не синтетическим, как учит Кант; но в таком случае оно не могло бы быть всеобщим и необходимым, ибо можно представить себе пространство и с иными свойствами, чем те, которые за ним признают люди. Наконец, К. указывает и на противоречие между трансцендентальной эстетикой «Критики чистого разума» и её аналитикой: в первой математические аксиомы выводятся из созерцания, во второй они рассматриваются как результаты рассудочной деятельности, так что аналитика делает излишним учение о созерцании. В третьей части К. рассматривает учение о рассудке, то есть трансцендентальную аналитику. Канту неоднократно делали упрек в том, что он не выводит категорий рассудка, как намеревался, а берет их готовыми.
