Lógica

Qué es la lógica

Existen diferentes definiciones de lógica. Tomando la definición de Irving Copi de su famoso libro "Introducción a la lógica", la lógica se define como la disciplina que estudia el razonamiento valido. Para entender mejor esta definición, precisemos algunos conceptos básicos.

• Proposición (Proposition): Pensamiento sobre cómo es el mundo, que puede estar o no en correspondencia con el mismo. Un enunciado (statement) es una expresión que da a entender una proposición. El valor de verdad de una proposición indica si la misma se encuentra o no en efecto en correspondencia con el mundo, generalmente siendo estos valores verdadero o falso.


• Razonamiento (Reasoning): Pensamiento por el cual se deriva (infiere) del valor de verdad de unas proposiciones (premisas) el valor de verdad de otra proposición (conclusión). Un argumento (argument) es un conjunto de proposiciones con que se da un razonamiento. Un razonamiento se dice que es correcto si es convincente tal como es dado.

Demos un ejemplo. Cuando una persona le dice a otra "El día está soleado", el enunciado que pronuncia da a entender una proposición, la cual indica que en ese momento presente el día está soleado. Si su interlocutor puede ver el cielo y corroborar que hay sol, pensará que lo que dice la otra persona es correcto. Lo que se está pensando en nuestros términos es que la proposición es verdadera.

El mismo enunciado puede ser pronunciado en un día distinto y ello daría a entender otra proposición, la que se refiere a ese día y presente, distinto del día anterior. Si el interlocutor puede ver el cielo y notar que está nublado, pensará que la proposición es falsa. Tenemos el mismo enunciado y proposiciones distintas. Así mismo una proposición puede darse a entender por medio de oraciones en distintos idiomas. Una cuestión lingüística motiva la diferencia entre enunciado y proposición.

En función de lo dicho y para demarcar el campo de la lógica, cuando decimos que la lógica estudia el razonamiento valido, decimos que se enfoca en los razonamientos, que son un tipo de pensamiento y no en los pensamientos en general, y más especificamente en aquellos que son validos, y no cualquier tipo de razonamiento .

El análisis que realiza la lógica está ligada en gran medida a la semántica. Nos comunicamos por medio de expresiones que son los enunciados (escritos u orales), y una persona otorga un valor de verdad a una proposición en función de lo que entiende que la proposición aserta y la visión del mundo que tiene.

Tipos de razonamientos

Se identifican tradicionalmente dos tipos de razonamientos:

• Razonamiento deductivo: Propone que la verdad de sus premisas implica la verdad de la conclusión. Si un razonamiento deductivo es correcto, se dice que es valido. En caso contrario se dice que es invalido.


• Razonamiento inductivo: Propone que la verdad de sus premisas implica probablemente la verdad de la conclusión. Un razonamiento inductivo se dice que es fuerte cuando se considera que la probabilidad es alta, y se dice que es débil cuando se considera que la probabilidad es baja.

Ejemplo de razonamiento deductivo valido (clásico): Todos lo hombre son mortales. Sócrates es un hombre. Por lo tanto, Sócrates es mortal.

Ejemplo de razonamiento deductivo invalido: Si llueve y camino al aire libre me mojo el pelo. Tengo el pelo mojado. Por lo tanto está lloviendo.

Ejemplo de razonamiento inductivo fuerte: Todos el tiempo desde que tengo uso de memoria el día le sucede a la noche. De forma que es muy probable que el sol salga dentro de unas horas y se haga de día.

Ejemplo de razonamiento inductivo débil: En un paquete de galletitas surtidas acabo de sacar dos bocas de dama, por lo tanto es probable que ese paquete solo contenga bocas de dama ;(

Tipos de lógica

Según la teoría que se desarrolle para hablar sobre proposiciones y razonamientos, se distinguen distintos tipos de lógicas.

La lógica clásica

Los sistemas formales

Lógica proposicional

Lógica de primer orden