Избранные труды полностью

Подавляющее большинство логиков выдвигает и защищает этот тезис совершенно открыто. Мы не будем приводить здесь положений самого И. Канта [Кант, 1907, с. 61–63; 1915, Введение, § 1], но приведем весьма характерные высказывания более поздних исследователей — неокантианца XIX в. В. Виндельбанда и позитивиста XX в. Р. Карнапа: «…Нам предстоит прежде всего изолировать в абстракции и представить в их непосредственной очевидности те формы[55] мышления, от которых зависит осуществление целей истины в познавательном процессе и знании. Эту часть исследования мы называем формальной или чистой логикой, поскольку при этом необходимо отвлечься от всякой связи с каким-либо определенным содержанием познания (но, понятно, — не от связи с содержанием вообще, что невозможно). Найденные таким образом формы действительны для всякого вида направленного к достижению истины мышления — для донаучного так же, как и для научного, — и так как при этом нет еще речи об особых предметах, то, следовательно, дело идет о той истине, которую мы именно поэтому и назвали формальной» [Виндельбанд, 1913, с. 70–71].

«Начиная с Аристотеля, задача дедуктивной логики состоит в том, чтобы исследовать определенные отношения между предложениями или высказываниями, которые выражаются в предложениях. Эти отношения названы логическими отношениями. С современной точки зрения для этих отношений решающими являются два признака: 1) Они независимы от всех реальных фактов (т. е. формальны в традиционном словоупотреблении). Для того чтобы принять решение относительно этих отношений, необходимо знать лишь истинности (Wahrheitswert) предложений, а не их значения (Bedeutung)…» [Саrnaр, 1958, с. 30].

Аналогичным образом высказываются и «собственно математики»: Л. Кутюра [Кутюра, 1913, с. 7], А. Тарский [Тарский, 1948, с. 47]). Д. Гильберт и В. Аккерман [Гильберт, Аккерман, 1947, с. 21] и др. Мы приводим лишь одну, совершенно определенную формулировку, принадлежащую П. К. Рашевскому: «…Формальная логика потому и носит эпитет «формальная», что она учит нас формам умозаключений, правильных независимо от того, о чем именно мы рассуждаем» [Рашевский, 1960, с. 82].

Другие логики формулируют этот принцип не так откровенно, со всевозможными оговорками, однако фактически и они целиком и полностью стоят на его почве. Приведем исключительно характерное в этом отношении место из книги В. Ф. Асмуса:

«…Одни и те же логические формы и одни и те же логические действия, или операции, встречаются в самых различных науках, охватывающих самое различное содержание.

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

Так возникло направление в развитии логики, которое в отличие от формальной логики можно назвать формалистическим.

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

Возможность применения одинаковых логических форм, например одинаковых форм суждения или умозаключения, классификации или доказательства к различному материалу различных наук доказывает вовсе не то, что утверждают формалисты логической науки: не то, что формы логики не зависят от мыслимого в них содержания. Возможность прилагать одни и те же логические формы к различному содержанию доказывает только то, что наряду с содержанием частным, свойственным только данной области знания или данной науке, существует также содержание, общее целому ряду наук или даже всем наукам. С этой точки зрения общие логические формы следует рассматривать не как формы, не зависящие ни от какого содержания, а как формы чрезвычайно широкого содержания» [Асмус, 1947, с. 10–11].