Бытие и сознание

возможности для обобщения, чем генерализация по тому или иному свойству. В то время как генерализация по тому или иному свойству распространяется только на различные значения этого свойства, генерализация по отношению (на­пример, по прерывистости звука) распространяется сразу на все значения разных свойств соответствующих объектов (звуков), стоящих в данных отношениях (пре­рывистости). Обобщение по свойству всегда совершается как бы в одном изме­рении, обобщение по отношению — многомерно: оно всегда совершается сразу в нескольких измерениях, распространяется на области, состоящие из значений разных свойств. В частности, генерализованное отношение по прерывистости звука переносится на звуки любой громкости, тембра и т. п.; оно, следовательно, шире генерализации по какому-либо свойству звука (например, его громкости);

однако ничего «формального» в формалистическом смысле прерывистость звука, его ритма в себе не заключает. Это такое же явление, как сам звук или любое из его свойств.

Нечто аналогичное есть и в сфере понятийного (второсигнального) обобще­ния. И здесь — в силу вышеуказанных оснований — обобщение по отношению предметов мысли шире, чем обобщение по любому из их свойств; оно может за­ключать в себе обобщение по ряду параметров, охватывая разные значения всех их свойств. В качестве формального по преимуществу выступает именно знание, основанное на генерализации отношений. Формальная система, основанная на генерализации отношений между теми или иными объектами, абстрагируется от всех свойств объектов, не включает их в эксплицитной форме в свой состав. Однако в такой дедуктивной системе объекты — члены этих генерализованных отношений — не выпадают вовсе, они представлены в ней посредством неопреде­ленных терминов в виде переменных. Пока на место этих переменных в качестве их значений не подставлены определенные объекты, ни одно из звеньев такой дедуктивной системы не представляет собой суждений, положений, о которых можно сказать, что они истинны или неистинны*. Это лишь так называемые «про­позициональные функции», которые становятся суждениями, истинными или ложными положениями, вообще приобретают «смысл», т. е. мыслительное содер­жание, только тогда, когда они относятся к определенным объектам. На место не­определенных терминов, фигурирующих в качестве членов генерализированных отношений дедуктивной системы, можно подставить разные объекты, но нельзя не подставить никаких. Формальная дедуктивная система — это, следовательно, еще вообще не знание, а только остов знания.