La Lógica

¿Qué es la Lógica en Filosofía?

La lógica (del griego «logos», que tiene varios significados, como palabra, pensamiento, idea, argumento, cuenta, razón o principio) es el estudio del razonamiento, o el estudio de los principios y criterios de inferencia y demostración válidos. Intenta distinguir los buenos razonamientos de los malos.

Aristóteles definió la lógica como un «razonamiento nuevo y necesario», «nuevo» porque nos permite aprender lo que no sabemos, y «necesario» porque sus conclusiones son ineludibles. Plantea preguntas como «¿Qué es un razonamiento correcto?», «¿Qué distingue un buen argumento de uno malo?», «¿Cómo podemos detectar una falacia en un razonamiento?».

La lógica investiga y clasifica la estructura de los enunciados y los argumentos, tanto a través del estudio de los sistemas formales de inferencia como del estudio de los argumentos en el lenguaje natural. Sólo se ocupa de las proposiciones (oraciones declarativas, utilizadas para hacer una afirmación, a diferencia de las preguntas, las órdenes o las oraciones que expresan deseos) que pueden ser verdaderas y falsas. No se ocupa de los procesos psicológicos relacionados con el pensamiento, ni de las emociones, las imágenes o similares. Abarca temas fundamentales como el estudio de las falacias y las paradojas, así como el análisis especializado de los razonamientos que utilizan la probabilidad y los argumentos que implican la causalidad y la teoría de la argumentación.

Los sistemas lógicos deben tener tres cosas: consistencia (lo que significa que ninguno de los teoremas del sistema se contradice entre sí); solidez (lo que significa que las reglas de demostración del sistema nunca permitirán una inferencia falsa a partir de una premisa verdadera); y completitud (lo que significa que no hay oraciones verdaderas en el sistema que no puedan, al menos en principio, demostrarse en el sistema).

Historia de la lógica

En la antigua India, el «Nasadiya Sukta» del Rig Veda contiene varias divisiones lógicas que más tarde se refundieron formalmente como los cuatro círculos de catuskoti: «A», «no A», «A y no A» y «no A y no A». La escuela Nyaya de especulación filosófica india se basa en los textos conocidos como los «Nyaya Sutras» de Aksapada Gautama de alrededor del siglo II a.C., y su metodología de inferencia se basa en un sistema de lógica (que implica una combinación de inducción y deducción pasando de lo particular a lo particular a través de la generalidad) que posteriormente ha sido adoptado por la mayoría de las demás escuelas indias.

Pero la lógica moderna desciende principalmente de la tradición de la antigua Grecia. Tanto Platón como Aristóteles concibieron la lógica como el estudio de la argumentación y desde una preocupación por la corrección de la misma. Aristóteles produjo seis obras sobre lógica, conocidas colectivamente como el «Organon», siendo la primera de ellas, los «Analíticos previos», el primer trabajo explícito de lógica formal.

Aristóteles propugnó dos principios de gran importancia en la lógica, la Ley del Medio Excluido (que toda afirmación es verdadera o falsa) y la Ley de la No Contradicción (confusamente, también conocida como la Ley de la Contradicción, que ninguna afirmación es a la vez verdadera y falsa). Quizá sea más famoso por haber introducido el silogismo (o término lógico) (véase la sección sobre Lógica Deductiva más adelante). Sus seguidores, conocidos como los peripatéticos, refinaron aún más su trabajo sobre la lógica.

En la época medieval, la lógica aristotélica (o dialéctica) se estudiaba, junto con la gramática y la retórica, como una de las tres vertientes principales del trivium, la base de la educación medieval en artes liberales.

La lógica de la filosofía islámica también contribuyó al desarrollo de la lógica moderna, especialmente el desarrollo de la lógica avicena (responsable de la introducción del silogismo hipotético, la lógica temporal, la lógica modal y la lógica inductiva) como alternativa a la lógica aristotélica.

En el siglo XVIII, Immanuel Kant defendió que la lógica debía concebirse como la ciencia del juicio, de modo que las inferencias válidas de la lógica se derivan de las características estructurales de los juicios, aunque seguía manteniendo que Aristóteles había dicho esencialmente todo lo que había que decir sobre la lógica como disciplina.

Sin embargo, en el siglo XX, los trabajos de Gottlob Frege, Alfred North Whitehead y Bertrand Russell sobre la Lógica Simbólica, dieron la vuelta a la afirmación de Kant. Esta nueva lógica, expuesta en su obra conjunta «Principia Mathematica», tiene un alcance mucho más amplio que la lógica aristotélica, e incluso contiene la lógica clásica dentro de ella, aunque como una parte menor. Se asemeja a un cálculo matemático y se ocupa de las relaciones de los símbolos entre sí.

Tipos de lógica

La lógica en general puede dividirse en Lógica Formal, Lógica Informal y Lógica Simbólica y Matemática:

Lógica Formal

La Lógica Formal es lo que consideramos como lógica tradicional o lógica filosófica, es decir, el estudio de la inferencia con contenido puramente formal y explícito (es decir, que puede expresarse como una aplicación particular de una regla totalmente abstracta), como las reglas de la lógica formal que nos han llegado desde Aristóteles. (Véase la sección sobre Lógica Deductiva más adelante).
Un sistema formal (también llamado cálculo lógico) sirve para derivar una expresión (conclusión) a partir de otra u otras expresiones (premisas). Estas premisas pueden ser axiomas (una proposición evidente, que se da por sentada) o teoremas (que se derivan utilizando un conjunto fijo de reglas de inferencia y axiomas, sin ninguna suposición adicional).
El formalismo es la teoría filosófica según la cual los enunciados formales (lógicos o matemáticos) no tienen un significado intrínseco, sino que sus símbolos (que se consideran entidades físicas) presentan una forma que tiene aplicaciones útiles.

Lógica informal

La lógica informal es una disciplina reciente que estudia los argumentos del lenguaje natural e intenta desarrollar una lógica para evaluar, analizar y mejorar el razonamiento del lenguaje ordinario (o «cotidiano»). Por lenguaje natural se entiende un lenguaje hablado, escrito o de signos por los seres humanos para la comunicación de propósito general, a diferencia de los lenguajes formales (como los lenguajes de programación de ordenadores) o los lenguajes construidos (como el esperanto).
Se centra en el razonamiento y la argumentación que se encuentra en el intercambio personal, la publicidad, el debate político, la argumentación jurídica y el comentario social que caracteriza a los periódicos, la televisión, Internet y otras formas de medios de comunicación de masas.

Lógica simbólica

La lógica simbólica es el estudio de las abstracciones simbólicas que captan las características formales de la inferencia lógica. Se ocupa de las relaciones de los símbolos entre sí, a menudo utilizando complejos cálculos matemáticos, en un intento de resolver problemas intratables que la lógica formal tradicional no es capaz de abordar.
A menudo se divide en dos sub-ramas:

Lógica de predicados

Sistema en el que las fórmulas contienen variables cuantificables. (Véase la sección sobre Lógica de Predicados más adelante).
Lógica proposicional (o lógica sentencial): sistema en el que las fórmulas que representan proposiciones pueden formarse combinando proposiciones atómicas mediante conectivos lógicos, y un sistema de reglas de demostración formal permite establecer ciertas fórmulas como teoremas. (Véase la sección sobre Lógica Proposicional más adelante).

Lógica matemática

Tanto la aplicación de las técnicas de la lógica formal a las matemáticas y al razonamiento matemático como, a la inversa, la aplicación de las técnicas matemáticas a la representación y el análisis de la lógica formal.
Los primeros usos de las matemáticas y la geometría en relación con la lógica y la filosofía se remontan a los antiguos griegos, como Euclides, Platón y Aristóteles.
La informática surgió como disciplina en la década de 1940 con los trabajos de Alan Turing (1912 – 1954) sobre el Entscheidungsproblem, que se derivan de las teorías de Kurt Gödel (1906 – 1978), en particular de sus teoremas de incompletitud. En los años 50 y 60, los investigadores predijeron que cuando el conocimiento humano pudiera expresarse mediante la lógica con notación matemática, sería posible crear una máquina que razonara (o inteligencia artificial), aunque esto resultó ser más difícil de lo esperado debido a la complejidad del razonamiento humano. Entre las doctrinas relacionadas con las matemáticas se encuentran:
Logicismo: quizá el intento más audaz de aplicar la lógica a las matemáticas, impulsado por filósofos-lógicos como Gottlob Frege y Bertrand Russell, especialmente la aplicación de las matemáticas a la lógica en forma de teoría de la prueba, teoría de modelos, teoría de conjuntos y teoría de la recursión.

Intuicionismo

Doctrina que sostiene que la lógica y las matemáticas no consisten en actividades analíticas en las que se revelan y aplican propiedades profundas de la existencia, sino simplemente en la aplicación de métodos internamente consistentes para realizar construcciones mentales más complejas.

