ЛОГИСТИКА, МАТЕМАТИЧЕСКАЯ ЛОГИКА

англ, symbolic logic) — современная форма логики, отличающаяся от традиционной логики прежде всего своей формализованностью (принимает во внимание не содержательное значение отдельных высказываний, а лишь их синтаксические категории и структурные связи) и тем, что ее основным методом является логическое исчисление, под которым понимается система знаков и правил оперирования с ними.