Aspectos estructurales de la inferencia con predicados vagos

Abstract

En este trabajo consideraremos un planteo estructural de la inferencia con predicados vagos, tomando sobre todo en cuenta, por un lado, la propiedad señalada por Copelaud, quien encuentra que el razonamiento que conduce a las paradojas de la vaguedad, al tipo de la conocida como "sorites" y "la paradoja del hombre calvo", depende de la aceptación de la regla de corte (cut) y también de la contracción; y por otro, la función que parece asumir la regla 'cut' o de corte, señalada por Boolos, especialmente a través, de la incidencia del modus ponens. Resaltaremos, asimismo, algunas semejanzas con la inferencia probabilista, y una especie de fundamento compartido para la paradoja de la 'lotería', caso típico de la aplicación de la lógica deductiva en ese contexto y las paradojas que produce la vaguedad. Finalmente intentaremos poner en relación también la orientación modelistica con la más propia de la teoría de la demostración en este ámbito.