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