Silogismul este tipul fundamental de argument deductiv alcatuit din 3 propozitii categorice diferite si 3 termeni diferiti ( si care apar de exact 2 ori fiecare).
Etimologic vorbind conceptul de categorie in logica formala vine din gr. Vategorem = a afirma, a enunta; practic propozitia categorica in sensul actual reprezinta acelasi lucru.
Sofismele reprezinta erori atat formale cat si materiale cu un grad ridicat de intentionalitate cu scopul de a insela adversarul pentru propriul avantaj.
