(in. Substitution; fr. Substitution; al. Unterschiebung; it. Sostituzioné).
Uma das operações fundamentais do pensamento em todos os campos. Leibniz definiu a igualdade e a identidade como possibilidades de substituição. A matemática e a lógica podem ser consideradas sistemas de regras de substituições na medida em que a fórmula a = b pode ser considerada uma regra segundo a qual a, onde quer que apareça, pode ser substituído por b (F. Waismann, Einfurung in das mathematische Denken, 1936, cap. IX, C.; trad. it., p. 165).
Mais especificamente, fala-se em lógica de regra de substituição como uma das regras primitivas fundamentais de inferência, segundo a qual é permitido inferir de uma fórmula A uma outra fórmula de A substituindo uma variável em A por uma fórmula B (cf. A. Church, Introduction to Mathematical Logic, § 10; Carnap, The Logical Syntax of Language, § 6; Meaning and Necessity, § 11; Quine, Methods of Logic, § 6, etc). [Abbagnano]