Sobre la honestidad en un sentido extra moral

Una mentira es una oración que mentándose verdadera resulta falsa. Su negación debería ser verdadera. La negación clásica (v.g., o p o no p) supone que la información que una oración negada nos otorga es equivalente a la de la oración que negó. Consideremos la negación como una aplicación entre conjuntos de oraciones. La aplicación "no" es biunivoca: para cada oración p del conjunto inicial hay una imagen no p, solo una, y viceversa. Por lo general, el "complemento"se considera equivalente a la negación en teoría de conjuntos. El complemento de un conjunto está constituido por todos los elementos que no pertenecen a ese conjunto, de ahí que si consideramos esta "negación" como una aplicación, mapearía una oración o conjunto de oraciones con muchas otras más. Esto se podría expresa así: si no p entonces q o r o s o t... Este comportamiento se asemeja más al de las oraciones del lenguaje natural. La negación de la mentira no nos dice cuál es la oración verdadera, es decir, no hay forma de obtener la misma información de una mentira que de una verdad. Como la información sirve para coordinar nuestras acciones, la honestidad es más útil que la falta de ella.