What is the difference between the tags and ?

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 can cover more than , since it can include also and , but concretely:

  1. and have already a considerable overlap (at the time of this post, 619 questions contain both tags out of 2267 questions in );
  2. almost all the questions tagged with without could coherently and meaningfully be tagged with ;
  3. the really few questions tagged with and that concern second or higher order logic could be tagged with or , plus possibly .

Edit. I relaunch this question I posted one year ago. To the present day, my proposal to make the tags and 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.

  • $\begingroup$ I was going to raise this, and I'm glad to see someone else taking interest in tagging. $\endgroup$
    – Asaf Karagila Mod
    Commented Aug 9, 2018 at 18:11
  • 2
    $\begingroup$ My experience (both teaching and studying) is that predicate logic usually refers to the study of sentences and structures. First-order logic usually refers to the study of theories and models. While to the untrained eye this might seem the same, it's really not. $\endgroup$
    – Asaf Karagila Mod
    Commented Aug 9, 2018 at 18:13
  • 6
    $\begingroup$ I guess my eye is untrained... $\endgroup$ Commented Aug 9, 2018 at 18:49
  • 3
    $\begingroup$ @AsafKaragila - In the domain of proof theory, predicate logic is most of the time a synonymous of first-order logic. Even on Wikipedia, predicate logic redirects to first-order logic. $\endgroup$ Commented Aug 9, 2018 at 18:57
  • 1
    $\begingroup$ @Andrés: In Beersheba we talked about predicate logic. We talked about formalizations, about this structure satisfies that formula with that assignment, and this formula implies that other one if and only if the material implication is logically valid. We didn't talk about theories, about models of theories, about completeness, etc. For me, that is the key difference between the two tags. $\endgroup$
    – Asaf Karagila Mod
    Commented Aug 9, 2018 at 19:11
  • 3
    $\begingroup$ (@Asaf I understand what you are saying. I do not think this difference in usage is universal.) $\endgroup$ Commented Aug 9, 2018 at 19:12
  • $\begingroup$ @Andrés: I see. Well, then we agree. I guess it's just because this is how I was trained to think as a student and as a teacher, the distinction between the two tags is more natural to me. $\endgroup$
    – Asaf Karagila Mod
    Commented Aug 9, 2018 at 19:13
  • $\begingroup$ @Taroccoesbrocco: I know that you've been pinged by all my comments to Andrés, those are also for you (and anyone else weighing in on this conversation). $\endgroup$
    – Asaf Karagila Mod
    Commented Aug 9, 2018 at 19:13
  • 7
    $\begingroup$ To me, "predicate logic" is applicable to higher-order logics as well as first-order logic. But I am fine with merging them, because I think that the higher-order logic tag is useful in almost every case that predicate-logic would not mean first-order-logic. $\endgroup$ Commented Aug 9, 2018 at 20:49


You must log in to answer this question.

Browse other questions tagged .