A solução supervaloracionista para os paradoxos sorites

1. Noções de extensão, anti-extensão e penumbra de um predicado vago.

2. Introdução do conceito de uma precisão de um predicado vago.

3. Condições de consistência para precisões.

4. Introdução de supervalores de verdade em associação com a introdução de precisões de predicados vagos: superverdade (verdadeiro em todas as precisões), superfalsidade (falso em todas as precisões) e valor intermediário (verdadeiro nalgumas precisões e falso noutras precisões).

5. A solução supervaloracionista para os paradoxos sorites: Williamson tem razão quando diagnostica a falsidade do passo indutivo num argumento sorites; mas não tem razão quando, desse diagnóstico, infere que uma fronteira bem definida tem que existir a separar a extensão da anti-extensão de qualquer predicado vago; na realidade, diferentes fronteiras existirão em diferentes precisões, mas nenhuma delas será comum a todas as precisões; os paradoxos resultariam então da nossa intuição de que nenhuma das condicionais nas quais o passo indutivo se deixa desdobrar seria superfalsa.