Помимо уже известных работ Васильева, немаловажный вклад в развитие логики внёс и другой казанский профессор – Порецкий. Больше известный французским читателям, необходимо уже и нам переоткрыть забытое наследие. Даже ретроспективно интересно как осмыслялись и, в какой-то степени, предвосхищялись идеи формальных математическо-логических исчислений.
"Что нового вносит математическая логика в логику умозрительную?" – задает вопрос П.С. Порецкий. И отвечает: "Прежде всего, конечно… новый метод, неизмеримо более совершенный, чем простое умозрение" [Порецкий, 1884, с. ХХ].