Validity (logic)

In a formal logic or calculus, a formula is said to be universally valid or valid if it is satisfied by any interpretation. Thus general validity is a special case of the satisfiability of a formula. Whereas mere satisfiability is already given if only one satisfying interpretation - a so-called model - can be found, in the case of a universally valid formula all interpretations are models.

The concept of interpretation, which is central to this explanation, can intuitively be understood as a generalization of the assignment of variables in propositional logic: Only through the assignment of the propositional variables of a propositional logic formula can a truth value be ascribed to the formula as a whole. In more complex logics, assignments must also be made to the formal components of a formula, which determine the truth value of the formula as a whole. In predicate-logic, for example, there is a definition of a universe and an assignment of predicate-symbols to predicates (on this universe) and of function-symbols to functions (on this universe). Only by this reference to a set of objects in a world under consideration it can be determined whether a formula can be fulfilled and whether it is possibly always fulfilled, i.e. whether it is generally valid.

The following table lists some closely related terms and synonyms. The columns Fand ¬ {\displaystyle \neg F}are in an equivalence relation, e.g. Fis general if and only if ¬ {\displaystyle \neg F}unsatisfiable.

See also

  • Universals Problem
  • Tautology
  • Objectivity
  • This
  • Antithesis
  • Synthesis

AlegsaOnline.com - 2020 / 2023 - License CC3