Research Catalog

Title

Philosophical logic and logical philosophy : essays in honor of Vladimir A. Smirnov / edited by Peter I. Bystrov and Vadim N. Sadovsky.

Publication

Dordrecht : Kluwer Academic Publishers, 1996.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Smirnov, V. A. (Vladimir Aleksandrovich)
• Bystrov, P. I.
• Sadovskiĭ, V. N. (Vadim Nikolaevich)

Description

x, 278 pages; cm.

Summary

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

Series Statement

Synthese library ; v. 257

Uniform Title

Synthese library ; v. 257.

Subject

• Logic, Symbolic and mathematical
• Logic
• Science > Philosophy
• Knowledge, Theory of

Bibliography (note)

• Includes bibliographical references.

Contents

• 1. Understanding Scientific Change / Veikko Rantala -- 2. Genetically-Constructive Ways of Theory Building / Vyacheslav Stiopin -- 3. Toward Holistic Conception of Artificial Intelligence / Vadim N. Sadovsky -- 4. Hierarchical Learning of Boolean Functions / Patrick Suppes and Shuzo Takahashi -- 5. Inference, Methodology and Semantics / Johan van Benthem -- 6. Theories in Science / Ryszard Wojcicki -- 7. Structures, Suppes Predicates, and Boolean-Valued Models in Physics / N. C. A. da Costa and F. A. Doria -- 8. World Lines and their Role in Epistemic Logic / Jaakko Hintikka -- 9. In Defence of Classical Principles / Imre Ruzsa -- 10. The Semantics of 'All A's are B's' / Julius M. Moravcsik -- 11. Conditional Intentions / Ilkka Niiniluoto -- 12. On Epistemic Modal Predicate Logic / M. N. Bezhanishvili -- 13. Normative Reasonings and Default Assumptions / Irina Gerasimova -- 14. A Logic Without Fixed Points / A. S. Karpenko --
• 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 / Peter I. Bystrov -- 18. Axiomatic Rejection for Classical Propositional Logic / Arata Ishimoto -- Selected Bibliography of Vladimir Aleksandrovich Smirnov's Works.

ISBN

0792342704 (alk. paper)

LCCN

96036289

OCLC

ocm35360619

Owning Institutions

Columbia University Libraries