Учебник логики - [3]

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

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

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

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

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

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

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

Вопросы для повторения

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

Глава II О различных классах понятий

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

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

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

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

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

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

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