Наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка.
Логика
Высказывание
Мудрость
Алгоритмизация