Избранные труды

Но все эти широко распространенные в современной науке формы графического изображения связей имели тот общий недостаток, что они никак не обнаруживали свое родство с высказываниями о связи и не показывали тех процедур анализа и построения самих высказываний, которые надо было выявить, чтобы осуществить описанную выше программу логических исследований. Поэтому их пришлось отбросить и искать среди всех возможных форм изображения связей те, которые могли бы как-то раскрыть тайну выделения связи как особого объективного содержания. К счастью, оказалось, что в предшествующем развитии логики такая форма была уже найдена и даже представлена в схематической таблице. Это были схемы так называемого индуктивного или экспериментального выявления причинной связи Бэкона — Гершеля — Милля [Асмус, 1947, с. 260–285; Минто, 1901, с. 165–221].

Они пришли в логику вместе с наукой нового времени и были обобщением приемов практической исследовательской работы лаборатории XVII и XVIII столетий; это были методы наблюдений, проводившихся с целью определения причинной связи и зависимости.

Одним из важнейших среди них был прием так называемого «единственного различия». Принцип его сам Дж. Ст. Милль и его последователи выражали так. Если после введения какого-либо фактора появляется или после удаления его исчезает известное явление, причем мы не вводим и не удаляем никакого другого обстоятельства, которое могло бы иметь в данном случае влияние, и не производим никакого изменения среди первоначальных условий явления, то указанный фактор и составляет причину явления [Минто, 1901, с. 207]. Позднее этот принцип стали изображать в виде схемы умозаключения:

Случаи Наблюдаемые обстоятельства Явление, причина которого должна быть установлена 1 ABCDE а 2 BCDE —

Вывод: причина явления а есть обстоятельство А [Асмус, 1947, с. 268–269].

Эта схема накладывается на реальные исследуемые ситуации: если «поведение» двух каких-либо объектов, факторов или явлений в ней соответствовало изображенному на схеме, то мы могли утверждать, что между ними есть причинная связь. В этой схеме индуктивного вывода А. А. Зиновьев нашел то, что ему было нужно: она удовлетворяла всем поставленным выше требованиям — была особым изображением содержания знания о связи, отличным от формы самого знания, и вместе с тем, в противоположность всем другим видам изображений, отчетливо показывала сам способ построения знания.

Чтобы избавиться от некоторых недостатков традиционных схем. Зиновьев ввел ряд новых, формально точно определенных понятий и их специальных знаковых изображений. Основным стало знаковое изображение «объекта сопоставления», куда вошли как знаки самих реальных «предметов» — а, b, с… так и знаки выделенных в них свойств или признаков — Q, R, Р… В целом «объект» изображался знаковыми группами вида (Qa), (Rb), (Pb) и т. д. Отсутствие «объекта» рассматривалось тоже как определенный объект и изображалось знаковой группой вида (—Qa). Фиксация «объекта» в соответствующем знании выражалась в знаковой группе «Qa» или «—Qa».

После того как были выведены эти знаковые изображения и соответствующие им понятия, приведенную выше схему индуктивного сопоставления стало возможным изобразить в виде таблицы:

I(Qa)(Rb)II(-Qa)(-Rb)

Первая строка ее должна была изображать одну ситуацию сопоставления «объектов» Qa и Rb, вторая строка — другую ситуацию сопоставления, в которой отсутствие Qa «сопровождалось» отсутствием Rb. Сопоставление этих двух ситуаций позволяло заключить о наличии связи между Qa и Rb и строить высказывание: «Если существует (Qa), то существует (Rb). В целом вся таблица, выражающая сопоставление ситуаций, называлась «набором». Порядок сопоставления «объектов» в ситуациях и ситуаций в наборах определял тип выявляемой связи [Зиновьев, 1959 а, с. 113–138]. Так, по мнению А. А. Зиновьева, разнообразные наборы ситуаций могут служить обобщенной моделью всех тех содержаний знаний, которые мы называем «связями».

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

Но, несмотря на все свои достоинства, она имеет один существенный недостаток: не может охватить всех существующих в настоящее время и широко употребляемых в науке понятий связи; и даже, наверное, можно сказать еще резче: введенное в ней понятие связи вообще не соответствует большинству из этих употреблений, и в частности всем знаниям о связях объектов и элементов в целом, всем кинематическим и механическим представлениям связи и т. п.