# On the difference between a meta-variable and a propositional atom

In all of the established propositional logics that I’m aware of, a propositional atom is treated as a meta-variable. In certain first-order proof systems, this does not hold for those same logics since the Deduction Theorem and the Generalization Rule need to work together properly to avoid invalidities like A→∀xA.

Are there well-known propositional logics in which propositional atoms are not also interpretable/usable as meta-variables? How do those logics deal with things like Uniform Substitution? Also, is there a specific philosophical reason for propositional logics to be axiomatized so that atoms serve as meta-variables? I am aware that propositional atoms that serve as meta-variables are mathematically easier to understand.

• If by "propositional atoms" you mean propositional letters I am not quite sure what "in certain first-order proof systems, this does not hold" means. Those proof systems do not have propositional letters, only predicate letters and object variables. And what exactly would you like propositional letters to be if not "meta-variables"? Something for which you can substitute different things in different places, as with nonterminal symbols? Commented May 21 at 22:44
• @Conifold some first-order proof systems still have propositional atoms, especially since nullary predicates are functionally equivalent to propositional atoms. Commented May 21 at 23:06
• @Conifold with respect to the article you suggested, I’d actually be talking about terminal symbols. Commented May 21 at 23:09
• Atoms: p1,p2,p3,... Meta-variables (aka: schema): A,B,... In general, the use is simple: we use meta-variable to formalize rules of inference: "form A and A to B, derive B" (Modus Ponens) because in this way we provide general recipes to manufacure multiple instances. The same for axioms. IF we use atoms for axioms: p1 to (p2 to p1), we have to add a Substitution Rule of inference, because at the level of object language p1 to (p1 to p1) is a different formula from p2 to (p1 to p2). This is the context... But I'm not sure to understand your specific concern with predicate logic. Commented May 22 at 5:44
• Some texts distinguish bewteen symbols that represent particular simple statements (i.e. atomic sentences), and statement variables that are placeholders in which statements, both simple and compound, may be substituted. This is done to facilitate the symbolising of argument forms. For example, Copi uses upper case letters A, B, C... for simple statements and lower case p, q, r... for variables. (Copi, Cohen, Rodych, Introduction to Logic, 15th edition (2019), chapter 8, p. 286.) Commented May 22 at 7:07