|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. |
"Satisfied" = "is denoted by"
"has as fulfillment object" = "denotes"
"fulfillment class" = extension
III 139 f
Extension/Goodman: the extension of a word is not both his pronunciations and the objects - the extension is always based on a system.
Satisfaction/Goodman: requires no special agreement; whatever is denoted by a symbol, it fulfills it. In principle, compliance is connected with an inscription. In a given system, many things can fulfill a single inscription, and the class of these things constitutes the fulfillment class of inscriptions in this system. Of course, the fulfillment class normally not fulfills the inscription itself - their elements do.
Inscription/Goodman: We call inscriptions without fulfillment object "vacant". A vacant inscription belongs as much to the system as any other and it can be just as big and black. It deficit is more semantic, not of syntactic nature. An object which does not fulfill an inscription, has no label in the system.
In Object-English, for example, no object and no set of objects fulfills only one predicate._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Weisen der Welterzeugung Frankfurt 1984
Tatsache Fiktion Voraussage Frankfurt 1988
Sprachen der Kunst Frankfurt 1997
N. Goodman/K. Elgin
Revisionen Frankfurt 1989