Barbara er et begrep i aristotelisk logikk som betegner AAA-modusen til den første figuren av syllogisme . Som navnet i tre vokaler A indikerer, består det av tre bekreftende universaler (setninger av type A ): bekreftende universell major, bekreftende universell mindre og bekreftende universell konklusjon.
En syllogisme i Barbara er et forslag av denne typen: All M er P, eller S er M, så alt S er P .
De tre andre syllogismene i denne første figuren er Celarent , Darii og Ferio .