Aristo'nun formel mantığı, düşünce formlarının analizi üzerine kuruludur ve Organon adı altında toplanan altı kitabında ele alınmıştır. Bu kitaplar şunlardır: 1. Kategoriler. 2. Önermeler. 3. Birinci Analitikler. 4. İkinci Analitikler. 5. Topikler. 6. Sofistik Deliller. Aristo mantığının belkemiğini kıyas teşkil eder. Aristo'nun formel mantığının dört temel değişmezi vardır: 1. Tümel olumluluk. 2. Tümel olumsuzluk. 3. Tikel olumluluk. 4. Tikel olumsuzluk. Aristo'nun formel mantığının temel ilkeleri ise şunlardır: Özdeşlik ilkesi. Çelişmezlik ilkesi. Üçüncü durumun olmazlığı ilkesi.