La palabra es abstracción

Según Williamson para ciertos autores (habría que creer entre ellos a Jean-Yves Girard) las conectivas "o", "y", "entonces", etc., no solo significan diferentes cosas que en la Lógica Clásica, ni siquiera son funciones de verdad (recursivas o no). Ponía un ejemplo de algún filósofo del que no me quiero acordar que decía: "Nos casamos y nos divorciamos" es un uso normal del "y" pero no es una función de verdad, pues no implica que al mismo tiempo estemos casados y divorciados. En Big Fish, Jenny le afirma a Edward Bloom que su diferencia de edades siempre se mantendrá constante a pesar de que él tiene 10 más, a lo que Bloom contesta que ahora eso es una gran diferencia. Y Bloom tiene razón, 10 años entre una niña de 8 y un muchacho de 18 es mucha diferencia, pero no es tanta entre un tipo de 38 y una mujer de 28. Aunque no era el punto de Williamson, el asunto nos da una moraleja, nadie va hacer una matemática donde se respete este aspecto del lenguaje natural pues se entienden los supuestos que hacen a estas afirmaciones correctas y que no tienen nada que ver con propiedades numéricas. De igual manera, solo hace falta formalizar el contexto para ver qué tan superfluos son esos conectivos divergentes.