Я обращаюсь поэтому только к непредубежденным людям со здравым смыслом» (Пуанкаре, с. 185–186).

Очевидно, в этом кошмарном чудовище из снов разума, в этой химере — козе с головой льва есть, как в каждом из демонов, воплощающихся в наш мир с нашей помощью, какое-то чудовищное искушение и соблазн. Эта сущность пожирает души и разрушает миры. Но она всегда будет обеспечена пищей и служителями, которые надеются получить свои блага от близости к ногам повелителя. Сущность эта лишняя в мире людей и определенно из тех, которые не следует умножать без необходимости. Но ее творят и умножают…

Самое любопытное, что семь веков назад Оккам, создавая свою «бритву», творил оружие именно против этого врага человечества. Действительное изречение звучит поразительно точно, будто он предвидел игры псевдологиков в псевдоматематику множеств и бесконечностей:

«Множественность не следует допускать без необходимости».

Вообще-то сами логики мало в чем сомневаются, если верить написанным ими учебникам. Но в отношении рассуждения у них сомнения определенно есть. Их можно заметить по такому простому и очевидному признаку, что большая часть современных учебников логики рассуждение вообще не поминает, некоторые учебники поминают его вскользь, как бы оговорившись по-бытовому, и лишь совсем немногие вдруг заявляют, что логика — чуть ли не наука рассуждения.

Основным определением логики для наших логиков до сих пор остается определение «Логического словаря» Н. Кондакова 1971 года:

«Логика (греч logos — слово, мысль, речь, разум) — совокупность наук о законах и формах мышления, о математико-логических законах исчисления (формализованных символических языков), о наиболее общих (диалектических) законах мышления».

Как видите, ни о каком рассуждении речь не ведется. Логика определенно не есть наука о рассуждении. В сущности, более приемлемым можно считать определение И. Дмитриевской, сделанное в 1995 году:

«Формальная логика — философская наука о правильном мышлении: о законах, которым оно подчиняется, и о формах, в которых оно протекает».

С этим согласны все современные учебники логики, которые мне доводилось держать в руках.

Правда, иногда находятся оригиналы, вроде Александра Зиновьева, которые делают предметом логики не мышление, а что-то другое:

«Согласно моей логической теории, предмет логики как особой науки — язык. Но язык не во всем многообразии его признаков и функций в жизни людей, а лишь в качестве знакового аппарата познания реальности людьми и средства фиксирования и сохранения результатов познания» (Зиновьев, с. 19).

Как говорится, исключения лишь подтверждают правило.

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

Мне попалось пара таких изданий с линиями для разреза и яркой надписью на обложке: ШПАРГАЛКА. ЛОГИКА. Так вот в них сомнений нет:

«Логика — наука о структуре и закономерностях правильного мышления» (Шпаргалка по логике, 3).

«Основным типом мышления является понятийное (абстрактно-логическое). Именно его и исследует логика» (Иваньков, 2).

Это то, что однозначно будет признано правильным на любом экзамене по логике, это тело логики, если считать ее наукой. Оно подтверждается оглавлениями всех учебников логики, в которых нет раздела «Рассуждение». Даже в тех, которые все-таки рассуждение поминают. Не поминается рассуждение и в тех Словарях терминов или Предметных указателях, которыми составители учебников снабжают свои сочинения (Демидов, Маслов).

Тем удивительнее, когда рассуждение все же всплывает вдруг в учебниках логики. Приведу все подобные подарки, которые мне удалось разыскать. Большую часть из них вряд ли можно назвать осмысленными, скорее, авторы просто не нашли более подходящего слова, чтобы передать свои мысли. Например, С. Мареев начинает свою «Логику» с такого рассуждения:

«Наука логика носит аналитический характер, а точнее, она дает метод анализа определений, умозаключений и доказательств.

Не случайно название основной работы Аристотеля в области логики «Аналитика». Логика — это именно анализ форм рассуждения, умозаключения и доказательства, а не их синтез. Поэтому самый тщательный логический анализ математических доказательств не дает нам непосредственно умения и способности синтезировать другие доказательства» (Мареев, с. 5).

Автор определенно хотел что-то сказать… а я не в силах это понять! Но если исходить из первого предложения, где умозаключения и доказательства объединены с определениями, то слова, что логика — это ИМЕННО анализ форм рассуждения, умозаключения и доказательства, могут означать либо то, что рассуждение — это определение, либо то, что автор не владеет точным рассуждением. Логикой он, наверное, все же владеет, раз пишет учебники…