ең бастысы – жасанды
тілдер формуласымен операциялар жасау және одан жаңа формулалар
мен қатынастар алу
. Сөйтіп, нәрсе туралы ойлау операциясын белгі мен
символдармен әрекет ету үрдісімен ауыстырылады. Формализация –
мазмұны жағынан ажыратылатын формаларды жалпылау процесі, осы
формалардың өзінің осы мазмұнынан абстракциялануы. Ол мазмұнды оның
формасын анықтау арқылы бітімдейді және оны әртүрлі дәлдік дәрежесінде
жүзеге асыра алады. Австриялық логик әрі математик К.Гедельдің
теоремалары жалпы алғанда ғылыми тұжырымдар мен ғылыми білімдердің
толықтай формализациялануының мүлде мүмкін еместігін жеткілікті түрде
қатаң негіздеп берді.
Достарыңызбен бөлісу: | 
