Одна из основных проблем с переводом на FOL на самом деле возникает из других областей философии, а не из самой логики.Первое, что пришло в голову при чтении вашего вопроса, это проблема несуществующих объектов.
Например;«Джон боится Пегаса» можно легко перевести на FOL (просто дайте двум объектам предикаты «Иоанн-Изез» и «Пегас-Изез» и двухзначный предикат, утверждающий, что один боится другого).Однако вы сразу создали проблему;нет такого объекта, чтобы этот объект Pegasus-izes.Пегас не настоящий.Итак, утверждения
«Джон боится Пегаса» и «Джон боится снежного человека»
должны быть логически эквивалентны.Мы, говорящие по-английски, знаем, что это неправда (на самом деле Джон любит снежного человека).Таким образом, в то время как предложения прекрасно переводятся в FOL, системе не хватает сложности, необходимой для того, чтобы различать два утверждения без каких-либо огромных трудностей.Можно ли представить предложения?Да.Эти представления полезны?Ну ...
Не уверен, что это именно тот ответ, который вы искали, но, тем не менее, надеюсь, что это пища для размышлений.Возможно, стоит обратить внимание на проблемы с условным материалом - логическое «если-то» и английское «если-то» не всегда хорошо играют вместе.