Bundan sonra: Bu, hakkında bir risaledir. Onda, herhangi birine başlayan kimsenin hazır bulundurması gereken şeyleri, yüce Allah'tan yardım dileyerek ortaya koyduk; iyiliği ve cömertliği bol bol akıtan O'dur.
Īsāghūjī (Giriş): eden , kendisi için konulduğu şeye yoluyla, bir parçası varsa onun parçasına yoluyla ve zihinde ona eşlik eden şeye yoluyla delâlet eder;
ya , yani anlamı sırf edilmekle pek çok şeyin onda ortak olmasına engel olmayandır, “insan” gibi; ya da , yani anlamı sırf tasavvur edilmekle buna engel olandır, özel isim olarak “Zayd” gibi.
ya “o nedir?” sorusuna sırf ortak olanla cevap olarak söylenir, insan ve ata nisbetle “hayvan” gibi: bu ve “o nedir?” sorusuna cevap olarak, farklı olan pek çok şey hakkında söylenen diye tarif edilir;
ya da “o nedir?” sorusuna ortak olan ile özel olanın birlikte cevap olarak söylenir, Zayd ve ʿAmr'a nisbetle “insan” gibi: bu ve “o nedir?” sorusuna cevap olarak, değil sayıda farklı olan pek çok şey hakkında söylenen diye tarif edilir;
ya da “o nedir?” sorusuna cevap olarak değil, “ o hangi şeydir?” sorusuna cevap olarak söylenir ve bir şeyi kendisiyle ortak olandan ayırır, insana nisbetle “” gibi: bu ve “zâtında o hangi şeydir?” sorusuna cevap olarak bir şey hakkında söylenen diye tarif edilir.
Bu ikisinden her biri ya yalnızca tek bir özgüdür, bu , insan için ve “gülen” gibi; yalnızca tek bir hakikatin altına girenler hakkında olarak söylenen diye tarif edilir;
ya da birden fazla kapsar, bu , insana ve diğer hayvanlara nisbetle ve “nefes alan” gibi; farklı hakikatlerin altına girenler hakkında olarak söylenen diye tarif edilir.
ise, toplamı yalnızca tek bir özgü olan niteliklerden oluşur; insanın tarifinde şöyle dememiz gibi: iki ayağı üzerinde yürür, tırnakları geniştir, derisi çıplaktır, boyu dikdir ve tabiatı gereği güler.
Bu ikisinden her biri ya , verilen örneklerde olduğu gibi; ya , “Her insan kâtiptir” ve “Hiçbir insan kâtip değildir” gibi; ya sûrlu , “Bazı insan kâtiptir” ve “Bazı insan kâtip değildir” gibi; ya da hiçbiri değildir ve o zaman diye adlandırılır, “İnsan kâtiptir” ve “İnsan kâtip değildir” gibi.
Bu ya hem ikisinin birlikte bulunmasını hem de ikisinin birlikte yok olmasını dışlar, verilen örnekte olduğu gibi; ya yalnızca birlikte bulunmalarını dışlar, “Bu şey ya ağaçtır ya da taştır” gibi; ya da yalnızca ikisinin birlikte yok olmasını dışlar, “Zayd ya denizdedir ya da boğulmuyordur” gibi.
, iki olumluluk ve olumsuzlukta, bizzat birinin doğru diğerinin yanlış olmasını gerektirecek şekilde farklı olmasıdır; “Zayd kâtiptir” ve “Zayd kâtip değildir” gibi.
, “Her insan hayvandır” ve “Bazı insan hayvan değildir” gibi; küllî sâlibenin nakîzi ise cüzî mûcibedir, “Hiçbir insan hayvan değildir” ve “Bazı insan hayvandır” gibi.
İki arasında ancak nicelikte farklı olduklarında olur; çünkü iki birlikte yanlış olabilir, “Her insan kâtiptir” ve “Hiçbir insan kâtip değildir” gibi; iki de birlikte doğru olabilir, “Bazı insan kâtiptir” ve “Bazı insan kâtip değildir” gibi.
küllî olarak dönmez: “Her insan hayvandır” doğrudur, fakat “Her hayvan insandır” doğru değildir. olarak döner: “Her insan hayvandır” dediğimizde “Bazı hayvan insandır” doğrudur; çünkü hem insan hem de hayvan olarak nitelenen bir şey olarak buluruz, dolayısıyla bazı hayvan insandır.
de aynı delille cüzî olarak döner. küllî sâlibe olarak döner ve bu kendiliğinden açıktır: “Hiçbir insan taş değildir” doğruysa “Hiçbir taş insan değildir” de doğrudur.
ya , “Her cisim ve her mürekkep sonradan olmuştur; öyleyse her cisim sonradan olmuştur” gibi; ya da , “Güneş doğmuşsa gündüzdür; fakat gündüz değildir; öyleyse güneş doğmamıştır” gibi.
dörttür; çünkü , büyük öncülde ise bu birinci şekildir; ikisinde de yüklem ise ikinci; ikisinde de konu ise üçüncü; küçük öncülde konu, büyük öncülde yüklem ise dördüncü şekildir.
apaçık olan kâmil birincisidir; dördüncüsü tabiî düşünceden çok uzaktır. Selim tabiat ve sağlam akıl sahibi kimse, ikinciyi birinciye döndürmeye ihtiyaç duymaz. İkinci şekil ancak olumluluk ve olumsuzlukta farklı olduğunda netice verir.
dörttür. Birincisi: her cisim ve her mürekkep sonradan olmuştur; öyleyse her cisim sonradan olmuştur. İkincisi: her cisim mürekkeptir ve hiçbir mürekkep değildir; öyleyse hiçbir cisim kadîm değildir. Üçüncüsü: bazı cisim mürekkeptir ve her mürekkep sonradan olmuştur; öyleyse bazı cisim sonradan olmuştur. Dördüncüsü: bazı cisim mürekkeptir ve hiçbir mürekkep kadîm değildir; öyleyse bazı cisim kadîm değildir.
İktirânî ya iki oluşur, yukarıdaki gibi; ya iki oluşur, “Güneş doğmuşsa gündüzdür; gündüzse yeryüzü aydınlıktır” gibi, ki bu “Güneş doğmuşsa yeryüzü aydınlıktır” verir;
ya iki oluşur, “Her sayı ya çifttir ya da tektir; her çift sayı da ya çiftin çiftidir ya da tekin çiftidir” gibi, ki bu “Her sayı ya tektir ya çiftin çiftidir ya da tekin çiftidir” verir;
ya bir ile bir oluşur, “Her sayı ya çifttir ya da tektir; her çift sayı da iki eşit parçaya bölünür” gibi, ki bu “Her sayı ya tektir ya da iki eşit parçaya bölünür” verir;
ya da bir ile bir oluşur, “Bu ne zaman insan olursa hayvandır; her hayvan da ya beyazdır ya da siyahtır” gibi, ki bu “Bu ne zaman insan olursa ya beyazdır ya da siyahtır” verir.
ise, iki parçadan birinin olumlanması diğerinin verir, “Sayı ya çifttir ya da tektir; fakat çifttir” gibi, ki bu “Tek değildir” sonucunu verir; ya da “fakat tektir”, ki bu “Çift değildir” sonucunu verir. Birinin nakîzinin olumlanması da diğerini netice verir.
, “Ayın ışığı güneşin ışığındandır” gibi; , “Muḥammad -Allah ona salât ve selâm etsin- peygamberlik iddia etti ve onun elinde mucizeler zuhur etti” gibi; ve delillerini beraberinde taşıyan , “Dört çifttir” gibi; bu, zihinde hazır bulunan bir sebebiyledir: iki eşit parçaya bölünebilir olmak.