Correction: (max 500 charact.)
The complaint will not be published.
I 185
Modality/Field: many people believe there can be a simple exchange between modality and ontology: one simply avoids an enrichment of the ontology by modal statements.
>
Ontology , >
Modal logic .
I 255
Modalization/Mathematics/Physics/Field: "Possible Mathematics":
1. Does not allow to preserve platonic physics
2. Advantage: This avoids the indispensability argument
3. False: "It is possible that mathematics is true" - but correct: Conservativity of modality. ((s) Mathematics does not change the content of physical statements).
4. For Platonic physics one still needs to use unmodalized mathematics.
5. Field: but we can formulate physics based neither on mathematics nor on modality: comparative predicates instead of numeric functors. - (257 +)
>
Platonism , >
Mathematics , >
Physics , >
Conservativity .
I 272f
Modal translation/mathematics/Putnam/Field: the idea is that in the modal translation acceptable sentences become true modal statements and unacceptable sentences false modal statements.
Field: then there are two ways of looking at the translations:
1st as true equivalences: then the modal translation shows the truth of the Platonic theorems. (Truth preservation).
>
Truth transfer .
I 273
2nd we can regard the modal translation as true truths: then the Platonic propositions are literally false. ((s) symmetry/asymmetry).
N.B.: It does not make any difference which view is accepted. They only differ verbally in the use of the word "true".
>
Truth .
I 274
Truth/mathematical entities/mE/Field: if a modal translation is to be true, "true" must be considered non-disquotational in order to avoid mathematical entities. - True: can then only mean: it turns out to be disquotational true in the modal translation, otherwise the existence of mathematical entities would be implied. - ((s) "Non-disquotational": = "turns out as disquotational.") (No circle).