También escribió un método de lógica, "Lógica moderna" (1747).