La palabra “silogismo”, que aparece en los Tópicos pero se usa aquí para referirse a cualquier tipo de prueba verbal, adquiere por asociación en los Primeros analíticos el significado especializado que aún tiene, para referirse a un argumento con tres proposiciones con tres términos basado en las cuatro formas estándar de proposición y sus contrapartidas modales de la forma “Si todos los hombres son mortales y todos los griegos son hombres, entonces todos los griegos son mortales” o “Si los servicios de autobuses son necesariamente ineficientes y algunas de los medios de transporte municipales son servicios de autobuses, entonces es posible que no todos los medios de transporte municipales sean eficientes”. Aristóteles da una teoría completa de la deducción para esas proposiciones, sorprendentemente moderna por su exhaustividad. La reducción de todos los silogismos categóricos a las cuatro formas “perfectas” de la primera figura tiene la naturaleza de una axiomatización.