1.  75
    Boolean Algebra and Syllogism.V. A. Bocharov - 1986 - Synthese 66 (1):35 - 54.
    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.
    Direct download (6 more)  
    Export citation  
    My bibliography   1 citation  
  2.  27
    Subject-Predicate Calculus Free From Existential Import.V. A. Bocharov - 1983 - Studia Logica 42 (2-3):209 - 221.
    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 =.
    Direct download (5 more)  
    Export citation  
    My bibliography  
  3.  6
    On Problems of the Evolution of Logic.V. A. Bocharov, E. K. Voishvillo, A. G. Dragalin & V. A. Smirnov - 1980 - Russian Studies in Philosophy 18 (4):31-52.
    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 (...)
    Direct download (2 more)  
    Export citation  
    My bibliography