Lgica

De Wikipedia, la enciclopedia libre

La lgica es la ciencia formal que estudia los principios de la demostracin y la inferencia vlida.1 La palabra
deriva del griego antiguo logik, que significa dotado de razn, intelectual, dialctico, argumentativo,
que a su vez viene de (lgos), palabra, pensamiento, idea, argumento, razn o principio.

As como el objeto de estudio tradicional de la qumica es la materia, y el de la biologa la vida, el de la lgica

es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.2 La lgica
investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia
es aceptable, lo es por su estructura lgica, y no por el contenido especfico del argumento o el lenguaje
utilizado. Por esta razn la lgica se considera una ciencia formal, como la matemtica, en vez de una ciencia
emprica.

Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones,
aunque a veces se cuenta a la abduccin como un caso especial de induccin.3 La validez o no de las
inducciones es asunto de la lgica inductiva y del problema de la induccin. Las deducciones, en cambio, son
estudiadas por la mayor parte de la lgica contempornea. En un argumento deductivamente vlido, la
conclusin es una consecuencia lgica de las premisas.4 El concepto de consecuencia lgica es, por lo tanto, un
concepto central a la lgica.4 Para estudiarlo, la lgica construye sistemas formales que capturan los factores
relevantes de las deducciones como aparecen en el lenguaje natural.5 Para entender esto, considrese la
siguiente deduccin:

1. Est lloviendo y es de da.

2. Por lo tanto, est lloviendo.

La obvia validez de este argumento no se debe al significado de las expresiones est lloviendo y es de da,
porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo:

1. Est nevando y hace fro.

2. Por lo tanto, est nevando.

En cambio, la clave de la validez del argumento reside en la expresin y. Si esta expresin se cambia por
otra, entonces el argumento puede dejar de ser vlido:

1. Est nevando o hace fro.

2. Por lo tanto, est nevando.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas, y la lgica las
estudia mediante sistemas formales.6 Dentro de cada sistema formal, la relacin de consecuencia lgica se
puede definir de manera precisa, generalmente por medio de teora de modelos o por medio de teora de la
demostracin.

La lgica tradicionalmente se considera una rama de la filosofa, pero desde fines del siglo XIX, su
formalizacin simblica ha demostrado una ntima relacin con las matemticas, y dio lugar a la lgica
matemtica. En el siglo XX la lgica ha pasado a ser principalmente la lgica matemtica, un clculo definido
por smbolos y reglas de inferencia, lo que ha permitido su aplicacin a la informtica.

Adems de las inferencias, la lgica estudia las falacias, las paradojas y la nocin de verdad.7

ndice
1 Historia
 2 Acepciones
2.1 Ciencia argumentativa y propedutica
2.2 Ciencia del pensar
2.3 Ciencia formal
2.4 Lgica como pensamiento informal
3 Sistemas formales
3.1 Lgicas clsicas
3.2 Lgicas no clsicas
3.3 Lgicas modales
4 Ramas de la lgica
4.1 Lgica filosfica
4.2 Lgica matemtica
4.3 Lgica computacional
5 Metalgica
5.1 Consistencia
5.2 Decidibilidad
5.3 Completitud
6 Falacias
7 Paradojas
8 Historia
8.1 Lgica aristotlica
9 Vase tambin
10 Referencias
11 Bibliografa adicional
12 Enlaces externos

Historia
La historia de la lgica es producto de la confluencia de cuatro lneas de pensamiento, que aparecen en
momentos histricos diferentes:8

La lgica antigua, obra de Aristteles, los megricos y los estoicos.

La idea de un lenguaje nico, completo y exacto para razonar, sueo al que aspiraban Ramn Llull y
Leibniz.
Los progresos en lgebra y geometra al comienzo del siglo XIX, y el desarrollo de un clculo completo,
obra de Frege.
Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creacin de la lgica. A partir
de este momento no cesarn de producirse nuevos desarrollos y de nacer escuelas y tendencias.

Acepciones
Ciencia argumentativa y propedutica
El trmino lgica, se encuentra en los antiguos peripatticos y estoicos como una teora de la argumentacin
o argumento cerrado.9 De este modo la forma argumentativa responde al principio de conocimiento que supone
que representa adecuadamente la realidad.10 Por ello, sin perder su condicin de formalidad, no son formalistas
y no acaban de desprenderse de las estructuras propias del lenguaje.11

Ciencia del pensar

Los filsofos racionalistas, sin embargo, al situar el origen de la reflexin filosfica en la conciencia, aportaron,
a travs del desarrollo del anlisis como mtodo cientfico del pensar,12 los temas que van a marcar el
desarrollo de la lgica formal. Son de especial importancia la idea de Descartes de una Mathesis universalis13 y
de Leibniz que, con su Characteristica Universalis supone la posibilidad de un lenguaje universal,
especificado con precisin matemtica sobre la base de que la sintaxis
de las palabras debera estar en correspondencia con las entidades
designadas como individuos o elementos metafsicos, lo que hara
posible un clculo o computacin mediante algoritmo en el
descubrimiento de la verdad.14 15

