2.

Logica aristotelica

La logica classica o logica tradizionale, venne formulata da Aristotele. Egli studiò in particolare il sillogismo, definendolo come un ragionamento in cui, poste determinate premesse formulate in forma di proposizione, segue necessariamente qualcosa di diverso da ciò che è stato posto. Si tratta di una deduzione costituita da proposizioni che possono avere una delle quattro forme: 'Tutti gli A sono B' (universale affermativa), 'Nessun A è un B' (universale negativa), 'Alcuni A sono B' (particolare affermativa), 'Alcuni A non sono B' (particolare negativa); le lettere sostituiscono nomi comuni, come 'cane', 'quadrupede', 'cosa', detti 'termini' del sillogismo. Un sillogismo corretto consiste di due premesse e una conclusione, e ogni premessa ha un termine in comune con la conclusione e uno in comune con l'altra premessa.