ФОРМАЛИЗАЦИЯ ЗНАНИЙ

выражение содержания знания в точно определенных формах понятий и утверждений, осуществляемое чаще всего с помощью специально построенных формализованных языков науки. Такие языки используются преимущественно в математике и математической логике и их приложениях. Исходной основой для построения подобного языка служит аксиоматический метод, посредством к-рого все известные знания в данной области стремятся логически вывести из небольшого числа недоказуемых утверждений, или аксиом. Все доказанные утверждения будут теоремами. Производные понятия определяются с помощью основных. Аксиоматика, в к-рой основные понятия и аксиомы имеют вполне определенный смысл, или интерпретацию, называется содержательной, или интерпретированной. Наконец, когда вместо понятий и утверждений теории будут использоваться знаки и формулы символического языка, точно перечислены правила логического вывода, тогда сам вывод теорем из аксиом сведется к преобразованию исходных формул по этим правилам. Полученная система формул называется формальной аксиоматикой, или формализованным языком, или даже исчислением. Образование и преобразование формул такого языка, сходное с вычислениями, служит отображением нек-рых операций содержательного мышления. Ф.з. играет существенную роль в научном познании. С ее помощью, во-первых, достигается систематизация знаний, т.е. представление их в виде концептуальных систем; во-вторых, обеспечивается строгость доказательства, исключающая обращение к неявным предположениям; в-третьих, уточняются и эксплицируются интуитивные понятия. Ф.з. служит средством выявления и уточнения содержания знания, но она не может полностью исчерпать всего богатства и многообразия развивающегося знания.

Читайте далее:

Оставьте комментарий