Dictionary of Arguments  
 
Satisfaction, logic: a formula is satisfied when their variables are interpreted in a way that the formula as a whole is a true statement. The interpretation is a substitution of the variables of the formula by appropriate constants (e.g. names). When the interpreted formula is true, we call it a model. See also satisfiability, models, model theory. _____________ 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.  
Author  Item  More concepts for author  

Chisholm, Roderick  Satisfaction  Chisholm, Roderick  
Davidson, Donald  Satisfaction  Davidson, Donald  
Frege, Gottlob  Satisfaction  Frege, Gottlob  
Goodman, Nelson  Satisfaction  Goodman, Nelson  
Kripke, Saul A.  Satisfaction  Kripke, Saul A.  
Putnam, Hilary  Satisfaction  Putnam, Hilary  
Quine, Willard Van Orman  Satisfaction  Quine, Willard Van Orman  
Searle, John R.  Satisfaction  Searle, John R.  
Tarski, Alfred  Satisfaction  Tarski, Alfred  
Woods, Michael  Satisfaction  Woods, Michael  
