Согласно классическому определению Альфреда Тарского, логическое следование необходимо и формально. В статье обсуждаются те смыслы, в которых материальное следование может быть признано логическим отношением. 

В статье рассматривается творческая эволюция создателя отечественной школы логической семантики Елены Дмитриевны Смирновой. Выявляются наиболее значимые научные результаты Е.Д. Смирновой в разработке теоретико-модельных методов, теории семантических категорий, интенсиональной логики. Отмечается оригинальность предложенного ею обобщающего подхода к построению логической семантики, открывающего новые перспективы в обосновании аподиктического знания. Демонстрируется роль научно-педагогической деятельности Е.Д. Смирновой в развитии философской логики в России.

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