Логика. Том 1. Учение о суждении, понятии и выводе

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

§ 28. Частное утвердительное суждение

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

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

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

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