LA LÓGICA Y LA

INFERENCIA
DEFINICIÓN DE LÓGICA

• La lógica es la ciencia formal que estudia los principios

y procedimientos que permiten demostrar la validez e
invalidez de las inferencias o razonamientos
deductivos.

• Es una ciencia formal porque solamente se interesa por

la forma o estructura lógica y no el contenido de las
inferencias.
• ES UNA CIENCIA FORMAL (ABSTRACTA O IDEAL) PORQUE SUS OBJETOS
DE ESTUDIO NO EXISTEN EN LA REALIDAD, NO SE LES PUEDE CAPTAR
MEDIANTE LOS SENTIDOS…
POR FAVOR OBSERVA LAS ESTRUCTURAS SIGUIENTES:

Todos los italianos son europeos.

Todos los Romanos son italianos.
Todos los romanos son europeos.

Todos los peces son animales acuáticos.

Todos los tiburones son peces.
Todos los tiburones son animales acuáticos.
LA INFERENCIA

• La inferencia es un proceso de razonamiento

lógico que consiste en derivar la verdad de
una conclusión a partir de la verdad de una
o más premisas , y de acuerdo a un conjunto
de reglas de deducción.

• Estas reglas garantizan el paso lógico de las

premisas a la conclusión, es decir, que
nuestro razonamiento sea correcto.
ELEMENTOS DE UNA INFERENCIA

• Premisa: Es toda proposición que sirve

de punto de partida a cualquier inferencia.
• Conclusión: Es la proposición que se
afirma sobre la base de las premisas.
• Reglas de deducción: Aquellas leyes
que permiten el correcto paso de las
premisas a la conclusión.
EJEMPLOS DE INFERENCIAS

• Todos los mamíferos son vertebrados

Todos los caballos son mamíferos
Todos los caballos son vertebrados
INFERENCIAS INMEDIATAS

• Las inferencias inmediatas son aquellas

donde la conclusión se deriva a partir de
una sola premisa.
• Todos los poetas son ateos( Premisa).

Algunos ateos son poetas (Conclusión).

INFERENCIAS INMEDIATAS

• Las inferencias inmediatas son aquellas

donde la conclusión se deriva a partir de
una sola premisa.

• Todos los poetas son ateos( Premisa).

Algunos ateos son poetas (Conclusión).
• Ningún idealista es pragmático.
Ningún pragmático es idealista.

• Algunos filósofos son socialistas.

Algunos socialistas son filósofos.
INFERENCIAS MEDIATAS

• Son aquellas donde la conclusión se deriva

a partir de dos o más premisas.
• Un caso especial es el silogismo
descubierto por Aristóteles de Estagira,
donde la conclusión se deriva solamente de
dos premisas llamadas premisa mayor y
premisa menor, en ese mismo orden.
EJEMPLO DE UN SILOGISMO

• Algunos abogados son limeños (P. Mayor).

Todos los limeños son peruanos (P. Menor).
Algunos peruanos son abogados ( Conclusión)

Abogados= termino mayor ( P); peruanos= termino menor ( S) y

limeños= termino medio ( M)
VALIDEZ LÓGICA

Una inferencia es válida o lógicamente

verdadera si y sólo si la verdad de las
premisas implican o garantizan la verdad de
la conclusión; es decir, cuando lo que afirma
la conclusión se deduce necesariamente de
lo que afirman las premisas.
EJEMPLO DE UNA INFERENCIA VALIDA:

Todos los mamíferos son vertebrados.

Todos los camellos son mamíferos (PREMISAS)

Todos los camellos son vertebrados (CONCLUSIÓN)

• ¿Por qué esta inferencia es válida o lógicamente verdadera?

• Una inferencia es inválida o lógicamente
falsa cuando la verdad de la conclusión no se
deriva necesariamente de la verdad de las
premisas; es decir, no hay una relación
lógica entre las premisas y la conclusión.
• En este caso, técnicamente se le denomina
falacia (razonamiento incorrecto pero que es
correcto aparentemente)
EJEMPLO DE INFERENCIA INVÁLIDA

Todos los médicos son pacientes

Algunos pacientes padecen de sida (PREMISAS)

Algunos médicos padecen de sida (PREMISAS)

• ¿Puedes explicar de manera lógica por qué esta inferencia es

invalida o falacia?
 UNA INFERENCIA ES VALIDA SOLAMENTE EN
VIRTUD DE SU FORMA LÓGICA O ESTRUCTURA
FORMAL

TODOS LOS………SON…...
TODOS LOS ……..SON…….
TODOS LOS ……..SON…….

Toda inferencia o razonamiento deductivo que tenga esta forma

o estructura lógica es válida o lógicamente verdadera.
EJEMPLOS DE INFERENCIAS VALIDAS

TODOS LOS…italianos… SON…europeos………

TODOS LOS…romanos… SON…italianos……….
TODOS LOS …romanos…SON…europeos.…….
• Todos aves son vertebrados
Todas las palomas con aves.
Todas las palomas son vertebrados.

• Todos los mamíferos son vertebrados.

Todos los gatos son mamíferos.
Todos los gatos son vertebrados