Events Tagged: "predicate logic"

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

Peirce develops the theory of quantification independently of Frege, introducing existential graphs