Formalizācija
Izziņas paņēmiens: materiālas vai ideālas sistēmas attēlošana ar simbolikas līdzekļiem - formulām, shēmām, grafikiem.
Formalizācijas loģikā - spriedumu, secinājumu, pierādījumu un teoriju loģiskās struktūras atklāšana un izteikšana specializēti formalizētā valodā, abstrahējoties no izteikumu priekšmetiskās jēgas, aizstājot izteikumu deskriptīvos terminus ar loģiski mainīgajiem, bet loģikas terminus ar atbilstošām loģiskām konstantēm, loģusko operāciju zīmēm. Loģikas formalizācija ir efektīvs secinājumu un pierādījumu korektuma un teoriju loģiska sakarīguma analīzes līdzeklis.
