| Models, philosophy, logic: A model is obtained when a logical formula provides true statements by inserting objects instead of the free variables. One problem is the exclusion of unintended models. See also 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. |
