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 |
---|---|---|---|
H. Putnam on Satisfaction - Dictionary of Arguments
I (c) 91 Satisfaction/Tarski: satisfaction is the terminus for reference. Putnam: there is a relation between words and things, more precisely, between formulas and finite sequences of things. Tarski: "The sequence of length only existing of x, satisfies the formula "electron (y)" iff x is an electron". The sequence Abraham: Isaac meets the formula "x is the father of y". If there are more binary relations one does not speak of Reference. > Correspondence Theory, -> picture theory. Putnam: Tarski's theory is not suitable for the correspondence theory because satisfaction is explained by a list (instead > meaning postulates: "electron" refers to electrons, etc.). "True" is the zero digit case of fulfillment: a formula is true if it has no free variables and if it meets the zero sequence. I (c) 92 Zero Digit Relation: e.g. Tarski: "true" is the zero digit case of satisfaction: that means, a formula is true if it has no free variables and if the zero sequence is met. Zero Sequence: converges to 0. Example 1, 1/4, 1/9, 1/16, ... I (c) 92 Satisfaction/Putnam: criterion T can be extended to the criterion E: (E) an adequate definition of fulfilled-in-S must generate all instances of the following scheme as theorems: "P(x1 ... xn) is only fulfilled by the sequence y1. ..yn when P (y1 .... yn). Reformulated: "electron (x)" is then and only then fulfilled by y1 when y1 is an electron. This is determined by truth and reference (not by provability) and is therefore even preserved in intuitionistic interpretation. PutnamVsField: Field's objection fails: for the realists the Tarski schema is correct. FieldVsTarski: this is similar to a "definition" of chemical valence by enumeration of all elements and their valence. The causal involvement in our explanations is lacking. PutnamVsField: truth and reference are not causally explanatory terms, we still need them for formal logic, even if scientific theories are wrong._____________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. |
Putnam I Hilary Putnam Von einem Realistischen Standpunkt In Von einem realistischen Standpunkt, Vincent C. Müller, Frankfurt 1993 Putnam I (a) Hilary Putnam Explanation and Reference, In: Glenn Pearce & Patrick Maynard (eds.), Conceptual Change. D. Reidel. pp. 196--214 (1973) In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (b) Hilary Putnam Language and Reality, in: Mind, Language and Reality: Philosophical Papers, Volume 2. Cambridge University Press. pp. 272-90 (1995 In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (c) Hilary Putnam What is Realism? in: Proceedings of the Aristotelian Society 76 (1975):pp. 177 - 194. In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (d) Hilary Putnam Models and Reality, Journal of Symbolic Logic 45 (3), 1980:pp. 464-482. In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (e) Hilary Putnam Reference and Truth In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (f) Hilary Putnam How to Be an Internal Realist and a Transcendental Idealist (at the Same Time) in: R. Haller/W. Grassl (eds): Sprache, Logik und Philosophie, Akten des 4. Internationalen Wittgenstein-Symposiums, 1979 In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (g) Hilary Putnam Why there isn’t a ready-made world, Synthese 51 (2):205--228 (1982) In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (h) Hilary Putnam Pourqui les Philosophes? in: A: Jacob (ed.) L’Encyclopédie PHilosophieque Universelle, Paris 1986 In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (i) Hilary Putnam Realism with a Human Face, Cambridge/MA 1990 In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam I (k) Hilary Putnam "Irrealism and Deconstruction", 6. Giford Lecture, St. Andrews 1990, in: H. Putnam, Renewing Philosophy (The Gifford Lectures), Cambridge/MA 1992, pp. 108-133 In Von einem realistischen Standpunkt, Vincent C. Müller, Reinbek 1993 Putnam II Hilary Putnam Representation and Reality, Cambridge/MA 1988 German Edition: Repräsentation und Realität Frankfurt 1999 Putnam III Hilary Putnam Renewing Philosophy (The Gifford Lectures), Cambridge/MA 1992 German Edition: Für eine Erneuerung der Philosophie Stuttgart 1997 Putnam IV Hilary Putnam "Minds and Machines", in: Sidney Hook (ed.) Dimensions of Mind, New York 1960, pp. 138-164 In Künstliche Intelligenz, Walther Ch. Zimmerli/Stefan Wolf, Stuttgart 1994 Putnam V Hilary Putnam Reason, Truth and History, Cambridge/MA 1981 German Edition: Vernunft, Wahrheit und Geschichte Frankfurt 1990 Putnam VI Hilary Putnam "Realism and Reason", Proceedings of the American Philosophical Association (1976) pp. 483-98 In Truth and Meaning, Paul Horwich, Aldershot 1994 Putnam VII Hilary Putnam "A Defense of Internal Realism" in: James Conant (ed.)Realism with a Human Face, Cambridge/MA 1990 pp. 30-43 In Theories of Truth, Paul Horwich, Aldershot 1994 SocPut I Robert D. Putnam Bowling Alone: The Collapse and Revival of American Community New York 2000 |