Без заголовка
Но логика это часть математики? По сути вы требуете "математизировать рассуждения" в любой области знаний. Но как это сочетается с отказом от "пропаганды точных наук" (если я правильно понял)?
Если разрешать этот парадокс, то следует просто всё изучение "прикладной математики" делать на равном уровне во всех дисциплинах не взирая на то техническая ли это дисциплина или нет. Но тогда надо делать математику обязательным экзаменом во всех вступительных экзаменах и теснить предметы специальностей в учебных планах в пользу математики (на не в коем случае не того преподавания "через анализ" которое сейчас происходит, надо выкинуть весь "вывод и доказательства" и их опорные конструкции из "прикладной математики").
И тут надо уточнить что это именно inference служит точкой сборкой для такой "прикладной математики прикладной области знания".