Post on 05-Dec-2014
description
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.