Davidson (1987) in 'Proofs for Eternity' shows Avicenna's argument terminates in a synchronic depend...