# Who superseded Peano's dot notation in symbolic logic and when?

Bertrand Russel gave an exhaustive treatment of creating mathematics from logic in Principia Mathematica (1910-1913), using the logical notation created by Frege and Peano. As monumental as this is, I find it difficult to read, having learned logic with modern notation.

⊢:.p.q.⊃.∼r:≡:q.r.⊃.∼p

is

p & q ⊃ ∼ r ≡ q & r ⊃ ∼p

with current expectations of precedence.

My question is: when did this newer notation become more popular and who were the ones who first started using it? Goedel (1930) seems not to use it, but that's a twenty-year difference, hardly time for a change to come about.

There are all sorts of references explaining the old way, but nothing ever seems to mention how the newer way started to become popular.

• Just a wild (but hopefully educated) guess, but I suspect the mainstreaming of logic notation/symbols into mathematics writing (papers, textbooks, etc.) led to more use of a notation that has a less steep learning curve. – Dave L Renfro Mar 31 '20 at 16:37

The Peirce-Schröder's notation was more mathematician friendly and structurally closer to the modern one than Russell's. They used $$\Sigma$$ and $$\Pi$$ for the existential and universal quantifiers, and did not use dotting for punctuation. That was Peano's creation, see SEP, Use of Dots for Punctuation. He also changed $$\Sigma$$ to $$\exists$$ for the existential quantifier, and $$(x)$$ for the universal was Russell's preference. Hilbert-Ackerman's Grundzüge der Theoretischen Logik (1928), the first textbook on mathematical logic, used Principia's notation, but the dotting is already gone in Hilbert-Bernays's Grundlagen Der Mathematik (1934).
Gentzen proposed $$\forall x$$ in 1935, by analogy to $$\exists$$, but Principia's version and the dotting persisted well into 1950-s. Church, Gödel, Quine used it, and so did Rosser's Logic for Mathematicians (1953). However, Quine's From a Logical Point of View (1953) already uses parentheses instead of dots. The switch is likely associated with the "transfer of ownership" of logic from philosophers to mathematicians in the late 1950s early 1960s. The catalyst might have been Bourbaki's systematization of mathematics in Éléments de Mathématique. Summary of the first volume, Théorie des Ensembles (Fascicule de Résultats), came out in 1939, and the chapters on formal logic and set theory in 1954. Bourbaki used Gentzen's quantifier and no dotting. Mendelsohn's Introduction to Mathematical Logic (1964), which became a standard textbook, already used modern notation.