浮浪者の述語

浮遊述語は、概念的知識に固有の限界を示す論理構造である。^[1]このような述語は一般的な説明には使用できるが、個別事項に適用すると自己矛盾が生じる。例えば、これまで一度も言及されたことのない数字があるが、定義に反するため例を挙げることはできない。浮遊述語はニコラス・レッシャーによって提案され、研究されてきた。

Fは、 ( u)Fuが真であるが、具体的に特定されたu0のそれぞれに対してFu0が偽である場合に限り、_浮遊述語_である。^[2]${\displaystyle \exists }$

無限を与えられた数よりも大きい数と考えると、同様の考えが浮かびます。しかし、浮遊性は単調である必要はなく、境界内でも発生します。レッシャーは、この曖昧さの問題を解決するために浮遊述語を使用しました。^{[1] [2]}