La lógica es el estudio del razonamiento válido. Se pregunta qué se deduce de qué. Un argumento válido es aquel cuya conclusión debe ser verdadera si las premisas son verdaderas. La lógica proporciona las herramientas para distinguir los buenos argumentos de los malos. Aristóteles sistematizó la lógica con el silogismo. Los lógicos medievales la perfeccionaron. Frege y Russell desarrollaron la lógica simbólica moderna, que utiliza lenguajes formales para representar argumentos y reglas de inferencia para derivar conclusiones. La lógica se utiliza en matemáticas, informática, lingüística y filosofía.

La lógica no es lo mismo que la psicología. Estudia los principios normativos, no cómo piensan las personas en realidad. A menudo, el razonamiento es ilógico, pero eso no altera los requisitos de validez. La lógica tampoco es lo mismo que la retórica. La retórica busca persuadir; la lógica, demostrar. Si bien pueden superponerse, son disciplinas distintas. La lógica tiene muchas ramas: lógica proposicional, lógica de predicados, lógica modal, lógica temporal y lógica multivaluada, entre otras. Cada rama posee sus propios símbolos, reglas y semántica. La lógica es una ciencia formal, como la geometría, y tiene aplicaciones en cualquier campo que requiera un razonamiento preciso.

Tipos de lógica

• Proposicional. Se ocupa de proposiciones completas y conectores.
• Predicado. Se ocupa de objetos, propiedades y cuantificadores.
• Modal. Trata sobre la posibilidad y la necesidad.
• Informal. Trata sobre el razonamiento en lenguaje natural.

La lógica no es un conjunto de conocimientos sobre el mundo. Es un conjunto de conocimientos sobre qué se deduce de qué.