Уточнение понятий и суждений научного языка с помощью средств символической или математической логики.

• Алгоритм

• Суждение

• Экспликация

• Экстраполяция