validity

In logic, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required that a valid argument have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. A formula is valid if and only if it is true under every interpretation, and an argument form (or schema) is valid if and only if every argument of that logical form is valid.

In einer formalen Logik oder einem Kalkül bezeichnet man eine Formel als allgemeingültig oder gültig, wenn sie von jeder beliebigen Interpretation erfüllt wird. Die Allgemeingültigkeit ist also ein spezieller Fall der Erfüllbarkeit einer Formel. Während die bloße Erfüllbarkeit bereits gegeben ist, wenn sich nur eine einzige erfüllende Interpretation – ein sogenanntes Modell – findet, so sind im Falle einer allgemeingültigen Formel alle Interpretationen Modelle.

En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis.

Universalitet, filosofisk term för allmängiltighet. Vissa moralfilosofer ser universaliserbarhet som ett grundläggande krav på etiska teorier. R.M. Hare definierar i Moral Thinking universaliserbarhet som "att om vi fäller olika moralomdömen om situationer, vilka vi medger är identiska i sina universella, deskriptiva egenskaper, så säger vi emot oss själva."