1. CONSTRUCCION DE LOS
FUNDAMENTOS
FORMALES DE LA
LOGICA. EMPLEO DE
HERRAMIENTAS
FORMALES DE LA
LOGICA.
UNIVERSIDAD DE ORIENTE
ESCUELA DE INGENERÍA Y
CIENCIAS APLICADAS
SUBCOMISION DE TRABAJO DE
GRADO
CURSO ESPECIAL DE GRADO
CIENCIAS DE LA COMPUTACION
Prof:
Ing. Rommel Guevara
Br. Egusquiza, Josnelys
Br. Zilfo, Habib
2. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICA
Los fundamentos formales de la lógica tratan de
enseñar al individuo la manera mas correcta de cómo
se debe llevar a cabo un pensamiento, entre estos
fundamentos tenemos:
Principio de Coherencia)
Principio de la Identidad
Principio de Contradicción
Principio de Razón
Suficiente
Principio del Tercer
Excluido
3. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICA
Principio de Coherencia
El principio de coherencia es el que hace
que actuemos de forma consistente de
acuerdo con nuestra forma de pensar o
de nuestros actos previos aunque esto
signifique ir en contra de nuestro interés
personal. Este principio también se
denomina principio de compromiso o
consistencia.
Podemos ver el principio de coherencia en
las películas de la saga “Regreso al Futuro”.
En estas películas, el protagonista, Marty
McFly, encarnado por Michael J. Fox, suele
ser tentado por su rival a algún tipo de acto
arriesgado. Marty, en principio, se niega, ya
que sabe que no le conviene. Entonces es
cuando su rival aplica el principio de
coherencia en su contra diciendo:
“¿Qué te pasa, McFly? ¿Eres un gallina?”
De este modo, el protagonista acepta para
demostrar que no es un gallina y que es
coherente con su valentía, aunque su
decisión no sea la más idónea para él.
4. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICA
Principio de la Identidad
El Principio de Identidad es un principio
clásico de la lógica y la filosofía, según
el cual toda entidad es idéntica a sí
misma. Fue formulado por primera vez
como parte de una teoría de la realidad
del “ser”. Ese principio afirmaba algo
tan general como que “El “ser”es”; esto
puede ser explicado diciendo que “todo
objeto es idéntico a si mismo”. Lo que
significa que un concepto es igual al
mismo y no cambia cuando se piensa.
Tomemos en consideración los siguientes
ejemplos:
• el círculo es redondo
•El hombre es un animal racional
Tanto en el primero como en el segundo
ejemplo, el predicado esta implícito en el
sujeto. En efecto, es inconcebible un
círculo que no fuere redondo, y que
el hombre no fuese un animal racional.
Esta identidad lógica indica al
mismo tiempo que el círculo implica el ser
redondo, y el hombre implica ser animal
racional, lo cual expresado en fórmula
sería A implica A. De esto se sigue
que: De lo verdadero se deriva siempre
lo verdadero, nunca lo falso.
5. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICAPrincipio de Contradicción
El Principio de la Contradicción afirma
que: es imposible que algo sea al mismo
tiempo verdadero y falso.
Ejemplo: No es posible que en un mismo
instante y lugar llueva y no llueva. Por otro
lado, el principio de contradicción exige
que ambas partes puedan tener los
mismos derechos de ser escuchados y de
practicar pruebas, con la finalidad de que
ninguna de las partes se encuentre
indefensa frente a la otra. Requiere de una
igualdad.
Consideremos los siguientes ejemplos:
•El círculo no es redondo
• El hombre no es un animal racional
Ambas proposiciones son falsas porque
son ambas contradictorias. En efecto, es
falso que el círculo no sea redondo y que el
hombre no sea un animal racional. Si es un
círculo es imposible que no sea redondo, y
si es un hombre es imposible que no sea
animal racional.
Como es inadmisible que sea algo y no sea
al mismo tiempo y en el mismo sentido,
amabas proposiciones son contradictorias.
6. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICAPrincipio delTercer
Excluido
Dice que dos proposiciones
contradictorias no pueden ser ambas
falsas, ni ambas verdaderas.
Necesariamente una de ellas debe ser
verdadera.
Luego, se sigue que si una es verdadera la
otra es falsa y viceversa. Su expresión
formal sería:
A, o es A o no es A.
•Si una mujer esta embarazada no puede estar
medio embarazada.
Ejemplo Jurídico:
•Andrés cometió un delito y el juez lo tiene q
declarar culpable o inocente.
7. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICAPrincipio de Razón
Suficiente
Guillermo Leibniz afirmo que para nuestro
pensamiento sólo son verdaderos aquellos
conocimientos que podemos probar con un
número suficiente de razones, para que
lleven al convencimiento de la verdad de lo
afirmado.
Esto quiere decir que, "Todo objeto debe
tener una razón suficiente que lo
explique". O lo que es, es por alguna razón.
9. EMPLEO DE HERRAMIENTAS FORMALES DE LA
LOGICA
•RAZONAMIENTO LOGICO
•LOGICA PROPOSICIONAL
•CONECTIVOS LOGICOS
•SEMANTICA LOGICA
•TABLAS DE VERDAD
•LOGICA DE PREDICADOS
10. RAZONAMIENTO LOGICO
Razonamiento Es la capacidad del ser humano de que con un
ordenamiento de sus pensamientos pueda generar
una idea lógica. Con esta idea lógica se obtienen
respuestas y resoluciones a los problemas de cualquier
índole. Quien razona tiene en su poder la herramienta más
importante para definirse en sociedad como parte de esta.
Lógica
La lógica es una ciencia formal
que se enfoca en el estudio de las alternativas
validas de inferencia; es decir, propone estudiar
los métodos y principios adecuados para
identificar el razonamiento correcto entre uno o
mas razonamientos incorrectos.
11. RAZONAMIENTO LOGICO
Es un proceso de lógica mediante el cual, partiendo de
uno o más juicios, se deriva la validez, la posibilidad o la
falsedad de otro juicio distinto. Este nos permite ampliar
nuestros conocimientos sin tener que apelar a la
experiencia y a su vez justificar o aportar razones en
favor de lo que conocemos o creemos conocer.
Los razonamientos pueden ser válidos (correctos)
o no válidos (incorrectos).
El razonamiento lógico es el punto de separación
entre el instinto y el pensamiento, el instinto es la
reacción de cualquier ser vivo. Por lo tanto el razonar
nos hace analizar y desarrollar un criterio propio. Por lo
general los juicios en que se basa un razonamiento
expresan conocimientos ya adquiridos o,
por lo menos, postulados como hipótesis.
12. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICA
Razonamiento Deductivo
Razonamiento inductivo
Razonamiento Abductivo
RAZONAMIENTO LOGICO
Es posible distinguir entre
varios tipos de razonamiento
lógico.Tales como:
13. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICA
Razonamiento Deductivo
Consiste en un argumento donde
la conclusión se infiere necesariamente
de las premisas.
Este tipo de razonamiento parte de lo
general para llegar a lo particular, es
decir estudia una población para
conocer a alguien en particular. El
razonamiento es válido cuando la
verdad de las premisas implica
necesariamente la verdad de la
conclusión.
1.Todos los humanos son mortales.
2.Sócrates es humano.
Por consiguiente, Sócrates es mortal.
La primera premisa afirma que todos los
objetos clasificados como "humanos"
tienen el atributo "mortal".
La segunda premisa asegura que
"Sócrates" es clasificado como "humano"
(miembro del conjunto "humanos").
La conclusión asegura entonces que
"Sócrates" debe ser "mortal", pues hereda
este atributo a partir de su clasificación
como "humano".
RAZONAMIENTO LOGICO
14. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICA
Razonamiento Inductivo
Este considera varias experiencias
individuales para extraer de ellas
un principio más amplio y general.
Es importante tener en cuenta que, pese
a que se parta de premisas verdaderas, la
conclusión puede resultar falsa.
Que un razonamiento inductivo derive en
una conclusión verdadera es apenas una
probabilidad, cuyo grado varía de acuerdo
al número de premisas que se consideren
y a las características de éstas.
Los razonamientos inductivos no son
"validos" ni "inválidos" al sentido de que
estos términos no aplican a
razonamientos deductivos.
•Lionel Messi es argentino y juega al fútbol
•Sergio Agüero es argentino y juega al
fútbol
•Gonzalo Higuaín es argentino y juega al
fútbol
Todos los argentinos juegan al fútbol.
Como se puede apreciar, el razonamiento
inductivo es válido, pero su conclusión es
falsa (no todos los argentinos juegan al
fútbol).
RAZONAMIENTO LOGICO
15. CONSTRUCCION DE LOS FUNDAMENTOS
FORMALES DE LA LOGICA
Razonamiento Abductivo
Es el razonamiento que a partir de la
descripción de un hecho o fenómeno
ofrece o llega a una hipótesis, la cual
explica las posibles razones o motivos del
hecho mediante las premisas obtenidas.
Es una de las tres formas de
razonamiento junto a la deducción y la
inducción.
Ejemplo#1:
Los animales sin billis tienen larga vida.
Argumento abductivo:
El hombre, el caballo y la mula tienen larga
vida, por ende no deben tener billis.
Ejemplo#2:
En la cámara de diputados se escucha
generalmente pleitos y discusiones.
Argumento abductivo:
Estas personas son del grupo que siempre
provoca pleito o discute.
RAZONAMIENTO LOGICO