Так называемый «вывод» от общего закона к частному случаю представляет собой просто интерпретацию формулы, а не переход к чему-то ранее неизвестному. Правила силлогизма — это набор предосторожностей для того, чтобы наши интерпретации были согласованы с нашими формулами; эти правила имеют цену, поскольку имеет цену непротиворечивость.