Dictionary of Arguments


Philosophical and Scientific Issues in Dispute
 
[german]

Screenshot Tabelle Begriffes

 

Find counter arguments by entering NameVs… or …VsName.

Enhanced Search:
Search term 1: Author or Term Search term 2: Author or Term


together with


The author or concept searched is found in the following 16 entries.
Disputed term/author/ism Author
Entry
Reference
Description Levels Field II 345
Indefiniteness 2nd order: it is unclear whether an undecidable sentence has a particular truth value. >Platonism.
II 354
Logic/second order logic/Field/(s): excludes non-standard models better than theory 1st order. - 2nd order has no impredicative comprehension scheme. >Second order logic, >Comprehension, >Unintended models, >Models, >Model theory.
---
III 33
Theory of the 1st order/Field: E.g. the theory of the space-time points. - (s) E.g.a theory which only uses functions but does not quantify over them. >Quantification.
Theory 2nd order/Field: E.g. theory of real numbers, because it quantifies over functions. - Quantities of higher order: are used for the definition of continuity and differentiability.
III 37
Theory of 1st order/2nd order/Hilbert/Field: Variables 1st order: for points, lines, surfaces.
2nd order: Quantities of ...
Solution/Field: quantification 2nd order in Hilbert's geometry as quantification over regions.
Only axiom 2nd order: Dedekind's continuity axiom.
III 95 f
Logic 2nd order/Field: E.g. Quantifiers like "there are only finitely many". - Also not: E.g. "There are less Fs than Gs". >Quantifiers.
III 98
Extension of the logic: preserves us from a huge range of additionally assumed entities. - E.g., what obeys the theory of gravity. QuineVs: we should rather accept abstract entities than to expand the logic. (Quine in this case pro Platonism).
III 96
Platonism 1st order/Field: accepts abstract entities, but no logic 2nd order. Problem: but it needs this (because of the power quantifiers).

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Essentialism Cresswell I 58
Essentialism/Terence Parsons/Cresswell: the doctrine that some things necessarily have a property that other things do not necessarily have. Terence ParssonsVs: an essentialist theorem is false in a maximum model and there is a maximum model for each consistent set of closed nonmodal formulas. I.e. that no physical theory contains essentialism in relation to its predicates.
Problem: if we restrict the intended model by means other than axioms, it is not clear whether we can avoid essentialism.
>Unintended models.
I 59
Essentialism/necessity/possibility/Cresswell: comes through via the language that we build on the language of physics. Physics only provides the entities that we need for the semantics of their language. The essentialism does not need to touch the question of the adequacy of a theory as complete framework of a physical description of the world.
>Adequacy, >Completeness.

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

Loewenheim Hacking I 176
Loewenheim/Hacking: it is a paradox: that statements about an area where they, for example, state the lack of clear assignability (e.g. subsets of natural numbers cannot be assigned unambiguously to the natural numbers), also apply to a countable area: then it would follow that the natural numbers cannot be unambiguously represented in the natural numbers (unintended model). Today that is no longer considered to be a paradox. >Unintended models.
I 178
Loewenheim/HackingVsPutnam: Putnam's criticism only applies to the correspondence theory or the representation theory. >Correspondence theory.
I 180 ff
HackingVsLoewenheim/HackingVsPutnam: 1) Physics does not fit into 1st order logic.
2) Everyday language always has indicators.
3) VsWittgenstein: Wittgenstein does not prove that our use is essentially unreliable.
4) The Loewenheim proposition refers to numbers, not words.
5) I do not need a theory of reference to refer.
6) There are photographs in books about myons.
7) The Loewenheim proposition is not constructive! I.e. there is no method for producing an unintended model.
8) Affixes such as "sour" to cherry and "Persian" to cat do not work like the adjective "sweet." You do not pickle Vistula cats and do not eat heart cats as fresh fruit.
Cf. >Loewenheim/Putnam.

Hacking I
I. Hacking
Representing and Intervening. Introductory Topics in the Philosophy of Natural Science, Cambridge/New York/Oakleigh 1983
German Edition:
Einführung in die Philosophie der Naturwissenschaften Stuttgart 1996

Model Theory Model Theory: The model theory investigates whether an axiom system is fulfilled and thus provides one (or more) models. Model theory belongs to the semantics because it uses the concept of truth, while the proof theory belongs to the domain of syntax by asking for the existence of finite character string (of proofs). One problem is the exclusion of unintended models.

Models 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.

