Логіка теоретична

характеристика певних логічних досліджень як суто наукових, що дистанціюються від прикладної логіки