Silogjizmi: Dallime mes rishikimesh

 

Sipas Aristotelit mbi mësimet tradicionale mbi kategorizimin, ''përfundimi'' (syliogjizmi) si primisat (përmendimi:"proposition maior", nënmendimi: "proposition minor") po dhe konkluzioni duhet të kenë 4 forma: "Gjitha ''S'' janë ''P''" (simbolikisht '''SaP'''; ''përpo''-ja e përgjithëshme); "asnjë ''S'' është një ''P''" ('''SeP'''; ''përjo''-ja e përgjithëshme), "disa ''S'' janë ''P''" ('''SiP'''; ''përpo''-ja e pjesërishme) ose "disa ''S'' s'janë ''P'' ('''SoP'''; ''përjo''-ja e pjesërishme). Kur termi i subjektit të konklusionit shenohet me ''S'' gjegjësisht terimi i predikatit me ''P'' dhe ai i mendimit të mesem me ''M'', atëherë rrjedhë një varg rastesh të përmendimi, nënmendimi dhe konkluzioneve dhe varsisht nga pozicionimi i tyre rrjedhin 4 format përfundimtare.

 

Varrësisht nga kualiteti i logjikës (përpoja dhe përjoja) dhe sasia e logjikës (përgjithëshme, përpjesëshme), fitohen : 4*4³=256 mundësi të formave përfunduese (<math>mod</math>, nga të cilat vetëm 24-ër kanë vlerë logjike. Për emërtimin e tyre në shkollastikë janë marr emra mnemoteknik {b.f. ''barbara'', ''bocardo'', etj.} dhe nga 3 zanoret përkatëse mund të formohen konstruksionet përkatëse silogjistike.