Institute of Philosophy
of the Russian Academy of Sciences




  Logical Investigations. Vol. 4.
Home Page » » Logical Investigations » Logical Investigations. Vol. 4.

Logical Investigations. Vol. 4.

CONTENT

Editors’ Note

   I. REMINISCENCES

Bocharov V.A. “Business is Business!”.

Karpenko A.S. The Teacher.

Mikhailov F.T. During Almost a Half of Century a Discussion was Continued.

 

II. VASMIRNOV’S RESULTS IN THE FIELD OF MODERN FORMAL LOGIC AND BIBLIOGRAPHY OF HIS WORKS

V.A. Smirnov’s Results in the Field of Modem Formal Logic.

V.A. Smirnov’s Publications.

 

Ш. VA.SMIRNOV’S LOGICAL AND METHODOLOGICAL IDEAS (REVIEWS)

Dolgova T.P., Popov V.M. Problems of Relevant Logic in V.A. Smirnov’s work “Formal Deduction and Logical Calculi”.

Anisov A.M. Basic Principles of V.A. Smirnov’s Conception of Scientific Philosophy.

 

IV. DEVELOPMENT OF VASMIRNOV’S IDEAS BY HIS PUPILS

V.A. Smirnov Free Logics and Quite Free Logics.

Karpenko A.S. Classification of Propositional Logics.

Popov V.M., Khorokhorin L.I .Diadic Semantics for the Systems of Formal Syllogistics Cl and C3.

Markin V.I. Aristotle’s Singular Negative Syllogistics and Free Logic.

Novodvorsky A.E., Smirnov A.V. The Open System of Proof Search Support for Different Logical Calculi.

Gerasimova I.A. Combined Semantics for Logic of Absolute Norms with Non-Classical Negation.

 

V. CONTRIBUTIONS DEDICATED TO THE MEMORY OF VA.SMIRNOV

Nepeyvoda N.N. On a Modification of Semantical Tableaux.

Ljubetsky V.A., Ljubetskaja S.N. On some Tasks of Effectivization and Goal-Oriented Behavior.

KhakhanianV.Kh. Functional Algebraic Models for the Non-Classical Set Theory.

Vasyukov V.L. On an Interpretation of Sequent in Situses.

Vojshvillo E.K. Theory of Logical Relevancy.

Bystrov P.I. Non-Standard Rules of Inference and their Role in Logical Systems.

I. Niiniluoto. Theoretical Reference and Truthlikeness.

Pavlov S.A. Extensional and Intensional Aspects of Axiomatic Denotation Theory.

Anisov A.M. Semantics of Indefiniteness.

Sidorenko E.A. P. Florensky’s Ideas of Paraconsistent and Non-Monotonic Logics.

Smirnova E.D. I. Kant and D.Hilbert’s Finite Attitude.