Dictionary of Arguments

Screenshot Tabelle Begriffe

 
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, M. Satisfaction   Woods, M.

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z