В статье демонстрируется актуальность трактовки логики как формальной философии и искусства концептуального дизайна для университетского образования. Плюрализм современной логики привел к утрате ею функций нейтрального арбитра и индоктринирующего наставника, но, вместе с тем, выявил уникальность ее роли в концептуальной инженерии. Искусство концептуального дизайна, то есть разработки концептуальных паттернов для формальной экспликации философских понятий и техник, а также постановки новых философских проблем, является главной целью логики как формальной философии. Ни логика, ни металогика, нагруженные собственными эпистемическими обязательствами и онтологическими допущениями, не могут быть объективными судьями для логических чужаков, которые не подчиняются их предписаниям. Однако техники концептуального дизайна, разрабатываемые неклассическими логиками, служат не только эффективным средством философской экспликации, но и тренингом ключевой эпистемической добродетели - научной объективности, требующей логической дисциплины как ответственного и рефлексивного исполнения принимаемых в любом научном исследовании эпистемических обязательств. Методическим ключом к академическому курсу логики как формальной философии является корреляция процедур концептуального дизайна в логике и философии. В статье приводятся примеры такой корреляции, а также обращается внимание на артефакты формальной инженерии в философии, которые могут служить эвристиками для разработки новых инструментов формальной экспликации философских интуиций.
Начальный этап университетского преподавания логики в Российской Империи, отличавшийся пропедевтическим характером логики, зависимостью от хорошего учебника и тесной содержательной и дидактической связью с метафизикой, а также развитие в университетском курсе гимназического преподавания логики, в котором важная роль отводилась проблемам практической логики, сравнивается по данным параметрам с современным состоянием университетского преподавания логики в Российской Федерации. Показано, что при традиционном начальном месте логики в процессе университетского обучения она во многом потеряла свое былое пропедевтическое содержание, а в силу отсутствия преподавания логики в школах не может начинать с более высокого уровня, предполагающего наличие первоначального знакомства с предметом. Былая практическая логика почти полностью пропала из университетских курсов по логике, а на выполнение ее былых функций претендуют новые, альтернативные ей академические дисциплины. Несмотря на разнообразие новых пособий и руководств по логике, так и не появилось такого учебника, который убедительно бы показывал и обосновывал значимость логики в изменившихся условиях. Отказ от решения возникших проблем приведет к дальнейшей элиминации и редукции логических курсов не только на нефилософских, но и на философских факультетах.