Историко-логические изыскания, посвященные появившимся в 1910—1913 гг., опередившим свое время, но потом надолго забытым работам российского логика Николая Александровича Васильева (1880—1940), В.А.Смирнов начал еще в студенческие годы. Его интерес к трудам казанского логика, как свидетельствовал сам В.Смирнов, был пробужден публикациями П.В.Коп- нина и поддержан В.Ф.Асмусом и П.С.Поповым. Фундаментальная статья о Васильеве, опубликованная В.Смирновым в 1962 году, была написана раньше, во второй половине 50-х годов. В последующей работе по разысканию рукописей, разъяснению и формализации идей Н.Васильева (имеются в виду исследования бразильского логика Аиды Арруды, отечественных ученых В.В.Аносовой, В.А.Бажанова), по изданию произведений видного российского логика В.Смирнов участвовал самым активным и непосредственным образом. Итак, если сейчас идеи Н.Васильева не остались в забвении и заняли определенное место в истории логики, то это во многом произошло благодаря разысканиям и глубоким интерпретациям В.Смирнова. Хотелось бы обратить внимание на всю неслучайность интереса к Васильеву в его научной биографии. Рано проявивший склонность к новаторству, В.Смирнов сумел еще в 50-60-х годах разглядеть в Н.Васильеве логика-новатора, предвосхитившего поиски в той области неклассической логики, которую ныне называют паранепротиворечивой логикой и перспективность которой, по видимому, еще больше подтвердили последние два десятилетия ХХ века