Clases De Logicas

[pic]




Lógicas clásicas

Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicasrechazan. Algunos de estos principios son: el principio, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos se encuentran:← Lógica proposicional
← Lógica de primer orden
← Lógica de segundo orden



Lógicas no clásicas

Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de losprincipios de la lógica clásica. Algunos de estos sistemas son:

← Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.← Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que un argumento sea válido, las premisas y la conclusión deben compartir al menos unavariable proposicional.
← Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica; su característica más notable es el rechazo de la propiedad distributiva.
←Lógica no monotónica: Una lógica no monotónica es una lógica donde, al agregar una fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría se reduzca.
← Lógicaintuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.



Lógicas modales

Las lógicas modales están diseñadas para tratar con expresionesque califican la verdad de los juicios. Así por ejemplo, la expresión «siempre» califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir «estálloviendo» que decir «siempre está lloviendo».

← Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
← Lógica deóntica: Se ocupa de las nociones morales de...