tema 3 lógica

TEMA 3
INTRODUCCIÓN A LA LÓGICA
1. ¿Qué es la Lógica?
2. La lógica formal
2.1.
El análisis formal de los razonamientos
2.2.
La necesidad de un lenguaje formal en lógica
3. La lógica proposicional
3.1.
¿Qué es una proposición?
3.2.
Tipos de proposiciones
3.3.
Simbolización de proposiciones: variables proposicionales
3.4.
Noción de juntos o conector
4. Las tablas de verdad
5.Tautologías, contradicciones y contingencias
6. Leyes lógicas y reglas de inferencia
7. Reglas de inferencias: la radiografía lógica del pensamiento
7.1.
Reglas de inferencias primitivas
7.2.
Reglas de inferencias derivadas
8. Métodos de decisión acerca de la validez o invalidez de un razonamiento
8.1.
La prueba formal de invalidez (método abreviado de las tablas de
verdad)
8.2.
El cálculode deducción natural
9. Lógica informal
9.1.
¿Qué es la lógica informal?
9.2.
Tipos de falacias

1

1. ¿Qué es la Lógica?
La Lógica es un tipo de ciencia que sirve para potenciar el razonamiento humano. Dado que
la capacidad humana de razonar no es infalible, el ser humano necesita herramientas para evitar caer
en el error o en la equivocación. Para ello nos servimos de la lógica ylas matemáticas. De esta
manera el conocimiento humano puede progresar; es importante que razonemos pero hay que
“razonar bien”.
¿Cuándo podemos equivocarnos o razonar mal? Hay dos formas de equivocarnos: a) me
equivoco porque mi premisa es falsa por lo tanto a la conclusión a la que llego es falsa y b) es
posible, también, llegar a una conclusión falsa partiendo de premisas verdaderas.Ejemplo:
Todos los ratones son mamíferos
Todos los hombres son mamíferos
Por tanto, todos los hombres son ratones
En este caso, es posible porque estamos ante un hecho formalmente inválido.
Hay cuatro tipos de razonamientos:
1. Razonamientos materialmente verdaderos y formalmente válidos
2. Razonamientos materialmente falsos y formalmente válidos
3. Razonamientos materialmente verdaderos yformalmente inválidos
4. Razonamientos materialmente falsos y formalmente inválidos
Al conocimiento humano le interesa encontrar los razonamientos del tipo 1. La lógica se va
a encargar de estudiar cuáles son las formas de razonamiento válidas. De ahí que, junto con las
matemáticas, sea formal y que se encargue de la forma de razonamiento y no de la verdad o
falsedad de su contenido.

2

2.Lógica formal
La lógica formal se conoce también como lógica simbólica o como lógica matemática, ya
que al igual que esta utiliza una simbología o lenguaje artificial para obtener un mayor grado de
exactitud en el análisis del razonamiento.
El análisis formal no se preocupa ni por la verdad ni por la falsedad de las premisas. Son las
ciencias empíricas las que se encargan de determinar laverdad de un enunciado ya que se ocupan de
hechos. La lógica se encarga de investigar cuando un razonamiento es válido. De ahí que podamos
definir a la lógica como “la ciencia de los principios de validez formal de la inferencia”. Una
inferencia es válida cuando suponiendo que las premisas sean verdaderas es imposible derivar una
conclusión falsa.
Hay dos tipos de lógica: lógicas deductivas ylógicas inductivas. Nosotros vamos a estudiar
las lógicas deductivas que son las más fáciles y que se encargan de estudiar los razonamientos
deductivos que son aquellos que parten de premisas generales y derivan premisas particulares.
Todo razonamiento tiene una forma y un contenido. Veamos los siguientes ejemplos:
1. Para poder morir, basta con haber nacido
2. Cuando se compara a Sodoma conGomorra, sale ganando la segunda
3. En no habiendo vino ya no hay amor
4. Siempre que se va a hacer la revolución, acaba luego no haciéndose
Son diferentes en función de su contenido pero no en función de su forma. En lógica, estos
enunciados pueden simbolizarse así: p -> q . Esta estructura se lee: si “p” entonces “q”. El lenguaje
formal de la lógica es un lenguaje totalmente dotado de...