132. System der Logik, 3-е изд., с. 304. 5-е изд., с. 360.
133. Я считаю излишним, если среди форм вывода, как, например у Вундта (Logik, I>2, с. 329), появляется особенный вывод тождества, затем вывод уравнения. С тем же самым правом особое место и особенное имя должен был бы иметь также и вывод а > b, b > с, следовательно, а > с. То, что характеризует эти формы вывода, это не способ процесса вывода, а определенная большая посылка, которая делает их возможными и которая часто, конечно, как сама собою понятная, не формулируется прямо. А то же самое, что В; В то же самое, что С; следовательно, А то же самое, что С, – есть лишь применение положения, которое касается определенного предиката тождества. Повод особо подчеркивать его может заключаться, самое большее, в том, что суждение «А есть В» часто в неточной формулировке имеет в виду тождество, не выражая его прямо.
В целом мне кажется, что мало может быть пользы от дальнейшей специализации учения о выводе; гораздо правильнее – напротив, подчеркивать общее всем способам вывода, а не устанавливать различия формы вывода там, где все различие кроется в содержании определяющих вывод посылок; исчерпать эти последние невозможно. Вундт пытается, разумеется (Logik, I, 1-е изд., 282, 2-е изд., 317), установить общую формулу для всякого процесса вывода:
«Если различные суждения, благодаря сообща принадлежащим им понятиям, полагаются в известное отношение друг к другу, то не-общие понятия таких суждений равным образом стоят в таком отношении, которое находит свое выражение в новом суждении». Но не говоря о неопределенности формулировки, положение это оказывается ложным, так как оно слишком широко. Ибо в каком отношении стоят понятия S и P, если «S не есть M» и «M не есть P?» – На этот поставленный во втором издании настоящей «Логики» вопрос Вундт отвечает (2-е изд., с. 319): они стоят в отношении не-тождества. Это я, естественно, допускаю, так как я не знаю «частичного тождества» («частично» S и P могли бы все же быть тождественными). Но разве простое «не-тождество» может быть еще обозначено в обычном смысле слова как отношение понятий? Я просмотрел будто бы, что принцип отношения «может относиться к определенным, как и неопределенным отношениям между понятиями». Но сам Вундт (с. 130 и сл.) не приводит не-тождества ни среди определенных, ни среди неопределенных отношений между понятиями; о несравнимых (диспаратных) понятиях он говорит (с. 139), что они не могут быть поставлены друг к другу ни в какое отношение, хотя они все же, наверное, «не тождественны»; он просматривает, следовательно, что он сам не признает не-тождества за отношение между понятиями. С полным правом: ибо если только я знаю, что два понятия не тождественны, то между ними могут еще иметь место все мыслимые отношения, в особенности – к чему, однако, сводилось бы все для возможности вывода – невозможно вырешить, должно одно понятие утверждать или отрицать относительно другого. Но обе посылки «S не есть M» и «M не есть P», которые, конечно, «благодаря сообща принадлежащим им понятиям поставлены в отношение друг к другу», не дают даже возможности вывести «отношение не-тождества». Я полагаю, следовательно, что я не могу быть опровергнут, если скажу, что формула Вундта слишком широка.
Столь же мало могу я признать те возражения, какие Вундт в том же самом примечании (I², с. 319) выставил против другого сомнения, направленного мною против его учения о выводе, именно что, с другой стороны, его принцип слишком узок. «Преимущественно относительные формы суждений, – говорится на с. 318, пригодны для образования процессов вывода. Напротив, от образования выводов уклоняются в особенности описательные суждения, раз они сохранили свою первоначальную функцию. Это стоит в связи с тем, что описание сообщает об отдельном событии, которое может стать предпосылкой вывода, лишь в том случае, если ему придается простирающееся за пределы непосредственно данных временных условий значение». Я возразил (Vierteljschs. Für wiss. Phil. IV, с. 481) на это: «Если обвиняемый
