Без заголовка

Ну мне пока хватает :). Думаю хватит в 95% случаев. Даже более простых (decidable) логик должно хватить. Есть конечно моменты невыразимые в логике первого порядка, на практике я с ними пока не встречался. Но есть вещи более удобно выразимые в логиках высшего порядка. К примеру, в онтологиях иногда надо принимать решение, что есть класс, а что есть экземпляр класса. Но в логике высшего порядка эта проблема снимается, ибо там класс может быть и экземпляром одновременно. Также если применять логику для спецификации функциональных программ, в которых функция может быть параметром, то по видимому логикой первого порядка не обойтись. Но я пока в такие дебри не лез :).