Логический перевод
- Логика – наука о правильном мышлении и рассуждении.
- Логические преобразования включают перевод между логиками и между логическими системами.
- Трудности перевода связаны с расплывчатостью и двусмысленностью обычного языка.
- Логические операторы в символьной логике имеют точно определенные значения.
- Английское слово “is” имеет множество значений, которые выражаются по-разному в логических системах.
- Перевод между логиками может быть определен в формальном смысле как математическая функция.
- Существует множество логик, отличающихся языками и правилами вывода.
- Критерии адекватного перевода определяют, насколько точно логическая формула отражает логическую структуру предложения.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: