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

 

Формализация

  деп 

дәл  түсініктер

  мен 

  ойлау  нәтижелерін  бейнелеу  түсініледі.  Матема-

тикада  және  формальды  логикада  –  ол  білімдерді  барлық  ықтимал, 

мүмкін  нышандар  мен  белгілерде  бекіту.  Формализация  бір  немесе 

басқа  теорияның  негізгі  постулаттары  арасындағы  дедуктивтік  өзара 

байланыстарды  анықтаудан  басталады.  Оның  аса  тиімді  құралы 

  әдіс  болып  табылады.  Тұжырымдар  –  түйсіктік 

331

айқындығына  байланысты  дәлелдеусіз  сенімге  алынған  бір  неме-

се  басқа  ұйғарымдар,  яғни  растау.  Теорияның  барлық  ұйғарымдары 

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

нынан шығарылады.

Формализация 

жүктеу 2,22 Mb.

Достарыңызбен бөлісу: