Lógica

Estudio del razonamiento correcto.

La lógica estudia formas válidas de inferencia como el modus ponens .

La lógica es el estudio del razonamiento correcto . Incluye lógica tanto formal como informal . La lógica formal es la ciencia de las inferencias o verdades lógicas deductivamente válidas . Estudia cómo las conclusiones se derivan de premisas debido únicamente a la estructura de los argumentos, independientemente de su tema y contenido. La lógica informal está asociada con falacias informales , pensamiento crítico y teoría de la argumentación . Examina argumentos expresados ​​en lenguaje natural , mientras que la lógica formal utiliza lenguaje formal . Cuando se utiliza como sustantivo contable, el término "una lógica" se refiere a un sistema formal lógico que articula un sistema de prueba . La lógica juega un papel central en muchos campos, como la filosofía , las matemáticas , la informática y la lingüística .

La lógica estudia los argumentos, que constan de un conjunto de premisas junto con una conclusión. Un ejemplo es el argumento desde las premisas "es domingo" y "si es domingo entonces no tengo que trabajar" hasta la conclusión "no tengo que trabajar". ^[1] Las premisas y las conclusiones expresan proposiciones o afirmaciones que pueden ser verdaderas o falsas. Una característica importante de las proposiciones es su estructura interna. Por ejemplo, las proposiciones complejas se componen de proposiciones más simples vinculadas por vocabulario lógico como (y) o (si...entonces). Las proposiciones simples también tienen partes, como "domingo" o "trabajo" en el ejemplo. La verdad de una proposición suele depender del significado de todas sus partes. Sin embargo, este no es el caso de las proposiciones lógicamente verdaderas. Son verdaderos sólo por su estructura lógica independiente de los significados específicos de las partes individuales. ${\displaystyle \land }$ ${\displaystyle \to }$

Los argumentos pueden ser correctos o incorrectos. Un argumento es correcto si sus premisas respaldan su conclusión. Los argumentos deductivos tienen la forma más fuerte de apoyo: si sus premisas son verdaderas, entonces su conclusión también debe ser verdadera. Este no es el caso de los argumentos ampliativos , que llegan a información genuinamente nueva que no se encuentra en las premisas. Muchos argumentos en el discurso cotidiano y en las ciencias son argumentos ampliativos. Se dividen en argumentos inductivos y abductivos . Los argumentos inductivos son generalizaciones estadísticas, como inferir que todos los cuervos son negros basándose en muchas observaciones individuales de cuervos negros. ^[2] Los argumentos abductivos son inferencias hacia la mejor explicación, por ejemplo, cuando un médico concluye que un paciente tiene una determinada enfermedad que explica los síntomas que padece. ^[3] Los argumentos que no cumplen con los estándares del razonamiento correcto a menudo incorporan falacias . Los sistemas de lógica son marcos teóricos para evaluar la exactitud de los argumentos.

La lógica ha sido estudiada desde la antigüedad . Los primeros enfoques incluyen la lógica aristotélica , la lógica estoica , el nyaya y el mohismo . La lógica aristotélica se centra en el razonamiento en forma de silogismos . Fue considerado el principal sistema de lógica en el mundo occidental hasta que fue reemplazado por la lógica formal moderna, que tiene sus raíces en el trabajo de matemáticos de finales del siglo XIX como Gottlob Frege . Hoy en día, el sistema más utilizado es la lógica clásica . Consta de lógica proposicional y lógica de primer orden . La lógica proposicional sólo considera relaciones lógicas entre proposiciones completas. La lógica de primer orden también tiene en cuenta las partes internas de las proposiciones, como predicados y cuantificadores . Las lógicas extendidas aceptan las intuiciones básicas detrás de la lógica clásica y las extienden a otros campos, como la metafísica , la ética y la epistemología . Las lógicas desviadas, por otro lado, rechazan ciertas intuiciones clásicas y brindan explicaciones alternativas de las leyes básicas de la lógica.

Definición

La palabra “lógica” tiene su origen en el vocablo griego “logos”, que tiene diversas traducciones, como razón , discurso o lenguaje . ^[4] La lógica se define tradicionalmente como el estudio de las leyes del pensamiento o razonamiento correcto , ^[5] y generalmente se entiende en términos de inferencias o argumentos . El razonamiento es la actividad de sacar inferencias. Los argumentos son la expresión exterior de inferencias. ^[6] Un argumento es un conjunto de premisas junto con una conclusión. A la lógica le interesa saber si los argumentos son correctos, es decir, si sus premisas respaldan la conclusión. ^[7] Estas caracterizaciones generales se aplican a la lógica en el sentido más amplio, es decir, tanto a la lógica formal como a la informal , ya que ambas se ocupan de evaluar la exactitud de los argumentos. ^[8] La lógica formal es el campo tradicionalmente dominante, y algunos lógicos restringen la lógica a la lógica formal. ^[9]

Lógica formal

La lógica formal también se conoce como lógica simbólica y es muy utilizada en lógica matemática . Utiliza un enfoque formal para estudiar el razonamiento: reemplaza expresiones concretas con símbolos abstractos para examinar la forma lógica de los argumentos independientemente de su contenido concreto. En este sentido, es neutral en cuanto al tema, ya que sólo se ocupa de la estructura abstracta de los argumentos y no de su contenido concreto. ^[10]

La lógica formal está interesada en argumentos deductivamente válidos , para los cuales la verdad de sus premisas asegura la verdad de su conclusión. Esto significa que es imposible que las premisas sean verdaderas y la conclusión falsa. ^[11] Para argumentos válidos, la estructura lógica de las premisas y la conclusión sigue un patrón llamado regla de inferencia . ^[12] Por ejemplo, modus ponens es una regla de inferencia según la cual todos los argumentos de la forma "(1) p , (2) si p entonces q , (3) por lo tanto q " son válidos, independientemente de cuáles sean los términos p. y q representan. ^[13] En este sentido, la lógica formal puede definirse como la ciencia de las inferencias válidas. Una definición alternativa ve la lógica como el estudio de verdades lógicas . ^[14] Una proposición es lógicamente verdadera si su verdad depende únicamente del vocabulario lógico utilizado en ella. Esto significa que es cierto en todos los mundos posibles y bajo todas las interpretaciones de sus términos no lógicos, como la afirmación "o está lloviendo o no". ^[15] Estas dos definiciones de lógica formal no son idénticas, pero están estrechamente relacionadas. Por ejemplo, si la inferencia de p a q es deductivamente válida, entonces la afirmación "si p entonces q " es una verdad lógica. ^[dieciséis]

La lógica formal necesita traducir los argumentos del lenguaje natural a un lenguaje formal, como la lógica de primer orden, para evaluar si son válidos. En este ejemplo, la letra "c" representa a Carmen mientras que las letras "M" y "T" representan "mexicana" y "maestra". El símbolo "∧" tiene el significado de "y".

La lógica formal utiliza lenguajes formales para expresar y analizar argumentos. ^[17] Normalmente tienen un vocabulario muy limitado y reglas sintácticas exactas . Estas reglas especifican cómo se pueden combinar sus símbolos para construir oraciones, las llamadas fórmulas bien formadas . ^[18] Esta simplicidad y exactitud de la lógica formal la hacen capaz de formular reglas precisas de inferencia. Determinan si un argumento dado es válido. ^[19] Debido a la dependencia del lenguaje formal, los argumentos en lenguaje natural no se pueden estudiar directamente. Más bien, es necesario traducirlos a un lenguaje formal antes de poder evaluar su validez. ^[20]

El término "lógica" también se puede utilizar en un sentido ligeramente diferente como sustantivo contable. En este sentido, una lógica es un sistema formal lógico. Las distintas lógicas difieren entre sí en cuanto a las reglas de inferencia que aceptan como válidas y los lenguajes formales utilizados para expresarlas. ^[21] A partir de finales del siglo XIX, se han propuesto muchos sistemas formales nuevos. Hay desacuerdos sobre qué hace que un sistema formal sea lógico. ^[22] Por ejemplo, se ha sugerido que sólo los sistemas lógicamente completos , como la lógica de primer orden , califican como lógicas. Por tales razones, algunos teóricos niegan que las lógicas de orden superior sean lógicas en sentido estricto. ^[23]

Lógica informal

Cuando se entiende en un sentido amplio, la lógica abarca tanto la lógica formal como la informal. ^[24] La lógica informal utiliza criterios y estándares no formales para analizar y evaluar la exactitud de los argumentos. Su foco principal está en el discurso cotidiano. ^[25] Su desarrollo fue impulsado por las dificultades para aplicar los conocimientos de la lógica formal a los argumentos en lenguaje natural. ^[26] En este sentido, considera problemas que la lógica formal por sí sola no puede abordar. ^[27] Ambos proporcionan criterios para evaluar la exactitud de los argumentos y distinguirlos de las falacias. ^[28]

Se han sugerido muchas caracterizaciones de la lógica informal, pero no existe un acuerdo general sobre su definición precisa. ^[29] El enfoque más literal considera que los términos "formal" e "informal" se aplican al lenguaje utilizado para expresar argumentos. Desde este punto de vista, la lógica informal estudia argumentos que están en lenguaje informal o natural. ^[30] La lógica formal sólo puede examinarlos indirectamente traduciéndolos primero a un lenguaje formal, mientras que la lógica informal los investiga en su forma original. ^[31] Desde este punto de vista, el argumento "Los pájaros vuelan. Piolín es un pájaro. Por lo tanto, Piolín vuela". pertenece al lenguaje natural y es examinado por la lógica informal. Pero la traducción formal "(1) ; (2) ; (3) " es estudiada por la lógica formal. ^[32] El estudio de los argumentos en lenguaje natural presenta varias dificultades. Por ejemplo, las expresiones del lenguaje natural suelen ser ambiguas, vagas y dependen del contexto. ^[33] Otro enfoque define la lógica informal en un sentido amplio como el estudio normativo de los estándares, criterios y procedimientos de argumentación. En este sentido, incluye preguntas sobre el papel de la racionalidad , el pensamiento crítico y la psicología de la argumentación. ^[34] ${\displaystyle \forall x(Bird(x)\to Flys(x))}$ ${\displaystyle Bird(Tweety)}$ ${\displaystyle Flys(Tweety)}$

Otra caracterización identifica la lógica informal con el estudio de argumentos no deductivos. De esta manera, contrasta con el razonamiento deductivo examinado por la lógica formal. ^[35] Los argumentos no deductivos hacen que su conclusión sea probable pero no garantizan que sea cierta. Un ejemplo es el argumento inductivo desde la observación empírica de que "todos los cuervos que he visto hasta ahora son negros" hasta la conclusión "todos los cuervos son negros". ^[36]

Un enfoque adicional es definir la lógica informal como el estudio de falacias informales . ^[37] Las falacias informales son argumentos incorrectos en los que hay errores presentes en el contenido y el contexto del argumento. ^[38] Un falso dilema , por ejemplo, implica un error de contenido al excluir opciones viables. Éste es el caso de la falacia "o estás con nosotros o contra nosotros; no estás con nosotros; por lo tanto, estás contra nosotros". ^[39] Algunos teóricos afirman que la lógica formal estudia la forma general de los argumentos, mientras que la lógica informal estudia casos particulares de argumentos. Otro enfoque es sostener que la lógica formal sólo considera el papel de las constantes lógicas para realizar inferencias correctas, mientras que la lógica informal también tiene en cuenta el significado de los conceptos sustantivos. Otros enfoques se centran en la discusión de temas lógicos con o sin recursos formales y en el papel de la epistemología para la evaluación de argumentos. ^[40]

Conceptos básicos

Premisas, conclusiones y verdad.

Premisas y conclusiones

Las premisas y las conclusiones son las partes básicas de las inferencias o argumentos y, por tanto, desempeñan un papel central en la lógica. En el caso de una inferencia válida o un argumento correcto, la conclusión se deriva de las premisas o, en otras palabras, las premisas respaldan la conclusión. ^[41] Por ejemplo, las premisas "Marte es rojo" y "Marte es un planeta" apoyan la conclusión "Marte es un planeta rojo". Para la mayoría de los tipos de lógica, se acepta que las premisas y las conclusiones tienen que ser portadoras de verdad . ^{[41] [a]} Esto significa que tienen un valor de verdad : o son verdaderos o falsos. La filosofía contemporánea generalmente los ve como proposiciones o como oraciones . ^[43] Las proposiciones son las denotaciones de oraciones y generalmente se consideran objetos abstractos . ^[44] Por ejemplo, la frase inglesa "the tree is green" es diferente de la frase alemana "der Baum ist grün", pero ambas expresan la misma proposición. ^[45]

Las teorías proposicionales de premisas y conclusiones suelen ser criticadas porque se basan en objetos abstractos. Por ejemplo, los naturalistas filosóficos suelen rechazar la existencia de objetos abstractos. Otros argumentos se refieren a los desafíos que implica especificar los criterios de identidad de las proposiciones. ^[43] Estas objeciones se evitan viendo las premisas y conclusiones no como proposiciones sino como oraciones, es decir, como objetos lingüísticos concretos como los símbolos mostrados en una página de un libro. Pero este enfoque conlleva nuevos problemas propios: las oraciones suelen depender del contexto y son ambiguas, lo que significa que la validez de un argumento no sólo dependería de sus partes sino también de su contexto y de cómo se interpreta. ^[46] Otro enfoque es entender las premisas y conclusiones en términos psicológicos como pensamientos o juicios. Esta postura se conoce como psicologismo . Se discutió extensamente a principios del siglo XX, pero hoy en día no es ampliamente aceptado. ^[47]

Estructura interna

Las premisas y las conclusiones tienen una estructura interna. Como proposiciones u oraciones, pueden ser simples o complejas. ^[48] ​​Una proposición compleja tiene otras proposiciones como constituyentes, que están vinculadas entre sí a través de conectivos proposicionales como "y" o "si... entonces". Las proposiciones simples, por el contrario, no tienen partes proposicionales. Pero también pueden concebirse como si tuvieran una estructura interna: están formados por partes subproposicionales, como términos singulares y predicados . ^{[49] [48]} Por ejemplo, la proposición simple "Marte es rojo" se puede formar aplicando el predicado "rojo" al término singular "Marte". Por el contrario, la proposición compleja "Marte es rojo y Venus es blanco" se compone de dos proposiciones simples conectadas por el conectivo proposicional "y". ^[49]

Que una proposición sea verdadera depende, al menos en parte, de sus constituyentes. Para proposiciones complejas formadas utilizando conectivos proposicionales funcionales de verdad , su verdad sólo depende de los valores de verdad de sus partes. ^{[49] [50]} Pero esta relación es más complicada en el caso de proposiciones simples y sus partes subproposicionales. Estas partes subproposicionales tienen significados propios, como referirse a objetos o clases de objetos. ^[51] Que la proposición simple que forman sea verdadera depende de su relación con la realidad, es decir, de cómo son los objetos a los que se refieren. Este tema es estudiado por teorías de referencia . ^[52]

verdad lógica

Algunas proposiciones complejas son verdaderas independientemente de los significados sustantivos de sus partes. ^[53] En la lógica clásica, por ejemplo, la proposición compleja "o Marte es rojo o Marte no es rojo" es verdadera independientemente de si sus partes, como la proposición simple "Marte es rojo", son verdaderas o falsas. En tales casos, la verdad se llama verdad lógica: una proposición es lógicamente verdadera si su verdad depende sólo del vocabulario lógico utilizado en ella. ^[54] Esto significa que es cierto bajo todas las interpretaciones de sus términos no lógicos. En algunas lógicas modales , esto significa que la proposición es verdadera en todos los mundos posibles. ^[55] Algunos teóricos definen la lógica como el estudio de verdades lógicas. ^[dieciséis]

tablas de verdad

