Досліджує структури мислення, формальні системи логіки; аналізує аргументацію; розробляє логічні теорії; застосовує логічні методи в різних галузях знання; викладає логіку; публікує наукові роботи.
Наразі нема вмісту класифікованого цим терміном.