Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| 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 | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Nelson Goodman on Satisfaction - Dictionary of Arguments
Definition satisfaction/Goodman: "Satisfied" = "is denoted by" "has as fulfillment object" = "denotes" "fulfillment class" = extension >Terminology/Goodman. III 139 f Extension/Goodman: the extension of a word is not both its pronunciations and the objects - the extension is always based on a system. >Extensions. III 140 Satisfaction/Goodman: satisfaction 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. >Systems. Of course, the fulfillment class does not normally fulfill the inscription itself - its elements do. III 141 Inscription/Goodman: we call inscriptions without a satisfaction 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 description 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. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
G IV N. Goodman Catherine Z. Elgin Reconceptions in Philosophy and Other Arts and Sciences, Indianapolis 1988 German Edition: Revisionen Frankfurt 1989 Goodman I N. Goodman Ways of Worldmaking, Indianapolis/Cambridge 1978 German Edition: Weisen der Welterzeugung Frankfurt 1984 Goodman II N. Goodman Fact, Fiction and Forecast, New York 1982 German Edition: Tatsache Fiktion Voraussage Frankfurt 1988 Goodman III N. Goodman Languages of Art. An Approach to a Theory of Symbols, Indianapolis 1976 German Edition: Sprachen der Kunst Frankfurt 1997 |
||
> Counter arguments against Goodman
> Counter arguments in relation to Satisfaction
Ed. Martin Schulz, access date 2024-04-18