Формализация и аксиоматический метод

Методы теоретического познания:

1. Формализация — отображение содержательного знания в знаково-символическом виде (формализованном языке). После­дний создается для точного выражения мыслей с целью исключе­ния возможности для неоднозначного понимания. При формали­зации рассуждения об объектах переносятся в плоскость опериро­вания со знаками (формулами), что связано с построением искус­ственных языков (язык математики, логики, химии и т. п.).

2. Аксиоматический метод — способ построения научной тео­рии, при котором в ее основу кладутся некоторые исходные положения — аксиомы (постулаты), из которых все осталь­ные утверждения этой теории выводятся из них чисто логи­ческим путем, посредством доказательства.