Lo que la lógica es:
El diccionario define la lógica como "la ciencia del razonamiento, del examen, del pensamiento y la inferencia". La lógica permite analizar una afirmación o un razonamiento y determinar si es correcto o no. No se necesita lógica para debatir; sin embargo, si se conoce la lógica aunque sea superficialmente, es mucho más fácil distinguir una afirmación no válida. Existen varios tipos de lógica, como por ejemplo la lógica difusa y la lógica constructiva; tienen reglas diferentes, así como puntos fuertes y débiles. En este documento se trata solamente la lógica simple Booleana, debido a que es de uso y conocimiento general y relativamente fácil de entender. Cuando la gente dice que algo es "lógico", se refiere al tipo de lógica descrita aqui.
Lo que la lógica no es:
Vale la pena mencionar un par de cosas que la lógica no es. En primer lugar, el razonamiento lógico no es una ley absoluta que gobierne el universo. Muchas veces en el pasado, la gente ha llegado a la conclusión que por que algo es lógicamente imposible (dado el avance de la ciencia en ese momento), debe ser imposible y punto. También se creía alguna vez que la geometría euclidiana era una ley universal. Después de todo, era lógicamente consistente. Hoy en día sabemos que las reglas de la geometría euclidiana no son universales. En segundo lugar, la lógica no es un conjunto de reglas que gobiernan el comportamiento humano. Los seres humanos pueden tener metas lógicamente conflictivas.
