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