Lógica deductiva

El razonamiento deductivo se refiere a lo que se sigue necesariamente de unas premisas dadas (es decir, de una premisa general a una particular). Una inferencia es deductivamente válida si (y sólo si) no hay ninguna situación posible en la que todas las premisas sean verdaderas y la conclusión falsa. Sin embargo, hay que recordar que una premisa falsa puede llevar a una conclusión falsa.

El razonamiento deductivo fue desarrollado por Aristóteles, Tales, Pitágoras y otros filósofos griegos del periodo clásico. El núcleo del razonamiento deductivo es el silogismo (también conocido como lógica de términos), generalmente atribuido a Aristóteles), en el que una proposición (la conclusión) se infiere de otras dos (las premisas), cada una de las cuales tiene un término en común con la conclusión. Por ejemplo:

Premisa mayor: Todos los humanos son mortales.
Premisa menor: Sócrates es humano.
Conclusión: Sócrates es mortal.

Un ejemplo de deducción es:

Todas las manzanas son frutas.
Todas las frutas crecen en los árboles.
Por tanto, todas las manzanas crecen en los árboles.

Uno podría negar las premisas iniciales, y por lo tanto negar la conclusión. Pero cualquiera que acepte las premisas debe aceptar la conclusión. Hoy en día, algunos académicos afirman que el sistema de Aristóteles tiene poco más que valor histórico, ya que ha quedado obsoleto con la llegada de la Lógica de Predicados y la Lógica Proposicional (ver las secciones siguientes).

Lógica inductiva

El razonamiento inductivo es el proceso de derivar una generalización fiable a partir de las observaciones (es decir, de lo particular a lo general), de modo que se cree que las premisas de un argumento apoyan la conclusión, pero no la aseguran necesariamente. La lógica inductiva no se ocupa de la validez o la conclusión, sino de la solidez de las inferencias para las que las pruebas no son concluyentes.

Muchos filósofos, como David Hume, Karl Popper y David Miller, han discutido o negado la admisibilidad lógica del razonamiento inductivo. En particular, Hume argumentó que se requiere un razonamiento inductivo para llegar a las premisas del principio de razonamiento inductivo, y por lo tanto la justificación del razonamiento inductivo es un argumento circular.

Un ejemplo de inducción fuerte (un argumento en el que la verdad de la premisa haría probable la verdad de la conclusión, pero no definitiva) es

Todos los cuervos observados son negros.

Por lo tanto:

Todos los cuervos son negros.

Un ejemplo de inducción débil (un argumento en el que el vínculo entre la premisa y la conclusión es débil, y la conclusión ni siquiera es necesariamente probable) es:

Siempre cuelgo los cuadros en los clavos.

Por lo tanto:

Todos los cuadros cuelgan de los clavos.

Lógica modal

La Lógica Modal es cualquier sistema de lógica formal que intenta tratar con las modalidades (expresiones asociadas a las nociones de posibilidad, probabilidad y necesidad). La Lógica Modal, por tanto, se ocupa de términos como «eventualmente», «antes», «posiblemente», «puede», «podría», «puede», «debe», etc.

Las modalidades son formas en las que las proposiciones pueden ser verdaderas o falsas. Los tipos de modalidad incluyen:

• Modalidades aleatorias: Incluye la posibilidad y la necesidad, así como la imposibilidad y la contingencia. Algunas proposiciones son imposibles (necesariamente falsas), mientras que otras son contingentes (tanto posiblemente verdaderas como posiblemente falsas).
• Modalidades temporales: Verdad o falsedad histórica y futura. Algunas proposiciones fueron verdaderas/falsas en el pasado y otras serán verdaderas/falsas en el futuro.
• Modalidades deónticas: Obligación y permisividad. Algunas proposiciones deben ser verdaderas/falsas, mientras que otras son permisibles.
• Modalidades epistémicas: Conocimiento y creencia. Se sabe que algunas proposiciones son verdaderas/falsas, y se cree que otras son verdaderas/falsas.

Aunque la lógica de Aristóteles se ocupa casi por completo de los silogismos categóricos, se anticipó en cierta medida a la lógica modal y a su conexión con la potencialidad y el tiempo. La lógica modal moderna fue fundada por Gottlob Frege, aunque inicialmente dudó de su viabilidad, y sólo fue desarrollada posteriormente por Rudolph Carnap (1891 – 1970), Kurt Gödel (1906 – 1978), C.I. Lewis (1883 – 1964) y luego Saul Kripke (1940 – ), quien estableció el Sistema K, la forma de Lógica Modal que la mayoría de los estudiosos utilizan hoy en día).

