1) Все цветы суть растения. Все тюльпаны суть цветы.

Следовательно, все тюльпаны — растения.

2) Все материалисты в философии суть атеисты. Все марксисты суть материалисты в философии.

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

Здесь также в каждом из примеров при различном конкрет­ном содержании мыслей налицо одна и та же логическая структура. Символически эта структура часто выражается в ло­гике формулой:

Все М суть Р. Все 5 суть М.

Следовательно, все S суть Р,

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

8 В изучении логических структур очень важно приобретение навыков в решении логических задач. С этой целью рекомендуется' книга проф. А.. И. Уемова «Упражнения и задачи по логике», м., 1961,

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

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

В логических формах своеобразно отражаются отношения вещей внешнего мира, являющиеся объективными основаниями логических форм. «...Логические формы и законы, — писал В. И. Ленин, — не пустая оболочка, а отражение объективного мира».⁴ Поэтому рассматриваемые логикой формы мышления имеют общечеловеческий характер в смысле независимости их не только от классовой, но и от национальной принадлежности людей, в то время как грамматические формы языка одной или нескольких наций отличаются от грамматических форм языка других наций.

С понятием логической формы тесно связано понятие фор­мально-логического закона. Любой формально-логический за­кон есть отношение между логическими формами мысли. По­добно отношениям, выражаемым в законах любой другой науки, отношения между логическими формами мысли характеризуют­ся свойством необходимости. Это значит, что формально-логиче­ские законы не зависят, от воли людей, не могут быть нарушены без ущерба в постижении истины в процессе познания, подобно тому как при нарушении математических законов невозможно прийти к правильному вычислению орбит движения планет.

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

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

'Ленин В. И, Поли, собр. соч., т. 29, с. 162.

одно утверждение может находиться в отношении логического следствия к другим, выводиться из последних по логическим законам. Пример такого рассуждения:

Следовательно, Марс — спутник Земли.

Это не исключает того, что в рассуждении могут быть все утверждения истинными, но логически не связанными. При­мер:

Все птицы — позвоночные. Все лебеди — позвоночные.

Следовательно, все лебеди — птицы.

В этом примере третье утверждение вовсе не вытекает из первых двух по законам логики. Если мы во втором и третьем утверждениях данного примера слово «лебеди» заменим словом «олени», то получится ложный результат при истинности исход­ных утверждений.

Из сказанного следует вывод: формальная логика есть наука о формах, т. е. структурах, мысли.

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