Las tablas de verdad se pueden utilizar para mostrar cómo funcionan los conectivos lógicos o cómo los valores de verdad de proposiciones complejas dependen de sus partes. Tienen una columna para cada variable de entrada. Cada fila corresponde a una posible combinación de los valores de verdad que pueden tomar estas variables; Para las tablas de verdad presentadas en la literatura inglesa, los símbolos "T" y "F" o "1" y "0" se utilizan comúnmente como abreviaturas de los valores de verdad "verdadero" y "falso". ^[56] Las primeras columnas presentan todas las posibles combinaciones de valores de verdad para las variables de entrada. Las entradas en las otras columnas presentan los valores de verdad de las expresiones correspondientes según lo determinado por los valores de entrada. Por ejemplo, la expresión " " ${\displaystyle p\land q}$ utiliza el conectivo lógico ( y ). Podría usarse para expresar una frase como "ayer era domingo y hacía buen tiempo". Sólo es cierto si sus dos variables de entrada ("ayer fue domingo") y ("hacía buen tiempo") son verdaderas. En todos los demás casos, la expresión en su conjunto es falsa. Otros conectivos lógicos importantes son ( no ), ( o ), ( si...entonces ) y ( trazo de Sheffer ). ^[57] Dada la proposición condicional , se pueden formar tablas de verdad de su inverso , su inverso ( ) y su contrapositivo ( ) . También se pueden definir tablas de verdad para expresiones más complejas que utilizan varios conectivos proposicionales. ^[58] ${\displaystyle \land }$ ${\displaystyle p}$ ${\displaystyle q}$ ${\displaystyle \lnot }$ ${\displaystyle \lor }$ ${\displaystyle \to }$ ${\displaystyle \uparrow }$ ${\displaystyle p\to q}$ ${\displaystyle q\to p}$ ${\displaystyle \lnot p\to \lnot q}$ ${\displaystyle \lnot q\to \lnot p}$

Argumentos e inferencias

La lógica se define comúnmente en términos de argumentos o inferencias como el estudio de su corrección. ^[59] Un argumento es un conjunto de premisas junto con una conclusión. ^[60] Una inferencia es el proceso de razonamiento desde estas premisas hasta la conclusión. ^[43] Pero estos términos a menudo se usan indistintamente en lógica. Los argumentos son correctos o incorrectos dependiendo de si sus premisas respaldan su conclusión. Las premisas y conclusiones, por otra parte, son verdaderas o falsas dependiendo de si están de acuerdo con la realidad. En lógica formal, un argumento sólido es un argumento que es correcto y que sólo tiene premisas verdaderas. ^[61] A veces se hace una distinción entre argumentos simples y complejos. Un argumento complejo se compone de una cadena de argumentos simples. Esto significa que la conclusión de un argumento actúa como premisa de argumentos posteriores. Para que un argumento complejo tenga éxito, cada eslabón de la cadena debe tener éxito. ^[43]

Terminología de argumentos utilizada en lógica.

Los argumentos y las inferencias son correctos o incorrectos. Si son correctas entonces sus premisas respaldan su conclusión. En el caso incorrecto, falta este soporte. Puede adoptar diferentes formas correspondientes a los distintos tipos de razonamiento . ^[62] La forma más fuerte de apoyo corresponde al razonamiento deductivo . Pero incluso los argumentos que no son deductivamente válidos pueden ser buenos argumentos porque sus premisas ofrecen apoyo no deductivo a sus conclusiones. Para tales casos, se utiliza el término razonamiento ampliativo o inductivo. ^[63] Los argumentos deductivos están asociados con la lógica formal en contraste con la relación entre los argumentos ampliativos y la lógica informal. ^[64]

Deductivo

Un argumento deductivamente válido es aquel cuyas premisas garantizan la verdad de su conclusión. ^[11] Por ejemplo, el argumento "(1) todas las ranas son anfibios; (2) ningún gato es anfibio; (3) por lo tanto ningún gato es rana" es deductivamente válido. Para la validez deductiva, no importa si las premisas o la conclusión son realmente verdaderas. Entonces, el argumento "(1) todas las ranas son mamíferos; (2) ningún gato es mamífero; (3) por lo tanto, ningún gato es rana" también es válido porque la conclusión se sigue necesariamente de las premisas. ^{[sesenta y cinco]}

Según una influyente visión de Alfred Tarski , los argumentos deductivos tienen tres características esenciales: (1) son formales, es decir, dependen sólo de la forma de las premisas y la conclusión; (2) son a priori, es decir, no se necesita experiencia sensorial para determinar si se obtienen; (3) son modales, es decir, que se cumplen por necesidad lógica para las proposiciones dadas, independientemente de cualquier otra circunstancia. ^[66]

Debido a la primera característica, el énfasis en la formalidad, la inferencia deductiva suele identificarse con reglas de inferencia. ^[67] Las reglas de inferencia especifican la forma de las premisas y la conclusión: cómo deben estructurarse para que la inferencia sea válida. Los argumentos que no siguen ninguna regla de inferencia son deductivamente inválidos. ^[68] El modus ponens es una regla de inferencia destacada. Tiene la forma " p ; si p , entonces q ; luego q ". ^[69] Sabiendo que acaba de llover ( ) y que después de la lluvia las calles están mojadas ( ), se puede utilizar el modus ponens para deducir que las calles están mojadas ( ). ^[70] ${\displaystyle p}$ ${\displaystyle p\to q}$ ${\displaystyle q}$

La tercera característica puede expresarse afirmando que las inferencias deductivamente válidas preservan la verdad: es imposible que las premisas sean verdaderas y la conclusión sea falsa. ^[71] Debido a esta característica, a menudo se afirma que las inferencias deductivas no son informativas ya que la conclusión no puede llegar a información nueva que no esté ya presente en las premisas. ^[72] Pero este punto no siempre se acepta ya que significaría, por ejemplo, que la mayor parte de las matemáticas no son informativas. Una caracterización diferente distingue entre información de superficie y de profundidad. La información superficial de una oración es la información que presenta explícitamente. La información profunda es la totalidad de la información contenida en la oración, tanto explícita como implícitamente. Según este punto de vista, las inferencias deductivas no son informativas en el nivel de profundidad. Pero pueden ser muy informativos en el nivel superficial al hacer explícita la información implícita. Esto sucede, por ejemplo, en las demostraciones matemáticas. ^[73]

Ampliativa

Los argumentos ampliativos son argumentos cuyas conclusiones contienen información adicional que no se encuentra en sus premisas. En este sentido, son más interesantes porque contienen información a nivel de profundidad y el pensador puede aprender algo genuinamente nuevo. Pero esta característica tiene un cierto costo: las premisas respaldan la conclusión en el sentido de que hacen más probable su verdad, pero no aseguran su verdad. ^[74] Esto significa que la conclusión de un argumento ampliativo puede ser falsa aunque todas sus premisas sean verdaderas. Esta característica está estrechamente relacionada con la no monotonicidad y la viabilidad : puede ser necesario retractarse de una conclusión anterior al recibir nueva información o a la luz de nuevas inferencias extraídas. ^[75] El razonamiento ampliativo desempeña un papel central en muchos argumentos que se encuentran en el discurso cotidiano y en las ciencias. Los argumentos ampliativos no son automáticamente incorrectos. En cambio, simplemente siguen diferentes estándares de corrección. El apoyo que brindan para su conclusión suele ser gradual. Esto significa que los argumentos ampliativos fuertes hacen que su conclusión sea muy probable, mientras que los débiles son menos seguros. Como consecuencia, la línea entre argumentos correctos e incorrectos es borrosa en algunos casos, como cuando las premisas ofrecen un apoyo débil pero no despreciable. Esto contrasta con los argumentos deductivos, que son válidos o inválidos sin nada intermedio. ^[76]

La terminología utilizada para categorizar los argumentos ampliativos es inconsistente. Algunos autores, como James Hawthorne, utilizan el término " inducción " para abarcar todas las formas de argumentos no deductivos. ^[77] Pero en un sentido más estricto, la inducción es sólo un tipo de argumento ampliativo junto con los argumentos abductivos . ^[78] Algunos filósofos, como Leo Groarke, también permiten argumentos conductivos ^[b] como un tipo más. ^[79] En este sentido estricto, la inducción a menudo se define como una forma de generalización estadística. ^[80] En este caso, las premisas de un argumento inductivo son muchas observaciones individuales que muestran un patrón determinado. La conclusión entonces es una ley general que este patrón siempre se cumple. ^[81] En este sentido, uno puede inferir que "todos los elefantes son grises" basándose en observaciones pasadas del color de los elefantes. ^[78] Una forma estrechamente relacionada de inferencia inductiva tiene como conclusión no una ley general sino un caso más específico, como cuando se infiere que un elefante que uno no ha visto todavía también es gris. ^[81] Algunos teóricos, como Igor Douven, estipulan que las inferencias inductivas se basan únicamente en consideraciones estadísticas. De esta manera, se pueden distinguir de la inferencia abductiva. ^[78]

La inferencia abductiva puede tener en cuenta o no observaciones estadísticas. En cualquier caso, las premisas apoyan la conclusión porque la conclusión es la mejor explicación de por qué las premisas son verdaderas. ^[82] En este sentido, también se llama abducción a la inferencia hacia la mejor explicación . ^[83] Por ejemplo, dada la premisa de que hay un plato con pan rallado en la cocina temprano en la mañana, se puede inferir la conclusión de que el compañero de casa tomó un refrigerio a medianoche y estaba demasiado cansado para limpiar la mesa. Esta conclusión se justifica porque es la mejor explicación del estado actual de la cocina. ^[78] Para la abducción, no es suficiente que la conclusión explique las premisas. Por ejemplo, la conclusión de que un ladrón irrumpió en la casa anoche, tuvo hambre en el trabajo y comió un refrigerio a medianoche también explicaría el estado de la cocina. Pero esta conclusión no está justificada porque no es la mejor explicación ni la más probable. ^{[82] [83]}

Falacias

No todos los argumentos están a la altura de los estándares del razonamiento correcto. Cuando no es así, se suele denominar falacias . Su aspecto central no es que su conclusión sea falsa sino que hay algún defecto en el razonamiento que conduce a esta conclusión. ^[84] Entonces, el argumento "hoy hace sol; por lo tanto, las arañas tienen ocho patas" es falaz aunque la conclusión sea cierta. Algunos teóricos, como John Stuart Mill , dan una definición más restrictiva de falacias al exigir además que parezcan correctas. ^[85] De esta manera, las falacias genuinas pueden distinguirse de los meros errores de razonamiento debidos a un descuido. Esto explica por qué la gente tiende a cometer falacias: porque tienen un elemento atractivo que induce a la gente a cometerlas y aceptarlas. ^[86] Sin embargo, esta referencia a las apariencias es controvertida porque pertenece al campo de la psicología , no a la lógica, y porque las apariencias pueden ser diferentes para diferentes personas. ^[87]

El dilema de los jóvenes estadounidenses: ¿seré sabio y grande, o rico y poderoso? (cartel de 1901) Este es un ejemplo de un falso dilema : una falacia informal que utiliza una premisa disyuntiva que excluye alternativas viables.

Las falacias suelen dividirse en falacias formales e informales. ^[38] Para las falacias formales, la fuente del error se encuentra en la forma del argumento. Por ejemplo, negar el antecedente es un tipo de falacia formal, como en "si Otelo es soltero, entonces es hombre; Otelo no es soltero; por lo tanto, Otelo no es hombre". ^[88] Pero la mayoría de las falacias caen en la categoría de falacias informales, de las cuales se analiza una gran variedad en la literatura académica. La fuente de su error suele encontrarse en el contenido o el contexto del argumento. ^[89] Las falacias informales a veces se clasifican como falacias de ambigüedad, falacias de presunción o falacias de relevancia. Para las falacias de ambigüedad, la ambigüedad y la vaguedad del lenguaje natural son responsables de su defecto, como en "las plumas son claras; lo que es claro no puede ser oscuro; por lo tanto, las plumas no pueden ser oscuras". ^[90] Las falacias de presunción tienen una premisa incorrecta o injustificada, pero pueden ser válidas en otros casos. ^[91] En el caso de falacias de relevancia, las premisas no respaldan la conclusión porque no son relevantes para ella. ^[92]

Reglas definitorias y estratégicas.

El objetivo principal de la mayoría de los lógicos es estudiar los criterios según los cuales un argumento es correcto o incorrecto. Se comete una falacia si se violan estos criterios. En el caso de la lógica formal, se les conoce como reglas de inferencia . ^[93] Son reglas definitorias, que determinan si una inferencia es correcta o qué inferencias están permitidas. Las reglas definitorias contrastan con las reglas estratégicas. Las reglas estratégicas especifican qué movimientos inferenciales son necesarios para llegar a una conclusión determinada basada en un conjunto de premisas. Esta distinción no sólo se aplica a la lógica sino también a los juegos. En el ajedrez , por ejemplo, las reglas definitorias dictan que los alfiles sólo pueden moverse en diagonal. Las reglas estratégicas, por otra parte, describen cómo se pueden utilizar los movimientos permitidos para ganar una partida, por ejemplo, controlando el centro y defendiendo al rey . ^[94] Se ha argumentado que los lógicos deberían dar más énfasis a las reglas estratégicas, ya que son muy relevantes para un razonamiento eficaz. ^[93]

Sistemas formales

Un sistema formal de lógica consiste en un lenguaje formal junto con un conjunto de axiomas y un sistema de prueba utilizado para sacar inferencias de estos axiomas. ^[95] En lógica, los axiomas son declaraciones que se aceptan sin prueba. Se utilizan para justificar otras afirmaciones. ^[96] Algunos teóricos también incluyen una semántica que especifica cómo las expresiones del lenguaje formal se relacionan con los objetos reales. ^[97] A partir de finales del siglo XIX, se han propuesto muchos sistemas formales nuevos. ^[98]

Un lenguaje formal consta de un alfabeto y reglas sintácticas. El alfabeto es el conjunto de símbolos básicos utilizados en las expresiones . Las reglas sintácticas determinan cómo se pueden organizar estos símbolos para dar como resultado fórmulas bien formadas. ^[99] Por ejemplo, las reglas sintácticas de la lógica proposicional determinan que " " ${\displaystyle P\land Q}$ es una fórmula bien formada pero " " ${\displaystyle \land Q}$ no lo es, ya que la conjunción lógica requiere términos en ambos lados. ^[100] ${\displaystyle \land }$

Un sistema de prueba es una colección de reglas para construir pruebas formales. Es una herramienta para llegar a conclusiones a partir de un conjunto de axiomas. Las reglas en un sistema de prueba se definen en términos de la forma sintáctica de fórmulas independientemente de su contenido específico. Por ejemplo, la regla clásica de introducción de conjunciones establece que se sigue de las premisas y . Estas reglas se pueden aplicar secuencialmente, dando un procedimiento mecánico para generar conclusiones a partir de premisas. Existen diferentes tipos de sistemas de prueba, incluida la deducción natural y los cálculos secuenciales . ^[101] ${\displaystyle P\land Q}$ ${\displaystyle P}$ ${\displaystyle Q}$

Una semántica es un sistema para mapear expresiones de un lenguaje formal con sus denotaciones. En muchos sistemas de lógica, las denotaciones son valores de verdad. Por ejemplo, la semántica de la lógica proposicional clásica asigna a la fórmula la denotación "verdadera" siempre que y sean verdaderas. Desde el punto de vista semántico, una premisa implica una conclusión si la conclusión es verdadera siempre que la premisa sea verdadera. ^[102] ${\displaystyle P\land Q}$ ${\displaystyle P}$ ${\displaystyle Q}$

Un sistema de lógica es sólido cuando su sistema de prueba no puede derivar una conclusión a partir de un conjunto de premisas a menos que esté implicada semánticamente por ellas. En otras palabras, su sistema de prueba no puede conducir a conclusiones falsas, tal como lo define la semántica. Un sistema es completo cuando su sistema de prueba puede derivar todas las conclusiones que sus premisas implican semánticamente. En otras palabras, su sistema de prueba puede conducir a cualquier conclusión verdadera, tal como la define la semántica. Así, la solidez y la integridad juntas describen un sistema cuyas nociones de validez y vinculación se alinean perfectamente. ^[103]

