SORU: İbn Sînâ mantık sistemini oluştururken kendinden önceki mantıkçılardan, kullandığı mantık terimleri bakımından nasıl ayrılmaktadır?
CEVAP: Tasımlar konusunda kendinden önceki mantıkçıların kullandığı yüklemli tasım-bileşik tasım ayırımı yerine, Kıyasta iktirani istisnai tasım ayrımını yapar. İktirani tasım, sonucun ya da sonucun çelişiğinin öncüllerde açık olarak bulunmadığı kıyastır. İstis açık olarak bulunduğu kıyastır. İstisnalı tasımı nalı tasım ise, sonucun ya da sonucun çelişiğinin öncüllerden Aristoteles kaynaklı değil de Stoik kaynaklı olduğunu biliyoruz. O halde şu cümleyi kurabiliriz: İbn Sînâ mantık teorisinde, Stoik mantık unsurlarını da kullanmıştır.