Логика формальная
наука, изучающая мышление с точки зрения его способности быть оформленным в языке. Термин «логика» от греч. ….) - наука о мышлении, …. - построенный на рассуждении, …., - слово, понятие, мысль, разум, рассуждение, речь. Эпитет «формальная» впервые, по всей видимости, был применен в XVIII в. И. Кантом.