теоретична логіка
ТЕОРЕТИЧНА ЛОГІКА — характеристика певних логічних досліджень як суто наукових (за аналогією "теоретична фізика"), дистанціюються від прикладної логіки, в якій розробляються засоби застосування результатів Т. л. (теорій, обчислень). Т. л., мета якої — розробка теоретичних принципів доказів, співвідноситься також з практичною логікою, яка досліджує міркування, пов'язані з мотивацією, плануванням, нормативністю діяльності.
Джерело:
Філософський енциклопедичний словник
на Slovnyk.me