1. LENGUAJE DE LA LÓGICA:
1.1. LA LÓGICA DEDUCTIVA
1.1.1. Esto prerrequiere la confección de un lenguaje artificial que cuente con reglas explícitas por las que se establezca el uso de los términos y la formación de enunciados.
1.2. Enunciados atómicos
1.2.1. Se dice que es verdadero cuando es conforme con los hechos, esto es, cuando la propiedad designada por el predicado corresponde realmente al objeto u objetos individuales de que se trate.
1.3. Sujetos y predicado
1.3.1. Predicados absolutos y relativos
1.4. Verdad y falsedad.
1.4.1. Principio de bivalencia
1.5. Variable individual
1.5.1. Forma enunciativa (función proposicional)
1.5.1.1. Esta construcción no es un enunciado, sino una matriz de enunciado (lo que en términos kantianos se llamo “concepto vacío,” expresión muy importante para la construcción del sujeto moderno en oposición a sujeto no moderno.) En términos técnicos se les llama forma enunciativa o funciones proposicionales.
2. LÓGICA FORMAL
2.1. DEFINICIÓN
2.1.1. Es una ciencia abstracta que tiene por objeto el análisis formal de los argumentos o también y más concisamente, como teoría formal de la DEDUCCIÓN.
2.2. El uso de argumentos
2.2.1. Es un segmento lingüístico de cierta complejidad en el cual de la posición de trozos o subsegmentos iniciales, se sigue necesariamente la posición de un trozo o subsegmento final.
3. . La Lógica simbólica
3.1. La matematización de la lógica
3.1.1. Se entiende en metodología científica la subordinación de una ciencia al método de la matemática. Condiciones necesarias: lenguaje simbólico adecuado y formulación precisa de las reglas de operación que se encuentran en la base de los cálculos.