The paper refers to the classic works of Polish authors (Dukasiewicz, SleszyWski, 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 SleszyWski’s analysis, adequately formulate the system of syllogistic with negative terms (Iwanu` and Wedberg’s axiomatization).
PL
W artykule nawiązuje się do klasycznych prac polskich autorów (Łukasiewicz, Sleszyński, Zawirski), uwzględniając ideę dowodu przez ecthesis, sformułowanej oryginalnie przez Borkowskiego, z wykorzystaniem notacji listowej, by pokazać, że pięć diagramów Eulera, które są punktem wyjścia analizy Sleszyńskiego ujmuje adekwatnie system sylogistyki z terminami negatywnymi (aksjomatyka Wedberga-Iwanusia).
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.