Avicenna ha studiato un primo sistema formale di logica temporale. Anche se non ha sviluppato una vera e propria teoria delle proposizioni temporali, ha studiato il rapporto tra temporali e implicazioni. Il lavoro di Avicenna è stato ulteriormente sviluppato da Najm al-D? n al-Qazw? n? n? al-K? tib? È diventato il sistema dominante della logica islamica fino ai tempi moderni. La logica avicenniana influenzò anche molti dei primi logici europei, come Albertus Magnus e William di Ockham. Avicenna ha approvato la legge di non contraddizione proposta da Aristotele, che un fatto non poteva essere vero e falso allo stesso tempo e nello stesso senso della terminologia utilizzata. Egli ha dichiarato:"Chi nega la legge di non contraddizione deve essere picchiato e bruciato fino a quando non ammette che essere picchiato non è lo stesso che non essere picchiato e bruciato non è lo stesso che non essere bruciato".
Che cosa era un argomento studiato da Avicenna, ma su cui non ha sviluppato una teoria?
logica temporale