1. lógica aristotélica
1.1. Para Aristóteles existen una sustancia y categorías, predicados que se pueden decir de un objeto o sujeto cualquiera: Sustancia (género + especie + diferencia específica)
2. Lógica
2.1. La lógica es una disciplina que estudia los principios de la demostración e inferencia válida.
2.1.1. Lógica de Proposiciones o de Enunciados
2.1.1.1. Es un cálculo hipotético, porque la deducción se establece en una relación condicional entre las premisas y la conclusión (si ocurren las premisas, entonces ocurre la conclusión)
2.1.2. Lógica de Predicados
2.1.2.1. Se caracterizan por analizar las oraciones en sus componentes, sujeto y predicado, y porque se puede cuantificar sobre individuos, es decir podemos tratar con todos o con algunos de los elementos que pueden ser sujetos de una oración.
2.1.3. Lógica de Primer Orden
2.1.3.1. Este cálculo tienen la restricción de que sólo podemos utilizar los cuantificadores con elementos individuales. Es decir, no podemos hablar de todas o de algunas de las clases de algún tipo
2.1.4. Lógica de 2º (3º,4º...n) Orden
2.1.4.1. Sobre la lógica de primer orden, según admitamos cuantificar sobre propiedades o predicados, o predicados de predicados, iremos subiendo de orden.
3. El razonamiento lógico
3.1. es entonces un conjunto de juicios que mantienen entre sí relaciones lógicas de tal forma que partiendo de algunos juicios dados a los que denominados premisas podemos llegar deductivamente a un juicio que no teníamos y que denominamos conclusión
4. Pensar
4.1. es un complejo proceso que se inicia con la creación de imágenes mentales en nuestro cerebro
5. razonar
5.1. consiste en producir juicios. Un juicio tiene la forma de una proposición, es decir, de una oración
6. lógica clásica
6.1. cuando los cálculos lógicos son bivalentes, es decir, que sus fórmulas pueden ser verdaderas o falsas y no puede ocurrir que lo sean a la vez.
7. Lógica Formal
7.1. podemos definirla como la ciencia de los principios de la validez formal de la inferencia. La lógica solamente se ocupa de razonamientos como productos o resultados
8. lógica no-clásica
8.1. Si en los cálculos lógicos se contemplan más valores de verdad que lo verdadero y lo falso u otros recursos expresivos
8.1.1. La Lógica trivalente
8.1.1.1. contempla tres valores de verdad, lo verdadero, lo falso y lo que no es verdadero ni falso, por desconocido o incierto
8.1.2. Las lógicas polivalentes
8.1.2.1. son fundamentalmente lógicas probabilísticas en las que los valores de verdad se corresponden con el intervalo
8.1.3. La lógica modal
8.1.3.1. incorpora como operadores los modificadores lo necesario y lo posible.
8.1.4. La Lógica temporal
8.1.4.1. incorpora parámetros temporales. Para muchas oraciones su verdad depende del momento en que se produce
8.1.5. La lógica epistémica
8.1.5.1. es una lógica intensional que pretende formalizar enunciados de creencia, opinión, etc.
8.1.6. La lógica no-monotónica
8.1.6.1. pretende formalizar situaciones reales en las que decidimos sin una total información y que posteriormente admite, conforme se prueben o refuten creencias, revisar el sistema total de creencia.