Philosophical Logic and Logical Philosophy

ISBN-13: 9789048147625 / Angielski / Miękka / 2010 / 278 str.

P. I. Bystrov; V. Sadovsky

Opis

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, epistemology, and the philosophy of science.

Spis treści

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. Wójcicki. 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.