Philosophical Logic And Logical Philosophy Essays In Honour Of Vladimir A Smirnov

Preface. Part I: Epistemology and Philosophy of Science. 1. Understanding Scientific Change V. Rantala. 2. Genetically-Constructive Ways of Theory Building V.S. Stiopin. 3. Toward Holistic Conception of Artificial Intelligence V.N. Sadovsky. Part II: Modern Logic and Methodology of Science. 4. Hierarchical Learning of Boolean Functions P. Suppes, S. Takahashi. 5. Inference, Methodology and Semantics J. van Benthem. 6. Theories in Science R. Wojcicki. 7. Structures, Suppes Predicates and Boolean-Valued Models in Physics N.C.A. da Costa, F.A. Doria. Part III: Logical Semantics. 8. World Lines and Their Role in Epistemic Logic J. Hintikka. 9. In Defence of Classical Principles I. Ruzsa. 10. The Semantics of 'All A's are B's' J.M. Moravcsik. Part IV: Non-Classical Logics. 11. Conditional Intentions I. Niiniluoto. 12. On Epistemic Modal Predicate Logic M.N. Bezhanishvili. 13. Normative Reasonings and Default Assumptions I. Gerasimova. 14. A Logic Without Fixed Points A.S. Karpenko. Part V: Analysis of Logical Proofs. 15. An Extension of Gentzen's Analysis of Logical Deduction to Second-Order Logic O.F. Serebriannikov. 16. The Sequent Variant of System R V.M. Popov. 17. Non-Standard Sequent Calculi for Modal and Relevant Logics P. Bystrov. 18. Axiomatic Rejection for Classical Propositional Logic A. Ishimoto. Selected Bibliography of Vladimir Aleksandrovich Smirnov's Works.