Bárbara es un término de la lógica aristotélica que designa el modo AAA de la primera figura del silogismo . Como indica su nombre en tres vocales A, está compuesto por tres universales afirmativos (oraciones de tipo A ): afirmativa universal mayor, afirmativa universal menor y afirmativa universal conclusión.
Un silogismo en Barbara es una propuesta de este tipo: Todo M es P, o cualquier S es M, así que todo S es P .
Los otros tres silogismos de esta primera figura son Celarent , Darii y Ferio .