Models Fraassen I 47
Model/Fraassen: represents the worlds which are allowed by the theory. Unintended models: e.g. the theory that the center of the solar system may have any constant speed allows different speeds (> class of models) and something else than motions too! - So an empirically adequate theory can go beyond the data. - ((s) > Empirical underdetermination by the data: >Underdetermination/Quine.
Problem: then you can still believe that any theory of a family of theories is wrong - and therefore their common part is wrong!
Common part: may be paraphrased as "one of the models of the theories represents the world correctly" - ((s) and this may be wrong).
Common part: is often not empirically important. >Relevance.

Fr I
B. van Fraassen
The Scientific Image Oxford 1980

Observation Field II 267
observation/apply/explanation/Field: our observation of practice explains how our physical vocabulary applies to only and all that is true. That explains why some non-standard models are unintended.
>Unintended models, >Explanation, >Practice, >true-of, >Satisfaction.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Realism Putnam Rorty I 305ff
Anti-Realist/Putnam/Rorty: an anti-realist understands ancient and our modern theories not as two approximately correct descriptions of a solid inventory, but he/she does not believe that our theory is better in relation to the same entities. But if our theory is merely our theory, we could instead use it just as well as the Neanderthals. >Antirealism.
PutnamVsAnti-Realism: the problem is that for him truth is only useful as a theories subordinate term. But extension is inextricably linked with truth: x is then precisely part of the extension of a predicate F if "x is an F" is true. Internal realism: (according to Rorty): is a position according to which we "mundane fact" that the use of language contributes to achieve our goals, to our satisfaction etc. It can be explained by the fact that "not the language but the speaker reflects the world in that they produce a symbolic representation of their environment".
>Internal realism.
Putnam: by means of our conventions, we constitute the universe better than ever before.
>Conventions.
PutnamVsRealism/PutnamVsRelativism/Rorty: both assume one could simultaneously be both inside and outside the language
>Relativism.
---
Putnam VI 389
Realism/Putnam: realism explains why theories tend to convergence. Realism means that not language but speakers depict the world.
VI 395 f
Realism/fact/Putnam: e.g. Story 1: a line can be divided into points, that is, into smaller and smaller segments. Then there is the same relation "part of" between points and segments and segments and larger segments.
Story 2: there are no points, but these are logical constructions. "Hard core" realism: the "hard core" realism would say that there is a fact here that decides about it.
PutnamVsMetaphysical Realism: "refined realism": 1 and 2 are equivalent descriptions.
VI 398
Metaphysical Realism: if you cannot say, how the WORLD theory is independent, the talk of various descriptions (e.g. point or converging segment) becomes empty - this is stated b Quine in ontological relativity. >Metaphysical realism, >Ontological rellativity.
---
Putnam VI 404
PutnamVsMetaphysical Realism: metaphysical realism is doomed to a) to consider the logic either empirically (i.e. not merely revisable, as I believe it) but in the sense that it has no conventional component at all, or - b) it has the logic for a priori i.e. not explainable by the notion of convention. ---
Putnam I (c) 78
Realism/Putnam: realism must left it inexplicable that e.g. spacetime calculi predict observable phenomena correctly when there is no curved spacetime in reality. What has prediction to do with truth then?
I (c) 95
Realism: a realistic conception of connectives ensures that a statement is not true solely because it follows any theory. >Junctions, >Connectives.
I (g) 175f
PutnamVsMetaphysical Realism: metaphysical realism faces infinitely many correspondences. There are endless possibilities how signs and things can correspond. Problem: to choose the right correspondence, without a metaphysical access. ((s)> Loewenheim, >Unintended models.

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


Rorty I
Richard Rorty
Philosophy and the Mirror of Nature, Princeton/NJ 1979
German Edition:
Der Spiegel der Natur Frankfurt 1997

Rorty II
Richard Rorty
Philosophie & die Zukunft Frankfurt 2000

Rorty II (b)
Richard Rorty
"Habermas, Derrida and the Functions of Philosophy", in: R. Rorty, Truth and Progress. Philosophical Papers III, Cambridge/MA 1998
In
Philosophie & die Zukunft, Frankfurt/M. 2000

Rorty II (c)
Richard Rorty
Analytic and Conversational Philosophy Conference fee "Philosophy and the other hgumanities", Stanford Humanities Center 1998
In
Philosophie & die Zukunft, Frankfurt/M. 2000

Rorty II (d)
Richard Rorty
Justice as a Larger Loyalty, in: Ronald Bontekoe/Marietta Stepanians (eds.) Justice and Democracy. Cross-cultural Perspectives, University of Hawaii 1997
In
Philosophie & die Zukunft, Frankfurt/M. 2000

Rorty II (e)
Richard Rorty
Spinoza, Pragmatismus und die Liebe zur Weisheit, Revised Spinoza Lecture April 1997, University of Amsterdam
In
Philosophie & die Zukunft, Frankfurt/M. 2000

Rorty II (f)
Richard Rorty
"Sein, das verstanden werden kann, ist Sprache", keynote lecture for Gadamer’ s 100th birthday, University of Heidelberg
In
Philosophie & die Zukunft, Frankfurt/M. 2000

Rorty II (g)
Richard Rorty
"Wild Orchids and Trotzky", in: Wild Orchids and Trotzky: Messages form American Universities ed. Mark Edmundson, New York 1993
In
Philosophie & die Zukunft, Frankfurt/M. 2000

Rorty III
Richard Rorty
Contingency, Irony, and solidarity, Chambridge/MA 1989
German Edition:
Kontingenz, Ironie und Solidarität Frankfurt 1992

Rorty IV (a)
Richard Rorty
"is Philosophy a Natural Kind?", in: R. Rorty, Objectivity, Relativism, and Truth. Philosophical Papers Vol. I, Cambridge/Ma 1991, pp. 46-62
In
Eine Kultur ohne Zentrum, Stuttgart 1993

Rorty IV (b)
Richard Rorty
"Non-Reductive Physicalism" in: R. Rorty, Objectivity, Relativism, and Truth. Philosophical Papers Vol. I, Cambridge/Ma 1991, pp. 113-125
In
Eine Kultur ohne Zentrum, Stuttgart 1993

Rorty IV (c)
Richard Rorty
"Heidegger, Kundera and Dickens" in: R. Rorty, Essays on Heidegger and Others. Philosophical Papers Vol. 2, Cambridge/MA 1991, pp. 66-82
In
Eine Kultur ohne Zentrum, Stuttgart 1993

Rorty IV (d)
Richard Rorty
"Deconstruction and Circumvention" in: R. Rorty, Essays on Heidegger and Others. Philosophical Papers Vol. 2, Cambridge/MA 1991, pp. 85-106
In
Eine Kultur ohne Zentrum, Stuttgart 1993

Rorty V (a)
R. Rorty
"Solidarity of Objectivity", Howison Lecture, University of California, Berkeley, January 1983
In
Solidarität oder Objektivität?, Stuttgart 1998

Rorty V (b)
Richard Rorty
"Freud and Moral Reflection", Edith Weigert Lecture, Forum on Psychiatry and the Humanities, Washington School of Psychiatry, Oct. 19th 1984
In
Solidarität oder Objektivität?, Stuttgart 1988

Rorty V (c)
Richard Rorty
The Priority of Democracy to Philosophy, in: John P. Reeder & Gene Outka (eds.), Prospects for a Common Morality. Princeton University Press. pp. 254-278 (1992)
In
Solidarität oder Objektivität?, Stuttgart 1988

Rorty VI
Richard Rorty
Truth and Progress, Cambridge/MA 1998
German Edition:
Wahrheit und Fortschritt Frankfurt 2000
Second Order Logic, HOL Field I 37
Second Order Logic/Second Order Logic/Higher Order Logic/HOL/Field: Here, the the quantifiers have no recursive method of evidence. >Quantifiction, >Quantifiers, >Logic, >Recursion.
Quantification/Field: therefore it is vague and indeterminate, but even then applies:
(A > logically true (A)) & (~ A > logically true (~ A))
is always true.
The vagueness refers to the A.
---
II 238
Referential indeterminacy/logical operators/2nd order Logic/Field: special case: Question: can complex logical operators - e.g., unrestricted 2nd order quantifiers ((s) via properties) have any particular truth conditions? No: e.g. everything that you express with them can be reformulated (reduced) with a more restricted quantification (via sets). It does not help to say e.g. "with "for all properties" I mean for all properties".
>"Everything he said").
>Truth conditions, >Sets, >Extensions, >Extensionality.
All/Field: the use of "all" without quotes is itself the subject of a reinterpretation.
>All/Field.
((s) There could be a contradictory, still undiscovered property which should not be included under "all properties.")
Field: E.g. Acceleration near speed of light - here the definitive operator would again help.
VsDeflationism: Deflationism could simply say ".. all .. " is true iff all ...
Vs: in addition one needs the definitive-operator (dft-operator), which demands conditions - but it does not specify them.
Field: dito with Higher Order Quantification (HOL).
---
III 39
First order Logic/2nd order/stronger/weaker/attenuation/Field: to weaken the second order logic to the 1st order, we can attenuate the second-order axioms to the axiom-schemata of first-order , namely the schema of separation. Problem: not many non-standard models come in. Namely, models in which quantities that are in reality infinite, satisfy the formula which usually defines straight finiteness.
>unintended models.
III 92
2nd Order Logic/Field: we have it at two places: 1. At the axiomatization of the geometry of the spacetime and at the scalar order of spacetime points we have
III 93
The "complete logic of the part-whole relation", or the "complete logic of the Goodman sums". 2. The binary quantifier "less than".
But we do not need this if we have Goodman's sums:
Goodman's sum: it's logic is sufficient to give comparisons of powerfulness. For heuristic reasons, however, we want to keep an extra logic for powerfulness ("less than").

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Strength of Theories Field I 36
Stronger/Weaker/Field/(s): higher order systems are stronger.
I 121
E.g. "There is a proof of ~ A > ~ MA" - stronger: "There is a model of A > MA".
I 132
Theory/nominalism/strong/weak/(s): a strong theory: has more consequences - if mathematical entities should be dispensable, a platonic theory must have no (physical) consequences, which a nominalistic (physical entities only) does not have. >Nominalism, >Platonism.
I 172
Weaken/"too rich"/"too strong"/Field: E.g. a theory (or schema) asserts the existence of more entities (such as regions) than you ever need. - Then unsecured empirical consequences can occur. - (These are then unverifiable) Solution: Weakening of the theory.
---
II 115
Fragment/stronger/weaker/Field/(s): weak fragment of substitutional quantification. (sQ): - without substitutional quantifiers: treating scheme characters as variables for sentences. - Then the schemata themselves are part of the language, not only their instances. >Substitutional quantification.
II 123
Weak/Field/(s): Weaker: Scheme letters are weaker than substitutional allquantification - Modal operator: demands stronger expressions.
Ad II ~ 290
Vagueness/logic/(s): gradations: strong: certain instances of the sentence of the excluded third are wrong. - weaker: some cannot be identified. "wrong"/strong: "has a true negation".
Field: to express assertions and denials of determinacy e.g. D-A, D-A, -D-DA, D-D-A, etc. (A is atomic) - so we have reduced the problem considerably of explaining the determinateness.
>Reduction.
II 295
S4: there are the following possibilities: Positive limit: ~ DA u D ~ D ~ A u ~ D ~ DA.
Negative limit: ~ D ~ A u D ~ DA u ~ D ~ D ~ A
"Definitely indeterminate": D ~ DA u D ~ D ~ A -
"hopelessly indeterminate": ~ D ~ DA u ~ D ~ D ~ A
I.e. not even definite limit.
Potential indeterminacy of the first order/Field: for an agent this means that if he treats A as potentially indeterminate, then he must have degree of believe in it and its negation, which adds up to less than one.
II 361
Def Weak a priori sentence/Field: can be reasonably believed without empirical evidence. III 39 >Second order Logic.
III 39
Stronger/Weaker: weaker theories have rather non-standard models (unintend models) - a higher order systems is stronger than a 1st order system. >Unintended models.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Unintended Models
Unintended Models Field II 264
Unintended/Non-standard model/NSM/Field: Problem: we cannot simply say that the non-standard model is unintended. >Models, >Model theory.
II 265
Non-disquotational view: here it is only meaningful to speak of "unintended", if we can state by what facts about our practice these models are unintend - and precisely because these models make each of our sentences just as true, the specification of such facts appears to be impossible. >Disquotationalism.
II 267
Applying/Explanation/Observing/Field: our observation practice explains how our physical vocabulary applies to all that and only that to which it applies to. - That explains why some non-standard models are unintended. >Observation, >Observation sentences, >Observation language, >Satisfaction.
II 319
Unintended Model/Interpretation/Putnam/Field: there is nothing in our use of the set theoretical predicates. That could make an interpretation "unintended". (VsObjectivity of mathematics).
FieldVsPutnam: but this cannot be extended to the number theory.
>Number theory.
II 320
Not every objective statement is formalizable. - E.g. Consequences with the quantifier "only finitely many". >Formalization.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Unintended Models Fraassen I 66
Unintended Model/Fraassen: E.g. the same formula governs the diffusion of gases and heat transfer. Question: would then the intention have to be part of the theory? No: unintended models disappear when we consider a larger observable part of the world. >Models, >Model theory, >Truth, >Satisfaction, >Theories.

