Según Orlov, las leyes del pensamiento se deben tratar como reglas formales, atadas a leyes de la identidad y la contradicción (cuando Orlov escribió esto, todavía no se habían inventado la deducción natural, el cálculo secuencial ni las tablas semánticas).