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