"Учебник логики" - читать интересную книгу автора (Челпанов Г.И.)

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

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

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

Глава II

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

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