Fr I
B. van Fraassen
The Scientific Image Oxford 1980

Unintended Models Putnam VI 402
Model/theory/interpretation/unintended model/Putnam: because the model is not fixed, regardless of the theory, T1 will be true in the model, however only from the perspective of a meta-theory. It is true in all permitted models from the perspective of a theory, in which the terms of T1 do not refer from the start. S: is then "analytical", but rather in the sense of Kant's "synthetic a priori" because "analytical" belongs more to the form of representation, and not to the "content". It may be wrong of the world (as opposed to the WORLD), because the world is not independent of our description.
>Löwenheim sentence
>Model theory
>Satisfaction
>synthetic a priori
>analytic
>Cpntent
>Theory
>Interpretation
>Theory content
>Reality
cf.
>Reality/Maturana.



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

Unintended Models Simons I 315
Unintended models/not intended/interpretation/Simons: unintended models arise e.g. when one axiom has a modal term non-modally. Analog: if one interprets a mereological term topologically because topologically all quantities exist (closed as open).
Modal/non-modal/(s): non-modal: modal terms do then exist necessary as well as non-technical terms equally (indistinguishable).
>Modalities, >Modal logic, >Possibilia.
Solution/Simons: we can embed a non-modal theory in a modal.
Problem: the modalized theory cannot deal with facts and actual existence.
I 318
To connect mathematics and the world, you need the relations of modal and non-modal truths. >Truth, >Truth functions, >Models, >Model theory.

