Револьт Тимофеевич Лагодин. Логическая модель самодвижения