Could that be done in common ordinary language?
— creativesoul
The argument I posted is as close as I could get to ordinary language. — frank
I think we can get closer still to an acceptable robust enough position using a more common - fairly ordinary - language. I mean, I think we need to further simplify, but not in mathematical terms such as a logician. Rather, I'm confident that we could much better discuss the role that meaning and truth have/play in all meaningful statements by using some of the most common words and statements.
Generally speaking, logical notation is existentially dependent upon
something else being taken into account. When regarding Convention T, that something else includes any of the meaningful statements that permit it's use. I suspect that we may agree here.
--------------------------------------------------------------------------------------------------------------
The problem is that Davidson's argument against untranslatability contains concepts that are artificial (the Tarski stuff). — frank
I think that perhaps a much broader based underlying problem is at hand; one of which that delves the understanding much deeper than just Davidson's argument. The approach is fraught from the tip-off(from the very beginning of the process).
Convention T is a logical notation practice that uses pre-existing meaningful statements. Convention T is inherently incapable of taking proper account of either the meaning or truth of the statement being rendered for it can say nothing at all about meaning and truth that are prior to meaningful statements.
Some alternative Convention T practice is existentially dependent upon different languages already talking about the same things in different terms, and our already knowing that much. It's not a process and/or method for translation so much as a display of that which has been already effectively/affectively translated. Be that as it may, there's more to be gleaned here...
When using two different languages, it's little more than an equivalency of meaning being drawn. That is possible because of shared truth conditions. The very same circumstances, situations, happenstances, events, states of affairs, and/or facts make both true. We check to see if they are by virtue of looking for and/or at the same actual scenarios/events. Think of some of the most common renderings of Convention T; the ones using both English and German. Both languages have already long since been being used in order to pick out and subsequently describe the very same directly perceptible thing as well as their directly perceptible characteristics.
This merely reminds us that the meaning and truth of statements are forever entwined. Davidson knew this, as do we all, I suppose? He certainly helped me to realize it.
--------------------------------------------------------------------------------------------------------------
Logical notation is itself only one way that we attribute meaning. There is some sort of meaningful value given to each previously undefined term solely by virtue of our drawing a correlation between the term and it's value - whatever that may be. Convention T is itself existentially dependent upon language use, for it is existentially dependent upon pre-existing meaningful statements. Meaningful statements existed in their entirety prior Convention T.
If it is the case that both truth and meaning exist in their entirety prior to statements, then it is the case there are instances of both that Convention T cannot possibly take into account; but Nor can any other logical notation, for that matter, for much the very same reasons.