Events Tagged: "symbolic logic"

Leibniz writes 'De Arte Combinatoria', outlining his vision for a universal characteristic and logical calculus

Johann Heinrich Lambert develops linear diagrams for logic and improved logical notation

Gottlob Frege publishes 'Begriffsschrift', introducing predicate logic with quantifiers and establishing modern symbolic logic