gica

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
[ocultar]

1Acepciones

o 1.1Ciencia argumentativa y propedutica

o 1.2Ciencia del pensar

o 1.3Ciencia formal

o 1.4Lgica como pensamiento informal

2Sistemas formales

o 2.1Lgicas clsicas

o 2.2Lgicas no clsicas

o 2.3Lgicas modales

3Ramas de la lgica

o 3.1Lgica filosfica

o 3.2Lgica matemtica

o 3.3Lgica computacional

4Metalgica

o 4.1Consistencia

o 4.2Decidibilidad

o 4.3Completitud

5Falacias

6Paradojas

7Historia

o 7.1Lgica aristotlica

8Vase tambin

9Notas y referencias

10Bibliografa adicional

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

Gottfried Leibniz (1646-1716).

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,11 los temas que van a marcar el desarrollo de la lgica formal. Son
de especial importancia la idea de Descartes de una Mathesis universalis12 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.13 14
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).15
Adems se considera que las lgicas modernizantes nunca lograron la precisin de estos
estudios. Sander Pierce, Gottlob Frege, Saussure y Wittgenstein siguieron criterios
neoescolsticos para formular sus teoras lgicas, ms acabadas.16
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.1718 La lgica, la epistemologa y la ontologa van unidas y son expuestas en
la filosofa entendida sta como Sistema Absoluto