Коллектив авторов - Философия в систематическом изложении (сборник)

Второе направление дальнейшего развития логики было указано, когда Кант, не удовлетворенный объяснением логиков о суждении вообще, включил в определение суждения признак объективного единства сознания содержащихся в нем понятий. Реформа логики стала реформой учения о суждении. Все наши познания опытные, равно как убеждения мысли, не только выражаются в словесных предложениях или им эквивалентных формах, но они суть и суждения с логической точки зрения. Заключение тоже есть не что иное, как посредственное суждение о связи суждений. Мы поэтому не только признаем, но мы требуем, чтобы заключение было доказательно для посылок, подобно тому как посылки доказательны для заключения; однако мы оспариваем мнение, будто заключение не дает поэтому ничего нового. Познание аналитической связи тоже есть познание: если оно и не расширяет нашего знания вовне, то оно зато сообщает ему внутреннюю ясность. А там, где умозаключение состоит в применении закона природы, оно или открывает бывший до сих пор не известным факт, или объясняет известное. – Из аномалий в возмущениях планетной орбиты мы делаем вывод о существовании неизвестной планеты, а двойное преломление мы объясняем разной эластичностью кристалла по направлению его осей: в том и в другом случае умозаключение расширяет наше познание. Если умозаключение с его посылками и выводом из них следует, таким образом, рассматривать как одно целое, как особого рода суждение, «суждение о связи», то и естественные виды умозаключений следует различать по видам, или формам, суждений, т. е. форма заключения определяет вид самого умозаключения.

Построить «таблицу суждений» становится благодаря этому одной из важнейших задач логики. Во главу становится разделение суждений по их объектам на два основных типа. Подобно тому, как существуют две раздельных и друг от друга отличных области познания: область, образуемая отношениями понятий, и другая – обнимающая бытие и факты, – так и суждения подразделяются на два главных класса: положения о понятиях и высказывания о вещах, или реальные утверждения. Суждение одного вида нельзя непосредственно свести к суждению другого вида, как нельзя этого сделать и с объектами их. Существенное различие обоих видов суждений между собой сказывается в различном значении общности, если мы сравниваем общие положения того и другого вида. Общее положение формы «все А суть В» означает: А, которые суть В, – суть все А; другими словами: в действительности нет такой вещи А, которая одновременно не была бы В; нет людей, которые не были бы смертны; короче говоря, класса А, который не есть В, не существует. Общность состоит здесь в эмпирической всеобщности всех наблюденных фактов, и умозаключение от такого общего к частному основано на принципе «dictum de omni et nullo». Та же формула «все А суть В» применительно к положению о понятиях имеет существенно иной смысл: А необходимо есть В, – плоский треугольник в евклидовом пространстве необходимо есть треугольник, сумма углов которого равна двум прямым, т. е. здесь мы имеем пред собой рациональную и абсолютную всеобщность, совершенно не зависимую от существования или числа случаев, или от повторения понятия. Существует безусловно надежный признак для распознавания в каждом отдельном случае, какого рода общность свойственна данному положению. Уже Локк указал на этот признак: всякое положение, об истинности или ложности которого возможно достоверное познание, не относится к бытию; напротив того, частные положения, утвердительные или отрицательные, которые перестают быть достоверными, как только мы пытаемся сделать их общими, единственно имеют своим предметом действительное существование. Ни одно эмпирическое положение нельзя путем одной эмпирики превратить в безусловно общее или необходимо действительное положение; для этого в каждом случае приходится прибегать к посредничеству общего положения о понятиях в форме закона, да и тогда еще чисто эмпирический элемент в положении приходится снабжать оговоркой: впредь до дальнейшей проверки.

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