14. Формализация. Формализация деп
дәл түсініктер мен
ұстанымдардағы ойлау нәтижелерін бейнелеу түсініледі. Матема-
тикада және формальды логикада – ол білімдерді барлық ықтимал,
мүмкін нышандар мен белгілерде бекіту. Формализация бір немесе
басқа теорияның негізгі постулаттары арасындағы дедуктивтік өзара
байланыстарды анықтаудан басталады. Оның аса тиімді құралы
тұжырымдық әдіс болып табылады. Тұжырымдар – түйсіктік
331
айқындығына байланысты дәлелдеусіз сенімге алынған бір неме-
се басқа ұйғарымдар, яғни растау. Теорияның барлық ұйғарымдары
қисынды жолмен бір-біріне тәуелді емес тұжырымдардың азғантай са-
нынан шығарылады.
Формализация
