Yoav Ravid comments on A Löbian argument pattern for implicit reasoning in natural language: Löbian party invitations

[Yoav Ravid]

“undefinability of truth” seems to be missing a link (currently it links back to this post)