Ciencia que estudia las estructuras del pensamiento, las relaciones entre pensamientos. Todas las ciencias presuponen a la lógica, incluida la Física, Filosofía, Biología, Gramática, Psicología aunque las Matemáticas son casi lo mismo, pero ésta estudiando relaciones que no se refieren a nada.
La lógica es un sistema de pensamientos acerca de los pensamientos.
Según Edmund Husserl: Las verdades de la lógica son A priori, es decir que no “se demuestran” ya que son válidas sin ello.
Lógica formal
La que estudia las estructuras fundamentales de los pensamientos.
Lógica aplicada
La que estudia las estructuras de los pensamientos científicos.
Decía Gottfried Wilhelm Leibniz que las verdades de razón—las verdades lógicas—son universales en el sentido que son válidas hasta para el mismísimo Dios.
La lógica en distintas ciencias:
Psicología
Se le conoce como Psicologismo.
Sociología
Los sociólogos han intentado demostrar que las “leyes eternas de la lógica” son la coacción de un determinado que el grupo social ejerce sobre el individuo.
Sorpresivamente puede haber sociedades “prelógicas”.
Matemáticas
La matemática y la lógica son una misma disciplina. La matemática puede recurrir a un luego más abstracto, pero exacto como este Silogismo:
Todos los hombres son mortales. Sócrates es un hombre, por lo tanto es mortal.
El silogismo en cuestión es un ejemplo clásico de un silogismo de la forma “Barbara” en la lógica aristotélica. En lenguaje matemático y lógico, se puede expresar utilizando cuantificadores y variables. Aquí está la traducción:
Variables y Predicados
- es un hombre.
- es mortal.
- : Sócrates
Silogismo en lenguaje lógico
- (Todos los hombres son mortales)
- (Sócrates es un hombre)
- (Por lo tanto, Sócrates es mortal)
Razonamiento
Partimos de las primeras dos premisas para llegar a la conclusión:
Aplicando modus ponens (una regla de inferencia que permite ir de una proposición condicional y su antecedente a su consecuente), llegamos a:
Este es un método formal para demostrar que, bajo las premisas y ( H(s) ), la conclusión es lógicamente válida.
Juicios
Podemos considerar el juicio de diversas maneras:
- como pensamiento que es forzosamente verdadero o falso.
- como relación enunciativa entre conceptos
- como afirmación.