Aristote : Définition de la démonstration

Il faut d'abord établir quel est le sujet de notre enquête et de quelle discipline elle relève : son sujet, c'est la démonstration, et c'est la science démonstrative dont elle dépend. Ensuite nous devons définir ce qu'on entend par prémisse, par terme, par syllogisme.
La prémisse est le discours qui affirme ou qui nie quelque chose de quelque chose, et ce discours est soit universel, soit particulier, soit indéfini. J'appelle universelle, l'attribution ou la non-attribution à un sujet pris universellement ; particulière, l'attribution ou la non-attribution à un sujet pris particulièrement ou non universellement ; indéfinie, l'attribution ou la non-attribution faite sans indication d'universalité ou de particularité: par exemple, les contraires rentrent dans la même science ou le plaisir n'est pas le bien.
J'appelle terme ce en quoi se résout la prémisse, à savoir le prédicat et le sujet dont il est affirmé, soit que l'être s'y ajoute, soit que le non-être en soit séparé.
Le syllogisme* est 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. Par le seul fait de ces données : je veux dire que c'est par elles que la conséquence est obtenue ; à son tour, l'expression c'est par elles que la conséquence
est obtenue signifie qu'aucun terme étranger n'est en plus requis pour produire la conséquence nécessaire."

ARISTOTE (384-322 av. J.-C.)
Organon, Livre III, Les Premiers Analytiques