Abstract

SYLLOGISTIC WITH NEGATIVE TERMS IN THE SEMANTICALLY TRANSPARENT FORMULATION S u m m a r y The paper refers to the classic works of Polish authors (Kukasiewicz, SleszyNski, Zawirski) and comprises the idea of proof by ecthesis (originally formulated by Borkowski) with the use of list notation to show that the five diagrams by Euler, which provide a starting point for SleszyNski’s analysis, adequately formulate the system of syllogistic with negative terms (IwanuX and Wedberg’s axiomatization).