Philoponus and the mathematization of logic