Predicado vagabundo

Los predicados vagabundos son construcciones lógicas que presentan un límite inherente al conocimiento conceptual. ^[1] Dichos predicados pueden utilizarse en descripciones generales, pero son contradictorios cuando se aplican a particularidades. Por ejemplo, hay números que nunca se han mencionado, pero no se puede dar ningún ejemplo, ya que esto contradeciría su definición. Los predicados vagabundos han sido propuestos y estudiados por Nicholas Rescher .

F es un predicado errante si y solo si ( u ) Fu es verdadero mientras que, sin embargo, Fu ₀ es falso para cada u ₀ específicamente identificado . ^[2]${\displaystyle \existe}$

Cuando se piensa en el infinito como un número mayor que cualquier número dado, se concibe una idea similar. Sin embargo, la vagancia no tiene por qué ser monótona y se produce también dentro de ciertos límites. Rescher ha utilizado predicados vagabundos para resolver el problema de la vaguedad . ^{[1] [2]}