Indice: Prefazione del 1957. Prefazione del 1964. Prefazione del 1999 1. Leibniz e la logica formale 2. Logica simbolica nell'illuminismo 3. Logica formale nell'illuminismo tedesco 4. Kant e la logica formale 5. I problemi e il problema della logica trascendentale 6. Conclusioni. Appendici: 1. Pluralità ed implesso dei significati in logica 2. Leibniz e il nominalismo 3. Sui calcoli logici leibniziani 4. Estensione e comprensione 5. Wolf e la logica formale