В статье рассказывается о трансформации методов тривия (совокупности античных знаний в области грамматики, риторики и логики) в «онтологическую инженерию». По мнению автора, современная логика переходит от задачи формализации классов правильных рассуждений в подходящих логических системах к задаче каталогизации самих логических систем, «от логических систем к исчислению логик».