Lógica
La lógica es el estudio del razonamiento. Las reglas de la lógica permiten a los filósofos hacer deducciones verdaderas y lógicas sobre el mundo. La lógica ayuda a las personas a decidir si algo es verdadero o falso.
La lógica se escribe a menudo en silogismos, que son un tipo de prueba lógica. Un silogismo se compone de un conjunto de enunciados que sirven para demostrar lógicamente el enunciado final, llamado conclusión. Un ejemplo popular de silogismo lógico fue escrito por el filósofo griego clásico Aristóteles:
- Todos los hombres son mortales.
- Sócrates es un hombre.
- Por lo tanto, Sócrates es mortal.
La conclusión es la última afirmación. Este silogismo conecta las dos primeras afirmaciones para hacer una deducción lógica: Sócrates es mortal.
El silogismo se compone de tres enunciadosoproposiciones lógicas. Estos enunciados son frases cortas que describen un pequeño paso en un argumento lógico. Los pequeños enunciados forman el argumento, como los átomos forman las moléculas. Cuando la lógica es correcta, se dice que los enunciados se "siguen" unos a otros.
Las afirmaciones tienen un valor de verdad, lo que significa que se puede demostrar que son verdaderas o falsas, pero no ambas. Las afirmaciones ilógicas o los errores de lógica se denominan falacias lógicas.
Gregor Reisch, La lógica presenta sus principales temas. Margarita Philosophica, 1503 o 1508. En el grabado, dos perros llamados veritas (verdad) y falsitas (falsedad) persiguen a un conejo llamado problema. La lógica corre detrás de los perros, armada con la espada syllogismus (silogismo). En la esquina inferior izquierda se ve al filósofo Parménides en una cueva.
Lógica simbólica
Los enunciados lógicos pueden escribirse con un tipo especial de escritura abreviada, denominada lógica simbólica. Estos símbolos se utilizan para describir el razonamiento lógico de forma abstracta.
- ∧ {\displaystyle \land }
se lee como "y", lo que significa que se aplican ambas afirmaciones. - ∨ {\displaystyle \lor }
se lee como "o", lo que significa que al menos una de las afirmaciones se aplica. - → {\displaystyle \ arrow}
se lee como "implica", "es", o "Si ... entonces ...". Representa el resultado de una afirmación lógica. - ¬ {\displaystyle \lnot }
se lee como "no", o "no es el caso que ...". - ∴ {\a6} {\a6}por lo tanto, se lee como "por lo tanto", que se utiliza para marcar la conclusión de un argumento lógico.
se lee como "por lo tanto", que se utiliza para marcar la conclusión un argumento lógico. - ( ) {\displaystyle ()}
se lee como "paréntesis". Agrupan las sentencias lógicas. Las sentencias entre paréntesis deben considerarse siempre en primer lugar, siguiendo el orden de las operaciones lógicas.
Aquí está el silogismo anterior escrito en lógica simbólica.
( ( h u m a n → m o r t a l ) ∧ ( A r i s t o t l e → h u m a n ) ) → ( A r i s t o t l e → m o r t a l ) {\displaystyle {\rm {((humano\rightarrow mortal)\land (Aristotle\rightarrow humano))\rrow (Aristotle\rightarrow mortal)}} 
Si sustituimos las palabras en inglés por letras, podemos simplificar aún más el silogismo. Al igual que los símbolos matemáticos para operaciones como la suma y la resta, la lógica simbólica separa la lógica abstracta del significado en inglés de los enunciados originales. Con estos símbolos abstractos, la gente puede estudiar la lógica pura sin el uso de un lenguaje escrito específico.
( ( a → b ) ∧ ( c → a ) ) → ( c → b ) {\displaystyle ((a\rightarrow b)\land (c\rightarrow a))\ndrightarrow (c\rightarrow b)} 
El silogismo está ahora escrito de la forma más abstracta y sencilla posible. Se ha eliminado cualquier elemento de distracción, como las palabras en inglés. Cualquiera que comprenda el simbolismo lógico puede entender este argumento.
Prueba lógica
Una prueba lógica es una lista de afirmaciones colocadas en un orden específico para demostrar un punto lógico. Cada una de las afirmaciones de la prueba es una suposición hecha en aras de la argumentación, o bien se ha demostrado que se deduce de las afirmaciones anteriores de la prueba. Todas las pruebas deben comenzar con algunas suposiciones, como "los seres humanos existen" en nuestro primer silogismo. Una prueba demuestra que un enunciado, la conclusión, se desprende de los supuestos iniciales. Con una prueba, podemos demostrar que "Aristóteles es mortal" se deduce lógicamente de "Aristóteles es un hombre" y "Todos los hombres son mortales".
Algunas afirmaciones son siempre verdaderas. Este tipo de afirmaciones se llama tautología. Una tautología clásica muy popular, atribuida al filósofo Parménides de Elea, dice: "Lo que es, es. Lo que no es, no es". Esto significa esencialmente que las afirmaciones verdaderas son verdaderas y las falsas son falsas. Como puedes ver, las tautologías no siempre son útiles para construir argumentos lógicos.
Una tautología se representa en la lógica simbólica como ( a ∨ ¬ a ) {\displaystyle (a\lor \lnot a)}, que significa "O bien a o no a". 
, que significa "O a o no a". Suponiendo que no hay posibilidades no mencionadas, esto cubre todos los casos posibles.
Utiliza
Dado que la lógica es una herramienta que sirve para pensar de forma más racional, puede utilizarse de innumerables maneras. La lógica simbólica se emplea en todas partes, desde los tratados filosóficos hasta las complicadas ecuaciones matemáticas. Los ordenadores utilizan las reglas de la lógica para ejecutar algoritmos, que permiten a los programas informáticos tomar decisiones basadas en datos.
La lógica es fundamental para las matemáticas puras, la estadística y el análisis de datos. Las personas que estudian las matemáticas crean pruebas que utilizan reglas lógicas para demostrar que los hechos matemáticos son correctos. Hay un área de las matemáticas llamada lógica matemática que estudia la lógica utilizando las matemáticas.
La lógica también se estudia en la filosofía.
Páginas relacionadas
Preguntas y respuestas
P: ¿Qué es la lógica?
R: La lógica es el estudio del razonamiento.
P: ¿Cómo utilizan los filósofos las reglas de la lógica?
R: Los filósofos utilizan las reglas de la lógica para hacer deducciones lógicas válidas sobre el mundo.
P: ¿Qué es un silogismo?
R: Un silogismo es un tipo de prueba lógica hecha a partir de una colección de enunciados utilizados para demostrar lógicamente el enunciado final, llamado conclusión.
P: ¿Cuál es el propósito de la lógica?
R: El propósito de la lógica es ayudar a las personas a decidir si algo es verdadero o falso.
P: ¿Cuál es el valor de verdad de las afirmaciones?
R: Los enunciados tienen un valor de verdad, lo que significa que se puede demostrar que son verdaderos o falsos, pero no ambas cosas.
P: ¿Cómo se llaman las afirmaciones ilógicas o errores en lógica?
R: Las afirmaciones ilógicas o los errores en lógica se denominan falacias lógicas.
P: ¿Cuál es un ejemplo de silogismo lógico?
R: Un ejemplo de silogismo lógico es el que escribió el filósofo griego clásico Aristóteles: Todos los hombres son mortales. Sócrates es un hombre. Por lo tanto, Sócrates es mortal.
