An early formal system of temporal logic was studied by Avicenna. Whose law of noncontradiction did Avicenna endorse