Philosophy Lexicon of Arguments

General validity: within a calculus a formula that is satisfied by any interpretation (variable assignment with expressions for objects) is valid. See also satisfaction, satisfiability, interpretation.
Author Item Excerpt Meta data

Books on Amazon
I 148
Validity / expressiveness / modal / quantification / Stalnaker: the validity of the generalization schema - unlike the identity scheme - depends on limitations of the expressiveness of the extensional theory. If the language is richer, some new instances will be no theorems.

Sta I
R. Stalnaker
Ways a World may be Oxford New York 2003

> Counter arguments against Stalnaker

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-05-26