traditional logic

Традиционная логика; основанная Аристотелем наука о законах мышления, выведения доказательств.