अस्थायी तर्क की एक प्रारंभिक औपचारिक प्रणाली का अध्ययन एविसेना द्वारा किया गया था । हालांकि उन्होंने अस्थायी प्रस्ताव का एक वास्तविक सिद्धांत विकसित नहीं किया, उन्होंने temporalis और निहितार्थ के बीच संबंध का अध्ययन किया । एविसेना के काम को आगे najm अल-इलैही अल-qazwini अल-kātibī ने विकसित किया और आधुनिक समय तक इस्लामी तर्क की प्रमुख प्रणाली बन गई । avicennian तर्क ने भी कई प्रारंभिक यूरोपीय logicians जैसे अल्बर्ट मैगनस और विलियम के विलियम को प्रभावित किया । एविसेना ने अरस्तू द्वारा प्रस्तावित noncontradiction के कानून का समर्थन किया, कि एक तथ्य एक ही समय में सही और गलत नहीं हो सकता और शब्दावली के उसी अर्थों में । उसने कहा, जो कोई भी noncontradiction के कानून को अस्वीकार करता है, उसे पीटा जाना चाहिए और जला दिया जाना चाहिए जब तक कि वह स्वीकार नहीं करता कि पिटने के लिए एक जैसा नहीं है, और जला दिया जाना नहीं है, जो जला दिया जाना नहीं है ।
इस्लामी तर्क की प्रमुख प्रणाली क्या बन गई?
avicennian लॉजिक