Han utviklet også begrepet kinetisk energi. Han gjorde rede for den matematiske logikk, men publiserte ikke denne nyvinningen. Hadde han gjort det, hadde dette vært et emne i utvikling halvannet århundre før det som ble tilfelle. Leibniz banebrytende arbeide på dette området ble først oppdaget i forbindelse med Gottlob Frege og Bertrand Russells arbeider.