Simons I
P. Simons
Parts. A Study in Ontology Oxford New York 1987

Vocabulary Field II 237
Deflationism/VsDeflationism: is it possible that most of our present scientific concepts have less power in a deflationist perspective? >Deflationism, >Concepts, >Observation, >Explanation, >Theory language.
Field: perhaps this is so: deflationism shows that there is no best translation of Newtonian terms into modern language.
>Theory change, >Meaning change.
New Vocabulary/Field: can often be captured with old vocabulary plus higher-order quantification. This is e.g. a Ramsey sentence.
>Conservativity, >Ramsey sentence, >Quantification, >Description levels, >Levels (Order).
II 267
Applying/Explaining/Observing/Field: our observation practice explains how our physical vocabulary applies to all that and only that to which it applies to. - This explains why some non-standard models are unintended. >Satisfaction, >Reference, >Unintended models, >Models, >Model theory.
II 355
Undefined/Language/McGee/Field: = Having non-standard models. Solution: Extension by predicate: e.g. "standard natural number".
FieldVs: that is cheating.
>Expansion/Field.
New axioms with new vocabulary are not better than new axioms in the old vocabulary.
Cheating: If it was to be assumed that the new predicates have certain extensions. - (Yet FieldVsIndeterminism)
---
III 9
Pure Mathematics/Application/Field: E.g. Number theory: is not applicable to the world. - For example, set theory: must allow primordial elements for the application. Solution: "impure mathematics": Functions that map physical objects to numbers - Then the comprehension axioms must also contain non-mathematical vocabulary. E.g. instances of the separation axiom.
>Comprehension.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994


