Второе "высказывание" - не является высказыванием поскольку не обладает законченным смыслом, в виду того, что ссылается на само себя и уходит в бесконечную рекурсию.
То, что высказывание ссылается на себя, вовсе не означает бесконечную рекурсию.
Например, если номером 2 взять утверждение "Оба эти высказывания истинны", получим вполне кошерную систему, в которой на значение первого высказывания никаких ограничений нет.
Имеет место уравнение булевой алгебры у=f(х,у), только и всего. В том примере, что я привёл изначально, при любом у из множества {истина, ложь} х обязательно ложный, в том, что приведено здесь - х любой.
Для стартового поста уравнение имеет вид у=у xor x, для х=1 (истина) сие уравнение неразрешимо.
Вы же не считаете выражение вида у=ау+х рекурсией? Обычное уравнение, корень которого у=х/(1-а), и никаких алибабов, сиречь, рекурсий. А оно точно такое же у=f(х,у), только алгебра не булева.