Sentence examples for translation argument from inspiring English sources

So the account may seem to hold the promise of overcoming Church's translation argument.

We proceed by providing a factorization-type proof of the above theorem and also sketch how to obtain the same statement from (1) through a simple translation argument.

As mentioned above the theorem admits a second proof through a translation argument, and we proceed by sketching this alternative proof.

One problem with this suggestion was pointed out by Quine (1960) in Word and Object with his indeterminacy of translation argument.

With the above translation argument in hand we see that to prove the sharpness (3) it suffices to consider a given pair of (nu in mathbb {S}^{2n}) and (din mathbb {R}).

The translation argument above then provides the interpretation that the weight corresponds to the Carnot Carathéodory distance from the subspace where the (X_i) and (Y_i) span a hyperplane which is parallel to (Pi _nu ), multiplied by a factor corresponding to how "tilted" (Pi _nu ) is.

But since the value of g at reset for the trajectory forming the upper bound of one band is the value of g at threshold for the trajectory forming its lower bound, and we have taken the limit as n → ∞, we can also estimate δ ∞ ( v t h ) using (8) and indeed, using similar translation arguments, we estimate δ ∞ ( v ) = δ ∞ for all v ∈ [ v r, v t h ].

Salmon offers translations of the argument into the language of quantified modal logic.

n-exponentially convex functions are invariant under admissible shifts and translations of the argument, that is, if (xmapsto f(x)) is n-exponentially convex, then (xmapsto f x-c)) and (xmapsto f x-candda)) are also n-exmapstoially convex functions.

Since the functionals ∥ u ∥ θ 2 and ∫ R N | u | p d x are invariant by translations, the same argument as the proof of [[11], Theorem 1.34] yields that there exists a positive minimizer U θ for the infimum S.

(iii) n-exponentially convex functions are invariant under admissible shifts and translations of the argument, that is, if (xmapsto f(x)) is n-exponentially convex, then (xmapsto f x-c)) and (xmapsto f x-candda)) are also n-exmapstoially convex functions.  .