Mantık çeşitleri genel olarak şu şekilde sınıflandırılabilir: 1. Klasik Mantık: Aristoteles'in mantık anlayışına dayanır ve doğru ile yanlış değerleriyle ilgilenir. 2. Fuzzy Mantık: Klasik mantığın katı doğru-yanlış ayrımını bir kenara bırakır ve belirsizlikleri dikkate alır. 3. Modal Mantık: Bir önermenin yalnızca doğru ya da yanlış olmasının ötesine geçer, doğruluğun gerekli ya da mümkün olma gibi kavramlarla ilişkilendirildiği bir sistem sunar. 4. Matematiksel Mantık: Mantık ve matematiğin kesişim noktasında yer alır, matematiksel yapıları ve sistemleri tanımlamak, ispatlamak ve çözmek için kullanılır. 5. Pratik Mantık (İçtihatlı Mantık): Günlük yaşamda karşılaşılan problemlere yönelik düşünsel çözümler sunar. 6. Yüklemli Mantık: Bir önerme ile bu önerme hakkında yapılan açıklamaların ilişkisini ele alır. 7. Olasılık Mantığı: Klasik mantıkta belirli bir doğru-yanlış kategorisinin ötesine geçer ve olasılıklar, şanslar ve ihtimallerle ilgilenir.