Aparecen los primeros intentos y realizaciones de mquinas de clculo,

(Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la
idea de una Mathesis Universal o Caracterstica Universal, es el
antecedente inmediato del desarrollo de la lgica simblica a partir del
siglo XX.

Leibniz y Descartes seguan muy de cerca la escuela jesuita, sobre todo

a Surez, quienes a su vez utilizaban la Lgica Mexicana, de Fray
Antonio de Rubio, filsofo mexicano (Novohispano).16

Adems se considera que las lgicas modernizantes nunca lograron la Gottfried Leibniz (1646-1716).
precisin de estos estudios. Sander Pierce, Gottlob Frege, Saussure y
Wittgenstein siguieron criterios neoescolsticos para formular sus teoras lgicas, ms acabadas.17

La palabra lgica ha sido utilizada como lgica trascendental por Kant, en el sentido de investigar los
conceptos puros a priori del entendimiento o categoras trascendentales.

Hegel considera la lgica dentro del absoluto como proceso dialctico del Absoluto, entendido ste como
Principio Absoluto, Espritu Absoluto, y Sujeto, como Sujeto Absoluto.18 19 La lgica, la epistemologa y la
ontologa van unidas y son expuestas en la filosofa entendida sta como Sistema Absoluto.

Ciencia formal

La lgica matemtica, tambin llamada lgica simblica, lgica teortica, lgica formal, o logstica,20 es
parte tanto de la lgica y como de la matemtica, y consiste en el estudio matemtico de la lgica, y en la
aplicacin de dicho estudio a otras reas de la matemtica y de las ciencias. La lgica matemtica tiene
estrechas conexiones con las ciencias de la computacin y con la lgica filosfica.

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen
nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones, y algoritmos, utilizando
un lenguaje formal.

La lgica matemtica se suele dividir en cuatro subcampos: teora de modelos, teora de la demostracin, teora
de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en
el estudio de las matemticas.

La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas
partes de la lgica que pueden ser modeladas y estudiadas matemticamente.

La lgica matemtica comprende dos reas de investigacin distintas: la primera es la aplicacin de las tcnicas
de la lgica formal a las matemticas y el razonamiento matemtico y la segunda, en la otra direccin, la
aplicacin de tcnicas matemticas a la representacin y el anlisis de la lgica formal.

Si la teora de la demostracin y la teora de modelos han sido el fundamento de la lgica matemtica, no han
sido ms que dos de los cuatro pilares del sujeto. La teora de conjuntos se origin en el estudio del infinito por
Georg Cantor y ha sido la fuente de muchos de los temas ms desafiantes e importantes de la lgica
matemtica, a partir del teorema de Cantor, a travs del estatus del axioma de eleccin y la cuestin de la
independencia de la hiptesis del continuo, al debate moderno sobre grandes axiomas cardinales.
La teora de la recursin captura la idea de la computacin en trminos lgicos y aritmticos. Sus logros ms
clsicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su presentacin de la tesis de
Church-Turing. Hoy en da, la teora de la recursin se ocupa principalmente del problema ms refinado de las
clases de complejidad (cundo es un problema eficientemente solucionable?) y de la clasificacin de los
grados de insolubilidad.

Lgica como pensamiento informal

En el lenguaje cotidiano, expresiones como lgica o pensamiento lgico, aporta tambin un sentido
alrededor de un pensamiento lateral comparado, haciendo los contenidos de la afirmacin coherentes con un
contexto, bien sea del discurso o de una teora de la ciencia, o simplemente con las creencias o evidencias
transmitidas por la tradicin cultural.

Del mismo modo existe el concepto sociolgico y cultural de lgica como, p.e. la lgica de las mujeres,
lgica deportiva, etc. que, en general, podramos considerar como lgica cotidiana - tambin conocida
como lgica del sentido comn.

En estas reas la lgica suele tener una referencia lingstica en la pragmtica.

Un argumento en este sentido tiene su lgica cuando resulta convincente, razonable y claro; en definitiva
cuando cumple una funcin de eficacia. La habilidad de pensar y expresar un argumento as corresponde a la
retrica, cuya relacin con la verdad es una relacin probable.

Sistemas formales
Un sistema formal es un tipo de sistema lgico-deductivo constituido por un lenguaje formal, una gramtica
formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de
inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas. Los
sistemas formales tambin han encontrado aplicacin dentro de la informtica, la teora de la informacin, y la
estadstica, para proporcionar una definicin rigurosa del concepto de demostracin. La nocin de sistema
formal corresponde a una formalizacin rigurosa y completa del concepto de sistema axiomtico, los cuales
pueden ser expresados en lenguaje formal o en lenguaje natural formalizado.

Llamamos formalizacin al acto de crear un sistema formal, con la que pretendemos capturar y abstraer la
esencia de determinadas caractersticas del mundo real, en un modelo conceptual expresado en un determinado
lenguaje formal.

En la Teora de la demostracin, las demostraciones formales pueden expresarse en el lenguaje de los sistemas
formales, consistentes en axiomas y reglas de inferencia. Los teoremas pueden ser obtenidos por medio de
demostraciones formales. Este punto de vista de las matemticas ha sido denominado formalista; aunque en
muchas ocasiones este trmino conlleva una acepcin peyorativa. En ese sentido David Hilbert cre la
disciplina denominada metamatemtica dedicada al estudio de los sistemas formales, entendiendo que el
lenguaje utilizado para ello, denominado metalenguaje era distinto del lenguaje del sistema formal que se
pretenda estudiar. El lenguaje formal que se estudia, en este caso se llama tambin, en ocasiones, lenguaje
objeto.

Un sistema as es la reduccin de un lenguaje formalizado a meros smbolos, lenguaje formalizado y

simbolizado sin contenido material alguno; un lenguaje reducido a mera forma que se expresa mediante
frmulas que reflejan las relaciones sintcticas entre los smbolos y las reglas de formacin y transformacin
que permiten construir las frmulas del sistema y pasar de una frmula a otra.21

El objetivo de un sistema formal es sealar como vlidas determinadas cadenas. Estas cadenas vlidas se
denominan teoremas. Para obtener los teoremas se emplean las reglas de produccin que convierten una cadena
en otra. Hay ciertos teoremas iniciales que no se obtienen de ninguna regla, stos son los axiomas que se
suponen vlidos por definicin y se convierten en el germen de produccin de teoremas.
Lgicas clsicas

Una lgica clsica o lgica estndar22 23 es un sistema formal que respeta los siguientes principios:

Principio del tercero excluido

Principio de no contradiccin
Principio de explosin
Monotonicidad de la implicacin

Los ejemplos ms comunes de lgicas clsicas son la lgica proposicional, la lgica de primer orden y la lgica
de segundo orden.

Lgicas no clsicas
Una lgica no clsica o lgica alternativa es un sistema formal que difiere de manera significativa de
las lgicas clsicas. Hay varias formas de hacerlo, incluyendo a modo de extensiones, desviaciones, y
variaciones, por ejemplo rechazando uno o varios de los principios de la lgica clsica. El objetivo de estas
desviaciones es para hacer posible construir distintos modelos de consecuencia lgica y verdad lgica.

La lgica filosfica, especialmente en la ciencia computacional terica, se usa para abarcar y centrarse en las
lgicas no clsicas, a pesar de que el trmino tiene otros significados tambin.24

Lgicas modales
Una lgica modal es un sistema formal que intenta capturar el comportamiento deductivo de algn grupo de
operadores modales.25 Los operadores modales son expresiones que califican la verdad de los juicios.25 Por
ejemplo, en la oracin es necesario que 2 + 2 = 4, la expresin es necesario que es un operador modal que
califica de necesaria a la verdad del juicio 2 + 2 = 4. De manera anloga, la expresin siempre califica a
un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir est
lloviendo que decir siempre est lloviendo.

En un sentido ms restringido, sin embargo, una lgica modal es un sistema formal que intenta capturar el
comportamiento deductivo de las expresiones es necesario que y es posible que.25 Este artculo trata
exclusivamente sobre lgicas modales en este sentido restringido. Las lgicas modales pertenecen al grupo de
las llamadas extensiones de la lgica clsica o lgicas extendidas entre las cuales se incluyen adems la
lgica dentica, la lgica temporal, la lgica epistmica y la lgica doxstica.

La lgica de Aristteles se ocupa en gran parte de la teora de la lgica no modalizada. Aunque hay pasajes en
su obra, como el famoso argumento de la batalla naval en De Interpretatione , que ahora se ven como
anticipaciones de la lgica modal y su conexin con la potencialidad y el tiempo, el primer sistema formal de
lgica modal fue desarrollado por Avicenna, quien finalmente desarroll una teora de "temporalmente
modalizada" silogstica.

Mientras que el estudio de la necesidad y la posibilidad segua siendo importante para los filsofos, no hubo
grandes avances en el campo de la lgica hasta las investigaciones de Marco de Clarence Irving Lewis en 1918,
que formul una familia de axiomas. Su obra desencaden un torrente de nuevos trabajos sobre el tema,
ampliando los tipos de modalidad tratados para incluir la lgica dentica y la lgica epistmica. La obra
seminal de Arthur Prior aplic el mismo lenguaje formal para tratar la lgica temporal y allan el camino para
la unin de los dos sujetos. Saul Kripke descubri (al mismo tiempo que sus rivales) su teora de la semntica
de los cuadros, que revolucion la tecnologa formal disponible para los lgicos modales y dio una nueva forma
grfica de mirar la modalidad que ha impulsado muchas aplicaciones en lingstica computacional e
informtica, lgica

Ramas de la lgica
Lgica filosfica
La lgica filosfica se refiere a aquellas reas de la filosofa en la que reconocidos mtodos de la lgica
tradicionalmente, han sido utilizadas para resolver o avanzar en la discusin de los problemas filosficos.26
Entre estos, Sybil Wolfram destaca el estudio del argumento, el significado y verdad,27 mientras Colin McGinn
presenta las nociones de identidad, existencia, predicado, estado de necesidad y verdad como ideas principales
en su libro sobre este tema.28 la lgica se usa nicamente para pensamientos sobre existencias relacionadas a
nosotros, en el caso de la filosofia esto es en relacin a todo lo posibloemente imaginativo.

La lgica filosfica tambin dirige extensiones y alternativas a la lgica tradicional, la ms conocida es las
lgica no clsica. Estas reciben ms atencin en textos tales como Lgica Filosfica, la gua de Blackwell a la
lgica filosfica de John P. Burgess o el Manual de lgica filosfica editado por Dov M. Gabbay y Franz
Guenthner el cual dispone de mltiples volmenes.29 30 31

La lgica filosfica trata de las descripciones formales de lo ordinario, lenguaje natural no especificado, que es
estrictamente nico sobre los argumentos dentro de las ramas de otras filosofas. La mayora de los filsofos
suponen que la mayor parte del razonamiento cotidiano se podra capturar en la lgica si se pudiera encontrar
un mtodo o mtodos para traducir el lenguaje ordinario a esa lgica.La lgica filosfica es esencialmente una
continuacin de la disciplina tradicional llamada "lgica" antes de la invencin de la lgica matemtica. La
lgica filosfica tiene un mayor inters con la conexin entre el lenguaje natural y la lgica. Como resultado,
los lgicos filosficos han contribuido al desarrollo de lgica no convencional (por ejemplo lgicas
libres, lgica temporal, etc) al igual que varias extensiones de la lgica clsica (por ejemplo, la lgica modal) y
la semntica no convencional para tales lgicas (por ejemplo, el supervaluacionismo de Kripke en la semntica
de la lgica).

La lgica y la filosofa del lenguaje estn estrechamente relacionadas. La filosofa del lenguaje tiene que ver
con el estudio de cmo nuestra lengua se involucra e interacta con nuestro pensamiento. La lgica tiene un
impacto inmediato en otras reas de estudio. Estudiar la lgica y la relacin entre la lgica y la forma de
expresin ordinaria puede ayudar a una persona a estructurar mejor sus propios argumentos y criticar (o
analizar) los argumentos de otra persona. Muchos argumentos populares estn llenos de errores porque mucha
personas son inexperta en la lgica e ignoran cmo formular un argumento correctamente.

Lgica matemtica
Lgica matemtica

Lgica computacional
La lgica computacional es la misma lgica matemtica aplicada al contexto de las ciencias de la
computacin. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programacin
lgica y en el anlisis y optimizacin (de recursos temporales y espaciales) de algoritmos.

La lgica se extiende al corazn de la informtica a medida que surge como una disciplina: El trabajo de Alan
Turing sobre El Problema de Entscheidung seguido del trabajo de Kurt Gdel sobre teoremas incompletos. La
nocin de la computadora de uso general que surgi de este trabajo fue de gran importancia para los
diseadores de la maquinaria informtica en la dcada de 1940.

En los 50's y 60's, investigaciones predijeron que, cuando el conocimiento humano se pudiera expresar usando
la lgica con notaciones matemticas, sera posible crear un mquina capaz de razonar o una inteligencia
artificial. Esto fue ms difcil de lo esperado a causa de la complejidad del razonamiento humano. En la lgica
de programacin, un programa consiste en una coleccin de axiomas y reglas. Los sistemas de programacin
lgicos (como Prolog) calculan las consecuencias de los axiomas y las reglas organizadas para responder a una
consulta.
Hoy en da, la lgica es extensamente aplicada en los campos de inteligencia artificial y de ciencias de
computacin, y estos campos proporcionan una rica fuente de problemas en la lgica formal e informal. La
teora de la argumentacin es un buen ejemplo de cmo la lgica est siendo aplicada a la inteligencia artificial.
El sistema de clasificacin computacional ACM, en particular, considera:

Seccin F.3 en Lgicas y significados de programas y F.4 en Lgica matemtica y lenguajes formales
como parte de la teora de la ciencia de computacin: este trabajo cubre la semntica formal de los
lenguajes de programacin tan bien como el trabajo de mtodos formales como la lgica de Hoare.
Lgica booleana como fundamento en el hardware del ordenador, particularmente la seccin del sistema
B.2 en la estructura aritmtica y lgica, relacionado a operadores AND, NOT y OR.
Muchos formalismos lgicos fundamentales son esenciales para la seccin I.2 sobre inteligencia
artificial, por ejemplo la lgica modal y la lgica por defecto en los formalismos y mtodos de
representacin del conocimiento, las clusulas de Horn en la programacin lgica y la lgica de
descripcin.

Adems, los ordenadores se pueden usar como herramientas para los lgicos. Por ejemplo, en lgica simblica
y lgica matemtica, las pruebas de los seres humanos pueden ser asistidos por ordenadores. Usando la prueba
automatizada del teorema, las mquinas pueden encontrar y comprobar pruebas, as como trabajar con las
pruebas demasiado largas para escribir a mano.

Metalgica
La metalgica es una rama de la lgica que estudia las propiedades y los componentes de los sistemas
lgicos.33 Las propiedades ms importantes que se pueden demostrar de los sistemas lgicos son la
consistencia, decidibilidad y completitud.34

Consistencia
En metalgica, la consistencia o consistencia lgica es la propiedad que tienen los sistemas formales cuando
no es posible deducir una contradiccin dentro del sistema. Es decir, dado un lenguaje formal y un aparato
deductivo (axiomas y reglas de inferencia), no es posible deducir una frmula y su negacin. La existencia de
un modelo implica que una teora lgica es consistente.

Generalizando, la consistencia es una propiedad que pueden tener los conjuntos de frmulas. Intuitivamente, un
conjunto de frmulas es consistente cuando no es posible deducir una contradiccin del mismo. Es decir, dado
un lenguaje formal y un aparato deductivo, no es posible demostrar una frmula y su negacin.
Equivalentemente, esto se puede expresar diciendo que para ninguna proposicin lgica p: y
simultneamente.

Decidibilidad
En metalgica, la decidibilidad es una propiedad de los sistemas formales cuando, para cualquier frmula en el
lenguaje del sistema, existe un mtodo efectivo para determinar si esa frmula pertenece o no al conjunto de las
verdades del sistema. Por ejemplo, la lgica proposicional es decidible, porque existe un algoritmo (la tabla de
verdad) que en un nmero finito de pasos puede decidir si la frmula es vlida o no.

Cuando una frmula no puede ser probada verdadera ni falsa, se dice que la frmula es independiente, y que
por lo tanto el sistema es no decidible. La nica manera de incorporar una frmula independiente a las verdades
del sistema es postulndola como axioma. Dos ejemplos muy importantes de frmulas independientes son el
axioma de eleccin en la teora de conjuntos, y el quinto postulado de la geometra euclidiana.

Completitud
En metalgica, la completitud o completitud semntica es la propiedad metaterica que tienen los sistemas
formales cuando todas las frmulas lgicamente vlidas (todas las verdades lgicas) del sistema son adems
teoremas del sistema.35 Es decir, cuando el conjunto de las verdades lgicas del sistema es un subconjunto del
conjunto de teoremas. En otras palabras, si A es una frmula cualquiera del lenguaje y S es el sistema formal
bajo consideracin, entonces se cumple que:

Si entonces 35

El segundo teorema de incompletitud de Gdel demuestra que ningn sistema (definido recursivamente) con
cierto poder expresivo puede ser a la vez consistente y semnticamente completo.

Por otra parte, la completitud sintctica es la propiedad que tienen los sistemas formales cuando, para toda
frmula del lenguaje del sistema, o bien es un teorema o bien su negacin lo es. Esto es, existe una prueba para
cada frmula o para su negacin.

La lgica proposicional y la lgica de primer orden son ambas semnticamente completas, pero no
sintcticamente completas. Por ejemplo, en la lgica proposicional, la frmula p no es un teorema, y tampoco
lo es su negacin, de modo que eso basta para mostrar que no es sintcticamente completa. No obstante, como
ninguna de esas dos frmulas es una verdad lgica, no afectan a la completitud semntica del sistema.

Otra propiedad metaterica distinta es la completitud semntica fuerte, que dice: si en un sistema formal S, A
es una frmula bien formada cualquiera que es una consecuencia semntica de un conjunto de frmulas,
entonces existe una derivacin de A a partir de . En smbolos:

Si entonces 36

Falacias
En lgica, una falacia (del latn: fallacia, engao) es un argumento que parece vlido, pero no lo es.37 25
Algunas falacias se cometen intencionalmente para persuadir o manipular a los dems, mientras que otras se
cometen sin intencin debido a descuidos o ignorancia. En ocasiones las falacias pueden ser muy sutiles y
persuasivas, por lo que se debe poner mucha atencin para detectarlas.38

El que un argumento sea falaz no implica que sus premisas o su conclusin sean falsas ni que sean verdaderas.
Un argumento puede tener premisas y conclusin 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 proposicin es falsa porque el
argumento que la contiene por conclusin es falaz es en s una falacia conocida como argumento ad logicam.39

El estudio de las falacias se remonta por lo menos hasta Aristteles, quien en sus Refutaciones sofsticas
identific y clasific trece clases de falacias.37 Desde entonces, cientos de otras falacias se han agregado a la
lista y se han propuesto varios sistemas de clasificacin.40

Las falacias son de inters no solo para la lgica, sino tambin para la poltica, la retrica, el derecho, la
ciencia, la religin, el periodismo, la mercadotecnia, el cine y, en general, cualquier rea en la cual la
argumentacin y la persuasin sean de especial relevancia.

Paradojas
A pesar de que todas las paradojas se consideran relacionadas con la lgica, hay algunas que afectan
directamente a su bases y postulados tradicionales.

Las paradojas ms importantes relacionadas directamente con el rea de la lgica son las antinomias, como la
paradoja de Russell, que muestran la inconsistencia de las matemticas tradicionales. A pesar de ello, existen
paradojas que no se autocontradicen y que han ayudado a avanzar en conceptos como demostracin y verdad.
 Paradoja del actual rey de Francia: Es cierta una afirmacin sobre algo que no existe?
Paradoja del cuervo (o cuervos de Hempel): Una manzana roja incrementa la probabilidad de que todos
los cuervos sean negros.
Regresin infinita del presupuesto: "Todo nombre que designa un objeto puede convertirse a su vez en
objeto de un nuevo nombre que designe su sentido".

Historia
La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la
historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el
pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los
mtodos 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 lgica
emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica
proviene de la tradicin griega, especialmente del Organon aristotlico, cuyos logros seran desarrollados por
los lgicos islmicos y, luego, por los lgicos de la Edad Media europea. El descubrimiento de la lgica india
entre los especialistas britnicos en el siglo XVIII influy tambin en la lgica moderna.

Lgica aristotlica
La lgica aristotlica es la lgica basada en los trabajos del filsofo griego
Aristteles, quien es ampliamente reconocido como el padre fundador de la
lgica. Sus trabajos principales sobre la materia tradicionalmente se agrupan
bajo el nombre rganon (herramienta), y constituyen la primera
investigacin sistemtica acerca de los principios del razonamiento vlido o
correcto.41

Para Aristteles, la lgica era una herramienta necesaria para adentrarse en el

mundo de la filosofa y la ciencia. Sus propuestas ejercieron una influencia
sin par durante ms de dos milenios, a tal punto que en el siglo XVIII,
Immanuel Kant lleg a afirmar:

Que desde los tiempos ms tempranos la lgica ha transitado por un

camino seguro puede verse a partir del hecho de que desde la poca de
Aristteles segn un manuscrito
Aristteles no ha dado un slo paso atrs. [...] Lo que es aun ms notable
acerca de la lgica es que hasta ahora tampoco ha podido dar un slo paso de su Historia naturalis de
hacia adelante, y por lo tanto parece a todas luces terminada y completa. 1457.

Crtica de la razn pura, B, VII

El trabajo de Aristteles se consideraba desde los tiempos clsicos, y durante la poca medieval en Europa y el
Medio Oriente como la imagen misma de un sistema completamente elaborado. Sin embargo no estaba solo:
los estoicos propusieron un sistema de lgica proposicional que fue estudiado por los lgicos medievales.
Tambin se estudi el problema de la generalidad mltiple. No obstante, no se consideraba que los problemas
de la lgica aristotlica necesitaran soluciones revolucionarias.

En la actualidad, algunos acadmicos afirman que el sistema de Aristteles no puede aportar mucho ms que
valor histrico, considerado como obsoleto por la llegada de la lgica matemtica. Otros utilizan la lgica de
Aristteles en la teora de la argumentacin para ayudar a desarrollar y cuestionar crticamente los esquemas de
argumentacin que se utilizan en la inteligencia artificial y los argumentos legales.

Vase tambin
 Lgica binaria
Lgica dialctica
Lgica formal
Lgica dentica
Lgica informal
Lgica matemtica
Lgica polivalente
Consecuencia lgica
Clculo lgico
Sistema formal
Constante lgica
Apora
Silogismo
Metodologa
MC-14, mtodo cientfico en 14 etapas
Argumento
Contraargumento
Declaracin (lgica)
Referencias
1. Simon Blackburn (ed.). logic. The Oxford
Dictionary of Philosophy (en ingls) (2008 Edition).
Oxford University Press. lgica: La ciencia general
de la inferencia.
2. Robert Audi (ed.). Inference. The Cambridge
Dictionary of Philosophy (en ingls) (2nd Edition).
Cambridge University Press.
3. inference (http://www.oxfordreference.com/views/
ENTRY.html?subview=Main&entry=t116.e1219).
The Oxford Companion to Philosophy (en ingls).
Oxford University Press. 2005. Consultado el 1 de
agosto de 2009.
4. Beall, J. C.; Restall, Greg. Logical Consequence (h
ttp://plato.stanford.edu/archives/sum2009/entries/logi
cal-consequence/). En Edward N. Zalta. Stanford
Encyclopedia of Philosophy (en ingls) (Summer
2009 Edition).
5. formal system (http://search.eb.com/eb/article-903
4889). Encyclopedia Britannica (en ingls).
Consultado el 3 de agosto de 2009.
6. Otero, Carlos Peregrn (1989). Introduccin a la
lingstica transformacional. Siglo XXI. p. 213.
ISBN 978-968-23-1541-1.
7. Corazn Gonzlez, Rafael. Saber, entender... vivir:
una aproximacin a la filosofa (https://books.google.
es/books?id=Cf2DLcvVmK4C). pp. 74-77.
8. Izuzquiza Otero, Ignacio; Corellano Aznar, Luis;
Frechilla Garca, Ana Rosa; Pea Calvo, Jos
Vicente; Villamayor Lloro, Santiago (2008). El
Universo de la lgica. En Achn, Elena; lvarez,
Gema. Filosofa y ciudadana (Manuel Andaluz
edicin). Madrid: Grupo Anaya Sociedad Annima.
p. 310. ISBN 9788466773195.
9. Kuno Lorenz: Logik, II.. Die antike Logik in
Historisches Wrterbuch der Philosophie, Bd. 5, 362
nach E. Kapp: Der Ursprung der Logik bei den
Griechen, 1965, 25 und mit Verweis auf Cicero: De
finibus 1, 7, 22
10. Aristteles. 24b. Primeros analticos. pp. 18-23.
Silogismo es un argumento en el cual, establecidas
ciertas cosas, resulta necesariamente de ellas, por ser
lo que son, otra cosa diferente.
11. Correia, Manuel (2006). La actualidad de la lgica
de Aristteles (http://ref.scielo.org/bj3gp7). Revista
de filosofa online 62: 139-150.
12. Ren Descartes, Blaise Pascal y, sobre todo, Gottfried
Leibniz que hicieron posible la aplicacin del clculo
a la experiencia dando lugar al desarrollo de la lgica
emprica como mtodo cientfico que hizo posible la
ciencia moderna.
13. Descartes, Ren. Regla IV. Reglas para la
direccin de la mente.
14. Honderich, T., ed. (2001). Enciclopedia Oxford de
Filosofa (Carmen Garca Trevijano, trad.). Madrid.
Editorial Tecnos. ISBN 84-309-3699-8.
15. Sobre el supuesto de que en el alma existen unos
principios del pensar (ideas innatas) que se
corresponden a los principios del ser, pues en el
fondo responden a Dios, que no puede engaarse ni
engaarnos, segn Descartes o a una Armona
Preestablecida, segn Leibniz, o a una unidad del
pensar y ser en una nica Sustancia sive Deus sive
Natura, segn Baruch Spinoza
16. Beuchot, Mauricio (2006). Lgica y metafsica en la
nueva Espaa. Mxico: IIF-UNAM. pp. 28-31.
17. Beuchot, Mauricio (2006). Lgica y metafsica en la
nueva Espaa. IIF-UNAM. pp. 56-61.
18. Hegel, G. W. F. (1970). Libro I: La doctrina del ser.
Seccin I: Determinacin (cualidad). Captulo I: c)
Devenir. 1.- La unidad del ser y la nada. [Clemente
Fernndez, S.I. Los filsofos modernos, seleccin de
textos]. Ciencia de la Lgica. Madrid. El puro ser y
la pura nada son, por lo tanto, la misma cosa. Lo que
constituye la verdad no es ni el ser ni la nada, sino
 aquello que no traspasa, sino que ha traspasado; vale
decir, el ser [traspasado] en la nada y la nada
[traspasada] en el ser. Pero, al mismo tiempo, la
verdad no es su indistincin, sino el que ellos no son
lo mismo sino que son separables, e inmediatamente
cada uno desaparece en su opuesto. Su verdad, pues,
consiste en este movimiento del inmediato
desaparecer de uno en otro: el devenir; un
movimiento donde los dos son diferentes, pero por
va de una diferencia que el mismo tiempo se ha
resuelto inmediatamente.
19. Para una exposicin sinttica del pensamiento de
Hegel, vase Zubiri (1963). Hegel y el problema
metafsico. Naturaleza, Historia y Dios. Editora
Nacional. pp. 223 y ss.
20. Evandro Agazzi, 1986.
21. Encyclopdia Britannica, Formal system (http://ww
w.britannica.com/eb/article-9034889/formal-system)
definition, 2007.
22. The Blackwell dictionary of Western philosophy (htt
p://books.google.com/books?id=OskKWI1YA7AC&
pg=PA266). Wiley-Blackwell. 2004. p. 266. ISBN 978-
1-4051-0679-5.
23. Gamut, L. T. F. (1991). Logic, language, and
meaning, Volume 1: Introduction to Logic (http://boo
ks.google.com/books?id=Z0KhywkpolMC&pg=PA1
56). University of Chicago Press. pp. 156-157.
ISBN 978-0-226-28085-1.
24. Burgess, John P. (2009). Philosophical logic (https://b
ooks.google.com/books?id=k32w3_wjBoYC&pg=PR
7). Princeton University Press. pp. vii-viii. ISBN 978-0-
691-13789-6.
25. Garson, James. Modal logic (http://plato.stanford.e
du/archives/sum2009/entries/logic-modal/). En
Edward N. Zalta. Stanford Encyclopedia of
Philosophy (en ingls) (Summer 2009 Edition
edicin). Error en la cita: Etiqueta <ref> no vlida;
el nombre "sep" est definido varias veces con
contenidos diferentes
26. Dale Jacquette, A Companion to Philosophical Logic,
Wiley-Blackwell: 2002.
27. Wolfram, Sybil. Philosophical Logic: An
Introduction. Routledge: 1989. ISBN 0-415-02317-3.
28. Preface to Colin McGinn, Logical Properties:
Identity, Existence, Predication, Necessity, Truth,
Oxford: Oxford University Press, 2000 (ISBN 0-19-
926263-2).
Bibliografa adicional
Priest, Graham (2008). An introduction to non-classical logic: From if to is (http://cesfia.org.pe/analitica/
3/Trelles.pdf) (2 edicin). Nueva York: Cambridge University Press. ISBN 978-0521854337.
Ferrater Mora, J. (1984). Diccionario de Filosofa (4 tomos). Barcelona. Alianza Diccionarios. ISBN 84-
206-5299-7.
Honderich, T.(Editor) (2001). Enciclopedia Oxford de Filosofa. Trd. Carmen Garca Trevijano. Madrid.
Editorial Tecnos. ISBN 84-309-3699-8.
Enlaces externos
29. John P. Burgess, Philosophical Logic, Princeton
University Press: 2009.
30. Lou Goble (ed.), The Blackwell Guide to
Philosophical Logic (http://books.google.ca/books?id
=aaO2f60YAwIC&dq=(The+Blackwell+Guide+to)+P
hilosophical+Logic&pg=PP1&ots=y5wP1HQkbh&s
ource=bn&sig=gwaoap-A-Xxzx8daLihFbp2kdCk&hl
=en&sa=X&oi=book_result&resnum=5&ct=result),
Oxford: Blackwell: 2009 (ISBN 0-631-20693-0).
31. Gabbay, Dov M.; Guenthner, Franz. Handbook of
Philosophical Logic (http://www.springer.com/series/
6024). Springer. Consultado el 16 de octubre de
2016.
32. Evandro Agazzi, 1986.
33. Shapiro, Stewart. metalgica (http://www.oxfordre
ference.com/views/ENTRY.html?subview=Main&ent
ry=t116.e1583). The Oxford Companion to
Philosophy. Oxford University Press. Consultado el 6
de octubre de 2009.
34. Padilla Glvez, Jess. (1995). Sobre metalgica. Un
anlisis histrico en torno a 1931. Arbor, 150, pp. 73-
90.
35. Hunter, Geoffrey (1971). Seccin 46.1. Metalogic:
An Introduction to the Metatheory of Standard First-
Order Logic. University of California Press.
36. Hunter, Geoffrey (1971). Seccin 46.2. Metalogic:
An Introduction to the Metatheory of Standard First-
Order Logic. University of California Press.
37. Hamblin, Charles Leonard (1970). Fallacies (http://w
ww.scribd.com/doc/86895391/HAMBLIN-Charles-F
allacies). Methuen.
38. Hansen, Hans Vilhelm (2002). The Straw Thing of
Fallacy Theory: The Standard Definition of
'Fallacy' . Argumentation 16 (2): 133-155.
39. Kenneth, S. Pope (2003). Logical Fallacies in
Psychology: 22 Types (http://kspope.com/fallacies/f
allacies.php) (en ingls). Consultado el 14 de junio de
2013.
40. ARP. Sociedad para el Avance del Pensamiento
Crtico. Falacias lgicas (http://www.escepticos.es/we
banterior/alojadas/falacias1.html)
41. Vase la seccin Lgica en Shields, Christopher.
Aristotle (http://plato.stanford.edu/archives/win200
9/entries/aristotle/). En Edward N. Zalta. Stanford
Encyclopedia of Philosophy (en ingls) (Winter 2009
Edition).
 Wikimedia Commons alberga contenido multimedia sobre Lgica.
Wikcionario tiene definiciones y otra informacin sobre lgica.
Wikiquote alberga frases clebres de o sobre lgica.
Wikiversidad alberga proyectos de aprendizaje sobre Lgica.
Aprende Lgica (Autor: Francisco Jos Calzado Fernndez) (http://w3.cnice.mec.es/eos/MaterialesEduca
tivos/mem2003/logica/)
Breve Historia de la Lgica (http://www.euclides.org/menu/articles/article101.htm)
Esta obra contiene una traduccin parcial derivada de Logic de Wikipedia en ingls, concretamente de
esta versin (https://en.wikipedia.org/wiki/Logic?oldid=768607553), publicada por sus editores (https://e
n.wikipedia.org/wiki/Logic?action=history) bajo la Licencia de documentacin libre de GNU y la
Licencia Creative Commons Atribucin-CompartirIgual 3.0 Unported.
Esta obra contiene una traduccin parcial derivada de Logic de Wikipedia en ingls, concretamente de
esta versin (https://en.wikipedia.org/wiki/Logic?oldid=774027146), publicada por sus editores (https://e
n.wikipedia.org/wiki/Logic?action=history) bajo la Licencia de documentacin libre de GNU y la
Licencia Creative Commons Atribucin-CompartirIgual 3.0 Unported.

Obtenido de https://es.wikipedia.org/w/index.php?title=Lgica&oldid=100285772

Categora: Lgica

Se edit esta pgina por ltima vez el 5 jul 2017 a las 23:01.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra poltica
de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.