ABSTRACT Two models of the Aristotelian syllogistic in arithmetic of natural numbers are built as realizations of an old Leibniz idea. In the interpretation, called Scholastic, terms are replaced by integers greater than 1, and s.Ap is translated as “s is a divisor of p”, sIp as “g.c.d. > 1”. In the interpretation, called Leibnizian, terms are replaced by proper divisors of a special “Universe number” u < 1, and sAp is translated as “s is divisible by p”, sIp as (...) ‘l.c.m. < u”. Both interpretations are proved to be adequate to the Aristotelian syllogistic. They are extended to syllogistic including term negation and term conjunction as well. (shrink)

Objects of consideration are various non-classical connectives “hidden” in the classical logic in the form of G˛s with ˛ —a classical connective, and s—a propositional variable. One of them is negation, which is defined as G ⇒ s; another is necessity, which is defined as G ∧ s. The new operations are axiomatized and it is shown that they belong to the 4-valued logic of Lukasiewicz. A 2-point Kripke semantics is built leading directly to the 4-valued logical tables.