Propositional logic S with non-paradoxical logical consequence in the semantic sense is discussed. Formulas of logic S are interpreted as the logical relation between concepts of reasoning. It is possible to construct syllogisms and polysyllogisms in S, which contain empty and universal concepts. The logic has important applications.
展开▼