predicado Vagrant - Vagrant predicate

Predicados Vagrant são construções lógicas que exibem um limite inerente ao conhecimento conceitual. Tais predicados pode ser utilizado nas descrições gerais mas são auto-contraditórias quando aplicada a elementos. Por exemplo, há um número que nunca foram mencionados, mas nenhum exemplo pode ser dado como isto iria contradizer sua definição. Predicados Vagrant foram propostos e estudados por Nicholas Rescher .

F é um predicado errante sse ( u) Fu é verdadeiro, no entanto, enquanto Fu ₀ é falso para cada e todas as especificamente identificadas u ₀ .${\ Displaystyle \ existe}$

Quando o infinito é pensado como o número maior do que qualquer dado, uma ideia semelhante é concebida. No entanto vadiagem não precisa de ser monótono e ocorre também dentro dos limites. Rescher tem usado vagabundo predicados para resolver o imprecisão problema.

Referências

Esta lógica artigo relacionados com é um esboço . Você pode ajudar a Wikipédia expandindo-o . v t e