Philosophy Dictionary of ArgumentsHome | |||
| |||
Satisfaction - Philosophy 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. | |
Peacocke, Christopher | Satisfaction | Peacocke, Christopher | |
Putnam, Hilary | Satisfaction | Putnam, Hilary | |
Quine, W.V.O. | Satisfaction | Quine, Willard Van Orman | |
Searle, John R. | Satisfaction | Searle, John R. | |
Tarski, Alfred | Satisfaction | Tarski, Alfred | |
Woods, Michael | Satisfaction | Woods, Michael | |
|