Lógica proposicional

La Lógica Proposicional (o Lógica Sentencial) se ocupa únicamente de las conectivas sentenciales y de los operadores lógicos (como «y», «o», «no», «si… entonces…», «porque» y «necesariamente»), a diferencia de la Lógica de Predicados (véase más adelante), que también se ocupa de la estructura interna de las proposiciones atómicas.

La Lógica Proposicional, por tanto, estudia las formas de unir y/o modificar proposiciones, enunciados u oraciones enteras para formar proposiciones, enunciados u oraciones más complejas, así como las relaciones y propiedades lógicas que se derivan de estos métodos de combinación o alteración de enunciados. En la lógica proposicional, los enunciados más simples se consideran unidades indivisibles.

Los filósofos estoicos de finales del siglo III a.C. intentaron estudiar operadores de enunciados como «y», «o» y «si… entonces…», y Crisipo (c. 280-205 a.C.) avanzó un tipo de lógica proposicional, señalando una serie de formas diferentes de formar premisas complejas para los argumentos. Este sistema también fue estudiado por los lógicos medievales, aunque la lógica proposicional no llegó a buen puerto hasta mediados del siglo XIX, con la llegada de la Lógica Simbólica en la obra de lógicos como Augustus DeMorgan (1806-1871), George Boole (1815-1864) y Gottlob Frege.

Lógica de predicados

La Lógica de Predicados permite analizar las oraciones en sujeto y argumento de varias formas diferentes, a diferencia de la lógica silogística aristotélica, en la que hay que especificar y limitar las formas que adopta la parte relevante de los juicios implicados (véase la sección sobre Lógica Deductiva más arriba). La Lógica de Predicados también es capaz de dar cuenta de cuantificadores lo suficientemente generales como para expresar todos los argumentos que ocurren en el lenguaje natural, permitiendo así la solución del problema de la generalidad múltiple que había dejado perplejos a los lógicos medievales.

Por ejemplo, es intuitivamente claro que si

Un gato es temido por todos los ratones

entonces se deduce lógicamente que

Todos los ratones tienen miedo de al menos un gato

pero como cada una de las frases anteriores contiene dos cuantificadores («algunos» y «todos» en la primera frase y «todos» y «al menos uno» en la segunda), no pueden representarse adecuadamente en la lógica tradicional.

La lógica de predicados se diseñó como una forma de matemática y, como tal, es capaz de realizar todo tipo de razonamientos matemáticos más allá de los poderes de la lógica de términos o silogística. En la lógica de primer orden (también conocida como cálculo de predicados de primer orden), un predicado sólo puede referirse a un único sujeto, pero la lógica de predicados también puede ocuparse de la lógica de segundo orden, la lógica de orden superior, la lógica de muchos órdenes o la lógica infinita. También es capaz de realizar muchas inferencias de sentido común que se le escapan a la lógica de términos, y (junto con la lógica proposicional -véase más adelante-) prácticamente ha suplantado a la lógica de términos tradicional en la mayoría de los círculos filosóficos.

La Lógica de Predicados fue desarrollada inicialmente por Gottlob Frege y Charles Peirce a finales del siglo XIX, pero alcanzó su pleno desarrollo en el Atomismo Lógico de Whitehead y Russell en el siglo XX (desarrollado a partir de trabajos anteriores de Ludwig Wittgenstein).

Falacias

Una falacia lógica es cualquier tipo de error en el razonamiento o la inferencia, o, esencialmente, cualquier cosa que haga que un argumento sea erróneo. Hay dos categorías principales de falacias, las falacias de ambigüedad y las falacias contextuales:

