浮浪者述語

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

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

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

参考文献

1. Rescher, N. (2009). 『Unknowability: An inquiry into the limits of knowledge』 プリマス: Lexington Books. ISBN 978-0739136157。
2. Rescher, N. (2008). 「曖昧さ：異形アプローチ」インフォーマルロジック28 ( 4): 282– 294. doi : 10.22329/il.v28i4.2853 .