Что же осталось в этих высказываниях общего? Общей осталась логическая форма высказывания, т. е. мыслимый способ связи его составных частей. Одинаковость логической формы во всех трёх высказываниях выражена словом «писал», которое повторяется в каждом высказывании и которое показывает, что способ связи различных составных частей содержания остался тот же самый.
Из всех этих примеров мы видим, что логическая форма есть не составная часть мыслимого содержания, а лишь способ, посредством которого составные части содержания связываются в мысли между собой.
Логическая форма в этом смысле слова и составляет собственно предмет изучения логики как теоретической науки. Логика есть теоретическая наука о правильных формах мышления.
§ 6. Почему логика есть особая наука? Почему невозможен такой порядок вещей, при котором формы мышления, применяемые каждой отдельной наукой, изучались бы именно этой самой наукой? Нужна ли для этой цели особая философская наука – логика?
В понятиях различных наук и в отношениях между этими понятиями отражаются свойства самих вещей и отношения между вещами, существующие в действительности. В понятиях и учениях логики также должна познаваться какая-то действительность. Но что же это за действительность? Познанием каких вещей и каких отношений между вещами может быть логика?
Совершенно очевидно, что логика не может ставить перед собой в качестве своей непосредственной задачи задачу познания тех самых вещей, которые изучаются отдельными науками.
Непосредственной задачей логики является изучение форм мышления, отражающего и познающего действительность. Непосредственным предметом изучения являются для логики формы и законы правильного мышления. Для логики они такой же непосредственный предмет изучения, какими для каждой науки являются изучаемые ею предметы.
§ 7. Исследование форм мышления не только возможно. Исследование это совершенно необходимо. Без этого исследования наше мышление остаётся безотчётным. Даже если оно окажется при этом правильным, ему будет недоставать той отчётливости и сознательности, которые одни могут сообщить мышлению безукоризненную точность и безупречную последовательность и убедительность.
Каким бы правильным ни было наше понимание составных частей содержания, одного этого понимания ещё недостаточно для уразумения высказывания. Мы можем понять все отдельные слова предложения, но не уяснить при этом смысла самого предложения. Так бывает, например, когда предложение слишком длинно или слишком сложно. В этом случае мы понимаем составные части содержания, но не улавливаем логической формы высказывания.
Что логическая форма мышления есть особый предмет исследования, выступает особенно отчётливо при рассмотрении так называемых выводов, или умозаключений.
Сравним два следующих умозаключения:
| Первое умозаключение | Все античные поэмы написаны гексаметром. | Второе умозаключение | Все конические сечения пересекаются прямой не более чем в двух точках. |
| Поэмы Гомера – античные поэмы. | Эллипсы – конические сечения. | ||
| ———————— | ——————— | ||
| След., поэмы Гомера написаны гексаметром. | След., эллипсы пересекаются прямой не более чем в двух точках. |
В каждом из этих умозаключений двумя предыдущими суждениями логически обосновывается третье суждение как вывод из первых двух.
Составные части содержания в обоих умозаключениях совершенно разные. Первый вывод относится к области поэтики, второй – к области математики. Но логическая форма, т. е. способ связи составных частей содержания, в обоих умозаключениях одна и та же. Общая форма умозаключения, применённая как в первом, так и во втором случае, может быть выражена так: «Если вещь имеет определённое свойство и если всё, наделённое этим свойством, вместе с тем имеет некоторое другое свойство, то вещь, о которой идёт речь, также имеет это другое свойство».
Но именно потому, что логические формы мышления оказываются общими для мышления в самых различных областях знания, формы эти должны изучаться не отдельными науками, но должны изучаться особой наукой – логикой. А так как логика изучает в мышлении логические формы мышления, то наука эта называется формальной логикой.
Существует только одна наука формальной логики – одна для всех наук. Как бы ни отличались науки одна от другой своим содержанием, мышление, посредством которого эти науки решают каждая свои особые задачи, всегда подчиняется правилам логики. Логичность мышления для всех наук равно обязательна.
§ 8. Главная задача логики как науки состоит в изучения форм мышления и в выяснении правил и законов, которые мышление соблюдает в своём применении этих форм. Логика изучает различные формы понятия, суждения, умозаключения и доказательства. Она выясняет правила, которым мышление следует при определении понятий и при классификации, при противопоставлении суждений, при решении вопроса об их совместимости или несовместимости. Логика исследует и классифицирует различные виды вывода, выясняет строение правильных выводов, исследует условия выводов о вероятности, выясняет правила обобщения; изучает строение доказательства, классифицирует различные виды доказательств и т. д. Логика исследует, далее, предпосылки и строение применяемых в науках методов научного мышления: методов исследования и методов систематизации. Она исследует особенности и правила наблюдения и эксперимента, выясняет строение гипотезы, аналогии и т. д.
Исследования эти со всей ясностью доказывают то, что уже было сказано выше, а именно, что одни и те же логические формы и одни и те же логические действия, или операции, встречаются в самых различных науках, охватывающих самое различное содержание.
Логики-идеалисты делают неправильный вывод из этого факта. Заметив – и совершенно справедливо, – что одними и теми же логическими формами, например формами умозаключения или доказательства, может охватываться самый различный материал, принадлежащий различным областям действительности и различным областям знания, логики эти делают отсюда вывод, будто формы мышления, изучаемые логикой, совершенно не зависят от содержания того, что при помощи этих форм мыслится.
Так возникло направление в развитии логики, которое, в отличие от формальной логики, можно назвать формалистическим.
Однако формальная логика и формалистичность, или формализм в логике,– отнюдь не одно и то же. Формальная логика есть наука о правильных формах мышления. Занимаясь изучением формальной логики, мы в то же время знаем, что формы мышления, какими бы общими для всех наук они ни были, как бы широко ни применялись они для охвата самого различного содержания, всё же связаны с содержанием, зависят от содержания. То, что отражается в логических формах мысли, есть содержание самой действительности: её предметы, свойства и отношения.
Возможность применения одинаковых логических форм, например одинаковых форм суждения или умозаключения, классификации или доказательства, к различному материалу различных наук доказывает вовсе не то, что утверждают формалисты логической науки: не то, что формы логики не зависят от мыслимого в них содержания. Возможность прилагать одни и те же логические формы к различному содержанию доказывает только то, что наряду с содержанием частным, свойственным только данной области знания или данной науке, существует также содержание, общее целому ряду наук или даже всем наукам. С этой точки зрения общие логические формы следует рассматривать не как формы, не зависящие ни от какого содержания, а как формы чрезвычайно широкого содержания.
Изучение логических форм так же мало походит на формализм, как мало походит на формализм изучение форм, например, музыкального или поэтического искусства. Кто изучает форму сонаты в музыкальном искусстве, тот ещё не есть тем самым формалист искусствознания. Кто исследует форму трагедий или эпической поэмы, тот также не есть ещё тем самым формалист литературоведения. Формалистом будет лишь тот музыковед и лишь тот литературовед, который, изучая форму, – что является вполне почётной и нужной задачей, изучает её в заблуждении, будто форма никак не зависит от содержания.
Глава II. Логические законы мышления
Логические законы как законы определённого, последовательного и доказательного мышления
§ 1. Каковы бы ни были задачи мышления и какими бы формами оно для решения этих задач ни пользовалось, правильное мышление есть мышление определённое, последовательное и доказательное. Эти три черты правильного мышления не являются свойствами, присущими мышлению как таковому. Формы мышления современного культурного человека образовались в результате постоянного взаимодействия между человеком и материальным миром, на который человек действует при помощи орудий труда и который, с другой стороны, непрерывно воздействует на человека и на его мышление. В формах мышления отложился весь огромный опыт материальной практики общественного человека. Самые формы эти возникли и сложились в их современном виде в соответствии со свойствами материального мира, результатом развития которого человек является и действие которого на себе и на своём мышлении человек всегда испытывает.
Поэтому логические черты определённости, последовательности и доказательности не являются чертами, которые, мышление породило из самого себя и которые не имеют основания в свойствах самой действительности. Правильное мышление обладает этими чертами только потому, что они представляют или отражают некоторые коренные свойства самой действительности.