ФОРМАЛЬНАЯ ЛОГИКА
ФОРМАЛЬНАЯ ЛОГИКА
наука, изучающая формы мышления в отвлечении от конкретного содержания суждений, умозаключений, понятий.
Источник: Профессиональное образование. Словарь