ҚазаҚстан Республикасының білім және ғылым министРлігі а и. артемьев, с.Қ. мырзалы ғылым таРиХы және ФилОсОФиЯсы

  және 

деп  бөлінеді.  Толық 

формализация  кезінде  теорияның  барлық  құрылымдық  бөлшектері 

тұжырымдық  –  дедуктивтік  талдауға  жатқызылады.  Толық  емес 

формализацияда  теорияның  тілі  мен  логикасы  тек  ішінара  талдауға     

жатады.

санаттық  жиынтығына  сай  болатын  ғылыми  тілдердің  құрылуына 

жеткізеді.  Бұл  өте  маңызды,  өйткені  кейде  ғалымдар  арасындағы 

жете  түсінбеушіліктер  кейбір  ұғымдардың  айқын  еместігі,  екіжақты 

мағыналылығы себепті туып жатады.

Алайда  бұл  жерде  формализацияның  өз  шектері  болатынын  атап 

өткен  жөн.  Позитивистер  құсап,  ғылым  философиясының  барлық 

мәселелерін ғылым тілін талдауға жатқыза салуға болмайды. Аса та-

нымал  математиктер  –  Черч,  Гедель,  Тарский  және  басқаларының 

еңбектері  математиканы  таза  формальды  түрде  негіздеудің  мүмкін 

еместігін көрсетті. Сондықтан формализация ғылым тіліне мазмұнды 

талдау жасау арқылы толығуға тиіс.

Ал  енді  кейде