Promotional Information

Springer Book Archives

Table of Contents

One/the Logical Theory of Scientific Knowledge.- Two/Signs.- Three/Terms.- Four/Sentences.- Five/Sentential Logic.- Six/the General Theory of Logical Entailment.- Seven/Formalization of the General Theory of Logical Entailment.- Eight/Subject-Predicate Structures.- Nine/Empirical And Abstract Objects.- Ten/Sentences with Quantifiers.- Eleven/Theory of Quantifiers.- Twelve/Conditional Sentences.- Thirteen/Theory of Terms.- Fourteen/Classes.- Fifteen/ Existential Logic.- Sixteen/ Modal Sentences.- Seventeen/ Relations.- Eighteen/ Physical Entailment.- Nineteen/ Theories.- Twenty/ Logic and Ontology.- Twenty-One/ the Universality of Logic.- Conclusion.- Append.- Proof of the Basic Theorems of the Theory of Logical.- Entailment.- G. A. Smirno.- Independence in the Systems of Logical Entailment.- E. A. Sidorenko.- Some Variants of the Systems of Logical Entailment.- E. A. Sidorenko.- Completeness of the Systems of Logical Entailment.- A. M. Fedina.- Completeness of Systems of Degenerate Entailment and Quasi-Entailment.- L. A. Bobrova.- Index of Names.