Kraft ble student i 1739, i 1742 og etter en lengre utenlandsreise professor i matematikk og filosofi i Sorø i 1746. I årene 1751–1753 utga en rekke korte lærebøker om logikk, ontologi, kosmologi, psykologi og naturlig teologi. Her fremla han et filosofisk system som viser at han er sterkt avhengig av Wolffs fornuftsfilosofi og matematiske metode, men viser seg samtidig selvstendig ved å slutte seg til Newtons astronomiske og fysiske anskuelser, i stedet for til Descartes’, slik Wolff hadde gjort.