Please enable JavaScript.
Coggle requires JavaScript to display documents.
Clasificación de la lógica, Captura de pantalla 2024-09-01 214032 - Coggle…
Clasificación de la lógica
Lógica de Proposiciones o de Enunciados
Características
Cálculo básico de la lógica formal
Si ocurren las premisas, ocurre la conclusión
Ejemplo
Mañana es miércoles o jueves
Mañana no es jueves. Por lo tanto es miércoles
Lógica de Predicados o Cuantificacional
Características
Analizan las oraciones en sus componentes
Se cuantifican sobre individuos
Estudia la pertenencia a un conjunto
Ejemplo
Todos los hombres son mamíferos, y los mamíferos tienen pelo
¿Los hombres tienen pelo?
Diferencia: la deducción se efectúa en las relaciones y categorías
Lógica de primer orden
Características
Unión de cálculo proposicional y de predicados
Cuantificadores exclusivos para elementos individuales
Ejemplo
Todos los hombres son mortales
Sócrates es un hombre. Por lo tanto Sócrates es mortal
Lógica de 2° (3°,4°...n) Orden
Características
El orden sube según se cuantifiquen sobre propiedades o predicados
El orden es indefinido
Ejemplo
Hay un rasgo que todos los problemas filosóficos tienen en común
Clasificación según los valores de verdad
Lógica clásica
Solo admite Verdadero o Falso
Lógica no-clásica
Surgen de las restricciones de la lógica de primer orden
Subclasificación (Lógicas no bivalentes)
Lógica Trivalente: Verdadero, Falso y lo Incierto
Lógicas Polivalentes: Valores en el intervalo de [0,1]
Subclasificación (Más recursos expresivos)
Lógica modal: Lo necesario y lo posible
Lógica temporal: Depende del momento
Lógica epistémica: Formaliza enunciados de creencia
Lógica nomonotónica: Se decide sin conocer lo que se prueba posteriormente
