प्रसंग: अविसेना द्वारा लौकिक तर्क की एक प्रारंभिक औपचारिक प्रणाली का अध्ययन किया गया था। हालांकि उन्होंने लौकिक प्रस्तावों का एक वास्तविक सिद्धांत विकसित नहीं किया था, उन्होंने लौकिक और निहितार्थ के बीच संबंध का अध्ययन किया था। अविसेना के काम को नज्म अल-दीन अल-क़ज़्वीनी अल-कातिबी द्वारा आगे विकसित किया गया था और यह आधुनिक समय तक इस्लामी तर्क की प्रमुख प्रणाली बन गई थी। अविसेनी तर्क ने कई प्रारंभिक यूरोपीय तर्कविदों जैसे अल्बर्टस मैग्नस और ओखम के विलियम को भी प्रभावित किया। अविसेना ने अरस्तू द्वारा प्रस्तावित गैर-विरोधाभास के कानून का समर्थन किया, कि एक तथ्य एक ही समय में और उपयोग की जाने वाली शब्दावली के समान अर्थ में सच और गलत दोनों नहीं हो सकता है। उन्होंने कहा, "जो कोई भी गैर-विरोधाभास के कानून से इनकार करता है, उसे पीटा जाना चाहिए और तब तक जलाया जाना चाहिए जब तक कि वह स्वीकार नहीं करता कि पीटा जाना पीटा जाने के समान नहीं है, और जलाया जाना जलाए जाने के समान नहीं है।"

सवाल: लौकिक तर्क में एविसेना के काम का विस्तार किसने किया?

उत्तर: नजम अल-दीन अल-क़ज़्वीनी अल-कातिबी