Sistemas de lógica

Los sistemas de lógica son marcos teóricos para evaluar la exactitud del razonamiento y los argumentos. Durante más de dos mil años, la lógica aristotélica fue tratada como el canon de la lógica en el mundo occidental, ^[104] pero los avances modernos en este campo han llevado a una vasta proliferación de sistemas lógicos. ^[105] Una categorización destacada divide los sistemas lógicos formales modernos en lógica clásica , lógica extendida y lógica desviada . ^[106]

aristotélico

La lógica aristotélica abarca una gran variedad de temas. Incluyen tesis metafísicas sobre categorías ontológicas y problemas de explicación científica. Pero en un sentido más estricto, es idéntico al término lógica o silogística. Un silogismo es una forma de argumento que involucra tres proposiciones: dos premisas y una conclusión. Cada proposición tiene tres partes esenciales: un sujeto , un predicado y una cópula que conecta el sujeto con el predicado. ^[107] Por ejemplo, la proposición "Sócrates es sabio" se compone del sujeto "Sócrates", el predicado "sabio" y la cópula "es". ^[108] El sujeto y el predicado son los términos de la proposición. La lógica aristotélica no contiene proposiciones complejas formadas por proposiciones simples. Se diferencia en este aspecto de la lógica proposicional, en la que dos proposiciones cualesquiera se pueden vincular utilizando un conectivo lógico como "y" para formar una nueva proposición compleja. ^[109]

El cuadrado de oposición se utiliza a menudo para visualizar las relaciones entre las cuatro proposiciones categóricas básicas de la lógica aristotélica. Muestra, por ejemplo, que las proposiciones "Todos los S son P" y "Algunos S no son P" son contradictorias, lo que significa que una de ellas tiene que ser verdadera mientras que la otra es falsa.

En la lógica aristotélica, el sujeto puede ser universal , particular , indefinido o singular . Por ejemplo, el término "todos los humanos" es un sujeto universal en la proposición "todos los humanos son mortales". Se podría formar una proposición similar reemplazándolo con el término particular "algunos humanos", el término indefinido "un humano" o el término singular "Sócrates". ^[110]

La lógica aristotélica sólo incluye predicados de propiedades simples de entidades. Pero carece de predicados correspondientes a relaciones entre entidades. ^[111] El predicado puede vincularse al sujeto de dos maneras: ya sea afirmándolo o negándolo. ^[112] Por ejemplo, la proposición "Sócrates no es un gato" implica la negación del predicado "gato" al sujeto "Sócrates". Utilizando combinaciones de sujetos y predicados se puede formar una gran variedad de proposiciones y silogismos. Los silogismos se caracterizan por el hecho de que las premisas están vinculadas entre sí y con la conclusión compartiendo un predicado en cada caso. ^[113] Así, estas tres proposiciones contienen tres predicados, denominados término mayor , término menor y término medio . ^[114] El aspecto central de la lógica aristotélica implica clasificar todos los silogismos posibles en argumentos válidos e inválidos según cómo se forman las proposiciones. ^{[112] [115]} Por ejemplo, el silogismo "todos los hombres son mortales; Sócrates es un hombre; por lo tanto, Sócrates es mortal" es válido. El silogismo "todos los gatos son mortales; Sócrates es mortal; por lo tanto Sócrates es un gato", por otro lado, no es válido. ^[116]

Clásico

La lógica clásica es distinta de la lógica tradicional o aristotélica. Abarca la lógica proposicional y la lógica de primer orden. Es "clásico" en el sentido de que se basa en intuiciones lógicas básicas compartidas por la mayoría de los lógicos. ^[117] Estas intuiciones incluyen la ley del tercero excluido , la eliminación de la doble negación , el principio de explosión y la bivalencia de la verdad. ^[118] Fue desarrollado originalmente para analizar argumentos matemáticos y solo más tarde se aplicó también a otros campos. Debido a este enfoque en las matemáticas, no incluye vocabulario lógico relevante para muchos otros temas de importancia filosófica. Ejemplos de conceptos que pasa por alto son el contraste entre necesidad y posibilidad y el problema de la obligación y el permiso éticos. De manera similar, no aborda las relaciones entre pasado, presente y futuro. ^[119] Estas cuestiones se abordan mediante lógicas ampliadas. Se basan en las intuiciones básicas de la lógica clásica y las amplían introduciendo nuevo vocabulario lógico. De esta manera, el enfoque lógico exacto se aplica a campos como la ética o la epistemología que se encuentran más allá del alcance de las matemáticas. ^[120]

Lógica proposicional

La lógica proposicional comprende sistemas formales en los que las fórmulas se construyen a partir de proposiciones atómicas utilizando conectivos lógicos . Por ejemplo, la lógica proposicional representa la conjunción de dos proposiciones atómicas y como fórmula compleja . A diferencia de la lógica de predicados, donde los términos y predicados son las unidades más pequeñas, la lógica proposicional toma proposiciones completas con valores de verdad como su componente más básico. ^[121] Por lo tanto, la lógica proposicional sólo puede representar relaciones lógicas que surgen de la forma en que se construyen proposiciones complejas a partir de otras más simples. Pero no puede representar inferencias que resulten de la estructura interna de una proposición. ^[122] ${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle P\land Q}$

Lógica de primer orden

El Begriffschrift de Gottlob Frege introdujo la noción de cuantificador en una notación gráfica, que aquí representa el juicio verdadero. ${\displaystyle \forall x.F(x)}$

La lógica de primer orden incluye los mismos conectivos proposicionales que la lógica proposicional, pero se diferencia de ella porque articula la estructura interna de las proposiciones. Esto sucede a través de recursos como términos singulares, que se refieren a objetos particulares, predicados , que se refieren a propiedades y relaciones, y cuantificadores, que tratan nociones como "algunos" y "todos". ^[123] Por ejemplo, para expresar la proposición "este cuervo es negro", se puede usar el predicado de la propiedad "negro" y el término singular que se refiere al cuervo para formar la expresión . Para expresar que algunos objetos son negros, se combina el cuantificador existencial con la variable para formar la proposición . La lógica de primer orden contiene varias reglas de inferencia que determinan cómo las expresiones articuladas de esta manera pueden formar argumentos válidos, por ejemplo, de los que se pueden inferir . ^[124] ${\displaystyle B}$ ${\displaystyle r}$ ${\displaystyle B(r)}$ ${\displaystyle \exists }$ ${\displaystyle x}$ ${\displaystyle \exists xB(x)}$ ${\displaystyle \exists xB(x)}$ ${\displaystyle B(r)}$

Extendido

Las lógicas extendidas son sistemas lógicos que aceptan los principios básicos de la lógica clásica. Introducen símbolos y principios adicionales para aplicarlos a campos como la metafísica , la ética y la epistemología . ^[125]

Lógica modal

La lógica modal es una extensión de la lógica clásica. En su forma original, a veces llamada "lógica modal alética", introduce dos nuevos símbolos: expresa que algo es posible y expresa que algo es necesario. ^[126] Por ejemplo, si la fórmula representa la oración "Sócrates es un banquero", entonces la fórmula articula la oración "Es posible que Sócrates sea un banquero". ^[127] Para incluir estos símbolos en el formalismo lógico, la lógica modal introduce nuevas reglas de inferencia que rigen el papel que desempeñan en las inferencias. Una regla de inferencia establece que, si algo es necesario, entonces también es posible. Esto significa que se sigue de . Otro principio establece que si una proposición es necesaria entonces su negación es imposible y viceversa. Esto significa que es equivalente a . ^[128] ${\displaystyle \Diamond }$ ${\displaystyle \Box }$ ${\displaystyle B(s)}$ ${\displaystyle \Diamond B(s)}$ ${\displaystyle \Diamond A}$ ${\displaystyle \Box A}$ ${\displaystyle \Box A}$ ${\displaystyle \lnot \Diamond \lnot A}$

Otras formas de lógica modal introducen símbolos similares pero les asocian significados diferentes para aplicar la lógica modal a otros campos. Por ejemplo, la lógica deóntica se refiere al campo de la ética e introduce símbolos para expresar las ideas de obligación y permiso , es decir, para describir si un agente tiene que realizar una determinada acción o está autorizado a realizarla. ^[129] Los operadores modales en la lógica modal temporal articulan relaciones temporales. Se pueden utilizar para expresar, por ejemplo, que algo sucedió en un momento o que algo está sucediendo todo el tiempo. ^[129] En epistemología, la lógica modal epistémica se utiliza para representar las ideas de conocer algo en contraste con simplemente creer que es así. ^[130]

Lógica de orden superior

Las lógicas de orden superior amplían la lógica clásica no utilizando operadores modales sino introduciendo nuevas formas de cuantificación. ^[131] Los cuantificadores corresponden a términos como "todos" o "algunos". En la lógica clásica de primer orden, los cuantificadores sólo se aplican a individuos. La fórmula " " ${\displaystyle \exists x(Apple(x)\land Sweet(x))}$ ( algunas manzanas son dulces) es un ejemplo del cuantificador existencial " " ${\displaystyle \exists }$ aplicado a la variable individual " " ${\displaystyle x}$ . En lógica de orden superior, también se permite la cuantificación de predicados. Esto aumenta su poder expresivo. Por ejemplo, para expresar la idea de que María y Juan comparten algunas cualidades, se podría utilizar la fórmula " " ${\displaystyle \exists Q(Q(mary)\land Q(john))}$ . En este caso, el cuantificador existencial se aplica a la variable predicada " " ${\displaystyle Q}$ . ^[132] El poder expresivo añadido es especialmente útil para las matemáticas, ya que permite formulaciones más sucintas de las teorías matemáticas. ^[43] Pero tiene inconvenientes con respecto a sus propiedades metalógicas e implicaciones ontológicas, razón por la cual la lógica de primer orden se usa aún más comúnmente. ^[133]

Desviado

Las lógicas desviadas son sistemas lógicos que rechazan algunas de las intuiciones básicas de la lógica clásica. Debido a esto, generalmente no se los considera sus complementos sino sus rivales. Los sistemas lógicos desviados se diferencian entre sí porque rechazan diferentes intuiciones clásicas o porque proponen diferentes alternativas a la misma cuestión. ^[134]

La lógica intuicionista es una versión restringida de la lógica clásica. ^[135] Utiliza los mismos símbolos pero excluye algunas reglas de inferencia. Por ejemplo, según la ley de eliminación de la doble negación, si una oración no es verdadera, entonces es verdadera. Esto significa que se sigue de . Ésta es una regla de inferencia válida en la lógica clásica, pero no es válida en la lógica intuicionista. Otro principio clásico que no forma parte de la lógica intuicionista es la ley del tercero excluido . Afirma que para cada oración, ella o su negación son verdaderas. Esto significa que toda proposición de la forma es verdadera. ^[135] Estas desviaciones de la lógica clásica se basan en la idea de que la verdad se establece mediante la verificación mediante una prueba. La lógica intuicionista es especialmente destacada en el campo de las matemáticas constructivas , que enfatiza la necesidad de encontrar o construir un ejemplo específico para demostrar su existencia. ^[136] ${\displaystyle A}$ ${\displaystyle \lnot \lnot A}$ ${\displaystyle A\lor \lnot A}$

Las lógicas multivaluadas se apartan del clasicismo al rechazar el principio de bivalencia , que requiere que todas las proposiciones sean verdaderas o falsas. Por ejemplo, Jan Łukasiewicz y Stephen Cole Kleene propusieron lógicas ternarias que tienen un tercer valor de verdad que representa que el valor de verdad de una afirmación es indeterminado. ^[137] Estas lógicas se han aplicado en el campo de la lingüística. Las lógicas difusas son lógicas multivaluadas que tienen un número infinito de "grados de verdad", representados por un número real entre 0 y 1. ^[138]

Las lógicas paraconsistentes son sistemas lógicos que pueden abordar contradicciones. Están formulados para evitar el principio de explosión: para ellos, no se trata de que nada se derive de una contradicción. ^[139] A menudo están motivados por el dialeteísmo , la opinión de que las contradicciones son reales o que la realidad misma es contradictoria. Graham Priest es un influyente defensor contemporáneo de esta posición y se han atribuido puntos de vista similares a Georg Wilhelm Friedrich Hegel . ^[140]

Informal

La lógica informal suele llevarse a cabo de forma menos sistemática. A menudo se centra en cuestiones más específicas, como investigar un tipo particular de falacia o estudiar un determinado aspecto de la argumentación. No obstante, también se han presentado algunos marcos de lógica informal que intentan proporcionar una caracterización sistemática de la corrección de los argumentos. ^[141]

El enfoque pragmático o dialógico de la lógica informal ve los argumentos como actos de habla y no simplemente como un conjunto de premisas junto con una conclusión. ^[142] Como actos de habla, ocurren en un contexto determinado, como un diálogo , que afecta los estándares de los argumentos correctos e incorrectos. ^[143] Una versión destacada de Douglas N. Walton entiende un diálogo como un juego entre dos jugadores. La posición inicial de cada jugador se caracteriza por las proposiciones con las que se compromete y la conclusión que pretende demostrar. Los diálogos son juegos de persuasión: cada jugador tiene el objetivo de convencer al oponente de su propia conclusión. ^[144] Esto se logra presentando argumentos: los argumentos son las jugadas del juego. ^[145] Afectan a qué proposiciones están comprometidos los jugadores. Una jugada ganadora es un argumento exitoso que toma como premisas los compromisos del oponente y muestra cómo la propia conclusión se deriva de ellos. Por lo general, esto no es posible de inmediato. Por esta razón, normalmente es necesario formular una secuencia de argumentos como pasos intermedios, cada uno de los cuales acerca al oponente un poco más a la conclusión que uno pretende. Además de estos argumentos positivos que acercan a uno a la victoria, también hay argumentos negativos que impiden la victoria del oponente al negar su conclusión. ^[144] Que un argumento sea correcto depende de si promueve el progreso del diálogo. Las falacias, por otra parte, son violaciones de los estándares de las reglas argumentativas adecuadas. ^[146] Estos estándares también dependen del tipo de diálogo. Por ejemplo, los estándares que rigen el discurso científico difieren de los estándares en las negociaciones comerciales. ^[147]

El enfoque epistémico de la lógica informal, por otro lado, se centra en el papel epistémico de los argumentos. ^[148] Se basa en la idea de que los argumentos tienen como objetivo aumentar nuestro conocimiento. Lo logran vinculando creencias justificadas con creencias que aún no lo están. ^[149] Los argumentos correctos logran ampliar el conocimiento, mientras que las falacias son fracasos epistémicos: no justifican la creencia en su conclusión. ^[150] Por ejemplo, la falacia de plantear la pregunta es una falacia porque no proporciona una justificación independiente para su conclusión, aunque sea deductivamente válida. ^[151] En este sentido, la normatividad lógica consiste en el éxito epistémico o la racionalidad. ^[149] El enfoque bayesiano es un ejemplo de enfoque epistémico. ^[152] Lo central del bayesianismo no es sólo si el agente cree en algo, sino el grado en que lo cree, la llamada credibilidad . Los grados de creencia se ven como probabilidades subjetivas en la proposición creída, es decir, qué tan seguro está el agente de que la proposición es verdadera. ^[153] Desde este punto de vista, el razonamiento puede interpretarse como un proceso de cambio de las propias creencias, a menudo como reacción a nueva información entrante. ^[154] El razonamiento correcto y los argumentos en los que se basa siguen las leyes de la probabilidad, por ejemplo, el principio de condicionalización . Por otra parte, el razonamiento malo o irracional viola estas leyes. ^[155]

Áreas de investigación

La lógica se estudia en varios campos. En muchos casos, esto se hace aplicando su método formal a temas específicos fuera de su alcance, como la ética o la informática. ^[156] En otros casos, la lógica misma se convierte en objeto de investigación en otra disciplina. Esto puede suceder de diversas maneras. Por ejemplo, puede implicar investigar los supuestos filosóficos vinculados a los conceptos básicos utilizados por los lógicos. Otras formas incluyen interpretar y analizar la lógica a través de estructuras matemáticas, así como estudiar y comparar propiedades abstractas de sistemas lógicos formales. ^[157]

