1. FORMAL Proceso de razonamiento para llegar a que el argumento sea perfecto.
1.1. DEDUCTIVA Partiendo de razonamientos generales, llega a conclusiones particulares.
1.2. INDUCTIVA Partiendo de la observación de casos particulares, establece conclusiones generales.
2. INFORMAL Analiza la validez de los argumentos que derivan del lenguaje.
3. COMPUTACIONAL Permite desarrollar un lenguaje de programación.
4. SIMBÓLICA Se crean símbolos a los que nosotros les damos un significado único e inamovible.
5. FILOSÓFICA Comprende nuestra existencia.
6. MATEMÁTICA Llega siempre a un resultado numérico correcto.
7. NO CLÁSICA Introduce nuevos teoremas para adaptar la lógica a la nueva sociedad.
7.1. CUÁNTICA Las partículas subatómicas se comportan de modo distinto al “mundo real”.
7.2. RELEVANTE La conclusión final es totalmente válida, pero la proposición inicial no guarda relación alguna.
7.3. INTUICIONISTA Recoge el mayor número posible de evidencias.
7.4. NO MONÓTONA Hace que los razonamientos generales se reduzcan.
7.5. DIFUSA No podemos reducirlo todo a “verdad” o “falso”.
8. MODAL Busca que el lenguaje persiga siempre la verdad.
8.1. Verdades (conocimientos) creencias. EPISTÉMICA Busca encontrar una estructura válida para formular argumentos sobre el conocimiento humano y su naturaleza.
8.2. DOXÁSTICA Valora la validez de los argumentos dentro de las creencias humanas.
8.3. DEÓNTICA Busca los argumentos más justos y válidos dentro de la moralidad.
8.4. TEMPORAL Determina bajo qué condiciones podemos situar en el tiempo conceptos como “siempre”, “nunca”, “antes”, “después”, “jamás”, etc.
9. POLIVALENTE La verdad es, en realidad, una escala de grises (no existe el blanco o el negro) y que los matices son muy importantes.
10. BIVALENTE No cree en los matices, es decir, todo es blanco o es negro.
