Логический перевод

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