Title: Leibnitz and modern logic