<s>[INST]Avicenna'nın üzerinde çalıştığı, ancak üzerinde bir teori geliştirmemiş olduğu bir konu neydi?[/INST]Avicenna tarafından resmi bir geçici mantık sistemi incelendi. Gerçek bir zamansal önermeler teorisi geliştirmemiş olmasına rağmen, zamansal ile ima arasındaki ilişkiyi araştırmıştır. Avicenna'nın çalışmaları Najm al-Dīn el-Qazwīnī-Kātibī tarafından daha da geliştirildi ve günümüze dek İslam mantığının baskın sistemi haline geldi. Avicennian mantığı ayrıca Albertus Magnus ve Ockham'ın William'ı gibi bazı erken Avrupalı ​​logistleri de etkiledi. Avicenna, Aristoteles tarafından önerilen çelişki yasasını, aynı zamanda ve kullanılan terminolojinin aynı anda hem doğru hem de yanlış olamayacağını onayladı. “Çelişmeme yasasını reddeden herkesin, yenilmenin, yenilmenin aynı olmadığını ve yakılmanın aynı olmadığını kabul edene kadar dövülüp yakılması gerektiğini” söyledi.</s>