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 Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. Last years he was the leader of the Centre of Logical Investigations of Russsian Academy of Sciences. In 1990-91 he founded a new non-goverment Institute of Logic, Cognitive Sciences and Development of Personality for performing research, teaching, editorial and organization activity in the field of humanities. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V. A. Smirnov and his close colleagues have founded a Russian logical school which brought up many talented researchers who work at several scientific centres in various countries.

Inhalt
I. Epistemology and Philosophy of Science.- 1. Understanding Scientific Change.- 2. Genetically-Constructive Ways of Theory Building.- 3, Toward Holistic Conception of Artificial Intelligence.- II. Modern Logic and Methodology of Science.- 4. Hierarchical Learning of Boolean Functions.- 5. Inference, Methodology and Semantics.- 6. Theories in Science.- 7. Structures, Suppes Predicates, and Boolean-Valued Models in Physics.- III. Logical Semantics.- 8. World Lines and their Role in Epistemic Logic.- 9. In Defence of Classical Principles.- 10. The Semantics of 'All A's are B's'.- 11. Conditional Intentions.- 12. On Epistemic Modal Predicate Logic.- 13. Normative Reasonings and Default Assumptions.- 14. A Logic Without Fixed Points.- V. Analysis of Logical Proofs.- 15. An Extension of Gentzen's Analysis of Logical Deduction to Second-Order Logic.- 16. The Sequent Variant of System R.- 17. Non-standard Sequent Calculi for Modal and Relevant Logics.- 18. Axiomatic Rejection for Classical Propositional Logi.- Selected Bibliography of Vladimir Aleksandrovich Smirnov's Works.