logica

Universidad IVES
Licenciatura de Psicologia




Ensayo crítico







Alumna : Heidi Jennifer Gallegos Chong
Profesor: Paulo Trejo Wong
Materia: Lógica simbólica y semánticaGrupo: 101




Xalapa, Ver. 07, Diciembre, 2014


Índice

*Introducción P.3 I. Reglas de inferencia P.4 II. Leyes de inferencia P.7 III. Certeza lógica P.10
*Conclusión P.13
*Anexós P.14




















Ensayo Critico
por:Heidi Jennifer Gallegos Chong


*Introducción

Este ensayo critico el cual es realizado como investigación para la materia de LOGICA SIMBOLICA Y SEMÁNTICA en la que se abordan los temas de Reglas de Inferencia Lógica, Leyes de Inferencia y Certeza Lógica , que a continuación se expondrán, con esto se podrá obtener más conocimiento sobre los temas deinvestigación y nos ayudara a la mejor compresión de los mismos. Este ensayo será fragmenta en tres títulos con dos sinopsis y una opinion y una conclusión al final sobre los temas antes mencionados.


I. Reglas de Inferencia Lógica. en el cual se se define detalladamente qué son las reglas de inferencia y que tipos existen así como de qué manera pueden ser aplicadas al validar un argumentocorrectamente.
II. Leyes de Inferencia. En lógica una ley de inferencia es un esquema para construir inferencias validas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamadas premisas y una aserción llamada conclusión.
III. Certeza Lógica. La certeza es la plena posesion de la verdad correspondiente al conocimiento perfecto. La conciencia de ella permite laafirmacion, sin sombra de duda, con la confianza plena en que dicho conocmimiento es verdadero y valido.

I. Reglas de Inferencia Lógica

Sintesis:
Las inferencias son evaluaciones que realiza la mente entre proposiciones, por consiguiente, se debe saber cuáles son aquellas proposiciones a las que evalúa. Estas proposiciones se encuentran dentro de lo que llamamos un argumento, el cual, cómoexplica José Antonio Arnaz1: “es una secuencia o serie de proposiciones en la que una de ellas, llamada conclusión, se obtiene o desprende de las restantes, llamadas premisas.”; Se debe comprender que dentro del argumento existe una premisa mayor, una menor y que de ambas se obtiene una conclusión.
Las reglas de inferencia lógica nos permiten transformar una fórmula o expresión bien formada de unlenguaje formal en otra expresión bien formada del mismo lenguaje formal. Esto sucede porque ambas expresiones se relacionan mediante una relación de equivalencia, esto quiere decir que ambas tienen los mismos valores de verdad. Pues la verdad de una coimplica la verdad de la otra.

Algunas de las reglas de inferencia lógica más conocidas son:
Modus ponendo ponens
Modus ponendo tollens
Modustollendo ponens
Modus tollendo tollens
Silogismo hipotético
Silogismo disyuntivo



Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

Deductiva
Esta va de lo general a lo particular, es decir, cuando se conoce una ley general y se aplica a un caso particular. También podemos llamarla inferencia deductiva. En este caso estamos seguros de que si las premisas sonverdaderas entonces la conclusión también lo es. Este tipo de inferencia resulta de gran importancia pues es aquí donde podemos encontrar a dos leyes lógicas como: Modus Ponendo Ponens y Modus Tollendo Tollens, los cuales son dos formas de establecer una inferencia válida.

Inductiva
Al contrario de la anterior, esta va de lo particular a lo general. En general una inferencia inductiva es la...