ЛОГИКА ФОРМАЛЬНАЯ – см. Логика.