Philosophical logic and logical philosophy : essays in honour of Vladimir A. Smirnov

書誌事項

Philosophical logic and logical philosophy : essays in honour of Vladimir A. Smirnov

edited by Peter I. Bystrov and Vadim N. Sadovsky

(Synthese library, v. 257)

Kluwer Academic Publishers, c1996

タイトル別名

Philosophical logic and logical philosophy : essays in honour of Vladimir A. Smirnov

大学図書館所蔵 件 / 27

この図書・雑誌をさがす

注記

"Selected bibliography of Vladimir Aleksandrovich Smirnov's works"--p. 271-278

Includes bibliographical references

内容説明・目次

内容説明

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.

目次

  • 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.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

  • Synthese library

    D. Reidel , Distributed in the U.S.A. and Canada by Kluwer Boston

    所蔵館2館

詳細情報

ページトップへ