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

Логика имеет также значение для определения взаимного отношения между науками. Различие между науками, например математическими, физическими и историческими, может стать ясным только в том случае, если мы рассмотрим различие методов познания с логической точки зрения.

История логики и главное направление её. Творцом логики как науки следует считать Аристотеля (384-322). Логика Аристотеля имела господствующее значение не только в древности, но также и в средние века, в эпоху так называемой схоластической философии. Заслуживает упоминания сочинение последователей философа Декарта (1596-1650), которое называлось: La logique ou lart de penser (1662). Эта логика, которая называется логикой Port, которая, принадлежит к так называемому формальному направлению. В Англии Бэкон (1561-1626) считается основателем особого направления в логике, которое называется индуктивным, наилучшими выразителями которого в современной логике являются Дж. С. Милль (1806-1873) и Л. Бэн (1818-1903).

Для того чтобы понять, в чём заключается различие между формальным и индуктивным направлением в логике, заметим, что называется материальной и формальной истинностью. Мы считаем какое-либо положение истинным материально, когда оно соответствует действительности или вещам. Мы считаем то или другое заключение истинным формально в том случае, когда оно выводится с достоверностью из тех или иных положений, т.е., когда верен способ соединения мыслей, самое же заключение может совсем не соответствовать действительности. Для объяснения различия между формальной и материальной истинностью возьмём примеры, нам даются два положения:

Все вулканы суть горы

Все гейзеры суть вулканы

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

Но возьмём следующий пример:

Все богачи тщеславны

Некоторые люди не суть богачи

След., некоторые люди не суть тщеславны.

Это заключение истинно материально, потому что действительно «некоторые люди не суть тщеславны», но оно формально ложно, потому что не вытекает из данных положений. В самом деле, если бы было сказано, что только богачи тщеславны, тогда о всяком не-богаче мы сказали бы, что он не тщеславен. Но у нас в первом положении утверждается: «все богачи тщеславны»; этим не исключается, что и другие люди могут быть тщеславными. В таком случае можно быть небогатым и в то же время быть тщеславным; из того, что кто-нибудь не есть богач, не следует, что он не может быть тщеславным. Из этого ясно, что указанное заключение не вытекает из данных положений необходимо.

Те правила, которые указывают, когда получаются заключения истинные формально, мы можем назвать формальными критериями истинности; те правила, которые определяют материальную истинность, мы можем назвать материальными критериями истинности.

Формальная логика по преимуществу изучает те отделы логики, в которых может быть применяем формальный критерий истинности. Индуктивная логика, в противоположность формальной логике, по преимуществу разрабатывает те отделы, в которых применяется материальный критерий.

Как определяется логика? Какое различие существует между психологией и логикой? Какие положения можно считать непосредственно очевидными? Какие положения нужно считать посредственно очевидными? В чём заключается задача доказательства? В чём заключается задача логики? Почему «здравый смысл» не может заменить логики? Какие существуют основные направления в логике?

Понятия и термины. Мы предполагаем начать с рассмотрения различных классов понятий. В сочинениях по логике у английских философов изложение логики обыкновенно начинается с рассмотрения терминов, имён или названий. Они исходят из того, что в логике мы должны трактовать не просто о понятиях, которые представляют известные умственные построения, но мы должны о них трактовать постольку, поскольку они получают выражение в языке, в речи; а так как понятия мы выражаем при помощи слов, названий и т.п., то, по их мнению, гораздо целесообразнее в логике говорить не о понятиях, а о названиях, именах или терминах.

Таким образом, мы можем рассматривать или понятия в том виде, как они нами мыслятся, или их выражение при помощи слов.

Но на самом деле между этими двумя рассмотрениями нет существенной разницы. Каждое понятие у нас в мышлении фиксируется, приобретает устойчивость, определённость благодаря тому или другому слову, названию, термину. Когда мы в логике оперируем с понятием, то мы всегда имеем в виду понятие, которое связывается с известным словом. Слово является заместителем понятий. Мы можем оперировать только с теми понятиями, которые получили своё выражение в речи. Таким образом, ясно, что всё равно, будем ли мы говорить о названиях и терминах, как это делается в английской логике, или же будем говорить о понятиях просто.

Понятия индивидуальные и общие. Понятия разделяются прежде всего на индивидуальные, или единичные, и общие. Индивидуальными понятиями мы будем называть те понятия, которые относятся к предметам единичным, индивидуальным (в данном случае индивидуальные понятия совпадают с представлениями о единичных вещах), например: «британский посланник во Франции», «высочайшая гора в Америке», «автор „Мёртвых душ“», «эта книга». К числу единичных понятий относятся также и собственные имена, например: «Казбек», «Ньютон», «Рим». Понятия, которые относятся к группе или классу предметов или явлений, имеющих известное сходство между собой, называются общими понятиями или классовыми понятиями. Например, понятия «растение», «животное», «газ», «двигатель», «поступок», «движение», «красота», «гнев», «чувство» и т.п. суть понятия классовые или общие.

Общие, собирательные и разделительные термины. Единичные и общие понятия иногда могут употребляться в особенном смысле, и именно в так называемом собирательном. Если я произнесу предложение: «лес служит для сохранения влаги», то в этом предложении «лес» есть один из множества однородных предметов; в этом предложении понятие «лес» употреблено в общем смысле. Но «лес» может представляться как одно целое, состоящее из однородных единиц. В таком случае понятие «лес», или термин «лес», делается коллективным, или собирательным.

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

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