## Philosophy Lexicon of Arguments | |||

Author | Item | Excerpt | Meta data |
---|---|---|---|

Mates, Benson Books on Amazon |
Translation | I 93 Translation/formal language/Mates: a translation of everyday language in the artificial language is meaningless as long as the artificial language is not interpreted - "minimum translation": translated true in true and false in false statements. --- I 102 Translation/meaning/sense/interpretation/Mates: to know whether something is a satisfactory translation (of a formal language), we need not only to know the meaning (reference), but also the sense - otherwise we can obtain various everyday language translations - sense: cannot be stated in a list as meaning - meaning/Mates: gives the non-logical constants truth conditions: E.g. 2 < 3 is true, if the smallest prime number is less than 3 - sense/Mates: provides the content: that the smallest ... is smaller - reference/Mates: provides truth conditions: true, if .. - sense: content: that it is true. --- I 110 Translation/variables/Mates: the translation is not affected by the substitution of the variables, but only by the substitution of the constants. --- I 111 Translation/summary/Mates: 1. meaningless without interpretation. (Assignment of objects to the individual constants) - 2. If an interpretation is given, one can get a "standard translation" for every formal statement, and this by means of the definition of "true in interpretation I" - Problem: if the same interpretation is given in various ways (E.g. 2 = "smallest prime" or "sole even prime number") one can obtain several non-synonymous translations - two formal statements may be equivalent, without being equally good translations - conversely possible: that two statements are adequate but not equivalent - (only for ambiguity). |
Mate I B. Mates Elementare Logik GĂ¶ttingen 1969 Mate II B. Mates 0226509869 1981 |

> Counter arguments against **Mates**

> Counter arguments in relation to **Translation**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file

Ed. Martin Schulz, access date 2017-04-23