Francesco Marchi and the development of logismology