Summa philosophica quattor in partes distributa, 1639-1641