Philosophical Logic and Logical Philosophy
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 Sci...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1996, 1996
|
| Edition: | 1st ed. 1996 |
| Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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