The author or concept searched is found in the following 3 controversies.
Disputed term/author/ism Author Vs Author
Entry
Reference
Bostock, D. Simons Vs Bostock, D. I 86
Part/mereology/Bostock/Simons: (Bostock 1979): his mereology should be a basis for his theory of extensive measurement, the rational and irrational numbers. Part-Relation/Bostock: thesis: there is more than one part-relation!
SimonsVsBostock: (see below, Part II): Bostock's assumptions are still too strong to be as minimal as he assumes.
System P/mereology/Bostock: there are no sets, "‹" is a basic concept.
I 87
Least upper bound/l.u.b./sum/product/mereology/Bostock: mereology takes as duality for the product not the sums + and σ but the least upper bound (l.u.b.) +’ and σ’. Compact Set/Bostock: the second axiom (...) tells us that when F-s exist and they are limited above, they then have a sum (σ, not l.u.b. σ'). The resulting system is a little weaker than the classical mereology: it does not force us to assume the existence of a universe.
SimonsVsBostock: with this, his system is still very strong.
Bostock: his system only provides 6 nonisomorphic models ((s) interpretations) for the 7-element model (see above).
A binary least upper bound exists when two objects have an upper bound at all.
Bostock needs this relative strength in order to be able to express the analogy between parts and subsets.
Simons: that is just not the case for the classical mereology.
Bostock: thesis: it is the analogy between part and subset that explains why the concept of the part is at all important to us.
SimonsVsBostock: which cannot be denied but will be undermined in part II for other cases.
BostockVsMereology/stronger/weaker: one should avoid its strongest theses because there are classes of objects that are unlimited above, or they could exist.
The strong classical mereology boils down to that there should be sums that are, in a certain sense, too large or too heterogeneous.
Sum/Bostock: we need an additional condition: sums should be formed exclusively of their summands. This is intended to exclude unintended interpretations of P that are not mereologically.
E.g. the Hasse diagrams from §1.4: higher points are obviously not formed from the lower points.
"To consist of"/mereology/Simons: this is itself a mereological term. The lower points do not form the higher because they are not parts of them!
Part/Bostock/Simons: Bostock's informal condition that we should really understand "part" as part is nothing other than that we do not want unintended models.

Simons I
P. Simons
Parts. A Study in Ontology Oxford New York 1987
McGee, V. Field Vs McGee, V. II 351
Second Order Number Theory/2nd Order Logic/HOL/2nd Order Theory/Field: Thesis (i) full 2nd stage N.TH. is - unlike 1st stage N.TH. - categorical. I.e. it has only one interpretation up to isomorphism.
II 352
in which the N.TH. comes out as true. Def Categorical Theory/Field: has only one interpretation up to isomorphism in which it comes out as true. E.g. second order number theory.
(ii) Thesis: This shows that there can be no indeterminacy for it.
Set Theory/S.th.: This is a bit more complicated: full 2nd order set theory is not quite categorical (if there are unreachable cardinal numbers) but only quasi-categorical. That means, for all interpretations in which it is true, they are either isomorphic or isomorphic to a fragment of the other, which was obtained by restriction to a less unreachable cardinal number.
Important argument: even the quasi-categorical 2nd order theory is still sufficient to give most questions on the cardinality of the continuum counterfactual conditional the same truth value in all interpretations, so that the assumptions of indeterminacy in ML are almost eliminated.
McGee: (1997) shows that we can get a full second order set theory by adding an axiom. This axiom limits it to interpretations in which 1st order quantifiers go above absolutely everything. Then we get full categoricity.
Problem: This does not work if the 2nd order quantifiers go above all subsets of the range of the 1st order quantifiers. (Paradoxes) But in McGee (as Boolos 1984) the 2nd order quantifiers do not literally go above classes as special entities, but as "plural quantifiers". (>plural quantification).
Indeterminacy/2nd Order Logic/FieldVsMcGee: (see above chapter I): Vs the attempt to escape indeterminacy with 2nd order logic: it is questionable whether the indeterminacy argument is at all applicable to the determination of the 2nd order logic as it is applicable to the concept of quantity. If you say that sentences about the counterfactual conditional have no specific truth value, this leads to an argument that the concept "all subsets" is indeterminate, and therefore that it is indeterminate which counts as "full" interpretation.
Plural Quantification: it can also be indeterminate: Question: over which multiplicities should plural quantifiers go?.
"Full" Interpretation: is still (despite it being relative to a concept of "fullness") quasi-unambiguous. But that does not diminish the indeterminacy.
McGeeVsField: (1997): he asserts that this criticism is based on the fact that 2nd order logic is not considered part of the real logic, but rather a set theory in disguise.
FieldVsMcGee: this is wrong: whether 2nd order logic is part of the logic, is a question of terminology. Even if it is a part of logic, the 2nd order quantifiers could be indeterminate, and that undermines that 2nd order categoricity implies determinacy.
"Absolutely Everything"/Quantification/FieldVsMcGee: that one is only interested in those models where the 1st. order quantifiers go over absolutely everything, only manages then to eliminate the indeterminacy of the 1st order quantification if the use of "absolutely everything" is determined!.
Important argument: this demand will only work when it is superfluous: that is, only when quantification over absolutely everything is possible without this requirement!.
All-Quantification/(s): "on everything": undetermined, because no predicate specified, (as usual E.g. (x)Fx). "Everything" is not a predicate.
Inflationism/Field: representatives of inflationist semantics must explain how it happened that properties of our practice (usage) determine that our quantifiers go above absolutely everything.
II 353
McGee: (2000) tries to do just that: (*) We have to exclude the hypothesis that the apparently unrestricted quantifiers of a person go only above entities of type F, if the person has an idea of ​​F.
((s) i.e. you should be able to quantify over something indeterminate or unknown).
Field: McGee says that this precludes the normal attempts to demonstrate the vagueness of all-quantification.
FieldVsMcGee: does not succeed. E.g. Suppose we assume that our own quantifiers determinedly run above everything. Then it seems natural to assume that the quantifiers of another person are governed by the same rules and therefore also determinedly run above everything. Then they could only have a more limited area if the person has a more restricted concept.
FieldVs: the real question is whether the quantifiers have a determinate range at all, even our own! And if so, how is it that our use (practices) define this area ? In this context it is not even clear what it means to have the concept of a restricted area! Because if all-quantification is indeterminate, then surely also the concepts that are needed for a restriction of the range.
Range/Quantification/Field: for every candidate X for the range of unrestricted quantifiers, we automatically have a concept of at least one candidate for the picking out of objects in X: namely, the concept of self-identity! ((s) I.e. all-quantification. Everything is identical with itself).
FieldVsMcGee: Even thoguh (*) is acceptable in the case where our own quantifiers can be indeterminate, it has no teeth here.
FieldVsSemantic Change or VsInduction!!!.
II 355
Schematic 1st Stage Arithmetic/McGee: (1997, p.57): seems to argue that it is much stronger than normal 1st stage arithmetic. G. is a Godel sentence
PA: "Primitive Arithmetic". Based on the normal basic concepts.
McGee: seems to assert that G is provable in schematic PA ((s) so it is not true). We just have to add the T predicate and apply inductions about it.
FieldVsMcGee: that’s wrong. We get stronger results if we also add a certain compositional T Theory (McGee also says that at the end).
Problem: This goes beyond schematic arithmetics.
McGee: his approach is, however, more model theoretical: i.e. schematic 1st stage N.TH. fixes the extensions of number theory concepts clearly.
Def Indeterminacy: "having non-standard models".
McGee: Suppose our arithmetic language is indeterminate, i.e. It allows for unintended models. But there is a possible extension of the language with a new predicate "standard natural number".
Solution: induction on this new predicate will exclude non-standard models.
FieldVsMcGee: I believe that this is cheating (although some recognized logicians represent it). Suppose we only have Peano arithmetic here, with
Scheme/Field: here understood as having instances only in the current language.
Suppose that we have not managed to pick out a uniform structure up to isomorphism. (Field: this assumption is wrong).
FieldVsMcGee: if that’s the case, then the mere addition of new vocabulary will not help, and additional new axioms for the new vocabulary would help no better than if we introduce new axioms simply without the new vocabulary! Especially for E.g. "standard natural number".
Scheme/FieldVsMcGee: how can his rich perspective of schemes help to secure determinacy? It only allows to add a new instance of induction if I introduce new vocabulary. For McGee, the required relevant concept does not seem to be "standard natural number", and we have already seen that this does not help.
Predicate/Determinacy/Indeterminacy/Field: sure if I had a new predicate with a certain "magical" ability to determine its extension.
II 356
Then we would have singled out genuine natural numbers. But this is a tautology and has nothing to do with whether I extend the induction scheme on this magical predicate. FieldVsMysticism/VsMysticism/Magic: Problem: If you think that you might have magical aids available in the future, then you might also think that you already have it now and this in turn would not depend on the schematic induction. Then the only possible relevance of the induction according to the scheme is to allow the transfer of the postulated future magical abilities to the present. And future magic is no less mysterious than contemporary magic.
FieldVsMcGee: it is cheating to describe the expansion of the language in terms of its extensions. The cheating consists in assuming that the new predicates in the expansion have certain extensions. And they do not have them if the indeterminist is right regarding the N.Th. (Field: I do not believe that indeterminism is right in terms of N.Th.; but we assume it here).
Expansion/Extenstion/Language/Theory/FieldVsMcGee: 2)Vs: he thinks that the necessary new predicates could be such for which it is psychological impossible to add them at all, because of their complexity. Nevertheless, our language rules would not forbid her addition.
FieldVsMcGee: In this case, can it really be determined that the language rules allow us something that is psychologically impossible? That seems to be rather a good example of indeterminacy.
FieldVsMcGee: the most important thing is, however, that we do not simply add new predicates with certain extensions.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994
Metaphysical Realism Putnam Vs Metaphysical Realism VI 390
Truth/metaphysical realism/Putnam: thesis: truth is not radically epistemic. Because we could all be brains in a vat, even the most beautiful and most ideal, simplest and most conservative theory could be wrong. Verification/metaphysical realism: then "verified" implies not "true".
Peircean Realism/Putnam: thesis: there is an ideal theory (weaker: than a regulative idea that is presupposed by the terms "true" and "objective").
PutnamVsMetaphysical Realism: I criticize precisely the characteristic that distinguishes it from Peirce's realism. E.g.
T1: is an ideal theory as we understand it. We imagine that it has any property except for objective truth; e.g. it is complete, consistent, predicts observations accurately (as we see and meets all "operational restrictions", it is "beautiful", "simple", etc.
Putnam: thesis: T1 may still be wrong.
E.g. WORLD/PutnamVsMetaphysical Realism: Suppose, it can be divided into an infinite number of parts. And T1 says that there are infinitely many parts in it, so that it is "objectively correct" in this regard.
T1: is consistent (by hypothesis) and has only finite models.
Completeness Theorem: according to it, T1 has a model for every infinite cardinality.
M: is a model with the same cardinality as the WORLD. (This is finite.) The particulars of M are mapped one to one to the parts of the WORLD. We use this mapping to define the relations of M directly in the WORLD.
SAT: is then the result of it: a fulfillment relationship, a "correspondence" between the terms of L and sets of parts of the WORLD. ((s) sets because of the predicates).
Truth: the theory results then in "true" when we interpret "true" as "TRUE(SAT)". (I 403 thereby SAT is of the same logical type as "satisfied" and TRUE(SAT) is defined in terms of SAT like "true" is defined in terms of "satisfied" with Tarski).
VI 391
TRUE(SAT): is then the property of the truth, determined by the relation SAT. ideal theory: Question: what becomes of the claim that even the ideal theory could be wrong" in reality"?
Solution: It may be that SAT is not the intended correspondence relation (unintended model).
"Intended"/Putnam: what does it mean in this case? T1 meets all operational limitations. E.g. if "there is a cow in front of me at this and this point of time" belongs to T1,
VI 392
then that will naturally appear true when there is a cow in front of me. But SAT is a true interpretation of T.
Definition operational conditions/Putnam/(s): that a sentence can be falsified if the object does not have the properties that the sentence attributes to it.
T1 is TRUE(SAT). Thus, the sentence is "true" in this sense, in the sense of TRUE(SAT).
On the other hand: if "there is a cow in front of me at this and this point of time" is operationally "wrong" (falsified), then the sentence is FALSE(/ SAT).
Reference: thus, it meets the "operational conditions".
theoretical conditions: the interpretation of "reference" as SAT meets all theoretical conditions for reference.
N.B.: so the "ideal" theory T1 becomes true. ((s) Problem: We wanted to ask how it can be wrong according to the metaphysical realism).
unintended: question: what additional conditions are there for reference, that could SAT pick out as "unintended" and a different interpretation as intended?
Putnam: thesis, the assumption that even an "ideal" theory could be wrong "in reality", should then be incomprehensible.
Causal theory/reference/metaphysical realism/Putnam: a causal theory of reference would not help here, because how "cause" should clearly refer, is, according to the metaphysical realism, as much a mystery as "cow" can clearly refer.
VI 393
Reference/anti-realism/verificationism/Dummett/PutnamVsMetaphysical Realism: Understanding/anti-realism/Dummett: thesis, the theory of understanding should be operated in terms of verification and falsification.
DummettVsPhenomenalism/Putnam: new: is that there is no "base" of "hard facts" (for example, sense-data) with respect to which one ultimately uses truth-conditional semantics, logic and realistic terms of truth and falsehood.
Understanding/Dummett: understanding a sentence is to know what would be its verification.
Analogy: for the intuitionism: knowing the constructive proof, is to understand a mathematical proposition.
Assertibility condition/assertibility/Dummett: then E.g. "I see a cow" is only assertible if it is verified.
Verification/Dummett/Putnam. N.B.: we say the sentence is verified when it is pronounced > Firth:
Definition self-affirmation/Roderick Firth/Putnam: E.g. "I see a cow" is self-affirmative. It is thus verified when it is pronounced. This does not mean that it is incorrigible. It also does not have to be completely determined (bivalent).
Facts/Dummett/Putnam: thesis: in this sense (the "self-affirmation of observation sentences" (Firth)) all facts are "soft".
VI 394
N.B.: thereby, the realistic terms of truth and falsity are not used. N.B.: the problem how the "only correct" reference ratio is identified, does not arise. Because the term "reference" is not used.
Reference: can we introduce it à la Tarski, but then ""cow" refers to cows" becomes a tautology and understanding this sentence needs no metaphysical realism.
Facts/verificationism/Dummett/Putnam: one should not operate the verificationist semantics in terms of "hard facts". (Neither the one of sense data). Otherwise you could repeat all objections VsMetaphysical Realism on the level that the meta language gets incomprehensible (which would be an equivalent to Wittgenstein's private language argument). (?).
Solution/Dummett: we need to apply the verificationism also in the meta language and the meta-meta language etc.
Understanding/truth condition/Dummett/Putnam: Dummett and I both agree that you cannot treat understanding as knowledge of the truth conditions.
Problem: then it gets incomprehensible vice-versa in what this knowledge should be.
Meaning/meaning theory/PutnamVsDummett: but I do not think that a theory of understanding could be the entire meaning theory.
VI 395
VsMetaphysical realism: thus, we can refute it with Dummett. (with a theory of reference, not meaning theory). Realism/Putnam: then it is not wrong per se, but only the metaphysical, which was just a picture anyway. (So you could say at least).
Solution:
Internal realism is all we need.
Problem: that is not the whole story:
Peirce: the metaphysical realism collapses at a certain point, and this point tells us something, because it is precisely this point at which the metaphysical realism claims to be distinguishable from Peirce's realism . (That is, from the proposition that there is an ideal theory).
PeirceVsMetaphysical realism/PutnamVsPeirce: is mistaken when he says that the metaphysical realism collapses at this exact spot. And I, myself, was already wrong in this point. > E.g.
PutnamVsMetaphysical Realism/PutnamVsPeirce: the metaphysical realism is incoherent elsewhere:
E.g. Suppose, the WORLD is merely a straight line.
Then you can tell 2 stories about the WORLD:
Story 1: there are points. That is, the line has segments which can be infinitely small. The same relation "part of" is valid between points and segments that contain it
VI 396
and between segments and large segments. Story 2: there are no points. Line and all segments have expansion. Thus, it is not claimed that story 1 would be wrong, points are simple logical constructions of segments. Speech about points is derived from speech about segments.
VI 397
PutnamVsMetaphysical Realism: Problem: when you cannot say how the WORLD theory is independent, the speech of all these descriptions will be empty. Putnam: Quine says that in "Ontological Relativity". E.g.
Theory: if we have a complete theory, we can define an equivalence relation (AER): "provable co-extensiveness", with the property that if two terms belong to different equivalence classes (Aeki), no model of the theory refers to the referent, while, if they belong to the same equivalence class, they have the same referent in each model.
We take advantage of that.
Now, if our view is correct,
VI 399
then there is a unique reference maintaining "translation", which connects the two languages. Problem: it is known that there are often not equivalent interpretations of a theory within another theory. Story 1 can be interpreted in Story 2, namely in many different ways. E.g. "points" can be understood as sets of segments with negative power of two. Or sets of segments whose lengths are negative powers of 3.
VsMetaphysical Realism/problem: if that was so, there ought to be a fact about which translation "really" contains the reference.
Putnam: now we can make the picture again more complicated in order to also address the second objection: we allow that the language has more than one way, how it can be applied to the WORLD. (> way of use).
Problem: we can no longer hold onto the image itself. If that, what is a unique set of things within a correct theory, could be "in reality" no definite set, then we have no picture anymore.
Internal realism/Putnam: why is it not refuted by all of these?
VsInternal Realism: E.g. he might ask, "how do you know that "cow" refers to cows"? After all, there are other interpretations of the language as a whole, which would make an ideal theory true (in your language).
VsVs: E.g. Suppose, God gave us the set of all true propositions. That would be the "perfect" theory.
Problem: there would still be infinitely many possible interpretations of this perfect theory, which would meet all operational and theoretical conditions. Even the sentence ""cow" refers to cows" would be true in all these interpretations. How do you know then, that it is true in this sense of "true" that there is a unique "intended" interpretation? "How do you know that "cow" refers to cows in the sense of reference to a certain set of things as opposed to a certain set of things in each accessible interpretation?"
Putnam: that is precisely the objection of Internal RealismVsMetaphysical Realism, but now in the reverse direction.
Reference/internal RealismVsVs: that "cow" refers to cows, follows directly from the definition of reference. It would even be true if the internal realism would be wrong. Relative to the theory, it is a logical truth.
not revisable: but it is not absolutely unrevisable that "cow" refers to cows, but to revise it you would have to reject the whole theory.
Metaphysical RealismVs: The question is therefore not answered: ""cow" refers to cows" is certainly analytically relative to the theory, but it is about how the theory is understood. That "cow" refers to cows is true in all accessible interpretations, but that was not the question.
VI 401
Internal RealismVsMetaphysical Realism/Putnam: the metaphysical realism makes it a mystery how there can be truths a priori, even in the contextual sense, even as a limiting case. An a priori truth must be given by a mysterious intuition. Even E.g. "bachelors are unmarried" would only be a priori due to an intuition. But if it is a "verbal" truth ((s)> "analytical", true because of the meaning of the words) then this is an abbreviation for E.g. "All unmarried men are unmarried. And that is an instance of "all AB are A". And why is that true?
VI 404
PutnamVsMetaphysical Realism is doomed to a) consider the logic either empirically (i.e. not merely revisable, as I believed, myself) but in the sense that it has no conventional component at all, or b) he must see the logic as a priori in the sense, which cannot be explained by the term of convention.
---
Field IV 414
PutnamVsMetaphysical Realism: (Reason, Truth and History pp 135f, 142f, 210f): Thesis metaphysical realism leads to a dichotomy facts/values. And this leads to relativism and the relativism refutes itself. ---
VII 440
Theory Change/truth value/Putnam: not every sentence changes the truth value when it changes from an acceptable theory in another acceptable theory. PutnamVsMetaphysical Realism: but to set off an image, it suffices to show that his project of a complete description of the world without such sentences that change truth values, is impracticable.

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

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

The author or concept searched is found in the following theses of the more related field of specialization.
Disputed term/author/ism Author
Entry
Reference
Unintended Model Quine, W.V.O. II 116
Models / theory / model theory / interpretation / Löwenheim / Putnam: in my opinion, we need to determine interpretations other than by models. (Because several models permitted, but only one can be actually true.).