in Math Meta Chat, 17 hours ago, by ryang
https://math.stackexchange.com/tags/synonyms <--- I just noticed that the tag "first-order logic" has just been made the target for the tag "predicate logic" (under 40mins ago), but I can't figure out who was responsible for this or even how to vote for such things. Previously, the two tags had different scopes (FOL leaned more towards formal proofs, while PL was less rigorous). Can I vote to reverse this tag synonymisation?