В учебнике логики Светлова делается перевод предложений с естественного языка на упрощенный квази-формальный язык, чтобы выявить логическую структуру.

При (письменном) переводе с или на иностранный -- этим занимаешься на каждой фразе: сначала перевод в квази-язык, уже затем нормальная формулировка.
Даже есть еще один проход:
оригинал >> квази-язык >> перевод-1 >> окончательный перевод

Последний переход делается для приведения текста к "естественному звучанию" для целевого языка, не глядя в оригинал, чтобы исключить влияние структур исходного языка (исключить англицизмы и т.п.).

То есть фактически письменный перевод -- это непрерывное упражнение на выяснение логики каждой фразы переводимого текста.