Kıyas, iki öncül ve bir sonuçtan oluşan, mantıksal çıkarım yapmamızı sağlayan bir akıl yürütme biçimidir. Klasik mantıkta, doğru sonuca ulaşmak için belirli kurallara uymak zorunludur.
Bir kıyasta yalnızca üç terim bulunmalıdır: Büyük terim (T), küçük terim (t) ve orta terim (O). Orta terim, iki öncülde de bulunur ve sonuçta yer almaz.
Orta terim, öncüllerden en az birinde tümel olarak (dağıtılmış halde) geçmelidir. Aksi takdirde "ortanın dağıtılmaması" hatası olur.
Sonuçta dağıtılmış olmayan bir terim, öncüllerde de dağıtılmış olamaz. Yani, sonuç öncülleri aşamaz.
İki öncül de olumsuz ise bir sonuç çıkarılamaz. ("Hiçbir A, B değildir" ve "Hiçbir C, B değildir" öncüllerinden A ve C ilişkisi çıkmaz.)
İki öncül de olumlu ise sonuç da olumlu olmalıdır.
Öncüllerden biri olumsuz ise sonuç da olumsuz olmalıdır.
İki öncül de tikel ise (yani "bazı" ifadesi içeriyorsa) bir sonuç çıkarılamaz.
Öncüllerden biri tikel, diğeri olumsuz ise sonuç tikel olmalıdır.
Doğru Kıyas Örneği:
Bu örnekte tüm kurallar sağlanmıştır: 3 terim vardır (İnsan, Ölümlü, Sokrates), orta terim (İnsan) bir öncülde tümel, iki olumlu öncülden olumlu sonuç çıkmıştır.
Bu kurallar, Aristoteles mantığının temelini oluşturur ve geçerli bir çıkarım yapabilmek için hepsine uyulması gerekir. Kıyas, günlük tartışmalardan bilimsel kanıtlara kadar tüm akıl yürütmelerimizin altında yatan yapı taşıdır.