Overview

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.

Full Product Details

Author:   P.I. Bystrov ,  V. Sadovsky
Publisher:   Springer
Imprint:   Springer
Edition:   Softcover reprint of hardcover 1st ed. 1996
Volume:   257
Dimensions:   Width: 16.00cm , Height: 1.50cm , Length: 24.00cm
Weight:   0.454kg
ISBN:  

9789048147625

ISBN 10:   904814762
Pages:   278
Publication Date:   08 December 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions