... Frege's creation of Classical Logic is hard to top, and it was Frege's development of First-Order Predicate Logic that really got mathematical logic going (correct me if I'm wrong). — MindForged
Peirce independently and contemporaneously achieved the same thing - the introduction of quantifiers and bound variables.
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.