Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China,
India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía,
pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto
ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
No existe un acuerdo universal sobre la definición exacta o los límites de la lógica.4 5 6 Sin
embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye:
Índice
Etimología y acepciones
Temas
Inferencia
Validez
Falacias
Paradojas
Verdad
Ramas
Lógica matemática
Lógica computacional
Lógica filosófica
Lógica informal
Lógica silogística
Lógica proposicional
Lógica modal
Lógica de predicados
Lógica no clásica
Historia
Controversias
¿Es empírica la lógica?
Implicación: estricta o material
Tolerar lo imposible
Rechazo de la verdad lógica
Véase también
Referencias
Bibliografía adicional
Enlaces externos
Etimología y acepciones
La palabra «lógica» deriva del griego antiguo λογική logikḗ, que significa «dotada de razón,
intelectual, dialéctica, argumentativa» y que a su vez viene de λόγος (lógos), «palabra,
pensamiento, idea, argumento, razón o principio».7 8 i
Del mismo modo existe el concepto sociológico y cultural de lógica como por ejemplo «lógica
deportiva», que en general, podríamos considerar como «lógica cotidiana» - también conocida
como «lógica del sentido común».
Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; en
definitiva cuando cumple una función de eficacia. La habilidad de pensar y expresar un argumento
así corresponde a la retórica, cuya relación con la verdad es una relación probable.
Temas
Inferencia
La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.9 Cuando una
conclusión se sigue de sus premisas por medio de inferencias válidas, se dice que éstas implican
aquella.
La inferencia es el objeto de estudio tradicional de la lógica, así como la vida es el objeto de estudio
de la biología. La lógica investiga los fundamentos por los cuales algunas inferencias son
aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica y no por el
contenido específico del argumento o el lenguaje utilizado (retórica). Por esto se construyen
sistemas lógicos que capturan los factores relevantes de las deducciones que aparecen en el
lenguaje natural.10
Tradicionalmente, se distinguen tres clases de inferencias: las deducciones, las inducciones y las
abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.11 Las
inducciones se estudian desde la lógica inductiva y el problema de la inducción. Las deducciones,
en cambio, son estudiadas por la mayor parte de la lógica contemporánea.12
Validez
En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la
conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento
es deductivamente válido.13 Algunos consideran estas dos nociones idénticas y usan ambos
términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos que no
sean deductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces
se dice que son buenas o malas, en vez de válidas o inválidas.
Para que un argumento sea deductivamente válido, no es necesario que las premisas o la
conclusión sean verdaderas. Sólo se requiere que la conclusión sea una consecuencia lógica de las
premisas. La lógica formal exige únicamente una relación condicional entre las premisas y la
conclusión. Esto es: que si las premisas son verdaderas, entonces la conclusión también lo es (esta
es la caracterización semántica de la noción de consecuencia lógica); o alternativamente: que la
conclusión sea deducible de las premisas conforme a las reglas de un sistema lógico (esta es la
caracterización sintáctica de la noción de consecuencia lógica). Si un argumento, además de ser
válido, tiene premisas verdaderas, entonces se dice que es sólido.
Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas, y la
lógica las estudia mediante sistemas formales.14
Falacias
En lógica, una falacia (del latín fallacia ‘engaño’) es un argumento que parece válido, pero no lo
es.15 16
Algunas falacias se cometen intencionalmente para persuadir o manipular a los demás,
mientras que otras se cometen sin intención debido a descuidos o ignorancia. En ocasiones las
falacias pueden ser muy sutiles y persuasivas, por lo que se debe poner mucha atención para
detectarlas.17
Que un argumento sea falaz no implica que sus premisas o su conclusión sean falsas ni que sean
verdaderas. Un argumento puede tener premisas y conclusión verdaderas y aun así ser falaz. Lo
que hace falaz a un argumento es la invalidez del argumento en sí. De hecho, inferir que una
proposición es falsa porque el argumento que la contiene por conclusión es falaz es en sí una
falacia conocida como argumento ad logicam.18
El estudio de las falacias se remonta por lo menos hasta Aristóteles, quien en sus Refutaciones
sofísticas identificó y clasificó trece clases de falacias.15 Desde entonces se han agregado a la lista
cientos de otras falacias y se han propuesto varios sistemas de clasificación.19
Las falacias son de interés no solo para la lógica, sino también para la política, la retórica, el
derecho, la ciencia, la religión, el periodismo, la mercadotecnia, el cine y, en general, cualquier
área en la cual la argumentación y la persuasión sean de especial relevancia.
Paradojas
Una paradoja (del latín paradoxa, ‘lo contrario a la opinión común’) o
antilogía es una idea lógicamente contradictoria u opuesta a lo que se
considera verdadero a la opinión general.20 También se considera
paradoja a una proposición en apariencia falsa o que infringe el sentido
común, pero no conlleva una contradicción lógica, en contraposición a
un sofisma que solo aparenta ser un razonamiento válido.21 Algunas
paradojas son razonamientos en apariencia válidos, que parten de
premisas en apariencia verdaderas, pero que conducen a
contradicciones o situaciones contrarias al sentido común.22 En la
El cubo imposible es un
retórica, es una figura de pensamiento que consiste en emplear
objeto paradójico.
expresiones o frases que implican contradicción. Las paradojas son
estímulo para la reflexión y a menudo los filósofos se sirven de ellas para
revelar la complejidad de la realidad. La paradoja también permite
demostrar las limitaciones de la comprensión humana; la identificación de paradojas basadas en
conceptos que a simple vista parecen sencillos y razonables ha impulsado importantes avances en
la ciencia, la filosofía y las matemáticas.23
Verdad
La verdad es la coincidencia entre una afirmación y los
hechos, o la realidad a la que dicha afirmación se refiere24 o
la fidelidad a una idea.24 El término se usa en un sentido
técnico en diversos campos como la ciencia, la lógica, las
matemáticas y la filosofía.
Este artículo procura introducir las principales interpretaciones y perspectivas, tanto históricas
como actuales, acerca de este concepto.
La pregunta por la verdad es y ha sido objeto de debate entre teólogos, filósofos y lógicos a lo largo
de los siglos considerándose un tema concerniente al alma y al estudio de una llamada psicología
racional dentro del campo de la filosofía.
Ramas
Sobre esta primera, y en cierto sentido única, regla de la razón, de que para aprender hay que desear
aprender, y al desearlo no conformarse con lo que ya se inclina a pensar de forma capaz, se desprende un
corolario que merece por sí mismo ser inscrito en cada muro de la ciudad de la filosofía: No bloquees el
camino de la investigación.
—Charles Sanders Peirce, Primera regla de la lógica
Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o
logística,33 es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la
matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la
construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la
aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La
investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de
las matemáticas.
La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración,
teoría de conjuntos y teoría de la computabilidad. La teoría de la demostración y la teoría de
modelos fueron el fundamento de la lógica matemática. La teoría de conjuntos se originó en el
estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e
importantes de la lógica matemática, desde el teorema de Cantor, el axioma de elección y la
cuestión de la independencia de la hipótesis del continuo, al debate moderno sobre grandes
axiomas cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la
computación. La teoría de la computabilidad captura la idea de la computación en términos
lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del Entscheidungsproblem de
Alan Turing y su presentación de la tesis de Church-Turing. Hoy en día, la teoría de la
computabilidad se ocupa principalmente del problema más refinado de las clases de complejidad
(¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de
insolubilidad.
La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos
como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas
de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las
propiedades metalógicas de los mismos.
Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el
proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos
pero con lenguaje informal con algunos signos o diagramas, sino solo de demostraciones y
razonamientos que se pueden formalizar por completo.
Lógica computacional
En los años 50 y 60, investigaciones predijeron que, cuando el conocimiento humano se pudiera
expresar usando la lógica con notaciones matemáticas, sería posible crear una máquina capaz de
razonar o una inteligencia artificial. Esto fue más difícil de lo esperado a causa de la complejidad
del razonamiento humano. En la lógica de programación, un programa consiste en una colección
de axiomas y reglas. Los sistemas de programación lógicos (como Prolog) calculan las
consecuencias de los axiomas y las reglas organizadas para responder a una consulta.
Hoy en día, la lógica es extensamente aplicada en los campos de inteligencia artificial y de ciencias
de computación, y estos campos proporcionan una rica fuente de problemas en la lógica formal e
informal. La teoría de la argumentación es un buen ejemplo de cómo la lógica está siendo aplicada
a la inteligencia artificial. El sistema de clasificación computacional ACM, en particular, considera:
Lógica filosófica
La lógica y la filosofía del lenguaje están estrechamente relacionadas. La filosofía del lenguaje tiene
que ver con el estudio de cómo nuestra lengua se involucra e interactúa con nuestro pensamiento.
La lógica tiene un impacto inmediato en otras áreas de estudio. Estudiar la lógica y la relación
entre la lógica y la forma de expresión ordinaria puede ayudar a una persona a estructurar mejor
sus propios argumentos y criticar (o analizar) los argumentos de otra persona. Muchos
argumentos populares están llenos de errores porque muchas personas son inexpertas en la lógica
e ignoran cómo formular un argumento correctamente.
Lógica informal
La lógica informal, o lógica no formal, es el estudio de los argumentos a posteriori en oposición al
estudio técnico y teórico de la lógica matemática. Esta parte de la lógica se dedica principalmente a
diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento
cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información
dada, sin importar su forma lógica. Parte de que el pensamiento y el lenguaje humano es a menudo
incorrecto, o tendencioso. Surgió en la década de los años 1970 como un sub-campo de la filosofía.
La primera obra en hablar acerca de esta disciplina fue La lógica y la retórica contemporánea
(1971) de Howard Kahane.
Lógica silogística
Hoy en día, algunos académicos afirman que el sistema de Aristóteles es generalmente visto como
algo que tiene poco más que valor histórico (aunque hay algún interés actual en la ampliación de la
lógica de términos), considerado como obsoleto por el advenimiento de la lógica proposicional y el
cálculo de predicados. Otros utilizan a Aristóteles en la teoría de la argumentación para ayudar a
desarrollar y cuestionar críticamente los «esquemas de argumentación» que se utilizan en la
inteligencia artificial y en los argumentos legales.
Lógica proposicional
Lógica modal
En el lenguaje, la modalidad se ocupa del fenómeno de que las subpartes de una oración pueden
tener su semántica modificada por verbos especiales o partículas modales. Por ejemplo, "Vamos a
los juegos puede modificarse para dar "Debemos ir a los juegos', y "Podemos ir a los juegos y
quizás "Iremos a los juegos. De forma más abstracta, podríamos decir que la modalidad afecta a
las circunstancias en las que damos por satisfecha una afirmación. La confusión de la modalidad
se conoce como falacia modal.
La lógica de Aristóteles se ocupa en gran parte de la teoría de la lógica no modalizada. Aunque, hay
pasajes en su obra, como el famoso argumento de la batalla naval en Sobre la interpretación § 9,
que ahora se ven como anticipaciones de la lógica modal y su conexión con la potencialidad y el
tiempo, el primer sistema formal de lógica modal fue desarrollado por Avicena, que finalmente
desarrolló una teoría de la "temporal modalizada" silogística.43
Aunque el estudio de la necesidad y la posibilidad siguió siendo importante para los filósofos,
apenas se produjeron innovaciones lógicas hasta las históricas investigaciones de C. I. Lewis en
1918, quien formuló una familia de axiomatizaciones rivales de la modalidades aleatorias. Su
trabajo desató un torrente de nuevos trabajos sobre el tema, ampliando los tipos de modalidad
tratados para incluir la lógica deóntica y la lógica epistémica. El trabajo seminal de Arthur Prior
aplicó el mismo lenguaje formal para tratar la lógica temporal y preparó el camino para la unión de
los dos temas. Saul Kripke descubrió (contemporáneamente con Prior) su teoría de la semántica
de Kripke, que revolucionó la tecnología formal disponible para los lógicos modales y dio una
nueva teoría de grafos forma de ver la modalidad que ha impulsado muchas aplicaciones en
lingüística computacional y informática, como la lógica dinámica.
Lógica de predicados
La lógica de predicados es el término genérico para los sistemas formales simbólicos como la
lógica de primer orden, la lógica de segundo orden, la lógica de muchos órdenes y la lógica
infinitaria. Proporciona una cuenta de cuantificadores lo suficientemente general para expresar un
amplio conjunto de argumentos que ocurren en el lenguaje natural. Por ejemplo, la famosa
paradoja del barbero de Bertrand Russell, "hay un hombre que afeita a todos y sólo a los hombres
que no se afeitan a sí mismos", puede formalizarse mediante la sentencia
, utilizando el predicado
no lógico para indicar que x es un hombre, y la relación no lógica para
indicar que x afeita a y; todos los demás símbolos de las
fórmulas son lógicos, y expresan el cuantificadores universal y
existencial, la conjunción, el implicación, la negación y el
bicondicional.
Gottlob Frege's Begriffschrift
Mientras que la lógica silogística aristotélica especifica un introduced the notion of quantifier in
pequeño número de formas que puede adoptar la parte a graphical notation, which here
relevante de los juicios implicados, la lógica de predicados represents the judgement that
permite analizar las oraciones en sujeto y argumento de varias is true.
formas adicionales, permitiendo a la lógica de predicados
resolver el problema de la generalidad múltiple que había
dejado perplejos a los lógicos medievales.
El sistema original de lógica de predicados de Frege era de segundo orden, en lugar de primer
orden. La Lógica de segundo orden es defendida de manera más prominente (contra las críticas de
Willard Van Orman Quine y otros) por George Boolos y Stewart Shapiro.
Lógica no clásica
Las lógicas discutidas anteriormente son todas "bivalentes" o "de dos valores"; es decir, se
entienden de forma más natural como la división de las proposiciones en verdaderas y falsas. Los
sistemas de lógica no clásica son aquellos que rechazan varias reglas de la lógica clásica.
Hegel desarrolló su propia lógica dialéctica que amplió la lógica trascendental de Kant pero
también la devolvió a la tierra asegurando que ni en el cielo ni en la tierra, ni en el mundo de la
mente ni en el de la naturaleza, existe en ninguna parte un "o" abstracto como el que sostiene el
entendimiento. Todo lo que existe es concreto, con diferencia y oposición en sí mismo.44
En 1910, Nicolai A. Vasiliev amplió la ley del medio excluido y la ley de la contradicción y propuso
la ley del cuarto excluido y la lógica tolerante a la contradicción.45 A principios del siglo XX, Jan
Łukasiewicz investigó la ampliación de los valores tradicionales de verdadero/falso para incluir un
tercer valor, "posible" (o indeterminado, una hipótesis) inventando así la lógica ternaria, la
primera lógica plurivalente de la tradición occidental. 46 Una modificación menor de la lógica
ternaria fue introducida posteriormente en un modelo de lógica ternaria de hermanos propuesto
por Stephen Cole Kleene. El sistema de Kleene difiere de la lógica de Łukasiewicz con respecto a un
resultado de la implicación. El primero supone que el operador de implicación entre dos hipótesis
produce una hipótesis.
Desde entonces se han ideado lógicas como la lógica difusa con un número infinito de "grados de
verdad", representados por un número real entre 0 y 1. 47
La Lógica intuicionista fue propuesta por L.E.J. Brouwer como la lógica correcta para razonar
sobre las matemáticas, basándose en su rechazo del principio del tercero excluido como parte de
su intuicionismo. Brouwer rechazó la formalización en matemáticas, pero su alumno Arend
Heyting estudió la lógica intuicionista formalmente, al igual que Gerhard Gentzen. La lógica
intuicionista es de gran interés para los informáticos, ya que es una lógica intuicionista y ve
muchas aplicaciones, como la extracción de programas verificados a partir de pruebas y la
influencia en el diseño de lenguajes de programación a través de la correspondencia fórmula-
como-tipos.
La lógica modal no es condicional de verdad, por lo que a menudo se ha propuesto como una
lógica no clásica. Sin embargo, la lógica modal se formaliza normalmente con el principio del
medio excluido, y su semántica relacional es bivalente, por lo que esta inclusión es discutible.
Historia
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo
largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento,
e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún sentido, la lógica como
análisis explícito de los métodos de razonamiento ha recibido un tratamiento sustancial solo
originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable
que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente
sofisticado de la lógica proviene de la tradición griega, especialmente del Organon aristotélico,
cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los lógicos de la Edad
Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el
siglo XVIII influyó también en la lógica moderna.
Controversias
Otro trabajo del mismo nombre de Michael Dummett sostiene que el deseo de realismo de Putnam
exige la ley de la distributividad.53 La distributividad de la lógica es esencial para que el realista
entienda cómo las proposiciones son verdaderas del mundo de la misma manera que ha
argumentado que lo es el principio de bivalencia. De este modo, la pregunta "¿Es la lógica
empírica?" puede verse como una respuesta natural a la controversia fundamental en metafísica
sobre realismo versus antirrealismo.
La primera clase de paradojas involucra contrafactuales, tales como Si la luna está hecha de queso
verde, entonces 2+2=5, que son desconcertantes porque el lenguaje natural no soporta el principio
de explosión. La eliminación de esta clase de paradojas fue la razón de la formulación de C. I.
Lewis de la implicación estricta, que finalmente condujo a lógicas más radicalmente revisionistas
como la lógica relevante.
Tolerar lo imposible
Georg Wilhelm Friedrich Hegel fue profundamente crítico con cualquier noción simplificada del
Principio de no contradicción. Se basó en la idea de Gottfried Wilhelm Leibniz de que esta ley de la
lógica requiere también un fundamento suficiente para especificar desde qué punto de vista (o
tiempo) se dice que algo no puede contradecirse. Un edificio, por ejemplo, se mueve y no se
mueve; el terreno para lo primero es nuestro sistema solar y para lo segundo la tierra. En la
dialéctica hegeliana, la ley de la no-contradicción, de la identidad, se apoya ella misma en la
diferencia y, por tanto, no es afirmable de forma independiente.
En estrecha relación con las cuestiones que surgen de las paradojas de la implicación está la
sugerencia de que la lógica debe tolerar la inconsistencia. La Lógica relevante y la Lógica
paraconsistente son los enfoques más importantes aquí, aunque las preocupaciones son diferentes:
una consecuencia clave de la Lógica clásica y de algunos de sus rivales, como la Lógica
intuicionista, es que respetan el principio de explosión, lo que significa que la lógica colapsa si es
capaz de derivar una contradicción. Graham Priest, el principal defensor del dialeteismo, ha
argumentado a favor de la paraconsistencia sobre la base de que existen, de hecho, contradicciones
verdaderas.54
La vena filosófica de varios tipos de escepticismo contiene muchos tipos de duda y rechazo de las
diversas bases sobre las que descansa la lógica, como la idea de forma lógica, la inferencia correcta
o el significado, lo que a veces lleva a la conclusión de que no hay verdades lógicas. Esto contrasta
con los puntos de vista habituales en el escepticismo filosófico, donde la lógica dirige la indagación
escéptica para dudar de los saberes recibidos, como en la obra de Sexto Empírico.
Friedrich Nietzsche proporciona un fuerte ejemplo del rechazo de la base habitual de la lógica: su
rechazo radical de la idealización le llevó a rechazar la verdad como un "... ejército móvil de
metáforas, metonimias y antropomorfismos-en resumen ... metáforas que están desgastadas y sin
poder sensual; monedas que han perdido sus imágenes y ahora importan sólo como metal, ya no
como monedas". 55 Su rechazo de la verdad no le llevó a rechazar por completo la idea de la
inferencia o la lógica, sino que sugirió que "la lógica [llegó] a existir en la cabeza del hombre [a
partir] de la ilógica, cuyo reino originalmente debe haber sido inmenso. Innumerables seres que
hicieron inferencias de una manera diferente a la nuestra perecieron".56 Así, existe la idea de que
la inferencia lógica tiene una utilidad como herramienta para la supervivencia humana, pero que
su existencia no respalda la existencia de la verdad, ni tiene una realidad más allá de lo
instrumental: "También la lógica se apoya en supuestos que no se corresponden con nada del
mundo real".57
Esta posición sostenida por Nietzsche, sin embargo, ha sido sometida a un escrutinio extremo por
varias razones. Algunos filósofos, como Jürgen Habermas, afirman que su posición es
autorrefutante y acusan a Nietzsche de no tener siquiera una perspectiva coherente, y mucho
menos una teoría del conocimiento. 58 Georg Lukács, en su libro La destrucción de la razón,
afirma que, "Si estudiáramos las afirmaciones de Nietzsche en este ámbito desde un ángulo lógico-
filosófico, nos encontraríamos con un caos vertiginoso de las afirmaciones más escabrosas,
arbitrarias y violentamente incompatibles. "59 Bertrand Russell describió las afirmaciones
irracionales de Nietzsche con "Es aficionado a expresarse de forma paradójica y con vistas a
escandalizar a los lectores convencionales" en su libro A History of Western Philosophy.60
Véase también
Cálculo lógico Lógica filosófica Método científico Filosofía de la
Lógica de primer Lógica clásica MC-14 lógica
orden Lógica no clásica Argumento Anexo:Símbolos
Lógica de segundo Lógica informal lógicos
Razón
orden Principio de no
Lógica dialéctica Silogismo
Lógica contradicción
Lógica doxástica Verdad
proposicional Principio de
Lógica deóntica Aporía identidad
Lógica matemática
Lógica temporal Dialelo Principio del
Lógica
computacional Lógica epistémica Paradoja tercero excluido
Lógica modal Lógica difusa Dicotomía Tertium
Lógica plurivalente Nyāya comparationis
Lógica booleana
Metodología
Referencias
4. Quine, Willard Van Orman (1986).
1. «Lógica (evolución histórica) - Filosofía.org» Philosophy of Logic (2nd edición).
(https://www.filosofia.org/enc/ros/log.htm). Cambridge, MA.: Harvard University Press.
2. Simon Blackburn (ed.). «logic». The Oxford pp. 1-14, 61-75. ISBN 0674665635.
Dictionary of Philosophy (en inglés) (2008 JSTOR j.ctvk12scx (https://www.jstor.org/stable/j.ctvk
Edition). Oxford University Press. «lógica: La 12scx). OCLC 12664089 (https://www.worldcat.org/o
ciencia general de la inferencia.» clc/12664089).
3. Corazón González, Rafael. Saber, 5. McGinn, Colin (2000). Logical Properties:
entender... vivir: una aproximación a la Identity, Existence, Predication, Necessity,
filosofía (https://books.google.es/books?id= Truth. Oxford: Clarendon Press.
Cf2DLcvVmK4C). pp. 74-77. ISBN 9780199241811. OCLC 44502365 (https://ww
w.worldcat.org/oclc/44502365).
doi:10.1093/0199241813.001.0001 (https://dx.doi.org/ formal/#Fal). En Edward N. Zalta, ed.
10.1093%2F0199241813.001.0001). Stanford Encyclopedia of Philosophy (en
6. McKeon, Matthew (2003). «Colin McGinn. inglés) (Spring 2013 Edition).
Logical properties: identity, existence, 17. Hansen, Hans Vilhelm (2002). «The Straw
predication, necessity, truth. Clarendon Thing of Fallacy Theory: The Standard
Press, Oxford 2000, vi + 114 pp.» (https://w Definition of 'Fallacy' ». Argumentation 16
ww.cambridge.org/core/product/identifier/S1 (2): 133-155.
07989860000473X/type/journal_article). 18. Kenneth, S. Pope (2003). «Logical Fallacies
Bulletin of Symbolic Logic (en inglés) 9 (1): in Psychology: 22 Types» (http://kspope.co
39-42. ISSN 1079-8986 (https://issn.org/resource/is m/fallacies/fallacies.php) (en inglés).
sn/1079-8986). doi:10.1017/S107989860000473X (ht Consultado el 14 de junio de 2013.
tps://dx.doi.org/10.1017%2FS107989860000473X).
19. ARP. Sociedad para el Avance del
7. Liddell, Henry George, and Robert Scott. Pensamiento Crítico. Falacias lógicas (http://
1940. "Logikos (https://www.perseus.tufts.ed www.escepticos.es/webanterior/alojadas/fala
u/hopper/text?doc=LSJ+logiko%2Fs&fromdo cias1.html)
c=Perseus%3Atext%3A1999.04.0057)." A 20. Real Academia Española y Asociación de
Greek–English Lexicon, edited by H. S. Academias de la Lengua Española.
Jones with R. McKenzie. Oxford: Clarendon «paradoja» (https://dle.rae.es/paradoja).
Press. – via Perseus Project. Retrieved 9 Diccionario de la lengua española (23.ª
May 2020. edición).
8. Harper, Douglas. 2020 [2001]. "logic (n.) (htt 21. "Paradojas Y Sofismas Físicos" V. Langue,
ps://www.etymonline.com/word/logic)." Ed. Mir, Moscú 1984: 11.
Online Etymology Dictionary. Retrieved 9
May 2020. 22. Robert Audi (ed.). «paradox». The
Cambridge Dictionary of Philosophy (en
9. Robert Audi (ed.). «Inference». The inglés) (2nd Edition). Cambridge University
Cambridge Dictionary of Philosophy (en Press. «A seemingly sound piece of
inglés) (2nd Edition). Cambridge University reasoning based on seemingly true
Press. assuptions that leads to a contradiction (or
10. «formal system» (http://search.eb.com/eb/art other obviously false conclusión).»
icle-9034889). Encyclopedia Britannica (en 23. Padilla Gálvez, Jesús (2017). «Capítulo III.
inglés). Consultado el 3 de agosto de 2009. La paradoja del mentiroso». Verdad.
11. «inference» (http://www.oxfordreference.co Controversias abiertas. Valencia: Tirant
m/views/ENTRY.html?subview=Main&entry= Humanidades. pp. 195 y ss.
t116.e1219). The Oxford Companion to 24. Merriam-Webster's Online Dictionary, truth
Philosophy (en inglés). Oxford University (http://m-w.com/dictionary/truth), 2005.
Press. 2005. Consultado el 1º de agosto de
2009. 25. Real Academia Española y Asociación de
Academias de la Lengua Española.
12. Error en la cita: Etiqueta <ref> no válida; «Verdad» (https://dle.rae.es/Verdad).
no se ha definido el contenido de las Diccionario de la lengua española (23.ª
referencias llamadas Inferencia edición).
Consequence
26. Cfr. Parménides, Platón, Hegel y, en
13. Beall, J. C.; Restall, Greg. «Logical general, los idealismos
Consequence» (http://plato.stanford.edu/arc
27. Ferrater Mora. op. cit. p. 3397 y ss.
hives/sum2009/entries/logical-consequenc
e/). En Edward N. Zalta, ed. Stanford 28. Etimologías e interpretaciones de sentido de
Encyclopedia of Philosophy (en inglés) verdad en hebreo, griego, latín, germánico,
(Summer 2009 Edition). e indioiraní, véase: Zubiri, X. Naturaleza,
Historia, Dios. Nuestra situación intelectual.
14. Otero, Carlos Peregrín (1989). Introducción
La verdad y la ciencia. op. cit. p.14
a la lingüística transformacional. Siglo XXI.
p. 213. ISBN 978-968-23-1541-1. 29. Tema de investigación transversal
15. Hamblin, Charles Leonard (1970). Fallacies 30. Arrancando desde la física hasta la
(http://www.scribd.com/doc/86895391/HAMB neurología, pasando por el evolucionismo y
LIN-Charles-Fallacies). Methuen. la genética y la biología y la etología,
psicología etc.
16. Groarke, Leo. «Informal Logic» (http://plato.s
tanford.edu/archives/spr2013/entries/logic-in
31. Tal como ya definió Platón el conocimiento Detroit: Thomson Gale/Macmillan Reference
como ciencia: creencias u opiniones USA. pp. 535-558. ISBN 0-02-865780-2.
verdaderas y justificables con la razón. OCLC 61151356 (https://www.worldcat.org/oclc/6115
Teeteto, 201c-210b 1356). «Axioma. Proposición básica en un
32. epistemología y metodología e investigación sistema formal que se afirma sin prueba y
de la que, junto con las demás
33. Evandro Agazzi, 1986. proposiciones de este tipo, se derivan todos
34. Dale Jacquette, A Companion to los demás teoremas según las reglas de
Philosophical Logic, Wiley-Blackwell: 2002. inferencia del sistema...Prueba. Para una
35. Wolfram, Sybil. Philosophical Logic: An fórmula bien formada A en un sistema
Introduction. Routledge: 1989. ISBN 0-415- logístico dado, una prueba de A es una
02317-3. secuencia finita de fórmulas bien formadas
36. Preface to Colin McGinn, Logical Properties: la última de las cuales es A y cada una de
Identity, Existence, Predication, Necessity, las cuales es un axioma del sistema o
Truth, Oxford: Oxford University Press, 2000 puede deducirse de los miembros anteriores
(ISBN 0-19-926263-2). de la secuencia según las reglas de
inferencia del sistema...Teorema. Cualquier
37. John P. Burgess, Philosophical Logic,
Princeton University Press: 2009. fórmula bien formada de un sistema
logístico dado para el que existe una prueba
38. Lou Goble (ed.), The Blackwell Guide to en el sistema.»
Philosophical Logic (http://books.google.ca/b
43. «Historia de la lógica: Lógica árabe» (https://
ooks?id=aaO2f60YAwIC&dq=(The+Blackwel
l+Guide+to)+Philosophical+Logic&pg=PP1& web.archive.org/web/20071012144108/htt
ots=y5wP1HQkbh&source=bn&sig=gwaoap- p://www.britannica.com/ebc/article-65928).
A-Xxzx8daLihFbp2kdCk&hl=en&sa=X&oi=b Encyclopædia Britannica. Archivado desde
ook_result&resnum=5&ct=result), Oxford: el original (http://www.britannica.com/ebc/arti
Blackwell: 2009 (ISBN 0-631-20693-0). cle-65928) el 12 de octubre de 2007.
39. Gabbay, Dov M.; Guenthner, Franz. 44. Hegel, G.W.F (1971) [1817]. Philosophy of
Handbook of Philosophical Logic (http://ww Mind. Encyclopedia of the Philosophical
w.springer.com/series/6024). Springer. Sciences. trans. William Wallace. Oxford:
Consultado el 16 de octubre de 2016. Clarendon Press. p. 174. ISBN 978-0-19-
875014-7.
40. Łukasiewicz, Jan (1957). Aristotle's
45. Joseph E. Brenner (3 August 2008). Logic in
syllogistic from the standpoint of modern
formal logic (2nd ed.). Oxford University Reality. Springer. pp. 28–30. ISBN 978-1-
Press. p. 7. ISBN 978-0-19-824144-7 4020-8374-7. Retrieved 9 April 2012.
41. Brody, Boruch A. (2006). org/oclc/61151356 46. Zegarelli, Mark (2010). Lógica para
Dummies (https://books.google.com/books?i
Enciclopedia de filosofía (https://www.worldc
at.) 5. Donald M. Borchert (2ª edición). d=xm0-0Rs2GVoC&pg=PA30). John Wiley &
Detroit: Thomson Gale/Macmillan Reference Sons. p. 30. ISBN 978-1-118-05307-2.
USA. pp. 535-536. ISBN 0-02-865780-2. 47. Hájek, Petr (2006). "Fuzzy Logic". In Zalta,
OCLC 61151356 (https://www.worldcat.org/oclc/6115 Edward N. (ed.). Stanford Encyclopedia of
1356). «Los dos tipos más importantes de Philosophy.
cálculos lógicos son los cálculos 48. Izuzquiza Otero, Ignacio; Corellano Aznar,
proposicionales (o sentenciales) y los Luis; Frechilla García, Ana Rosa; Peña
cálculos funcionales (o de predicados). Un Calvo, José Vicente; Villamayor Lloro,
cálculo proposicional es un sistema que Santiago (2008). «El Universo de la lógica».
contiene variables y conectivas En Achón, Elena; Álvarez, Gema, eds.
proposicionales (algunos también contienen Filosofía y ciudadanía (Manuel Andaluz
constantes proposicionales) pero no edición). Madrid: Grupo Anaya Sociedad
variables o constantes individuales o Anónima. p. 310. ISBN 9788466773195.
funcionales. En el cálculo proposicional 49. Lozano, Gabriel Vargas (29 de diciembre de
extendido se añaden cuantificadores cuyas 2018). «LA FILOSOFÍA DE LA PRAXIS.
variables operativas son variables DOS CONCEPCIONES: ANTONIO
proposicionales.» GRAMSCI Y ADOLFO SÁNCHEZ
42. Brody, Boruch A. (2006). Enciclopedia de VÁZQUEZ» (https://dx.doi.org/10.30611/201
filosofía (https://www.worldcat.org/oclc/6115 8n13id40082). Revista Dialectus - Revista
1356) 5. Donald M. Borchert (2nd edición). de Filosofia (13). ISSN 2317-2010 (https://issn.or
g/resource/issn/2317-2010). 55. Error en la cita: Etiqueta <ref> no válida;
doi:10.30611/2018n13id40082 (https://dx.doi.org/10.3 no se ha definido el contenido de las
0611%2F2018n13id40082). Consultado el 21 de referencias llamadas nietzsche
junio de 2021.
56. Error en la cita: Etiqueta <ref> no válida;
50. Letzen, Diego (15 de diciembre de 2020). no se ha definido el contenido de las
«Las lógicas y los lógicos» (https://dx.doi.or referencias llamadas nietzsche8
g/10.36446/af.2020.430). Análisis Filosófico
40 (Especial): 133-157. ISSN 1851-9636 (https:// 57. Error en la cita: Etiqueta <ref> no válida;
issn.org/resource/issn/1851-9636). no se ha definido el contenido de las
doi:10.36446/af.2020.430 (https://dx.doi.org/10.3644 referencias llamadas nietzsche9
6%2Faf.2020.430). Consultado el 21 de junio 58. Error en la cita: Etiqueta <ref> no válida;
de 2021. no se ha definido el contenido de las
51. Error en la cita: Etiqueta <ref> no válida; referencias llamadas nietzsche10
no se ha definido el contenido de las 59. Error en la cita: Etiqueta <ref> no válida;
referencias llamadas ¿Es la lógica no se ha definido el contenido de las
empírica? referencias llamadas marxists
52. Error en la cita: Etiqueta <ref> no válida; 60. Russell, Bertrand (1945), A History of
no se ha definido el contenido de las Western Philosophy And Its Connection with
referencias llamadas La lógica de la Political and Social Circumstances from the
mecánica cuántica Earliest Times to the Present Day (https://we
53. Error en la cita: Etiqueta <ref> no válida; b.archive.org/web/20140528221822/http://w
no se ha definido el contenido de las ww.ntslibrary.com/PDF%20Books/History%2
referencias llamadas La verdad y otros 0of%20Western%20Philosophy.pdf), Simon
and Schuster, p. 762, archivado desde el
enigmas
original (http://www.ntslibrary.com/PDF%20B
54. Error en la cita: Etiqueta <ref> no válida; ooks/History%20of%20Western%20Philosop
no se ha definido el contenido de las hy.pdf/) el 28 de mayo de 2014.
referencias llamadas stanford7
Bibliografía adicional
Deaño, Alfredo (1974). Introducción a la lógica formal 1. La lógica de enunciados. Madrid:
Alianza Editorial.
Deaño, Alfredo (1974). Introducción a la lógica formal 2. La lógica de predicados. Madrid:
Alianza Editorial.
Deaño, Alfredo (1980). Las concepciones de la lógica. Madrid: Taurusl.
Ferrater Mora, J. (1984). Diccionario de Filosofía (4 tomos). Barcelona. Alianza Diccionarios.
ISBN 84-206-5299-7.
Honderich, T.(Editor) (2001). Enciclopedia Oxford de Filosofía. Trd. Carmen García Trevijano.
Madrid. Editorial Tecnos. ISBN 84-309-3699-8.
Mosterín, Jesús (1970 y 1976). Lógica de primer orden. Barcelona. Ariel. ISBN 84-344-3939-5.
Padilla Gálvez, J. (2017). Verdad. Controversias Abiertas. Valencia: Tirant Lo Blanch. ISBN 978-
84-17069-58-2.
Priest, Graham (2008). An introduction to non-classical logic: From if to is (https://web.archive.
org/web/20170823072526/https://pdfs.semanticscholar.org/419e/7061873c2783a4770530f9ed
ba059a4a02de.pdf) (2ª edición). Nueva York: Cambridge University Press. ISBN 978-0521854337.
Archivado desde el original (https://pdfs.semanticscholar.org/419e/7061873c2783a4770530f9e
dba059a4a02de.pdf) el 23 de agosto de 2017. Consultado el 22 de agosto de 2017.
Sacristán, Manuel (1976). Introducción a la lógica y al análisis formal. Barcelona: Ariel.
ISBN 84-344-3901-8.
Barwise, J. (1982). Handbook of Mathematical Logic. Elsevier. isbn: 978-0-08-093364-1.
Belnap, N. (1977). "A useful four-valued logic". In Dunn & Eppstein, Modern uses of multiple-
valued logic. Reidel: Boston.
Bocheński, J.M. (1959). A précis of mathematical logic. Translated from the French and
German editions by Otto Bird. D. Reidel, Dordrecht, South Holland.
Bocheński, J.M. (1970). A history of formal logic. 2nd Edition. Translated and edited from the
German edition by Ivo Thomas. Chelsea Publishing, New York.
Brookshear, J. Glenn (1989). Theory of computation: formal languages, automata, and
complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co. ISBN 978-0-8053-0143-4.
Cohen, R.S, and Wartofsky, M.W. (1974). Logical and Epistemological Studies in
Contemporary Physics. Boston Studies in the Philosophy of Science. D. Reidel Publishing
Company: Dordrecht, Netherlands. isbn:90-277-0377-9.
Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds.
1974).
Gabbay, D.M., and Guenthner, F. (eds., 2001–2005). Handbook of Philosophical Logic. 13
vols., 2nd edition. Kluwer Publishers: Dordrecht.
Haack, Susan (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism, University of
Chicago Press.
Harper, Robert (2001). «Logic» (http://www.etymonline.com/index.php?term=logic). Online
Etymology Dictionary. Consultado el 8 de mayo de 2009.
Hilbert, D., and Ackermann, W, (1928). Grundzüge der theoretischen Logik (Principles of
Mathematical Logic). Springer-Verlag. OCLC 2085765 (https://www.worldcat.org/oclc/208576
5)
Hodges, W. (2001). Logic. An introduction to Elementary Logic, Penguin Books.
Hofweber, T. (2004), Logic and Ontology (http://plato.stanford.edu/entries/logic-ontology/).
Stanford Encyclopedia of Philosophy. Edward N. Zalta (ed.).
Hughes, R.I.G. (1993, ed.). A Philosophical Companion to First-Order Logic. Hackett
Publishing.
Kline, Morris (1972). Mathematical Thought From Ancient to Modern Times (https://archive.or
g/details/mathematicalthou0000unse). Oxford University Press. ISBN 978-0-19-506135-2.
Kneale, William, and Kneale, Martha, (1962). The Development of Logic. Oxford University
Press, London, UK.
Liddell, Henry George; Scott, Robert. «Logikos» (https://www.perseus.tufts.edu/cgi-bin/ptext?d
oc=Perseus%3Atext%3A1999.04.0057%3Aentry%3D%2363716). A Greek-English Lexicon.
Perseus Project. Consultado el 8 de mayo de 2009.
Mendelson, Elliott, (1964). Introduction to Mathematical Logic. Wadsworth & Brooks/Cole
Advanced Books & Software: Monterey, Calif. OCLC 13580200 13580200 (https://www.worldc
at.org/oclc/)
Smith, B. (1989). "Logic and the Sachverhalt". The Monist 72(1): 52–69.
Whitehead, Alfred North and Bertrand Russell (1910). Principia Mathematica. Cambridge
University Press: Cambridge, England. OCLC 1041146 (https://www.worldcat.org/oclc/104114
6)
Enlaces externos
Wikcionario tiene definiciones y otra información sobre lógica.
Aprende Lógica (Autor: Francisco José Calzado Fernández) (http://w3.cnice.mec.es/eos/Mater
ialesEducativos/mem2003/logica/)
Breve Historia de la Lógica (https://web.archive.org/web/20070911042639/http://www.euclides.
org/menu/articles/article101.htm)
Esta obra contiene una traducción parcial derivada de «Logic» de Wikipedia en
inglés, concretamente de esta versión (https://en.wikipedia.org/wiki/Logic?oldid=768607553),
publicada por sus editores (https://en.wikipedia.org/wiki/Logic?action=history) bajo la Licencia
de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual
3.0 Unported.
Esta obra contiene una traducción parcial derivada de «Logic» de Wikipedia en
inglés, concretamente de esta versión (https://en.wikipedia.org/wiki/Logic?oldid=774027146),
publicada por sus editores (https://en.wikipedia.org/wiki/Logic?action=history) bajo la Licencia
de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual
3.0 Unported.
Obtenido de «https://es.wikipedia.org/w/index.php?title=Lógica&oldid=139929970»
Esta página se editó por última vez el 24 nov 2021 a las 13:13.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0;
pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.