«Формальные» означает здесь – совершенно независимые от того, как именно понимается мышление, его происхождение и цели, его отношения к другим способностям человека и к внешнему миру и т.д. и т.п., т.е. независимо от того, как решается вопрос о «внешних» условиях, внутри которых осуществляется мышление по правилам, от метафизических, психологических, антропологических и прочих соображений. Кант объявляет такие правила абсолютно верными и всеобщеобязательными для мышления вообще, «безразлично, априорное оно или эмпирическое... каковы его происхождение и предмет и встречает ли оно случайные или естественные препятствия в нашей душе [Gemüt]»
[40].
Очертив таким образом границы логики («своими успехами логика обязана определённости своих границ, благодаря которой она вправе и даже должна отвлечься от всех объектов познания и различий между ними...»[41]), Кант тщательно исследует её принципиальные возможности. Компетенция её оказывается весьма узкой. В силу указанной формальности она по необходимости оставляет без внимания различия сталкивающихся в дискуссии представлений и остаётся абсолютно нейтральной не только, скажем, в споре Лейбница с Юмом, но и в споре умного человека с дураком, если только дурак «правильно» излагает невесть откуда и как попавшее в его голову представление, пусть самое несуразное и нелепое. Её правила таковы, что она обязана любой нелепице вынести логическое оправдание, лишь бы нелепица не противоречила себе самой. Согласная с самой собою глупость должна свободно проходить сквозь фильтры общей логики.
Кант специально подчёркивает, что «общая логика не содержит и не может содержать никаких предписаний для способности суждения»[42] как умения «подводить под правила, т.е. различать, подчинено ли нечто данному правилу... или нет»[43]. Поэтому самое твёрдое знание правил вообще (в том числе и правил общей логики) вовсе не гарантирует безошибочности их применения. Поскольку же «отсутствие способности суждения есть, собственно, то, что называют глупостью», и поскольку «против этого недостатка нет лекарства»[44], постольку общая логика не может выступать не только в качестве «органона» (орудия, инструмента) действительного познания, но даже и в качестве «канона» его — в качестве критерия проверки готового знания.
Для чего же она в таком случае вообще нужна? Исключительно для проверки на правильность так называемых аналитических суждений, т.е., в конце концов, актов словесного изложения готовых, уже имеющихся в голове представлений, какими бы нелепыми и глупыми сами по себе эти представления ни были, констатирует Кант в полном согласии с Бэконом, Декартом и Лейбницем. Противоречие между понятием (т.е. строго определённым представлением) и опытом, фактами (их определениями) представляет собою ситуацию, по поводу которой общая логика высказываться не имеет права, ибо тут речь идёт уже об акте подведения фактов под определения понятия, а не о раскрытии того смысла, который заранее в понятии заключён. (Например, если я убеждён, что «все лебеди белы», то, увидев птицу, по всем признакам, кроме цвета, тождественную моему представлению о лебеде, я оказываюсь перед трудностью, разрешить которую общая логика мне помочь не может уже ничем. Ясно одно, что под моё понятие «лебедь» эта птица не подводится без противоречия и я обязан сказать: она не лебедь. Если же я её признаю лебедем, то противоречие между понятием и фактом превратится уже в противоречие между определениями понятия, ибо субъект суждения (лебедь) будет определён через два взаимоисключающих предиката – «белый» и «не белый». А это уже недопустимо и равносильно признанию, что моё исходное понятие было определено неправильно, что его надо изменить, дабы устранить противоречие.)
