Download Lógica Matemática

Lógica
Matemática
Tema: Inferencias y falacias
Inferencias y falacias
En la unidad uno, hemos aprendido a dividir las
proposiciones en sus partes lógicas y de este
modo se ha llegado a conocer algo sobre la
forma lógica de las proposiciones. La proposición
P Q es la misma, en cuanto a la forma lógica
se refiere, cualesquiera que sean las
proposiciones en español que sustituyan a la P y
a la Q. Los conectores lógicos determinan la
forma de la proposición.
Conocidas las formas de las proposiciones y
teniendo los instrumentos de simbolización a
nuestro alcance, podemos dirigirnos ya hacia una parte importante de la Lógica
formal: inferencia y deducción. Las
reglas de inferencia que rigen el uso de
los conectores lógicos son muy simples.
Se pueden aprender estas reglas y su
uso, como se aprenden las reglas de un
juego.
El juego funciona con proposiciones, o
fórmulas lógicas, nombre que se dará a las
proposiciones simbolizadas. Se empieza
con conjuntos de fórmulas que se
denominan premisas. El objeto del juego es
utilizar las reglas de inferencia de manera
que conduzcan a otras fórmulas que se
denominan conclusiones. El paso lógico de
las premisas a la conclusión es una
deducción. La conclusión que se obtiene se
dice que es una consecuencia lógica de las
premisas si cada paso que se da para llegar
a la conclusión está permitido por una regla.
La idea de inferencia se puede expresar de la manera siguiente: de premisas
verdaderas se obtienen sólo conclusiones que son verdaderas. Es decir, si las
premisas son verdaderas, entonces las conclusiones que se derivan de ellas
lógicamente, han de ser verdaderas. Las falacias parecen reglas de inferencia
pero están basadas en contingencias y no en tautologías.