Barbara è un termine nella logica aristotelica che designa il modo AAA della prima figura del sillogismo . Come indica il suo nome in tre vocali A, è composto da tre universali affermativi (frasi di tipo A ): maggiore universale affermativo, minore universale affermativo e conclusione universale affermativa.
Un sillogismo Barbara è una proposta di questo tipo: Tutti M è P, o qualsiasi S è M, quindi tutto è S P .
Gli altri tre sillogismi di questa prima figura sono Celarent , Darii e Ferio .