Öncüllerin yapısı ve çeşitleri, mantık biliminin en önemli konularından biridir. Çünkü kıyas, öncüller üzerine bina edilir. Düşünmemizin en basit birimleri tekillerdir; bu nedenle bunlar ilk algılanan şeylerdir; "cisim", "hareket", "âlem", "hadis" ve "kadim" gibi tekil isimlerle gösterilen şeylerin anlamını bilmek böyledir. Tekillerin bir araya getirilmesiyle cümleler oluşur. Bu bakımdan Gazali (1058-1111), önermeleri oluşturmadan önce tekillerin anlamlarının bilinmesi gerekliğini vurgular. Ona göre tekil şeyleri bilmek tasavvur, iki tekil şey arasındaki haberi ilişkiyi bilmek de tasdik olarak isimlendirilir. Buna göre bilgi ya "tasavvur" ya da "tasdik"tir.' Öncülün gerçekleşmesi için zorunlu olan tasdik, iki kavram arasında bağ kurmakla gerçekleşir. Bu bağla "İnsan akıllıdır" önermesinde olduğu gibi iki kavram ya bir birbirine yaklaştırılır ya da "Kar beyaz değildir" önermesinde olduğu gibi birbirinden uzaklaştırılır. Buna göre tasdik "Âlem hadistir", "Allah'a itaate karşılık mükafatlandırma vardır", "Günaha karşılık cezalandırma vardır" gibi hükümleri bilmektir.2 Görüldüğü gibi her tasdik, hüküm ifade eden önermelerden oluşur. Ancak her hüküm, herkesin kabul edebileceği nitelikte olmayabilir. Çünkü şüphe ve zan ifade eden hükümler de vardır.Bu durum her öncülden geçerli sonuç veren bir kıyasın kurulamayacağını göstermektedir. Buna göre bir kıyası oluşturan her öncülün muhatap tarafından kabul edilmesi gerekmeyebilir. Zira her öncül, doğru olmayabileceği gibi, muhatabı onu kabul etmeye zorlayan herhangi bir etken de olmayabilir. Öncüller konusu mantığın önemli konularından biridir.Öncüllerin önemine binaen bu çalışmamızda Gazali'ye göre öncülün yapısı ve muhatabın kabul etmek zorunda olduğu öncül çeşitlerini incelemeye çalışacağız.

The issue of premises is rather important for classical logic. For, in a syllogism, if premises are true, the conclusion must be true. Therefore, the truth of premises is crucial. This essay provides al-Ghazali's account of the definition, strtucture and different types of premises.