наука о силогизмима у формалној логици.

бесплодно, јалово умовање.