Filosofía de la lógica y lógica filosófica.

La filosofía de la lógica es la disciplina filosófica que estudia el alcance y la naturaleza de la lógica. ^[59] Examina muchas presuposiciones implícitas en la lógica, como cómo definir sus conceptos básicos o los supuestos metafísicos asociados con ellos. ^[158] También se ocupa de cómo clasificar los sistemas lógicos y considera los compromisos ontológicos en los que incurren. ^[159] La lógica filosófica es una de las áreas dentro de la filosofía de la lógica. Estudia la aplicación de métodos lógicos a problemas filosóficos en campos como la metafísica, la ética y la epistemología. ^[160] Esta aplicación suele ocurrir en forma de sistemas lógicos extendidos o desviados. ^[161]

metalógico

La metalógica es el campo de investigación que estudia las propiedades de los sistemas lógicos formales. Por ejemplo, cuando se desarrolla un nuevo sistema formal, los metalógicos pueden estudiarlo para determinar qué fórmulas pueden probarse en él. También pueden estudiar si se podría desarrollar un algoritmo para encontrar una prueba para cada fórmula y si cada fórmula demostrable que contiene es una tautología. Finalmente, pueden compararlo con otros sistemas lógicos para comprender sus características distintivas. Una cuestión clave en metalógica se refiere a la relación entre sintaxis y semántica. Las reglas sintácticas de un sistema formal determinan cómo deducir conclusiones a partir de premisas, es decir, cómo formular pruebas. La semántica de un sistema formal gobierna qué oraciones son verdaderas y cuáles son falsas. Esto determina la validez de los argumentos ya que, para argumentos válidos, es imposible que las premisas sean verdaderas y la conclusión falsa. La relación entre sintaxis y semántica se refiere a cuestiones como si todo argumento válido es demostrable y si todo argumento demostrable es válido. Los metalógicos también estudian si los sistemas lógicos son completos, sólidos y consistentes . Les interesa saber si los sistemas son decidibles y qué poder expresivo tienen. Los metalógicos suelen depender en gran medida del razonamiento matemático abstracto al examinar y formular pruebas metalógicas. De esta manera, pretenden llegar a conclusiones precisas y generales sobre estos temas. ^[162]

Lógica matemática

Bertrand Russell hizo diversas contribuciones a la lógica matemática. ^[163]

El término "lógica matemática" se utiliza a veces como sinónimo de "lógica formal". Pero en un sentido más restringido, se refiere al estudio de la lógica dentro de las matemáticas. Las principales subáreas incluyen la teoría de modelos , la teoría de la prueba , la teoría de conjuntos y la teoría de la computabilidad . ^[164] La investigación en lógica matemática comúnmente aborda las propiedades matemáticas de los sistemas formales de lógica. Sin embargo, también puede incluir intentos de utilizar la lógica para analizar el razonamiento matemático o para establecer fundamentos matemáticos basados ​​en la lógica . ^[165] Esto último fue una preocupación importante en la lógica matemática de principios del siglo XX, que siguió el programa de logicismo iniciado por filósofos-lógicos como Gottlob Frege, Alfred North Whitehead y Bertrand Russell . Se suponía que las teorías matemáticas eran tautologías lógicas , y su programa era demostrarlo mediante una reducción de las matemáticas a la lógica. Muchos intentos de realizar este programa fracasaron, desde la paralización del proyecto de Frege en sus Grundgesetze por la paradoja de Russell , hasta la derrota del programa de Hilbert por los teoremas de incompletitud de Gödel . ^[166]

La teoría de conjuntos se originó en el estudio del infinito de Georg Cantor y ha sido la fuente de muchas de las cuestiones más desafiantes e importantes de la lógica matemática. Incluyen el teorema de Cantor , el estatus del axioma de elección , la cuestión de la independencia de la hipótesis del continuo y el debate moderno sobre los grandes axiomas cardinales . ^[167]

La teoría de la computabilidad es la rama de la lógica matemática que estudia procedimientos efectivos para resolver problemas de cálculo. Uno de sus principales objetivos es comprender si es posible resolver un problema determinado mediante un algoritmo. Por ejemplo, dada una determinada afirmación sobre los números enteros positivos, examina si se puede encontrar un algoritmo para determinar si esta afirmación es cierta. La teoría de la computabilidad utiliza diversas herramientas y modelos teóricos, como las máquinas de Turing , para explorar este tipo de cuestiones. ^[168]

Lógica computacional

La conjunción (Y) es una de las operaciones básicas de la lógica booleana. Se puede implementar electrónicamente de varias maneras, por ejemplo, mediante el uso de dos transistores .

La lógica computacional es la rama de la lógica y la informática que estudia cómo implementar el razonamiento matemático y los formalismos lógicos utilizando computadoras. Esto incluye, por ejemplo, los demostradores automáticos de teoremas , que emplean reglas de inferencia para construir una demostración paso a paso desde un conjunto de premisas hasta la conclusión prevista sin intervención humana. ^{[169] Los lenguajes} de programación lógica están diseñados específicamente para expresar hechos utilizando fórmulas lógicas y sacar inferencias de estos hechos. Por ejemplo, Prolog es un lenguaje de programación lógico basado en lógica de predicados. ^[170] Los informáticos también aplican conceptos de lógica a problemas de informática. Las obras de Claude Shannon influyeron en este sentido. Mostró cómo se puede utilizar la lógica booleana para comprender e implementar circuitos informáticos. ^[171] Esto se puede lograr utilizando puertas lógicas electrónicas , es decir, circuitos electrónicos con una o más entradas y generalmente una salida. Los valores de verdad de las proposiciones están representados por niveles de voltaje. De esta forma, se pueden simular funciones lógicas aplicando los voltajes correspondientes a las entradas del circuito y determinando el valor de la función midiendo el voltaje de la salida. ^[172]

Semántica formal del lenguaje natural.

La semántica formal es un subcampo de la lógica, la lingüística y la filosofía del lenguaje . La disciplina de la semántica estudia el significado del lenguaje. La semántica formal utiliza herramientas formales de los campos de la lógica simbólica y las matemáticas para brindar teorías precisas sobre el significado de las expresiones del lenguaje natural . Comprende el significado normalmente en relación con condiciones de verdad , es decir, examina en qué situaciones una oración sería verdadera o falsa. Uno de sus supuestos metodológicos centrales es el principio de composicionalidad . Afirma que el significado de una expresión compleja está determinado por los significados de sus partes y cómo se combinan. Por ejemplo, el significado de la frase verbal "caminar y cantar" depende de los significados de las expresiones individuales "caminar" y "cantar". Muchas teorías de la semántica formal se basan en la teoría de modelos. Esto significa que emplean la teoría de conjuntos para construir un modelo y luego interpretar los significados de la expresión en relación con los elementos de este modelo. Por ejemplo, el término "caminar" puede interpretarse como el conjunto de todos los individuos del modelo que comparten la propiedad de caminar. Los primeros teóricos influyentes en este campo fueron Richard Montague y Barbara Partee , quienes centraron su análisis en el idioma inglés. ^[173]

Epistemología de la lógica

La epistemología de la lógica estudia cómo se sabe que un argumento es válido o que una proposición es lógicamente verdadera. ^[174] Esto incluye preguntas como cómo justificar que el modus ponens es una regla de inferencia válida o que las contradicciones son falsas. ^[175] La visión tradicionalmente dominante es que esta forma de comprensión lógica pertenece al conocimiento a priori . ^[176] A este respecto, a menudo se argumenta que la mente tiene una facultad especial para examinar las relaciones entre ideas puras y que esta facultad también es responsable de aprehender verdades lógicas. ^[177] Un enfoque similar entiende las reglas de la lógica en términos de convenciones lingüísticas . Desde este punto de vista, las leyes de la lógica son triviales ya que son verdaderas por definición: simplemente expresan los significados del vocabulario lógico. ^[178]

Algunos teóricos, como Hilary Putnam y Penelope Maddy , se oponen a la idea de que la lógica se puede conocer a priori. En cambio, sostienen que las verdades lógicas dependen del mundo empírico . Esto suele combinarse con la afirmación de que las leyes de la lógica expresan regularidades universales que se encuentran en las características estructurales del mundo. Según este punto de vista, pueden explorarse estudiando patrones generales de las ciencias fundamentales . Por ejemplo, se ha argumentado que ciertas ideas de la mecánica cuántica refutan el principio de distributividad en la lógica clásica, que establece que la fórmula es equivalente a . Esta afirmación puede utilizarse como argumento empírico para la tesis de que la lógica cuántica es el sistema lógico correcto y debería reemplazar a la lógica clásica. ^[179] ${\displaystyle A\land (B\lor C)}$ ${\displaystyle (A\land B)\lor (A\land C)}$

Historia

Fila superior: Aristóteles , quien estableció el canon de la filosofía occidental; ^[108] y Avicena , que reemplazó la lógica aristotélica en el discurso islámico . ^[180] Fila inferior: Guillermo de Ockham , una figura importante del pensamiento académico medieval; ^[181] y Gottlob Frege , uno de los fundadores de la lógica simbólica moderna. ^[182]

La lógica se desarrolló de forma independiente en varias culturas durante la antigüedad. Uno de los primeros contribuyentes importantes fue Aristóteles , quien desarrolló la lógica de términos en su Organon y Prior Analytics . ^[183] ​​Fue responsable de la introducción del silogismo hipotético ^[184] y la lógica modal temporal. ^[185] Otras innovaciones incluyen la lógica inductiva ^[186] , así como la discusión de nuevos conceptos lógicos como términos , predicables , silogismos y proposiciones. La lógica aristotélica fue muy apreciada en la época clásica y medieval, tanto en Europa como en Oriente Medio. Su uso se mantuvo ampliamente en Occidente hasta principios del siglo XIX. ^[187] Ahora ha sido reemplazado por trabajos posteriores, aunque muchas de sus ideas clave todavía están presentes en los sistemas lógicos modernos. ^[188]

Ibn Sina (Avicena) fue el fundador de la lógica aviceniana, que reemplazó a la lógica aristotélica como sistema de lógica dominante en el mundo islámico . ^[189] Influyó en escritores medievales occidentales como Alberto Magno y Guillermo de Ockham . ^[190] Ibn Sina escribió sobre el silogismo hipotético ^[191] y sobre el cálculo proposicional . ^[192] Desarrolló una teoría silogística original "temporalmente modalizada", que involucra lógica temporal y lógica modal. ^[193] También hizo uso de la lógica inductiva, como sus métodos de acuerdo, diferencia y variación concomitante, que son fundamentales para el método científico . ^[191] Fakhr al-Din al-Razi fue otro lógico musulmán influyente. Criticó la silogística aristotélica y formuló un sistema temprano de lógica inductiva, presagiando el sistema de lógica inductiva desarrollado por John Stuart Mill. ^[194]

Durante la Edad Media se hicieron numerosas traducciones e interpretaciones de la lógica aristotélica. De particular influencia fueron las obras de Boecio . Además de traducir la obra de Aristóteles al latín, también produjo libros de texto sobre lógica. ^[195] Posteriormente, se aprovecharon las obras de filósofos islámicos como Ibn Sina e Ibn Rushd (Averroes). Esto amplió la gama de obras antiguas disponibles para los eruditos cristianos medievales, ya que los eruditos musulmanes disponían de más obras griegas que se habían conservado en comentarios latinos. En 1323, se publicó la influyente Summa Logicae de Guillermo de Ockham . Es un tratado integral de lógica que analiza muchos conceptos básicos de lógica y proporciona una exposición sistemática de tipos de proposiciones y sus condiciones de verdad. ^[196]

En la filosofía china, la Escuela de los Nombres y el Mohismo fueron particularmente influyentes. La Escuela de Nombres se centró en el uso del lenguaje y en las paradojas. Por ejemplo, Gongsun Long propuso la paradoja del caballo blanco , que defiende la tesis de que un caballo blanco no es un caballo. La escuela del mohismo también reconoció la importancia del lenguaje para la lógica y trató de relacionar las ideas de estos campos con el ámbito de la ética. ^[197]

En la India, el estudio de la lógica fue realizado principalmente por las escuelas de Nyaya , el budismo y el jainismo . No fue tratada como una disciplina académica separada y las discusiones sobre sus temas generalmente ocurrieron en el contexto de la epistemología y las teorías del diálogo o la argumentación. ^[198] En Nyaya, la inferencia se entiende como una fuente de conocimiento ( pramāṇa ). Sigue la percepción de un objeto e intenta llegar a conclusiones, por ejemplo, sobre la causa de ese objeto. ^[199] Un énfasis similar en la relación con la epistemología también se encuentra en las escuelas de lógica budista y jainista, donde la inferencia se utiliza para ampliar el conocimiento adquirido a través de otras fuentes. ^[200] Algunas de las teorías posteriores de Nyaya, pertenecientes a la escuela Navya-Nyāya , se asemejan a formas modernas de lógica, como la distinción de Gottlob Frege entre sentido y referencia y su definición de número. ^[201]

La lógica silogística desarrollada por Aristóteles predominó en Occidente hasta mediados del siglo XIX, cuando el interés por los fundamentos de las matemáticas estimuló el desarrollo de la lógica simbólica moderna. ^{[202] Muchos ven} el Begriffsschrift de Gottlob Frege como el lugar de nacimiento de la lógica moderna. La idea de Gottfried Wilhelm Leibniz de un lenguaje formal universal a menudo se considera una precursora. Otros pioneros fueron George Boole , que inventó el álgebra booleana como sistema matemático de lógica, y Charles Peirce , que desarrolló la lógica de relativos . Alfred North Whitehead y Bertrand Russell, a su vez, condensaron muchas de estas ideas en su obra Principia Mathematica . La lógica moderna introdujo conceptos novedosos, como funciones , cuantificadores y predicados relacionales. Un sello distintivo de la lógica simbólica moderna es el uso del lenguaje formal para codificar con precisión sus ideas. En este sentido, se aparta de los lógicos anteriores, que se basaban principalmente en el lenguaje natural. ^[203] De particular influencia fue el desarrollo de la lógica de primer orden, que generalmente se trata como el sistema estándar de la lógica moderna. ^[204] Su generalidad analítica permitió la formalización de las matemáticas e impulsó la investigación de la teoría de conjuntos . También hizo posible el enfoque de Alfred Tarski sobre la teoría de modelos y proporcionó la base de la lógica matemática moderna. ^[205]

Ver también

• Portal de filosofía

• Pensamiento crítico  : análisis de hechos para formar un juicio.
• Lista de revistas lógicas
• Lista de símbolos lógicos  : lista de símbolos utilizados para expresar relaciones lógicas.
• Lista de lógicos
• Rompecabezas de lógica  : rompecabezas derivado del campo matemático de la deducción.
• Razonamiento lógico  : proceso de sacar inferencias correctas.
• Logos  : concepto en filosofía, religión, retórica y psicología.
• Esquema de la lógica  : descripción general y guía temática de la lógica
• Lógica vectorial

Referencias

Notas

1. Sin embargo, hay algunas formas de lógica, como la lógica imperativa , en las que este puede no ser el caso. ^[42]
2. Los argumentos conductivos presentan razones a favor de una conclusión sin afirmar que las razones sean lo suficientemente sólidas como para apoyar decisivamente la conclusión.

Citas

