В статье проводится сравнительный анализ Кантовского понятия "формального" с тем, которое восходит к Фреге и ныне является общепринятым. Фреге, один из основателей современной логики, унаследовал негативное отношение Канта к формальным методам, но в то же время положил начало понятию формальной системы. В статье анализируются причины этой коллизии.