| Sodio = sodio metálico, | (1) |
|---|---|
| Metal = metal que conduce electricidad, | (2) |
inferimos lo cual, en el lenguaje elíptico de la vida común, se convierte
Lo anterior es un silogismo en el modo llamado Barbara6 en el lenguaje verdaderamente bárbaro de los antiguos lógicos; y la primera figura del silogismo contenía a Barbara y a otros tres modos que se consideraban formas distintas de argumento.
Pero es digno de mención que, sin ningún cambio real en nuestra forma de inferencia, incluimos fácilmente estos otros tres modos bajo Barbara. El modo negativo Celarent estará representado por el ejemplo
| Neptuno es un planeta, | (1) | |
|---|---|---|
| Ningún planeta tiene movimiento retrógrado; | (2) | |
| Por consiguiente | Neptune has not retrograde motion. | (3) |
Si ponemos A para Neptuno, B para planeta y C para «tener movimiento retrógrado», entonces por el término negativo correspondiente c denotamos «no tener movimiento retrógrado». Las premisas quedan ahora bajo las formas
| A = AB | (1) |
|---|---|
| B = B c , | (2) |
y mediante la sustitución de B, exactamente igual que antes, obtenemos
Lo