1. Velleman 2006, págs.8, 103.
2. Vickers 2022.
3. Nunes 2011, págs. 2066-2069.
4. Pepin 2004, Logotipos; Personal de etimología en línea.
5. Hintikka 2019, sección principal, §Naturaleza y variedades de lógica.
6. Hintikka 2019, §Naturaleza y variedades de lógica; Haack 1978, págs. 1-10, Filosofía de la lógica; Schlesinger, Keren-Portnoy y Parush 2001, pág. 220.
7. Hintikka y Sandu 2006, pág. 13; Audi 1999b, Filosofía de la lógica; McKeon.
8. Blair y Johnson 2000, págs. 93–95; Craig 1996, Lógica formal e informal.
9. Craig 1996, Lógica formal e informal; Barnes 2007, pág. 274; Planty-Bonjour 2012, pág. 62; Rini 2010, pág. 26.
10. MacFarlane 2017; Corkum 2015, págs. 753–767; Blair y Johnson 2000, págs. 93–95; Magnus 2005, págs. 12–4, 1.6 Lenguajes formales.
11. McKeon; Craig 1996, Lógica formal e informal.
12. Hintikka y Sandu 2006, pág. 13.
13. Magnus 2005, Pruebas, p. 102.
14. Hintikka y Sandu 2006, págs. 13-16; Makridis 2022, págs. 1-2; Runco y Pritzker 1999, pág. 155.
15. Gómez-Torrente 2019; Magnus 2005, 1.5 Otras nociones lógicas, p. 10.
16. Hintikka y Sandu 2006, pág. dieciséis.
17. Honderich 2005, lógica, informal; Craig 1996, Lógica formal e informal; Johnson 1999, págs. 265–268.
18. Craig 1996, Lenguajes y sistemas formales; Simpson 2008, pág. 14.
19. Craig 1996, Lenguajes y sistemas formales.
20. Hintikka y Sandu 2006, págs. 22-3; Magnus 2005, págs. 8–9, 1.4 Validez deductiva; Johnson 1999, pág. 267.
21. Haack 1978, págs. 1–2, 4, Filosofía de la lógica; Hintikka y Sandu 2006, págs. 16-17; Jacquette 2006, Introducción: La filosofía de la lógica hoy, págs. 1-12.
22. Haack 1978, págs. 1–2, 4, Filosofía de la lógica; Jacquette 2006, págs. 1-12, Introducción: Filosofía de la lógica hoy.
23. Haack 1978, págs. 5–7, 9, Filosofía de la lógica; Hintikka y Sandu 2006, págs. 31-2; Haack 1996, págs. 229–30.
24. Haack 1978, págs. 1-10, Filosofía de la lógica; Groarke 2021, sección principal; 1.1 Lógica formal e informal.
25. Johnson 2014, págs. 228–9.
26. Groarke 2021, sección principal; 1. Historia; Audi 1999a, Lógica informal; Johnson 1999, págs. 265-274.
27. Craig 1996, Lógica formal e informal; Johnson 1999, pág. 267.
28. Blair y Johnson 2000, págs. 93–97; Craig 1996, Lógica formal e informal.
29. Johnson 1999, págs. 265-270; van Eemeren et al., págs. 1–45, Lógica informal.
30. Groarke 2021, 1.1 Lógica formal e informal; Audi 1999a, Lógica informal; Honderich 2005, lógica, informal.
31. Blair y Johnson 2000, págs. 93-107; Groarke 2021, sección principal; 1.1 Lógica Formal e Informal; van Eemeren y otros, pág. 169.
32. Oaksford y Chater 2007, pág. 47.
33. Craig 1996, Lógica formal e informal; Walton 1987, págs. 2–3, 6–8, 1. Un nuevo modelo de argumentación; Engel 1982, págs. 59–92, 2. El medio del lenguaje.
34. Blair y Johnson 1987, págs. 147–51.
35. Falikowski y Mills 2022, pag. 98; Weddle 2011, págs. 383–8, 36. Lógica informal y distinción eductivo-inductivo; Blair 2011, pág. 47.
36. Vickers 2022; Nunes 2011, págs. 2066–9, Razonamiento y aprendizaje lógico.
37. Johnson 2014, pag. 181; Johnson 1999, pág. 267; Blair y Johnson 1987, págs. 147–51.
38. Vleet 2010, págs. ix-x, Introducción; Dowden; Tocón.
39. Maltby, Day y Macaskill 2007, pág. 564; Dowden.
40. Craig 1996, Lógica formal e informal; Johnson 1999, págs. 265-270.
41. Audi 1999b, Filosofía de la lógica; Honderich 2005, lógica filosófica.
42. Haack 1974, pag. 51.
43. Audi 1999b, Filosofía de la lógica.
44. Falguera, Martínez-Vidal & Rosen 2021; Tondl 2012, pág. 111.
45. Olkowski y Pirovolakis 2019, págs. 65–66.
46. Audi 1999b, Filosofía de la lógica; Pietroski 2021.
47. Audi 1999b, Filosofía de la lógica; Kusch 2020; Rush 2014, págs. 1–10, 189–190.
48. Rey 2019; Pickel 2020, págs. 2991–3006.
49. Honderich 2005, lógica filosófica.
50. Pickel 2020, págs. 2991–3006.
51. Honderich 2005, lógica filosófica; Craig 1996, Filosofía de la lógica; Michaelson y Reimer 2019.
52. Michaelson y Reimer 2019.
53. Hintikka 2019, §Naturaleza y variedades de lógica; MacFarlane 2017.
54. Gómez-Torrente 2019; MacFarlane 2017; Honderich 2005, lógica filosófica.
55. Gómez-Torrente 2019; Jago 2014, pág. 41.
56. Magnus 2005, págs. 35–38, 3. Tablas de verdad; Angell 1964, pág. 164; Hall y O'Donnell 2000, pág. 48.
57. Magnus 2005, págs. 35–45, 3. Tablas de verdad; Angell 1964, pág. 164.
58. Tarski 1994, pag. 40.
59. Hintikka 2019, sección principal, §Naturaleza y variedades de lógica; Audi 1999b, Filosofía de la lógica.
60. Blackburn 2008, argumento; Escaleras 2017, pág. 343.
61. Copi, Cohen y Rodych 2019, pag. 30.
62. Hintikka y Sandu 2006, pág. 20; Backmann 2019, págs. 235-255; Personal del PEI.
63. Hintikka y Sandu 2006, pág. dieciséis; Backmann 2019, págs. 235-255; Personal del PEI.
64. Groarke 2021, 1.1 Lógica formal e informal; Weddle 2011, págs. 383–8, 36. Lógica informal y distinción eductivo-inductivo; van Eemeren y Garssen 2009, pág. 191.
65. Evans 2005, 8. Razonamiento deductivo, p. 169.
66. McKeon.
67. Hintikka y Sandu 2006, págs. 13-4.
68. Hintikka y Sandu 2006, págs. 13-4; Blackburn 2016, regla de inferencia.
69. Blackburn 2016, regla de inferencia.
70. Dick y Müller 2017, pág. 157.
71. Hintikka y Sandu 2006, pág. 13; Backmann 2019, págs. 235-255; Douven 2021.
72. Hintikka y Sandu 2006, pág. 14; D'Agostino y Floridi 2009, págs. 271–315.
73. Hintikka y Sandu 2006, pág. 14; Sagüillo 2014, págs. 75–88; Hintikka 1970, págs. 135-152.
74. Hintikka y Sandu 2006, págs. 13-6; Backmann 2019, págs. 235-255; Personal del PEI.
75. Rocci 2017, pag. 26; Hintikka y Sandu 2006, págs. 13, 16; Douven 2021.
76. Personal del IEP; Douven 2021; Hawthorne 2021.
77. Personal del IEP; Hawthorne 2021; Wilbanks 2010, págs. 107-124.
78. Douven 2021.
79. Groarke 2021, 4.1 Criterios AV; Possin 2016, págs. 563–593.
80. Scott & Marshall 2009, inducción analítica; Houde & Camacho 2003, Inducción.
81. Borchert 2006b, Inducción.
82. Douven 2021; Koslowski 2017, Razonamiento y explicación abductivos.
83. Cummings 2010, Secuestro, p. 1.
84. Hansen 2020; Chatfield 2017, pág. 194.
85. Walton 1987, págs. 7, 1. Un nuevo modelo de argumentación; Hansen 2020.
86. Hansen 2020.
87. Hansen 2020; Walton 1987, págs. 63, 3. Lógica de las proposiciones.
88. Sternberg; Piedra 2012, págs. 327–356.
89. Walton 1987, págs. 2–4, 1. Un nuevo modelo de argumentación; Dowden; Hansen 2020.
90. Engel 1982, págs. 59–92, 2. El medio del lenguaje; Mackie 1967; Tocón.
91. Tocón; Engel 1982, págs. 143-212, 4. Falacias de la presunción.
92. Tocón; Mackie 1967.
93. Hintikka y Sandu 2006, pág. 20.
94. Hintikka y Sandu 2006, pág. 20; Pedemonte 2018, págs. 1-17; Hintikka 2023.
95. Boris y Alejandro 2017, pag. 74; Cocinero 2009, pág. 124.
96. Flotyński 2020, pag. 39; Berlemann y Mangold 2009, pág. 194.
97. Gensler 2006, pág. xiii; Fuente y Jansana 2017, pág. 8.
98. Haack 1978, págs. 1-10, Filosofía de la lógica; Hintikka y Sandu 2006, págs. 31–32; Jacquette 2006, págs. 1-12, Introducción: Filosofía de la lógica hoy.
99. Moore y Carling 1982, pág. 53; Enderton 2001, págs. 12-13, Lógica oracional.
100. Lepore y Cumming 2012, pág. 5.
101. Wasilewska 2018, págs. 145–6; Rathjen y Sieg 2022.
102. Sider 2010, págs. 34–42; Shapiro y Kouri Kissel 2022; Bimbo 2016, págs. 8–9.
103. Restall & Standefer 2023, págs.91; Enderton 2001, págs. 131-146, capítulo 2.5; van Dalen 1994, Capítulo 1.5.
104. Jacquette 2006, págs. 1-12, Introducción: Filosofía de la lógica hoy; Smith 2022; Groarke.
105. Haack 1996, 1. 'Alternativa' en 'Lógica alternativa'.
106. Haack 1978, págs. 1-10, Filosofía de la lógica; Haack 1996, 1. 'Alternativa' en 'Lógica alternativa'; Lobo 1978, págs. 327–340.
107. Herrero 2022; Groarke; Bobzien 2020.
108. Groarke.
109. Herrero 2022; Magnus 2005, 2.2 Conectivos.
110. Herrero 2022; Bobzien 2020; Hintikka y Spade, Aristóteles.
111. Westerståhl 1989, págs. 577–585.
112. Smith 2022; Groarke.
113. Herrero 2022; Hurley 2015, 4. Silogismos categóricos; Copi, Cohen & Rodych 2019, 6. Silogismos categóricos.
114. Groarke; Hurley 2015, 4. Silogismos categóricos; Copi, Cohen & Rodych 2019, 6. Silogismos categóricos.
115. Hurley 2015, 4. Silogismos categóricos.
116. Spriggs 2012, págs. 20-2.
117. Hintikka 2019, §Naturaleza y variedades de lógica, §Lógicas alternativas; Hintikka y Sandu 2006, págs. 27–8; Volver 2016, pág. 317.
118. Shapiro y Kouri Kissel 2022.
119. Burgess 2009, 1. Lógica clásica.
120. Jacquette 2006, págs. 1-12, Introducción: Filosofía de la lógica hoy; Borchert 2006c, Lógica no clásica; Goble 2001, Introducción.
121. Brody 2006, págs. 535–536.
122. Clemente 1995b.
123. Shapiro y Kouri Kissel 2022; Honderich 2005, lógica filosófica; Michaelson y Reimer 2019.
124. Noviembre de 2021; Magnus 2005, 4 Lógica cuantificada.
125. Bunnin y Yu 2009, pág. 179; Garson 2023, Introducción.
126. Garzón 2023; Sadegh-Zadeh 2015, pág. 983.
127. Fitch 2014, pag. 17.
128. Garzón 2023; Carnielli y Pizzi 2008, pág. 3; Benthem.
129. Garson 2023.
130. Rendsvig y Symons 2021.
131. Audi 1999b, Filosofía de la lógica; Väänänen 2021; Ketland 2005, Lógica de segundo orden.
132. Audi 1999b, Filosofía de la lógica; Väänänen 2021; Daintith y Wright 2008, Cálculo de predicados.
133. Audi 1999b, Filosofía de la lógica; Ketland 2005, Lógica de segundo orden.
134. Haack 1996, 1. 'Alternativa' en 'Lógica alternativa'; Lobo 1978, págs. 327–340.
135. Moschovakis 2022; Borchert 2006c, Lógica no clásica.
136. Borchert 2006c, Lógica no clásica; Puentes y col. 2023, págs. 73–74; Amigo 2014, pág. 101.
137. Sider 2010, Capítulo 3.4; Gama 1991, 5,5; Zegarelli 2010, pág. 30.
138. Hajek 2006.
139. Borchert 2006c, Lógica no clásica; Sacerdote, Tanaka y Weber 2018; Weber.
140. Sacerdote, Tanaka y Weber 2018; Weber; Haack 1996, Introducción.
141. Hansen 2020; Korb 2004, págs. 41–42, 48; Ritola 2008, pág. 335.
142. Hansen 2020; Korb 2004, págs. 43–44; Ritola 2008, pág. 335.
143. Walton 1987, págs. 2-3, 1. Un nuevo modelo de argumentación; Ritola 2008, pág. 335.
144. Walton 1987, págs. 3–4, 18–22, 1. Un nuevo modelo de argumentación.
145. Walton 1987, págs. 3–4, 11, 18, 1. Un nuevo modelo de argumentación; Ritola 2008, pág. 335.
146. Hansen 2020; Walton 1987, págs. 3–4, 18–22, 3. Lógica de las proposiciones.
147. Ritola 2008, pag. 335.
148. Hansen 2020; Korb 2004, págs. 43, 54–55.
149. Siegel y Biro 1997, págs.
150. Hansen 2020; Korb 2004, págs. 41–70.
151. Mackie 1967; Siegel y Biro 1997, págs. 277–292.
152. Hansen 2020; Moore y Cromby 2016, pág. 60.
153. Olsson 2018, págs. 431–442, Epistemología bayesiana; Hájek y Lin 2017, págs. 207–232; Hartmann y Sprenger 2010, págs. 609–620, Epistemología bayesiana.
154. Shermer 2022, pag. 136.
155. Korb 2004, págs. 41–42, 44–46; Hájek y Lin 2017, págs. 207–232; Talbott 2016.
156. Hintikka 2019, §Lógica y otras disciplinas; Haack 1978, págs. 1-10, Filosofía de la lógica.
157. Hintikka 2019, sección principal, §Características y problemas de la lógica; Gödel 1984, págs. 447–469, la lógica matemática de Russell; Monk 1976, págs. 1 a 9, Introducción.
158. Jacquette 2006, págs. 1-12, Introducción: la filosofía de la lógica hoy.
159. Hintikka 2019, §Problemas de ontología.
160. Jacquette 2006, págs. 1-12, Introducción: Filosofía de la lógica hoy; Burgess 2009, 1. Lógica clásica.
161. Goble 2001, Introducción; Hintikka y Sandu 2006, págs. 31–32.
162. Gensler 2006, págs. xliii – xliv; Sider 2010, págs. 4 a 6; Schagrin.
163. Irvine 2022.
164. Li 2010, pag. ix; Rautenberg 2010, pág. 15; Quine 1981, pág. 1; Stolyar 1984, pág. 2.
165. Stolyar 1984, págs. 3–6.
166. Hintikka & Spade, teoremas de incompletitud de Gödel; Linsky 2011, pág. 4; Richardson 1998, pág. 15.
167. Bagaria 2021; Cunningham.
168. Borchert 2006a, Teoría de la computabilidad; Leary y Kristiansen 2015, pág. 195.
169. Paulson 2018, págs. 1-14; Castaño 2018, pág. 2; Wile, Goss y Roesner 2005, pág. 447.
170. Clocksin & Mellish 2003, págs. 237–238, 252–255, 257, La relación del prólogo con la lógica; Daintith y Wright 2008, Lenguajes de programación lógica.
171. O'Regan 2016, pag. 49; Calderbank y Sloane 2001, págs.768.
172. Daintith y Wright 2008, Puerta lógica.
173. Janssen y Zimmermann 2021, págs. 3-4; Partee 2016; Rey 2009, págs. 557–8; Aloni y Dekker 2016, págs. 22-23.
174. Warren 2020, 6. La epistemología de la lógica; Schechter.
175. Warren 2020, 6. La epistemología de la lógica.
176. Schechter.
177. Gómez-Torrente 2019.
178. Warren 2020, 6. La epistemología de la lógica; Gómez-Torrente 2019; Warren 2020, 1. ¿Qué es el convencionalismo?
179. Chua 2017, págs. 631–636; Wilce 2021; Putnam 1969, págs. 216-241.
180. Lagerlund 2018.
181. Pala y Panaccio 2019.
182. Haaparanta 2009, págs. 4–6, 1. Introducción; Hintikka & Spade, Lógica moderna, Lógica desde 1900.
183. Kline 1972, "Un logro importante de Aristóteles fue la fundación de la ciencia de la lógica", p. 53; Łukasiewicz 1957, pág. 7; Liu y Guo 2023, pág. 15.
184. Lear 1980, pag. 34.
185. Knuutila 1980, pag. 71; Fisher, Gabbay y Vila 2005, pág. 119.
186. Berman 2009, pag. 133.
187. Federico; Groarke.
188. Ewald 2019; Smith 2022.
189. Hasse 2008; Lagerlund 2018.
190. Washell 1973, págs. 445–50; Kneale y Kneale 1962, págs.229, 266.
191. Goodman 2003, pág. 155.
192. Buen hombre 1992, pag. 188.
193. Hintikka & Spade, Lógica árabe.
194. Iqbal 2013, págs. 99-115, El espíritu de la cultura musulmana.
195. Marenbon 2021, Introducción; 3. Los libros de texto lógicos; Hintikka y pala.
196. Hintikka y pala; Hasse 2008; Pala y Panaccio 2019.
197. Willman 2022; Rošker 2015, págs. 301–309.
198. Sarukkai y Chakraborty 2022, págs. 117–8.
199. Dasti, sección principal; 1b. Inferencia; Molinos 2018, pág. 121.
200. Emmanuel 2015, págs. 320-2; Vidyabhusana 1988, pág. 221.
201. Chakrabarti 1976, págs. 554–563.
202. Groarke; Haaparanta 2009, págs. 3–5, 1. Introducción.
203. Haaparanta 2009, págs. 4-6; Hintikka & Spade, Lógica moderna, Lógica desde 1900.
204. Ewald 2019.
205. Ewald 2019; Schreiner 2021, pág. 22.

