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