отношении, — то в следующем разделе основным предметом рассмотрения будет вторая сторона отношения замещения — различие между номинативным знанием и синтагмой.

Еще раз заметим, что мы употребляем термины формальный и реальный в несколько ином смысле, чем это было до сих пор принято: в смысле существования формальные знания являются ничуть не менее действительными, чем собственно реальные знания, и даже наоборот, в реальном мышлении и общении подавляющее большинство знаний носит формальный характер. Точно так же формальные знания ничуть не менее содержательны (в обычном смысле этого слова), чем реальные знания; только их содержание является другим, нежели содержание реальных знаний. Это обстоятельство мы и хотим подчеркнуть, вводя различение формальных и реальных знаний.

О приемах, необходимых для выявления объективных связей, смотри в [Зиновьев, 1959 а].

Общее описание этого процесса мышления см. в [Асмус, 1947, с. 253–256; Бакрадзе, 1951, с. 364– 371].

Общее описание этого процесса мышления см. в [Асмус, 1947, с. 253–256; Бакрадзе, 1951, с. 364– 371].

В последние десятилетия в зарубежной логике сложилось особое направление (Г. Рейхенбах, Р. Карнап, К. Поппер и др.), которое сосредоточило свое внимание на анализе вероятностного характера общих формальных знаний и считает это основной задачей индуктивной логики. Нетрудно показать, что это направление исследования не имеет никакого отношения к исследованию строения знаний и процессов их образования и использования, хотя оно и возникло из-за непонимания этих последних сторон мышления.

См., например, [Дворецкий, 1958, т. 2, с. 1081]. Ср. также [Boisaeq, 1916, с. 630].

В средние века неопределенность абстрактного значения слова металл привела к появлению уродливого по своему логическому смыслу понятия полуметалл. В XIX веке в связи с расщеплением понятий элемента и простого тела слово металл получило два различных абстрактных выделяющих значения, что привело к двойственности соответствующего понятия, сохраняющейся, к сожалению, и до настоящего времени (см. [Металлы, 1954]).

В дальнейшем на более высокой ступени развития атрибутивного знания, при так называемой «родо- видовой» организации его, формальная часть процесса соотнесения осуществляется в виде так называемых «силлогистических выводов» и как таковая была исследована уже Аристотелем. Однако в теории силлогистического вывода никогда не анализировалась первая практически-предметная часть процесса соотнесения, а следовательно, не анализировался и действительный процесс мышления, так как формальная часть этого процесса, взятая без первой, практически-предметной части, перестает быть целостным процессом мышления и теряет значение и смысл познавательного процесса. Отсюда, в частности, проходящая через всю историю логики дискуссия о том, дает ли силлогизм новое знание или нет. Выход из парадоксального положения был указан еще Ридом и Д. С. Миллем (силлогизм есть переход от одного частного к другому частному через посредство общего), однако в рамках принципов традиционной логики невозможно было формализовать первую практически-предметную часть процесса и включить ее в единую систему соотнесения. Поэтому догадка Рида и Д. С. Милля не получила настоящего развития.

Характерными образцами таких систем формы (языка) являются различные исчисления: собственно математические — арифметическое, дифференциально-интегральное, «алгебры» разного рода; логико- математические — исчисление классов, высказываний, различные исчисления предикатов. Менее выраженными в своих формальных моментах, но в принципе такими же системами формы являются силлогистика Аристотеля, геометрия, формализованная Д-Гильбертом, формулы реакций в химии, дополненные «рядами активности» веществ, и др.

Мы не разбираем здесь все условия, необходимые для утверждения о наличии причинной связи, т. е. не указываем точно ее выделяющий признак. Подробнее об этом см. [Зиновьев, 1959 а; Швырев, 1959].