Lógicas No Clásicas

Las lógicas “no clásicas”
Sistemas lógicos que difieren en uno o más rasgos de la lógica clásica. Se entiende por lógica “clásica” “central” “lógica del discurso apofántico”, “lógica normal”, o “lógica matriz” a la lógica contemporánea encargada de examinar los supuestos que se utilizan en la construcción de enunciados.
Recordamos que el objeto de estudio de la “lógica clásica” es la validezformal de las inferencias. Entre las características de esta lógica que posteriormente nos permitirá diferenciarla de las demás lógicas denominadas “no clásicas”, se encuentran:
* Apofántica: Se manejan los enunciados apofánticos, es decir, enunciados provistos de un valor de verdad.
* Bivalente: Los valores de verdad son solamente dos: el valor de la verdad y el valor de la falsedad.
*Asertórica: no se admiten matizaciones en los valores de verdad: O es verdadero totalmente, o es falso totalmente.
* Se toman en cuenta solo las conexiones entre funciones de verdad (conectivas)
* Extensional: Opera solo con la extensión de los enunciados y no con la intensión (concepto que designa, significa o expresa)
Tipos de Lógicas “no clásicas”
Clasificación según el objeto
1.Lógica Polivalente
Lógica que acepta más de dos valores de verdad, valores intermedios.
Aristóteles fue el primero en cuestionar el principio de bivalencia.
Surgen como un intento de explotar las posibilidades abstractas de lógica y también para hacer frente a las necesidades de aplicación de esta ciencia.
* Lógica Trivalente (Polivalente por principio)
* Existen tres valores deverdad: Verdadero (1), Falso (0) e Indeterminado (12).
* La negación de un enunciado con valor de verdad indeterminado resulta un enunciado con valor de verdad indeterminado también.
* Las combinaciones posibles de los valores de verdad se determinan mediante la fórmula 3n
* Los criterios para la determinación de valores de verdad son los mismos que en la lógica bivalente, pero se incluyenalgunos cuando tales como:
* 1 ˄ 12 = 12
* 12 ᴧ 0 = 0
* 1 ˅ 12=1
* 0 ˅ 12 = 12
* Constituyen el nivel más elemental de la lógica polivalente.
* Utilizadas en la reducción al absurdo: Todas las leyes bivalentes que pierden su carácter tautológico al ser evaluadas en la lógica trivalente pertenecen al grupo de las leyes “de reducción al absurdo”.
* Lógica Presuposicional(polivalente por necesidad)

* Lógica que aplica el fenómeno de la “presuposición” relación entre enunciados analizada en término de sus valores de verdad.
* Es polivalente por necesidad porque, nos hayamos en la necesidad de considerar más de un valor de verdad: los enunciados pueden ser o verdaderos o falsos o ni lo uno ni lo otro.
* Determina que En dos enunciados, el primero noserá verdadero ni falso a menos que el segundo sea verdadero.
* Es semejante a la implicación en la situación de si un enunciado es verdadero, el segundo también lo es, y distinta en la situación de si el segundo enunciado es falso, no hace que el primero sea falso.
* Esta lógica es imposible no tener en cuenta si se quiere que la lógica formal conserve su contacto con el lenguaje de lavida.
* Casos:
* Primer caso: Un enunciado con un sujeto individual presupone la verdad del enunciado que afirma la existencia del individuo del que se trate.
* Segundo caso: Un enunciado con carácter universal, presupone la verdad del enunciado que afirma que existen individuos, de los que es verdadero el predicado que representa la primera de dichas propiedades.
* Tercer caso:Verbos como lamentar, darse cuenta, arrepentirse, presuponen la existencia del enunciado al que se refieren.

* Lógica de enunciados vagos. (polivalente por necesidad)
* También llamada lógica fussy.
* Toma en cuenta los matices de verdad.
* Aplicándola en la teoría de conjuntos, dice que existen algunos conjuntos que son vagos o borrosos, en los que los bordes de límite están...