This article contains the proof of equivalence boolean algebra and syllogistics arc2. The system arc2 is obtained as a superstructure above the propositional calculus. Subjects and predicates of syllogistic functors a, E, J, O may be complex terms, Which are formed using operations of intersection, Union and complement. In contrast to negative sentences the interpretation of affirmative sentences suggests non-Empty terms. To prove the corresponding theorem we demonstrate that boolean algebra is included into syllogistics arc2 and vice versa.

Two subject-predicate calculi with equality,SP = and its extensionUSP =, are presented as systems of natural deduction. Both the calculi are systems of free logic. Their presentation is preceded by an intuitive motivation.It is shown that Aristotle's syllogistics without the laws of identitySaP andSiP is definable withinSP =, and that the first-order predicate logic is definable withinUSP =.

Logic today is a ramified discipline existing on many levels. It is actively pursued by philosophers, mathemeticians, and computer specialists. The reason is that it is widely employed to solve a number of problems both in the theory of knowledge and in mathematics and computer science. But the broad spectrum of application of contemporary logic does not change the fact that its basic content has the nature of philosophical methodology. In contemporary logic it is the forms of thought and the (...) methods of scientific cognition, the modes of organization of scientific knowledge, and the procedures for the introduction of various concepts, abstractions, and idealizations that are studied. This places logic in intimate contact with epistemology and methodology. The distinctiveness of the approach taken by formal logic to this particular subject consists simply of its studying all these procedures pertaining to concrete cognition through the use of special formal languages, of algebraic, topological, and other exact techniques. (shrink)

Монография является итогом многолетних исследований силлогистических теорий с точки зрения символической логики. Впервые ставится и исследуется проблема полноты множества логических констант в силлогистической теории. Для специалистов.

t. 1. Filosofii︠a︡ ; Izbrannye predislovii︠a︡ ; I︠A︡zykoznanie -- t. 2. Filologii︠a︡ ; Vospominanii︠a︡ i nabli︠u︡denii︠a︡ ; Pami︠a︡ti uchiteleĭ i kolleg ; Prilozhenie : A.N. Kolmogorov, semioticheskie poslanii︠a︡.

_ Source: _Volume 40, Issue 1, pp 104 - 115 It is intended in this study to present initial reliability and validity data for the Russian adaptation of the Multidimensional Inventory of Religious/Spiritual Well-being, as being related to personality factors and psychopathology. Therefore, the first version of the MI-RSWB-R was applied to a sample of 192 non-clinical subjects, together with the NEO Five Factor Inventory and the Symptom-Check-List. The original six-factor structure of the scale could be replicated for the MI-RSWB-R, (...) which also provides satisfying psychometric properties. In accordance with previous research the RSWB total score was linked to more favorable personality traits such as Extraversion, Openness to Experience, and Agreeableness, which was paralleled by substantial negative correlations with increased psychopathology. Our findings support the reliability and structural validity of the MI-RSWB-R as a standardized instrument for addressing the spiritual dimension in Russian populations. Further research in clinical surroundings is now recommended. (shrink)