Диалектика содержания и формы и проблема формализации

Мареев, С. Н.

Диалектика содержания и формы и проблема формализации

Дата публикации: 2017

Дата публикации в реестре: 2024-04-15T10:15:58Z

Аннотация:

В статье показано, какую роль играет гегелевское различение формальной и содержательной формы в решении проблемы формализации в современной науке, прежде всего, в формализации математики. В связи с проблемой формализации в математике рассмотрена диалектика превращения содержательной причинной зависимости в формальную логическую зависимость, с чем связана "пустота" формализованных логических дедуктивных систем