What is the difference between the tags first-order-logic and predicate-logic?
This question has been raised several times (here, here and here), and several users proposed in their comments to synonymize (or merge) them, but nobody concretely suggested them as synonymous on Mathematics.
Thus, I formally proposed to synonymize them here, you can upvote or downvote as you prefer.
I'm aware that, from a theoretical point of view, the tag predicate-logic can cover more than first-order-logic, since it can include also second-order-logic and higher-order-logic, but concretely:
- predicate-logic and first-order-logic have already a considerable overlap (at the time of this post, 619 questions contain both tags out of 2267 questions in predicate-logic);
- almost all the questions tagged with predicate-logic without first-order-logic could coherently and meaningfully be tagged with first-order-logic;
- the really few questions tagged with predicate-logic and that concern second or higher order logic could be tagged with second-order-logic or higher-order-logic, plus possibly first-order-logic.
Edit. I relaunch this question I posted one year ago. To the present day, my proposal to make the tags predicate-logic and first-order-logic synonyms reached a score of 3, so it needs just one more vote to be approved. Please, upvote (or downvote, if you don't agree) the tag synonym here.