Bibliografía

• Aloni, María; Dekker, Paul (7 de julio de 2016). El manual de Cambridge de semántica formal. Prensa de la Universidad de Cambridge. págs. 22-23. ISBN 978-1-316-55273-5.
• Angell, Richard B. (1964). Razonamiento y Lógica. Medios ardientes. pag. 164. OCLC  375322.
• Audi, Robert (1999a). "Lógica informal". El Diccionario de Filosofía de Cambridge. Prensa de la Universidad de Cambridge. pag. 435.ISBN _ 978-1-107-64379-6. Archivado desde el original el 14 de abril de 2021 . Consultado el 29 de diciembre de 2021 .
• Audi, Robert (1999b). "Filosofía de la lógica". El Diccionario de Filosofía de Cambridge. Prensa de la Universidad de Cambridge. págs. 679–681. ISBN 978-1-107-64379-6. Archivado desde el original el 14 de abril de 2021 . Consultado el 29 de diciembre de 2021 .
• Backmann, Marius (1 de junio de 2019). "Variedades de justificación: cómo (no) resolver el problema de la inducción". Acta Analítica . 34 (2): 235–255. doi : 10.1007/s12136-018-0371-6 . ISSN  1874-6349. S2CID  125767384.
• Bagaria, Joan (2021). "Teoría de conjuntos". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 23 de septiembre de 2022 .
• Barnes, Jonathan (25 de enero de 2007). Verdad, etc.: seis conferencias sobre lógica antigua. Prensa de Clarendon. pag. 274.ISBN _ 978-0-19-151574-3.
• Benthem, Johan van. "Lógica modal: visión contemporánea: 1. Nociones modales y patrones de razonamiento: un primer paso". Enciclopedia de Filosofía de Internet . Consultado el 11 de marzo de 2023 .
• Berlemann, Lars; Mangold, Stefan (10 de julio de 2009). Radio cognitiva y acceso al espectro dinámico. John Wiley e hijos. pag. 194.ISBN _ 978-0-470-75443-6.
• Berman, Harold J. (1 de julio de 2009). Derecho y revolución, la formación de la tradición jurídica occidental. Prensa de la Universidad de Harvard. ISBN 978-0-674-02085-6.
• Bimbo, Katalin (2 de abril de 2016). J. Michael Dunn sobre lógica basada en información. Saltador. págs. 8–9. ISBN 978-3-319-29300-4.
• Blackburn, Simon (1 de enero de 2008). "argumento". El Diccionario Oxford de Filosofía. Prensa de la Universidad de Oxford. ISBN 978-0-19-954143-0. Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Blackburn, Simon (24 de marzo de 2016). "regla de inferencia". El Diccionario Oxford de Filosofía. Prensa de la Universidad de Oxford. ISBN 978-0-19-954143-0. Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Blair, J. Antonio ; Johnson, Ralph H. (1987). "El estado actual de la lógica informal". Lógica informal . 9 (2): 147–51. doi : 10.22329/il.v9i2.2671 . Archivado desde el original el 30 de diciembre de 2021 . Consultado el 2 de enero de 2022 .
• Blair, J. Antonio ; Johnson, Ralph H. (2000). "Lógica informal: una descripción general". Lógica informal . 20 (2): 93-107. doi : 10.22329/il.v20i2.2262 . Archivado desde el original el 9 de diciembre de 2021 . Consultado el 29 de diciembre de 2021 .
• Blair, J. Anthony (20 de octubre de 2011). Trabajo preliminar en la teoría de la argumentación: artículos seleccionados de J. Anthony Blair. Medios de ciencia y negocios de Springer. pag. 47.ISBN _ 978-94-007-2363-4.
• Bobzien, Susanne (2020). "Lógica antigua: 2. Aristóteles". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 28 de agosto de 2018 . Consultado el 3 de enero de 2022 .
• Borchert, Donald, ed. (2006a). "Teoría de la computabilidad". Enciclopedia Macmillan de Filosofía Volumen 2 (2ª ed.). Macmillan. págs. 372–390. ISBN 978-0-02-865782-0.
• Borchert, Donald (2006b). "Inducción". Enciclopedia Macmillan de Filosofía Volumen 4 (2ª ed.). Macmillan. págs. 635–648. ISBN 978-0-02-865784-4. Archivado desde el original el 12 de enero de 2021 . Consultado el 4 de enero de 2022 .
• Borchert, Donald (2006c). "Lógica no clásica". Enciclopedia Macmillan de Filosofía Volumen 5 (2ª ed.). Macmillan. págs. 485–492. ISBN 978-0-02-865785-1. Archivado desde el original el 12 de enero de 2021 . Consultado el 4 de enero de 2022 .
• Boris, Kulik; Alexander, Fridman (30 de noviembre de 2017). Relaciones N-arias para el análisis lógico de datos y conocimiento. IGI Global. pag. 74.ISBN _ 978-1-5225-2783-1.
• Puentes, Douglas; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut (30 de abril de 2023). Manual de Matemáticas Constructivas. Prensa de la Universidad de Cambridge. págs. 73–4. ISBN 978-1-316-51086-5.
• Brody, Boruch A. (2006). Enciclopedia de Filosofía . vol. 5. Donald M. Borchert (2ª ed.). Thomson Gale/Macmillan Referencia Estados Unidos. págs. 535–536. ISBN 978-0-02-865780-6. OCLC  61151356. Los dos tipos más importantes de cálculos lógicos son los cálculos proposicionales (o oracionales) y los cálculos funcionales (o predicados). Un cálculo proposicional es un sistema que contiene variables proposicionales y conectivos (algunos también contienen constantes proposicionales), pero no variables o constantes individuales o funcionales. En el cálculo proposicional extendido se añaden cuantificadores cuyas variables operadoras son variables proposicionales.
• Bunnin, Nicolás; Yu, Jiyuan (27 de enero de 2009). El Diccionario Blackwell de Filosofía Occidental. John Wiley e hijos. pag. 179.ISBN _ 978-1-4051-9112-8.
• Burgess, John P. (2009). "1. Lógica clásica". Lógica filosófica. Princeton, Nueva Jersey: Princeton University Press. págs. 1–12. ISBN 978-0-691-15633-0. Archivado desde el original el 16 de diciembre de 2021 . Consultado el 4 de enero de 2022 .
• Bäck, Allan T. (2016). La teoría de la predicación de Aristóteles. Rodaballo. pag. 317.ISBN _ 978-90-04-32109-0.
• Calderbank, Robert; Sloane, Neil JA (abril de 2001). "Claude Shannon (1916-2001)". Naturaleza . 410 (6830): 768.doi : 10.1038 /35071223 . ISSN  1476-4687. PMID  11298432. S2CID  4402158.
• Carnielli, Walter; Pizzi, Claudio (2008). Modalidades y Multimodalidades. Medios de ciencia y negocios de Springer. pag. 3.ISBN _ 978-1-4020-8590-1.
• Castaño, Arnaldo Pérez (23 de mayo de 2018). Inteligencia artificial práctica: aprendizaje automático, bots y soluciones de agentes utilizando C#. Presione. pag. 2.ISBN _ 978-1-4842-3357-3.
• Chakrabarti, Kisor Kumar (junio de 1976). "Algunas comparaciones entre la lógica de Frege y la lógica de Navya-Nyaya". Filosofía e Investigación Fenomenológica . 36 (4): 554–563. doi :10.2307/2106873. JSTOR  2106873.
• Chatfield, Tom (2017). Pensamiento crítico: su guía para una argumentación eficaz, un análisis exitoso y un estudio independiente. Sabio. pag. 194.ISBN _ 978-1-5264-1877-7.
• Chua, Eugenio (2017). "Una ruta empírica hacia el convencionalismo lógico'". Lógica, Racionalidad e Interacción . Apuntes de conferencias sobre informática. vol. 10455. págs. 631–636. doi :10.1007/978-3-662-55665-8_43. ISBN 978-3-662-55664-1.
• Relojes sin, William F.; Mellish, Christopher S. (2003). "La relación del prólogo con la lógica". Programación en Prolog: utilizando el estándar ISO . Saltador. págs. 237–257. doi :10.1007/978-3-642-55481-0_10. ISBN 978-3-642-55481-0.
• Cocine, Roy T. (2009). Diccionario de lógica filosófica. Prensa de la Universidad de Edimburgo. pag. 124.ISBN _ 978-0-7486-3197-1.
• Copi, Irving M .; Cohen, Carl; Rodych, Víctor (2019). Introducción a la Lógica. Rutledge. ISBN 978-1-351-38697-5.
• Corkum, Felipe (2015). "Generalidad y Constancia Lógica". Revista Portuguesa de Filosofía . 71 (4): 753–767. doi :10.17990/rpf/2015_71_4_0753. ISSN  0870-5283. JSTOR  43744657.
• Craig, Eduardo (1996). Enciclopedia de Filosofía de Routledge. Rutledge. ISBN 978-0-415-07310-3. Archivado desde el original el 16 de enero de 2021 . Consultado el 29 de diciembre de 2021 .
• Cummings, Luisa (2010). "Secuestro". La enciclopedia pragmática de Routledge. Rutledge. pag. 1.ISBN _ 978-1-135-21457-9. Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Cunningham, Daniel. "Teoría de conjuntos". Enciclopedia de Filosofía de Internet . Consultado el 23 de septiembre de 2022 .
• D'Agostino, Marcello; Floridi, Luciano (2009). "El perdurable escándalo de la deducción: ¿Es la lógica proposicional realmente poco informativa?". Síntesis . 167 (2): 271–315. doi :10.1007/s11229-008-9409-4. hdl : 2299/2995 . ISSN  0039-7857. JSTOR  40271192. S2CID  9602882.
• Daintith, Juan; Wright, Edmundo (2008). Un diccionario de informática. OUP. ISBN 978-0-19-923400-4.
• van Dalen, Dirk (1994). Lógica y Estructura . Saltador. Capítulo 1.5. ISBN 978-0-387-57839-2.
• Dasti, Matthew R. "Nyaya". Enciclopedia de Filosofía de Internet . Consultado el 12 de marzo de 2023 .
• Dick, Antonio S.; Müller, Ulrich (2017). Avance de la ciencia del desarrollo: filosofía, teoría y método. Taylor y Francisco. pag. 157.ISBN _ 978-1-351-70456-4.
• Douven, Igor (2021). "Secuestro". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 7 de septiembre de 2021 . Consultado el 24 de agosto de 2021 .
• Dowden, Bradley . "Falacias". Enciclopedia de Filosofía de Internet . Archivado desde el original el 29 de abril de 2010 . Consultado el 19 de marzo de 2021 .
• van Eemeren, Frans H.; Garssen, Bart (2009). Reflexionando sobre los problemas de la argumentación: veinte ensayos sobre cuestiones teóricas. Medios de ciencia y negocios de Springer. pag. 191.ISBN _ 978-1-4020-9165-0.
• van Eemeren, Frans H.; Garssen, Bart; Krabbe, Erik CW; Snoeck Henkemans, A. Francisca; Verheij, Bart; Wagemans, Jean HM (2021). "Lógica informal". Manual de teoría de la argumentación. Springer Países Bajos. págs. 1–45. doi :10.1007/978-94-007-6883-3_7-1. ISBN 978-94-007-6883-3. Archivado desde el original el 31 de diciembre de 2021 . Consultado el 2 de enero de 2022 .
• van Eemeren, Frans H.; Grootendorst, Rob; Johnson, Ralph H.; Plantín, cristiano; Willard, Charles A. (2013). Fundamentos de la teoría de la argumentación: un manual de antecedentes históricos y desarrollos contemporáneos. Rutledge. pag. 169.ISBN _ 978-1-136-68804-1.
• Emmanuel, Steven M. (2015). Un compañero de la filosofía budista. John Wiley e hijos. págs. 320–2. ISBN 978-1-119-14466-3.
• Enderton, Herbert (2001). Una introducción matemática a la lógica. Elsevier. ISBN 978-0-12-238452-3.
• Engel, S.Morris (1982). Con buena razón, una introducción a las falacias informales. Prensa de San Martín. ISBN 978-0-312-08479-0. Archivado desde el original el 1 de marzo de 2022 . Consultado el 2 de enero de 2022 .
• Evans, Jonathan St. BT (2005). "8. Razonamiento deductivo". En Morrison, Robert (ed.). El manual de pensamiento y razonamiento de Cambridge . Prensa de la Universidad de Cambridge. pag. 169.ISBN _ 978-0-521-82417-0.
• Ewald, William (2019). "El surgimiento de la lógica de primer orden". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 12 de marzo de 2023 .
• Falguera, José L.; Martínez-Vidal, Concha; Rosen, Gedeón (2021). "Objetos abstractos". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 22 de enero de 2021 . Consultado el 7 de enero de 2022 .
• Falikowski, Antonio; Mills, Susan (2022). Experimentar la filosofía (2ª ed.). Prensa Broadview. pag. 98.ISBN _ 978-1-77048-841-0.
• Pescador, Michael David; Gabbay, Dov M.; Vila, Lluís (2005). Manual de razonamiento temporal en inteligencia artificial. Elsevier. pag. 119.ISBN _ 978-0-08-053336-0.
• Fitch, GW (18 de diciembre de 2014). Saúl Kripke. Rutledge. pag. 17.ISBN _ 978-1-317-48917-7.
• Flotyński, Jakub (7 de diciembre de 2020). Entornos de realidad extendida explorables basados ​​en el conocimiento. Naturaleza Springer. pag. 39.ISBN _ 978-3-030-59965-2.
• Font, Josep María; Jansana, Ramón (2017). Una semántica algebraica general para la lógica oracional. Prensa de la Universidad de Cambridge. pag. 8.ISBN _ 978-1-107-16797-1.
• Fred, Michael. "Aristóteles". Universidad Tecnológica de Michigan . Consultado el 1 de noviembre de 2022 .
• Amiga, Michele (2014). Introducción a la Filosofía de las Matemáticas. Rutledge. pag. 101.ISBN _ 978-1-317-49379-2.
• Gama, LTF (1991). Lógica, Lenguaje y Significado Vol 1: Introducción a la Lógica . Prensa de la Universidad de Chicago. 5.5. ISBN 978-0-226-28085-1.
• Garson, James (2023). "Lógica modal". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 11 de marzo de 2023 .
• Gensler, Harry J. (2006). La A a la Z de la Lógica. Prensa de espantapájaros. págs. xliii-xliv. ISBN 978-1-4617-3182-5.
• Goble, Lou (2001). "Introducción". La guía Blackwell de lógica filosófica. Wiley-Blackwell. págs. 1–8. ISBN 978-0-631-20692-7. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 4 de enero de 2022 .
• Goodman, Lenn Evan (1992). Avicena . Rutledge. pag. 188.ISBN _ 978-0-415-01929-3.
• Buen hombre, Lenn Evan (2003). Humanismo islámico . Prensa de la Universidad de Oxford. pag. 155.ISBN _ 978-0-19-513580-0.
• Groarke, Louis F. "Aristóteles: Lógica". Enciclopedia de Filosofía de Internet . Archivado desde el original el 29 de diciembre de 2021 . Consultado el 1 de enero de 2022 .
• Groarke, Leo (2021). "Lógica informal". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 12 de enero de 2022 . Consultado el 31 de diciembre de 2021 .
• Gómez-Torrente, Mario (2019). "Verdad lógica". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 2 de octubre de 2021 . Consultado el 22 de noviembre de 2021 .
• Godel, Kurt (1984). "La lógica matemática de Russell". En Benacerraf, Pablo; Putnam, Hilary (eds.). Filosofía de las Matemáticas: Lecturas seleccionadas (2ª ed.). Prensa de la Universidad de Cambridge. págs. 447–469. ISBN 978-0-521-29648-9. Archivado desde el original el 11 de enero de 2022 . Consultado el 9 de enero de 2022 .
• Hájek, Petr (3 de septiembre de 2006). "Lógica difusa". Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 19 de julio de 2023 .
• Hájek, Alan; Lin, Hanti (2017). "¿Una historia de dos epistemologías?". Res Filosófica . 94 (2): 207–232. doi :10.11612/resphil.1540. S2CID  160029122. Archivado desde el original el 4 de enero de 2022 . Consultado el 4 de enero de 2022 .
• Salón, Cordelia; O'Donnell, John (2000). Matemáticas discretas usando una computadora. Medios de ciencia y negocios de Springer. pag. 48.ISBN _ 978-1-85233-089-7.
• Houde, R.; Camacho, L. (2003). "Inducción". Nueva Enciclopedia Católica. ISBN 978-0-7876-4004-0. Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Haack, Susan (1974). Lógica desviada: algunas cuestiones filosóficas. Archivo COPA. pag. 51.ISBN _ 978-0-521-20500-9.
• Haack, Susan (1978). "1. 'Filosofía de la lógica'". Filosofía de la Lógica. Londres y Nueva York: Cambridge University Press. págs. 1-10. ISBN 978-0-521-29329-7. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 29 de diciembre de 2021 .
• Haack, Susan (1996). Lógica desviada, lógica difusa: más allá del formalismo. Prensa de la Universidad de Chicago. ISBN 978-0-226-31133-3.
• Haaparanta, Leila (2009). "1. Introducción". El desarrollo de la lógica moderna . Prensa de la Universidad de Oxford. págs. 4–6. ISBN 978-0-19-513731-6.
• Hansen, Hans (2020). "Falacias". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 29 de marzo de 2021 . Consultado el 18 de marzo de 2021 .
• Hartmann, Stephan; Sprenger, enero (2010). "Epistemología bayesiana". El compañero de Routledge para la epistemología. Londres: Routledge. págs. 609–620. ISBN 978-0-415-96219-3. Archivado desde el original el 16 de mayo de 2021 . Consultado el 4 de enero de 2022 .
• Hasse, Dag Nikolaus (2008). "Influencia de la filosofía árabe e islámica en el Occidente latino". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 19 de julio de 2023 .
• Hawthorne, James (2021). "Lógica Inductiva". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 21 de enero de 2022 . Consultado el 6 de enero de 2022 .
• Hintikka, Jaakko J. (2019). "Filosofía de la lógica". Enciclopedia Británica . Archivado desde el original el 28 de abril de 2015 . Consultado el 21 de noviembre de 2021 .
• Hintikka, Jaakko J. (2023). "Sistemas lógicos". Enciclopedia Británica . Archivado desde el original el 7 de diciembre de 2021 . Consultado el 4 de diciembre de 2021 .
• Hintikka, Jaakko (1970). "Información, Deducción y el A Priori". Noûs . 4 (2): 135-152. doi :10.2307/2214318. ISSN  0029-4624. JSTOR  2214318.
• Hintikka, Jaakko ; Sandu, Gabriel (2006). "¿Qué es la lógica?". En Jacquette, D. (ed.). Filosofía de la Lógica. Holanda del Norte. págs. 13–39. ISBN 978-0-444-51541-4. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 29 de diciembre de 2021 .
• Hintikka, Jaakko J .; Pala, Paul Vicente. "Historia de la lógica". Enciclopedia Británica . Consultado el 23 de septiembre de 2022 .
• Honderich, Ted (2005). El compañero de filosofía de Oxford. Prensa de la Universidad de Oxford. ISBN 978-0-19-926479-7. Archivado desde el original el 29 de enero de 2021 . Consultado el 2 de enero de 2022 .
• Hurley, Patrick J. (2015). "4. Silogismos categóricos". Lógica: lo esencial. Wadsworth. págs. 189-237. ISBN 978-1-305-59041-0. Archivado desde el original el 4 de enero de 2022 . Consultado el 4 de enero de 2022 .
• Personal del PEI. "Argumentos deductivos e inductivos". Archivado desde el original el 28 de mayo de 2010 . Consultado el 6 de enero de 2022 .
• Iqbal, Mohammad (2013). "El espíritu de la cultura musulmana". La reconstrucción del pensamiento religioso en el Islam. Prensa de la Universidad de Stanford. págs. 99-115. ISBN 978-0-8047-8686-7.
• Irvine, Andrew David (2022). "Bertrand Russell". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 29 de septiembre de 2022 .
• Jacquette, Dale (2006). "Introducción: Filosofía de la lógica hoy". Filosofía de la Lógica. Holanda del Norte. págs. 1–12. ISBN 978-0-444-51541-4. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 29 de diciembre de 2021 .
• Jago, Marcos (2014). Lo imposible: un ensayo sobre la hiperintensionalidad. OUP Oxford. pag. 41.ISBN _ 978-0-19-101915-9.
• Janssen, Theo MV; Zimmermann, Thomas Ede (2021). "Semántica de Montague". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. págs. 3–4 . Consultado el 10 de marzo de 2023 .
• Johnson, Ralph H. (1999). "La relación entre la lógica formal e informal". Argumentación . 13 (3): 265–274. doi :10.1023/A:1007789101256. S2CID  141283158. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 2 de enero de 2022 .
• Johnson, Ralph H. (15 de julio de 2014). El auge de la lógica informal: ensayos sobre argumentación, pensamiento crítico, razonamiento y política. Universidad de Windsor. ISBN 978-0-920233-71-9.
• Ketland, Jeffrey (2005). "Lógica de segundo orden". Enciclopedia Macmillan de Filosofía Volumen 8. págs. ISBN 978-0-02-865788-2. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 4 de enero de 2022 .
• King, Jeffrey C. (2 de septiembre de 2009). "Semántica formal". El Manual de Oxford de Filosofía del Lenguaje . págs. 557–8. doi : 10.1093/oxfordhb/9780199552238.003.0023. ISBN 978-0-19-955223-8.
• Rey, Jeffrey C. (2019). "Proposiciones estructuradas". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 25 de octubre de 2021 . Consultado el 4 de diciembre de 2021 .
• Klement, Kevin C. (1995b). "Lógica proposicional". Enciclopedia de Filosofía de Internet . ISSN  2161-0002 . Consultado el 23 de septiembre de 2022 .
• Kline, Morris (1972). Pensamiento Matemático desde la Antigüedad hasta la Modernidad . Prensa de la Universidad de Oxford. ISBN 978-0-19-506135-2.
• Kneale, William ; Kneale, Marta (1962). El desarrollo de la lógica. Prensa de Clarendon. ISBN 978-0-19-824773-9.
• Knuutila, Simo (1980). Reforzando la gran cadena del ser: estudios de la historia de las teorías modales. Medios de ciencia y negocios de Springer. pag. 71.ISBN _ 978-90-277-1125-0.
• Korb, Kevin (2004). "Falacia y lógica informal bayesiana". Lógica informal . 24 (1): 41–70. doi : 10.22329/il.v24i1.2132 . Archivado desde el original el 10 de noviembre de 2021 . Consultado el 2 de enero de 2022 .
• Koslowski, Bárbara (2017). "Explicación y razonamiento abductivo". Manual internacional de pensamiento y razonamiento . Rutledge. págs. 366–382. doi :10.4324/9781315725697. ISBN 978-1-315-72569-7. Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Kusch, Martín (2020). "Psicología". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 29 de diciembre de 2020 . Consultado el 30 de noviembre de 2021 .
• Lagerlund, Henrik (27 de septiembre de 2018). "Revisión de Las secuelas del silogismo: argumento lógico aristotélico de Avicena a Hegel". Reseñas filosóficas de Notre Dame . Consultado el 19 de julio de 2023 .
• Lear, Jonathan (1980). Aristóteles y la teoría lógica. Archivo COPA. pag. 34.ISBN _ 978-0-521-31178-6.
• Leary, Christopher C.; Kristiansen, Lars (2015). Una introducción amistosa a la lógica matemática. Suny. pag. 195.ISBN _ 978-1-942341-07-9.
• Lepore, Ernesto; Cumming, Sam (14 de septiembre de 2012). Significado y argumento: una introducción a la lógica a través del lenguaje. John Wiley e hijos. pag. 5.ISBN _ 978-1-118-45521-0.
• Li, Wei (26 de febrero de 2010). Lógica matemática: fundamentos de la ciencia de la información. Medios de ciencia y negocios de Springer. pag. IX. ISBN 978-3-7643-9977-1.
• Linsky, Bernard (2011). La evolución de Principia Mathematica: manuscritos y notas de Bertrand Russell (2ª ed.). Prensa de la Universidad de Cambridge. pag. 4.ISBN _ 978-1-139-49733-6.
• Liu, Shiyong; Guo, Kaizhong (7 de marzo de 2023). Lógica de errores: allanando caminos para la identificación y gestión inteligente de errores. Naturaleza Springer. pag. 15.ISBN _ 978-3-031-00820-7.
• Łukasiewicz, enero (1957). La silogística de Aristóteles desde el punto de vista de la lógica formal moderna (2ª ed.). Prensa de la Universidad de Oxford. pag. 7. OCLC  656161566.
• MacFarlane, John (2017). "Constantes lógicas". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 17 de marzo de 2020 . Consultado el 21 de noviembre de 2021 .
• Mackie, JL (1967). "Falacias". enciclopedia.com . Archivado desde el original el 15 de abril de 2021 . Consultado el 19 de marzo de 2021 .
• Magnus, PD (2005). Forall X: Introducción a la lógica formal. Victoria, BC, Canadá: Servicios de oferta de la Universidad Estatal de Nueva York. págs. 8–9. ISBN 978-1-64176-026-3. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 29 de diciembre de 2021 .
• Makridis, Odiseo (2022). Lógica simbólica. Naturaleza Springer. págs. 1–2. ISBN 978-3-030-67396-3.
• Maltby, John; Día, Liz; Macaskill, Ann (2007). Personalidad, Diferencias Individuales e Inteligencia. Prentice Hall. ISBN 978-0-13-129760-9.
• Marenbon, John (2021). "Anicius Manlius Severinus Boecio". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford.
• McKeon, Mateo. "Consecuencia lógica". Enciclopedia de Filosofía de Internet . Archivado desde el original el 12 de noviembre de 2021 . Consultado el 20 de noviembre de 2021 .
• Michaelson, Eliot; Reimer, Marga (2019). "Referencia". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 4 de diciembre de 2021 .
• Molinos, Ethan (2018). Tres pilares del escepticismo en la India clásica: Nagarjuna, Jayarasi y Sri Harsa. Rowman y Littlefield. pag. 121.ISBN _ 978-1-4985-5570-8. ... para Nyāya toda inferencia tiene sus raíces en última instancia en la percepción ... Los Naiyāyikas suelen aceptar cuatro medios de conocimiento: percepción, inferencia, comparación y testimonio.
• Monje, J. Donald (1976). "Introducción". Lógica Matemática . Saltador. págs. 1–9. doi :10.1007/978-1-4684-9452-5_1. ISBN 978-1-4684-9452-5. Archivado desde el original el 9 de enero de 2022 . Consultado el 9 de enero de 2022 .
• Moore, Kevin; Cromby, John (8 de agosto de 2016). ¿Cuál es la mejor manera de "seguir adelante"? Perspectivas de una "síntesis moderna" en las ciencias de la mente. Fronteras Media SA. pag. 60.ISBN _ 978-2-88919-906-8.
• Moore, Terencia; Carling, Christine (1982). Comprensión del lenguaje: hacia una lingüística poschomskyana. Saltador. pag. 53.ISBN _ 978-1-349-16895-8.
• Moschovakis, Joan (2022). "Lógica intuicionista". La Enciclopedia de Filosofía de Stanford: Introducción . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 11 de marzo de 2023 .
• Nolt, John (2021). "Lógica libre: 1. Conceptos básicos". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 10 de septiembre de 2022 .
• Nunes, Terezinha (2011). "Razonamiento y aprendizaje lógico". En Seel, Norbert M. (ed.). Enciclopedia de las ciencias del aprendizaje. Medios de ciencia y negocios de Springer. págs. 2066-2069. ISBN 978-1-4419-1427-9.
• O'Regan, Gerard (2016). Introducción a la historia de la informática: una introducción a la historia de la informática. Saltador. pag. 49.ISBN _ 978-3-319-33138-6.
• Oaksford, Mike; Chater, Nick (2007). Racionalidad bayesiana: el enfoque probabilístico del razonamiento humano. OUP Oxford. pag. 47.ISBN _ 978-0-19-852449-6.
• Olkowski, Dorotea; Pirovolakis, Eftichis (31 de enero de 2019). La filosofía de la libertad de Deleuze y Guattari: estribillos de la libertad. Rutledge. págs. 65–66. ISBN 978-0-429-66352-9.
• Olsson, Erik J. (2018). "Epistemología bayesiana". Introducción a la Filosofía Formal. Saltador. págs. 431–442. ISBN 978-3-030-08454-7. Archivado desde el original el 16 de mayo de 2021 . Consultado el 4 de enero de 2022 .
• Personal de etimología en línea. "Lógica". etymonline.com . Archivado desde el original el 29 de diciembre de 2021 . Consultado el 29 de diciembre de 2021 .
• Partee, Barbara H. (2016). Aloni, María; Dekker, Paul (eds.). El manual de Cambridge de semántica formal . Prensa de la Universidad de Cambridge. ISBN 978-1-107-02839-5.
• Paulson, Lawrence C. (febrero de 2018). "Lógica computacional: sus orígenes y aplicaciones". Actas de la Royal Society A: Ciencias Matemáticas, Físicas y de Ingeniería . 474 (2210): 1–14. arXiv : 1712.04375 . Código Bib : 2018RSPSA.47470872P. doi :10.1098/rspa.2017.0872. PMC  5832843 . PMID  29507522. S2CID  3805901.
• Pedemonte, Bettina (25 de junio de 2018). "Reglas estratégicas frente a reglas definitorias: su papel en la argumentación abductiva y su relación con la prueba deductiva". Revista Eurasia de Educación en Matemáticas, Ciencias y Tecnología . 14 (9): 1–17. doi : 10.29333/ejmste/92562 . ISSN  1305-8215. S2CID  126245285. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 8 de enero de 2022 .
• Pickel, Bryan (1 de julio de 2020). "Proposiciones estructuradas y composición trivial". Síntesis . 197 (7): 2991–3006. doi : 10.1007/s11229-018-1853-1 . hdl : 20.500.11820/3427c028-f2cb-4216-a199-9679a49ce71c . ISSN  1573-0964. S2CID  49729020.
• Pietroski, Paul (2021). "Forma lógica: 1. Patrones de razón". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 2 de octubre de 2021 . Consultado el 4 de diciembre de 2021 .
• Planty-Bonjour, Guy (2012). Las categorías del materialismo dialéctico: ontología soviética contemporánea. Medios de ciencia y negocios de Springer. pag. 62.ISBN _ 978-94-010-3517-0.
• Possin, Kevin (2016). "Argumentos conductivos: ¿por qué esto sigue existiendo?". Lógica informal . 36 (4): 563–593. doi : 10.22329/il.v36i4.4527 . Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Sacerdote, Graham; Tanaka, Koji; Weber, Zach (2018). "Lógica paraconsistente". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 14 de diciembre de 2021 .
• Pepin, Jean (2004). "Logotipos". Enciclopedia de religión. ISBN 978-0-02-865733-2. Archivado desde el original el 29 de diciembre de 2021 . Consultado el 29 de diciembre de 2021 .
• Putnam, H. (1969). "¿Es la lógica empírica?". Estudios de Boston en Filosofía de la Ciencia . vol. 5. págs. 216–241. doi :10.1007/978-94-010-3381-7_5. ISBN 978-94-010-3383-1.
• Quine, Willard Van Orman (1981). Lógica Matemática. Prensa de la Universidad de Harvard. pag. 1.ISBN _ 978-0-674-55451-1.
• Rathjen, Michael; Sieg, Wilfried (2022). "Teoría de la prueba". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 4 de marzo de 2023 .
• Rautenberg, Wolfgang (1 de julio de 2010). Una introducción concisa a la lógica matemática. Saltador. pag. 15.ISBN _ 978-1-4419-1221-3.
• Rendsvig, Rasmus; Symons, Juan (2021). "Lógica epistémica". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 11 de marzo de 2023 .
• Restablece, Greg; Standefer, Shawn (2023). Métodos lógicos. Prensa del MIT. pag. 91.ISBN _ 978-0-262-54484-9.
• Richardson, Alan W. (1998). La construcción del mundo de Carnap: el Aufbau y el surgimiento del empirismo lógico. Prensa de la Universidad de Cambridge. pag. 15.ISBN _ 978-0-521-43008-1.
• Rini, Adriane (13 de diciembre de 2010). Pruebas modales de Aristóteles: análisis previo A8-22 en lógica de predicados. Medios de ciencia y negocios de Springer. pag. 26.ISBN _ 978-94-007-0050-5.
• Ritola, Juho (1 de diciembre de 2008). "La lógica informal de Walton: un enfoque pragmático". Lógica informal . 28 (4): 335. doi : 10.22329/il.v28i4.2856 .
• Rocci, Andrea (8 de marzo de 2017). Modalidad en la argumentación: una investigación semántica del papel de las modalidades en la estructura de los argumentos con una aplicación a las expresiones modales italianas. Saltador. pag. 26.ISBN _ 978-94-024-1063-1.
• Rošker, Jana S. (mayo de 2015). "Lógica china clásica: brújula de la filosofía". Brújula de Filosofía . 10 (5): 301–309. doi :10.1111/phc3.12226.
• Runco, Mark A.; Pritzker, Steven R. (1999). Enciclopedia de la creatividad. Prensa académica. pag. 155.ISBN _ 978-0-12-227075-8.
• Rush, Penélope (2014). "Introducción". La metafísica de la lógica. Prensa de la Universidad de Cambridge. págs. 1–10. ISBN 978-1-107-03964-3. Archivado desde el original el 7 de diciembre de 2021 . Consultado el 8 de enero de 2022 .
• Sadegh-Zadeh, Kazem (2015). Manual de filosofía analítica de la medicina. Saltador. pag. 983.ISBN _ 978-94-017-9579-1.
• Sagüillo, José M. (2014). "Hintikka sobre información y deducción". Teorema: Revista Internacional de Filosofía . 33 (2): 75–88. ISSN  0210-1602. JSTOR  43047609.
• Sarukkai, Sundar; Chakraborty, Mihir Kumar (2022). Manual de pensamiento lógico en la India. Naturaleza Springer. págs. 117–8. ISBN 978-81-322-2577-5.
• Schagrin, Morton L. "Metalógico". Enciclopedia Británica . Consultado el 23 de septiembre de 2022 .
• Schechter, Josué. "Epistemología de la Lógica - Bibliografía". PhilPapers . Consultado el 11 de septiembre de 2022 .
• Schlesinger, IM; Keren-Portnoy, Tamar; Parush, Tamar (1 de enero de 2001). La estructura de los argumentos. Publicación de John Benjamins. pag. 220.ISBN _ 978-90-272-2359-3.
• Schreiner, Wolfgang (2021). Programas de pensamiento: modelado lógico y razonamiento sobre lenguajes, datos, cálculos y ejecuciones. Naturaleza Springer. pag. 22.ISBN _ 978-3-030-80507-4.
• Scott, Juan; Marshall, Gordon (2009). "inducción analítica". Un diccionario de sociología. Prensa de la Universidad de Oxford. ISBN 978-0-19-953300-8. Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Shapiro, Stewart; Kouri Kissel, Teresa (2022). "Lógica clásica". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 19 de julio de 2023 .
• Shermer, Michael (25 de octubre de 2022). Conspiración: por qué los racionales creen en los irracionales. Prensa JHU. ISBN 978-1-4214-4445-1.
• Sider, Theodore (2010). Lógica para la Filosofía . Prensa de la Universidad de Oxford. ISBN 978-0-19-957558-9.
• Siegel, Harvey; Biro, John (1997). "Normatividad, argumentación y falacias epistémicas". Argumentación . 11 (3): 277–292. doi :10.1023/A:1007799325361. S2CID  126269789. Archivado desde el original el 28 de febrero de 2022 . Consultado el 4 de enero de 2022 .
• Simpson, RL (2008). Fundamentos de la lógica simbólica (3ª ed.). Prensa Broadview. pag. 14.ISBN _ 978-1-77048-495-5.
• Smith, Robin (2022). "La lógica de Aristóteles". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 11 de marzo de 2023 .
• Pala, Paul Vicente; Panaccio, Claude (2019). "Guillermo de Ockham". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford.
• Spriggs, John (2012). GSN – La notación de estructuración de objetivos: un enfoque estructurado para presentar argumentos. Medios de ciencia y negocios de Springer. págs. 20-22. ISBN 978-1-4471-2312-5.
• Escaleras, Allen (2017). Una guía para el pensador sobre la filosofía de la religión. Rutledge. pag. 343.ISBN _ 978-1-351-21981-5.
• Sternberg, Robert J. "Pensamiento". Enciclopedia Británica . Archivado desde el original el 13 de octubre de 2021 . Consultado el 14 de octubre de 2021 .
• Stolyar, Abram Aronovich (1 de enero de 1984). Introducción a la Lógica Matemática Elemental. Corporación de mensajería. ISBN 978-0-486-64561-2.
• Piedra, Mark A. (2012). "Negar el antecedente: su uso eficaz en la argumentación". Lógica informal . 32 (3): 327–356. doi : 10.22329/il.v32i3.3681 . Archivado desde el original el 28 de febrero de 2022 . Consultado el 8 de enero de 2022 .
• Stump, David J. "Falacia lógica". enciclopedia.com . Archivado desde el original el 15 de febrero de 2021 . Consultado el 20 de marzo de 2021 .
• Talbott, William (2016). "Epistemología bayesiana". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 1 de abril de 2021 . Consultado el 6 de marzo de 2021 .
• Tarski, Alfred (1994). Introducción a la Lógica y a la Metodología de las Ciencias Deductivas. Prensa de la Universidad de Oxford. pag. 40.ISBN _ 978-0-19-802139-1.
• Tondl, L. (2012). Problemas de la semántica: una contribución al análisis de la ciencia del lenguaje. Medios de ciencia y negocios de Springer. pag. 111.ISBN _ 978-94-009-8364-9.
• Velleman, Daniel J. (2006). Cómo demostrarlo: un enfoque estructurado. Prensa de la Universidad de Cambridge. pag. 8, 103. ISBN 978-0-521-67599-4.
• Vickers, John M. (2022). "Razonamiento inductivo". Bibliografías de Oxford . Prensa de la Universidad de Oxford . Consultado el 18 de enero de 2023 .
• Vidyabhusana, Satis Chandra (1988). Una historia de la lógica india: escuelas antiguas, medievales y modernas. Editorial Motilal Banarsidass. pag. 221.ISBN _ 978-81-208-0565-1.
• Vleet, Van Jacob E. (2010). "Introducción". Falacias lógicas informales: una breve guía. Upá. págs. ix-x. ISBN 978-0-7618-5432-6. Archivado desde el original el 28 de febrero de 2022 . Consultado el 2 de enero de 2022 .
• Väänänen, Jouko (2021). "Lógica de segundo orden y de orden superior". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Archivado desde el original el 30 de octubre de 2021 . Consultado el 23 de noviembre de 2021 .
• Walton, Douglas N. (1987). Falacias informales: hacia una teoría de la crítica argumental. Juan Benjamín. ISBN 978-1-55619-010-0. Archivado desde el original el 2 de marzo de 2022 . Consultado el 2 de enero de 2022 .
• Warren, Jared (2020). Sombras de la sintaxis: revitalizando el convencionalismo lógico y matemático. Prensa de la Universidad de Oxford. ISBN 978-0-19-008615-2.
• Washell, Richard F. (1973). "Lógica, lenguaje y Alberto Magno". Revista de Historia de las Ideas . 34 (3): 445–50. doi :10.2307/2708963. JSTOR  2708963.
• Wasilewska, Anita (2018). Lógicas para la informática: clásica y no clásica. Saltador. págs. 145–6. ISBN 978-3-319-92591-2.
• Weber, Zach. "Lógica paraconsistente". Enciclopedia de Filosofía de Internet . Consultado el 12 de diciembre de 2021 .
• Weddle, Perry (2011). "Capítulo 36. Lógica informal y la distinción eductivo-inductivo". A través de las líneas de disciplinas. De Gruyter Mouton. págs. 383–388. doi :10.1515/9783110867718.383. ISBN 978-3-11-086771-8. Archivado desde el original el 31 de diciembre de 2021 . Consultado el 2 de enero de 2022 .
• Westerståhl, Dag (1989). "Silogismos aristotélicos y cuantificadores generalizados". Estudios Lógica . 48 (4): 577–585. doi :10.1007/BF00370209. S2CID  32089424. Archivado desde el original el 4 de enero de 2022 . Consultado el 4 de enero de 2022 .
• Wilbanks, Jan J. (1 de marzo de 2010). "Definición de deducción, inducción y validez". Argumentación . 24 (1): 107–124. doi :10.1007/s10503-009-9131-5. ISSN  1572-8374. S2CID  144481717. Archivado desde el original el 8 de enero de 2022 . Consultado el 8 de enero de 2022 .
• Wilce, Alejandro (2021). "Lógica cuántica y teoría de la probabilidad: 2.1 Lógica cuántica realista". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . Consultado el 11 de marzo de 2023 .
• Wile, Bruce; Goss, Juan; Roesner, Wolfgang (2005). Verificación funcional integral: el ciclo industrial completo. Elsevier. pag. 447.ISBN _ 978-0-08-047664-3.
• Willman, Marshall D. (2022). "Lógica y lenguaje en la filosofía china temprana". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford. Introducción . Consultado el 11 de marzo de 2023 .
• Lobo, Robert G. (1978). "¿Están desviadas las lógicas relevantes?". Filosofía . 7 (2): 327–340. doi :10.1007/BF02378819. S2CID  143697796. Archivado desde el original el 16 de diciembre de 2021 . Consultado el 4 de enero de 2022 .
• Zegarelli, Marcos (2010). Lógica para tontos. John Wiley e hijos. pag. 30.ISBN _ 978-1-118-05307-2. Archivado desde el original el 14 de mayo de 2015 . Consultado el 7 de marzo de 2015 .

