Cita de Hodges 2/es

La lógica puede definirse como el estudio de conjuntos consistentes de enunciados [...]. La lógica trata de la consistencia, pero no de cualquier clase de consistencia. Por ejemplo, si uno apoya un día a un equipo y al día siguiente a otro, diremos que es veleidoso, pero no necesariamente ilógico. Si un sistema legal hace fácil el divorcio para el rico pero difícil y humillante para el pobre, esto es injusto pero no ilógico. Si una madre da un cachete a su hijo porque ha dicho una mentira, y luego ella misma miente por su cuenta, esta madre obra con doblez, pero no es preciso decir que es ilógica.

El tipo de inconsistencia de que trata la lógica no es la fidelidad o la justicia o la sinceridad; es la compatibilidad de creencias. Un conjunto de creencias es consistente si las creencias son compatibles entre sí [...]: un conjunto de creencias se llama consistente si hay una posible situación que pueda hacer verdaderas todas estas creencias a la vez. El conjunto de creencias se llama inconsistente si no hay ninguna situación posible que haga verdaderas a todas las creencias al mismo tiempo.