Leibniz’s philosophy of logic and language