Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of...

This volume contains original contributions dedicated to Vladimir A. Smirnov by some of the leading scholars in Russia, the United States, Japan, Finland, Brazil, the Netherlands, Poland, and Hungary. Most of the papers deal with topics in which Smirnov has taken a direct interest. These include the problems of non-classical logics, logical semantics, analysis of logical proofs, and applications of logical methods to the methodology of science. The volume contains a selected bibliography of Smirnov's works. It is of interest to all students of philosophical and mathematical logic,...