Lógica y Lógica y EpistemologíaEpistemología

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. Estudia los principios formales del conocimiento humano, es decir, las formas y las leyes más generales del pensamiento humano considerado puramente en sí mismo, sin referencia a los objetos. Los problemas principales de la lógica son las doctrinas del concepto, del juicio, del silogismo y del método.

• 1)Aprender los distintos tipos de lógica existentes

• 2)Identificar distintos tipos de proposiciones

• 3)Profundizar acerca de las conectivas que forman estas proposiciones

• 4)Reconocer los procesos necesarios utilizados por la Lógica Simbólica

• 5)Resolución de tablas de verdad y reconocimiento de sus ámbitos

• 6)Reconocer si el resultado de estas tablas son tautologías, contingencias o contradicciones

Para poder entender esta ciencia se recomienda seguir los siguientes pasos:

LÓGICA

LÓGICA CLÁSICA Pertenece a la filosofía, de cabida al contenido de las expresiones.

LÓGICA SIMBÓLICA

No tiene un fundamento filosófico, totalmente formalizada y utiliza símbolos muy

característicos

Lógica proposicional

Lógica de términos

Lógica proposicional

• Se encarga de determinar cuando una proposición es verdadera o falsa y cuándo los razonamientos proposicionales son válidos o inválidos. Esta lógica no analiza los términos de las proposiciones, por ello los identifica con los símbolos variables.

Lógica de términos

• A diferencia de la proposicional, esta lógica estudia los términos de las proposiciones, es decir, analiza la estructura interna de las mismas.

PROPOSICIONES ATÓMICAS Y MOLECULARES

no está afectada por ninguna conectiva

afectadas al menos una vez por una conectiva

Ej: Juana estudia mucho. Ej: Julián Y Mariano van a jugar este fin de semana.

CONECTIVASLas conectivas cumplen la función de unir las proposiciones atómicas llegando así a formar las

proposiciones moleculares.

Existen distintos tipos:

• CONJUNCIONES

• DISYUNCIONES

• CONDICIONALES

• BICONDICIONALES

• NEGACIONES

Y, pero, aunque. Símbolo: ·

Incluyente. Símbolo: v

Excluyente. Símbolo: w

y/o, o bien…o bien

Si…entonces, es condición suficiente para. Símbolo: =>

Cuando y solo cuando. Símbolo: <=>

No, no es cierto que. Símbolo: -

PROCESOS DE LA LÓGICA SIMBÓLICA

• ABSTRACCIÓN:

Consiste en traducir una expresión del lenguaje común al lenguaje de los símbolos lógicos.

• INTERPRETACIÓN:

Es el proceso inverso.

Tablas de verdadTablas de verdad

La tabla de verdad consiste en asignar valores ( V o F ) debajo de cada variable. En las tablas se distinguen dos ámbitos:

• Ámbito de variabilidad: es el conjunto de valores que se le Ámbito de variabilidad: es el conjunto de valores que se le asigna a cada variable.asigna a cada variable.

• Ámbito de valores: es el conjunto de valores resultantes de la Ámbito de valores: es el conjunto de valores resultantes de la tabla de verdad.tabla de verdad.

TAUTOLOGÍAS, CONTINGENCIAS Y CONTRADICCIONES

Ámbito de valores resulta verdadero en su totalidad.

Coexisten valores de verdad y falsedad.

El resultado de la tabla de verdad es completamente falso.