Otras lecturas

• Barwise, Jon (1989). Manual de lógica matemática . Elsevier. ISBN 978-0-08-093364-1.
• Belnap, Nuel (1977). "Una lógica útil de cuatro valores". En Dunn, J. Michael; Epstein, George (eds.). Usos modernos de la lógica de valores múltiples . Saltador. págs. 8–40. ISBN 978-90-277-0747-5.
• Bocheński, Józef María (1959). Un resumen de la lógica matemática. Springer Países Bajos. ISBN 978-94-017-0592-9.
• Bocheński, Józef María (1970). Una historia de la lógica formal. Compañía editorial de Chelsea. ISBN 978-0-8284-0238-5.
• Brookshear, J. Glenn (1989). Teoría de la Computación: Lenguajes Formales, Autómatas y Complejidad . Pub Benjamín/Cummings. ISBN del condado 978-0-8053-0143-4.
• Cohen, Robert S.; Wartofsky, Marx W. (2012). Estudios lógicos y epistemológicos en la física contemporánea. Medios de ciencia y negocios de Springer. ISBN 978-94-010-2656-7.
• Finkelstein, David (2012). "Materia, Espacio y Lógica". En Cohen, Robert S.; Wartofsky, Marx W. (eds.). Estudios de Boston en Filosofía de la Ciencia: Actas del Coloquio de Boston sobre Filosofía de la Ciencia 1966/1968 . Medios de ciencia y negocios de Springer. ISBN 978-94-010-3381-7.
• Gabbay, Dov M .; Guenthner, Franz (2011). Manual de lógica filosófica: Volumen I: Elementos de lógica clásica. Springer Países Bajos. ISBN 978-94-009-7068-7.
• Harper, Robert (2001). "Lógica". Diccionario de etimología en línea . Archivado desde el original el 6 de febrero de 2009 . Consultado el 8 de mayo de 2009 .
• Hilbert, David ; Ackermann, Wilhelm (21 de noviembre de 2013). Grundzüge der theoretischen Logik (en alemán). Springer-Verlag. ISBN 978-3-662-41928-1.
• Hodges, Wilfrid (2001). Lógica. Pingüino Adulto. ISBN 978-0-14-100314-6.
• Hofweber, Thomas (2021). "Lógica y Ontología". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford.
• Hughes, RIG (1993). Un compañero filosófico de la lógica de primer orden. Publicación Hackett. ISBN 978-0-87220-181-1.
• Mendelson, Elliott (2015). Introducción a la lógica matemática (6ª ed.). Taylor y Francisco. ISBN 978-1-4822-3772-6.
• Smith, Barry (1989). "La lógica y el Sachverhalt". El monista . 72 (1): 52–69. doi : 10.5840/monist19897212.
• Whitehead, Alfred Norte ; Russell, Bertrand (1910). Principios Matemáticos. Impresión de borradores. ISBN 9781603864374. OCLC  872285723.

enlaces externos

Escuche este artículo ( 1 hora y 9 minutos )

Este archivo de audio se creó a partir de una revisión de este artículo con fecha del 5 de noviembre de 2023 y no refleja ediciones posteriores. (2023-11-05)

( Ayuda de audio  · Más artículos hablados )

• "Cálculo lógico", Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Una calculadora lógica: aplicación web para evaluar declaraciones simples en lógica simbólica
• Ontología e Historia de la Lógica: Introducción con bibliografía comentada