Baroco est un terme de la logique aristotélicienne désignant un des quatre (ou six, si l'on inclut les modes affaiblis) syllogismes de la deuxième figure des dix-neuf (ou vingt-quatre) modes. Il comprend une majeure de type A, une mineure de type O et une conclusion de type O, c'est-à-dire une majeure universelle affirmative, une mineure particulière négative et une conclusion particulière négative.
Un syllogisme en Baroco consiste en une proposition du type : Tout P est S, or quelques F ne sont pas S, donc quelques F ne sont pas P.
Les trois autres syllogismes de la deuxième figure sont Camestres, Cesare et Festino.