• Falacias de ambigüedad: un término es ambiguo si tiene más de un significado. Hay dos tipos principales:
• Equivocación: cuando una misma palabra puede utilizarse en dos sentidos diferentes.
• Anfibolia: cuando la ambigüedad se debe a la estructura de la frase (a menudo debido a participios colgantes o al uso inexacto de los negativos), más que al significado de las palabras individuales.
• Falacias contextuales: que dependen del contexto o de las circunstancias en que se utilizan las frases. Hay muchos tipos diferentes, entre los más comunes están:
• Falacias de significación: cuando no está claro si una afirmación es significativa o no.
• Falacias de énfasis: el énfasis incorrecto de las palabras en una frase.
• Falacias de cita fuera de contexto: la manipulación del contexto de una cita.
• Falacias de Argumentum ad Hominem: no se puede demostrar la falsedad de una afirmación por el mero hecho de que el individuo que la hace tenga un carácter defectuoso.
• Falacias de Argumentos que Apelan a los Sentimientos: informar de lo que siente la gente sobre algo con el fin de persuadir en lugar de probar.
• Falacias de argumento desde la ignorancia: no se puede demostrar que una afirmación es cierta sólo porque no hay pruebas para refutarla.
• Falacia de la pregunta falsa: un argumento circular en el que la misma afirmación se utiliza como premisa y como conclusión.
• Falacias de composición: la suposición de que lo que es cierto para una parte también lo es para el conjunto.
• Falacias de división: la suposición inversa de que lo que es cierto para un todo debe serlo también para todas sus partes.
• Falacia de la conclusión irrelevante: cuando la conclusión se refiere a algo distinto de lo que el argumento pretendía demostrar inicialmente.
• Falacia de la no-secuencia: es un salto argumentativo en el que la conclusión no se deduce necesariamente de las premisas.
• Falacias estadísticas: las estadísticas pueden ser manipuladas y sesgadas para «probar» muchas hipótesis diferentes.

Paradojas

Una paradoja es una afirmación o sentimiento aparentemente contradictorio u opuesto al sentido común y que, sin embargo, puede ser cierto de hecho. A la inversa, una paradoja puede ser una afirmación que en realidad es autocontradictoria (y por tanto falsa) aunque parezca verdadera. Normalmente, o bien los enunciados en cuestión no implican realmente la contradicción, el resultado desconcertante no es realmente una contradicción, o bien las propias premisas no son realmente verdaderas o no pueden serlo todas juntas.

El reconocimiento de las ambigüedades, los equívocos y los supuestos no declarados que subyacen a las paradojas conocidas ha dado lugar a importantes avances en la ciencia, la filosofía y las matemáticas. Pero muchas paradojas (por ejemplo, la paradoja de Curry) aún no tienen resoluciones universalmente aceptadas.

Se puede afirmar que hay cuatro clases de paradojas:

• Paradojas verídicas: que producen un resultado que parece absurdo pero que puede demostrarse que es, sin embargo, verdadero.
• Paradojas falsas: que producen un resultado que no sólo parece falso, sino que es realmente falso.
• Antinomias: que no son ni verídicas ni falsas, sino que producen un resultado autocontradictorio aplicando correctamente las formas de razonamiento aceptadas.
• Dialetheias: que producen un resultado que es verdadero y falso al mismo tiempo y en el mismo sentido.
  Las paradojas suelen ser el resultado de la autorreferencia (cuando una frase o fórmula se refiere a sí misma directamente), la infinitud (un argumento que genera una regresión infinita, o una serie infinita de referencias de apoyo), las definiciones circulares (en las que una proposición que debe probarse se asume implícita o explícitamente en una de las premisas), la vaguedad (cuando no se sabe con claridad si un concepto se aplica o no), las afirmaciones falsas o engañosas (afirmaciones que son falsas o engañosas de forma intencionada o sin saberlo) y las medias verdades (afirmaciones engañosas que incluyen algún elemento de verdad).

Algunas paradojas famosas son:

