Иного вывода Кант сделать и не мог: если отыскивать в логике лишь те положения, с которыми одинаково согласны все – и Спиноза, и Беркли, и рационалист-естествоиспытатель, и теологизирующий поп, а все их разногласия выносить за скобки, то внутри скобок мало что остается. Ничего, кроме тех совершенно общих представлений о мышлении, которые казались бесспорными для людей, мысливших в рамках сложившейся традиции. Кант получил, таким образом, чисто эмпирическое обобщение, гласящее, собственно, лишь то, что до сих пор ни один из теоретиков, занимавшихся мышлением, не оспаривал некоторого ряда утверждений. Верны ли, однако, эти положения сами по себе, или они суть лишь общераспространенные и общепринятые иллюзии, из данных утверждений не вычитаешь.
Да, все теоретики до сих пор мыслили (хотя бы только старались мыслить) в согласии с определенными правилами. Такова мораль, которую отсюда можно извлечь. Кант, однако, превращает чисто эмпирическое обобщение в теоретическое (т.е. во всеобщее и необходимое) суждение о предмете логики вообще, о законных границах ее предмета: "Границы же логики совершенно точно определяются тем, что она есть наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления..."[4] "Формальные" означает здесь – совершенно независимо от того, как именно понимается мышление, его происхождение и цели, его отношения к другим способностям человека и к внешнему миру и т.д. и т.п., т.е. независимо от того, как решается вопрос о "внешних" условиях, внутри которых осуществляется мышление по правилам, независимо от метафизических, психологических, антропологических и прочих соображений.
Очертив таким образом границы логики ("своими успехами логика обязана определенности своих границ, благодаря которой она вправе и даже должна отвлечься от всех объектов познания и различий между ними..."[5], Кант тщательно исследует ее принципиальные возможности. Компетенция ее оказывается весьма узкой. В силу указанной формальности она по необходимости оставляет без внимания различия сталкивающихся в дискуссии представлений и остается абсолютно нейтральной не только, скажем, в споре Лейбница с Юмом, но и в споре умного человека с дураком, если только дурак "правильно" излагает невесть откуда и как попавшее в его голову представление, пусть самое несуразное и нелепое. Ее правила таковы, что она обязана любой нелепице вынести логическое оправдание, лишь бы нелепица не противоречила себе самой. Согласная с самой собою глупость должна свободно проходить сквозь фильтры общей логики.
Кант специально подчеркивает, что "общая логика не содержит и не может содержать никаких предписаний для способности суждения"[6], кроме как умения "подводить под правила, т.е. различать, подчинено ли нечто данному правилу... или нет"[7]. Поэтому самое твердое знание правил вообще (в том числе и правил общей логики) вовсе не гарантирует безошибочности их применения. Поскольку же "отсутствие способности суждения есть, собственно, то, что называют глупостью" и поскольку "против этого недостатка нет лекарства"[8], постольку общая логика не может выступать не только в качестве "органона" (орудия, инструмента) действительного познания, но даже и в качестве "канона" его – в качестве критерия проверки готового знания.
Для чего же она в таком случае вообще нужна? Исключительно для проверки на правильность так называемых аналитических суждений, т.е., в конце концов, актов словесного изложения готовых, уже имеющихся в голове представлений, какими бы нелепыми и глупыми сами по себе эти представления ни были, констатирует Кант в полном согласии с Бэконом, Декартом и Лейбницем. Противоречие между понятием (т.е. строго определенным представлением) и опытом, фактами (их определениями) представляет собою ситуацию, по поводу которой общая логика высказываться не имеет права, ибо тут речь идет уже об акте подведения фактов под определения понятия, а не о раскрытии того смысла, который заранее в понятии заключен. (Например, если я убежден, что "все лебеди белы", то, увидев птицу, по всем признакам, кроме цвета, тождественную моему представлению о лебеде, я оказываюсь перед трудностью, разрешить которую общая логика мне помочь уже не может. Ясно одно, что под мое понятие "лебедь" эта птица не подводится без противоречия и я обязан сказать: она не лебедь. Если же я ее признаю лебедем, то противоречие между понятием и фактом превратится уже в противоречие между определениями понятия, ибо субъект суждения (лебедь) будет определен через два взаимоисключающих предиката – "белый" и "не белый". А это уже недопустимо и равносильно признанию, что мое исходное понятие было определено неправильно, что его надо изменить, дабы устранить противоречие.)
Так что всякий раз, когда возникает вопрос, подводится данный факт под данное понятие или нет, появление противоречия вовсе не может рассматриваться как показатель верности или неверности суждения. Суждение может оказаться верным именно потому, что противоречие в данном случае разрушает исходное понятие, обнаруживает его противоречивость, а значит, и ложность... Поэтому-то и нельзя бездумно применять критерий общей логики там, где речь идет об опытных суждениях, об актах подведения фактов под определения понятия, об актах конкретизации исходного понятия через данные опыта. Ведь в таких суждениях исходное понятие не просто разъясняется, а пополняется новыми определениями. Тут происходит синтез, присоединение определений, а не анализ, т.е. разъединение уже имеющегося определения на подробности.
Суждения опыта, все без исключения, имеют синтетический характер. Поэтому появление противоречия в составе такого суждения – естественно и неизбежно в процессе уточнения понятий в согласии с данными опыта.
Иначе говоря, для способности суждения общая логика не имеет права давать рекомендаций, ибо сия способность вправе подводить под определения понятия такие факты, которые этим определениям прямо и непосредственно противоречат.
Любое эмпирическое понятие всегда находится поэтому под угрозой опровержения со стороны опыта, со стороны первого же попавшегося на глаза факта. Следовательно, суждение чисто эмпирического характера, т.е. такое, где субъектом выступает эмпирически данный, чувственно созерцаемый предмет или объект (например, то же суждение о лебедях), верно и правильно лишь с обязательной оговоркой: "Белы все лебеди, до сих пор побывавшие в поле нашего опыта". Такое суждение бесспорно, ибо оно и не претендует на отношение к тем единичным вещам того же самого рода, которых мы еще не успели повидать. И дальнейший опыт вправе корректировать наши определения, менять предикаты суждения.
С подобными трудностями действительно постоянно сталкивается и всегда будет сталкиваться наше теоретическое познание.
Но если так, если наука развивается только через постоянное сопоставление понятий с фактами, через постоянный и никогда не завершающийся процесс разрешения вновь и вновь возникающего здесь конфликта, то сразу же остро встает проблема научно-теоретического понятия. Отличается ли научно-теоретическое обобщение (понятие), претендующее на всеобщность и необходимость, от любого эмпирически-индуктивного "обобщения"? (Сложности, здесь возникающие, остроумно обрисовал столетием позже Б. Рассел в виде забавной притчи: живет в курятнике курица, каждый день приходит хозяин, приносит ей зернышек поклевать, курица, несомненно, сделает отсюда вывод: появление хозяина связано с появлением зернышек. Но в один прекрасный день хозяин явится в курятник не с зернышками, а с ножом, чем убедительно и докажет курице, что ей не мешало бы иметь более тонкое представление о путях научного обобщения...)
Иначе говоря, возможны ли такие обобщения, которые, хотя и сделаны на основе лишь фрагментарного опыта относительно данного объекта, могут тем не менее претендовать на роль понятий, обеспечивающих научное предвидение, т.е. быть с гарантией "экстраполированы" и на будущий опыт относительно того же самого объекта (учитывая, разумеется, влияние всех разнообразных условий, внутри которых он может в будущем наблюдаться)? Возможны ли понятия, выражающие не только и не просто более или менее случайные общие признаки, могущие в другом месте и в другое время и отсутствовать, а самое "существо", самую "природу" данного рода объектов, закон их существования? Т.е. возможны ли такие определения, при отсутствии которых отсутствует (невозможен и немыслим) и сам объект данного понятия, а имеется уже другой объект, который именно поэтому не правомочен ни подтвердить, ни опровергать данного понятия? (Как, например, рассмотрение квадратов или треугольников не имеет никакого отношения к нашему пониманию свойств окружности или эллипса, поскольку в определения понятия "окружность" входят только такие предикаты, которые строго описывают границы данного рода фигур, границы, которые нельзя переступить, не переходя в другой род.) Понятие, стало быть, предполагает такие предикаты, устранить которые (без устранения самого объекта данного понятия) не может никакой будущий, "всякий возможный", по терминологии Канта, опыт.