Même si , pour tous , la logique doit servir la Vérité chrétienne , cette différence méthodologique creusera en trois siècles un schisme fertile Abélard , le « fondateur de la logique scolastique » , crée en 1102 la première école urbaine parisienne , la future Sorbonne , où il enseigne donc les règles de la logique . Cette première étape porte le nom de « logique ancienne » ( vetus ) car , si elle tend déjà à séparer les règles du contenu théologique , elle repose néanmoins sur le même corpus de connaissances que la logique théologique pratiquée depuis des siècles : quelques bribes de la « syllogistique » d'Aristote amalgamée aux commentaires des logiciens chrétiens du haut Moyen Age ( Boèce , Porphyre et d'autres ) . En substance , Aristote distinguait quatre types de proposition élémentaire : Proposition notée A , universelle affirmative : « tous les X sont P » Proposition notée E , universelle négative : « aucun X n'est P » Proposition notée I , particulière affirmative : « quelque X est P » Proposition notée O , particulière négative : « quelque X est non-P » À partir d'elles , il formait des systèmes de trois propositions , les « syllogismes » , dont les deux premières ( prémisses ) doivent conduire à la troisième ( conclusion ) . Aristote définissait les syllogismes valides comme « un discours dans lequel , certaines choses étant posées , quelque chose d'autre que ces données en résulte nécessairement par le seul fait de ces données » ( Premiers Analytiques ) . Un syllogisme valide est par exemple : A : tous les X sont P , A : tous les Y sont X , A : Tous les Y sont P En remplaçant X par « êtres humains » , Y par « hommes » , P par « mortels » , on obtient : Tous les êtres humains sont mortels , tous les hommes sont des êtres humains , ( donc ) tous les hommes sont mortels . CQFD . La combinaison A-A-A , nommée Barbara au Moyen-Age comme moyen mnémotechnique , est valide et concluante .