• La paradoja del mentiroso de Epiménides: Epiménides era un cretense que decía «Todos los cretenses son mentirosos». ¿Debemos creerle?
• Paradoja del Mentiroso (2): «Esta frase es falsa».
• Paradoja del mentiroso (3): «La siguiente frase es falsa. La frase anterior es verdadera».
• Paradoja de Curry: «Si esta frase es verdadera, entonces Papá Noel existe».
• Paradoja de Quine: «produce falsedad cuando va precedida de su cita» produce falsedad cuando va precedida de su cita.
• Paradoja del barbero de Russell: Si un barbero afeita a todos y sólo a los hombres del pueblo que no se afeitan a sí mismos, ¿se afeita a sí mismo?
• Paradoja del abuelo: Supongamos que un viajero en el tiempo retrocede y mata a su abuelo cuando éste era sólo un niño. Si su abuelo muere en la infancia, el viajero del tiempo no puede nacer. Pero si el viajero del tiempo nunca nace, ¿cómo puede haber viajado al pasado?
• Paradoja de la dicotomía de Zenón: Antes de que un objeto en movimiento pueda recorrer una determinada distancia (por ejemplo, una persona que cruza una habitación), debe llegar a la mitad del camino. Antes de llegar a la mitad, debe recorrer una cuarta parte del camino. Antes de recorrer un cuarto, debe recorrer un octavo; antes de un octavo, un dieciseisavo; y así sucesivamente. Como esta secuencia se prolonga eternamente, hay que recorrer un número infinito de puntos, lo que es lógicamente imposible en un periodo de tiempo finito, por lo que nunca se cubrirá la distancia (el cuarto recorrido, etc.).
• La paradoja de Zenón de Aquiles y la tortuga: Si Aquiles permite a la tortuga una ventaja en una carrera, entonces para cuando Aquiles ha llegado al punto de partida de la tortuga, ésta ya ha corrido una distancia menor. Para cuando Aquiles llega a ese segundo punto, la tortuga ha vuelto a avanzar, etc, etc. Así que Aquiles nunca podrá alcanzar a la tortuga.
• La paradoja de la flecha de Zenón: Si se dispara una flecha con un arco, en cualquier momento la flecha está donde está, o está donde no está. Si se mueve donde está, entonces debe estar quieta, y si se mueve donde no está, entonces no puede estar allí. Por lo tanto, no puede moverse en absoluto.
• Paradoja del barco de Teseo: Tras la muerte de Teseo, su barco se expuso al público. Con el paso del tiempo, todas las tablas se habían podrido en un momento u otro, y habían sido sustituidas por nuevas tablas iguales. Si no quedaba nada del barco «original», ¿seguía siendo el barco de Teseo?
• Paradoja de las soritas (montón de arena): Si se quita un grano de arena de un montón, sigue siendo un montón. Si se quitan los granos individualmente, ¿sigue siendo un montón cuando sólo queda un grano? Si no es así, ¿cuándo ha pasado de ser un montón a no serlo?
• La paradoja del cuervo de Hempel: Si todos los cuervos son negros, entonces, en términos estrictos de equivalencia lógica, todo lo que no es negro no es un cuervo. Por lo tanto, todo avistamiento de un jersey azul o de una taza roja confirma la hipótesis de que todos los cuervos son negros.
• Paradoja de Petronio» «Moderación en todas las cosas, incluida la moderación».
• Aviso paradójico: «Por favor, ignore este aviso».
• Paradoja de los números aburridos: Si existe un número aburrido, entonces podemos dividir todos los números en dos conjuntos: interesantes y aburridos. En el conjunto de números aburridos sólo habrá un número que sea el más pequeño. Como es el número más pequeño de los aburridos, se convierte, ipso facto, en un número interesante. Por lo tanto, debemos sacarlo del conjunto opaco y colocarlo en el otro. Pero ahora habrá otro número más pequeño sin interés. La repetición de este proceso hará que cualquier número aburrido sea interesante.
• Paradoja del alumno de Protágoras: Un abogado llegó a un acuerdo con uno de sus alumnos por el que éste le pagaría la instrucción después de haber ganado su primer caso. Al cabo de un tiempo, el abogado se impacientó por la falta de clientes del alumno y decidió demandarle por la cantidad que le debía. La lógica del abogado era que si él, el abogado, ganaba, el alumno le pagaría según la sentencia del tribunal; si el alumno ganaba, entonces tendría que cumplir el acuerdo y pagar de todos modos. El alumno, sin embargo, argumentaba que si él, el alumno, ganaba, entonces por sentencia del tribunal no tenía que pagar al abogado; y si el abogado ganaba, entonces el acuerdo no entraba en vigor y el alumno no tenía que pagar al abogado.
• La paradoja de Moore: «Lloverá pero no creo que lo haga».
• El gato de Schrödinger: Hay un gato en una caja sellada, y la vida o la muerte del gato depende del estado de una partícula subatómica concreta. Según la mecánica cuántica, la partícula sólo tiene un estado definido en el momento exacto de la medición cuántica, por lo que el gato permanece tanto vivo como muerto hasta el momento en que se abre la caja.
• «Tortugas hasta el final»: Una historia sobre una regresión infinita, a menudo atribuida a Bertrand Russell pero que probablemente data de siglos antes, basada en un antiguo mito cosmológico (posiblemente indio) según el cual la Tierra es un disco plano sostenido por un elefante gigante que a su vez está sostenido por una tortuga gigante. En la historia, cuando se le preguntaba qué era lo que sostenía a la tortuga, la respuesta era «son tortugas hasta el final».

Doctrinas principales

Tres doctrinas que se pueden considerar bajo el epígrafe de la Lógica son:

• Intuicionismo
• Logicismo
• Positivismo Lógico