Substitution: in a formula, a symbol can be substituted for another symbol under certain conditions. E.g. If a constant is substituted for a variable, a propositional function becomes a statement. See also Substitutability, Generality, Validity, Statements, Propositional functions, Fine-grained/coarse-grained._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |