Ein frühes formalen System der zeitlichen Logik wurde von Avicenna untersucht. Obwohl er keine echte Theorie der zeitlichen Vorschläge entwickelt hat, hat er die Beziehung zwischen temporalis und der Implikation untersucht. Die Arbeit von Avicenna wurde von Najm al-Dīn al-Qazwīnī al-Kātibī weiterentwickelt und wurde bis zur modernen Zeit zum dominanten System der islamischen Logik. Feinstofflich Logik beeinflusste auch mehrere frühe europäische logicians wie Albertus Magnus und William von Ockham. Avicenna unterstützte das Gesetz von Widerspruch, das von Aristoteles vorgeschlagen wurde, dass eine Tatsache nicht sowohl wahr als auch falsch zugleich und im gleichen Sinne der verwendeten Terminologie sein könnte. Er sagte, jeder, der das Gesetz von Widerspruch leugnet, sollte geschlagen und verbrannt werden, bis er zugibt, dass man geschlagen wird, nicht das gleiche ist, wie nicht geschlagen zu werden, und verbrannt zu werden ist nicht das gleiche, wie nicht verbrannt zu werden.
Welcher europäische Logiker wurde von Avicenna stark beeinflusst?
Albertus Magnus