La lógica es una técnica que nos ayuda a pensar con claridad.
Los argumentos pueden ser buenos o malos. Algunos argumentos son deductivos, y algunos son inductivos. La parte central de la lógica es el estudio de la inferencia deductiva donde las premisas implican la conclusión. Entonces, si tenemos un buen dominio de la lógica, es mucho más fácil para nosotros hacer buenas inferencias. Se trata de hacer buenos argumentos.
Al usar la lógica, podemos traducir el lenguaje ordinario en símbolos, lo que demuestra cuán buenas son las afirmaciones. En la lógica clásica, hay lógica categórica, que trata de la relación entre los términos, lógica proposicional, que trata una afirmación como un todo, y lógica predicada, que trata de una mezcla de términos y proposiciones.
Diferentes tipos de lógica resuelven diferentes problemas. Permítanme darles algunos ejemplos:
- ¿Existen equivalentes físicos a un pensamiento abstracto? Si es así, ¿es necesario que exista el pensamiento abstracto?
- ¿Cómo contribuyó Nietzsche a la filosofía política?
- ¿Qué significa ser salida de una computadora?
- ¿Cómo podrías mantener la consistencia en tus acciones?
- ¿Las matemáticas se derivan de la física o la física de las matemáticas?
- Todos los gatos comen pescado.
- Algunos peces son peces de colores.
- Por lo tanto, todos los gatos comen peces de colores.
Estas tres declaraciones componen un argumento, donde (1) y (2) son premisas, y (3) es una conclusión. Pero, ¿cómo podríamos juzgar si el argumento es válido ? ¿Y si este argumento es bueno ? Ahora tenemos que usar la lógica para juzgarlo.
En la declaración (3), “gatos” es el sujeto, que es el término menor en el argumento, y “goldfish” es el predicado, que es el término principal en el argumento, y “todos” es el cuantificador. Es una afirmación afirmativa. La declaración concluye que el término principal se llama premisa mayor, y el que concluye el término menor se llama premisa menor. El término aparece tanto en la premisa mayor como en la menor es el término medio.
Si se distribuye una clase, entonces se afirma en la declaración. Por ejemplo, “gatos” en la declaración (1) se distribuye porque afirma a todos los miembros en la clase de “gatos”. Mientras que “fish” en la declaración (1) no se distribuye porque no afirma a todos los miembros en la clase de fish.
Ahora podemos juzgar el argumento aplicando la regla lógica. De acuerdo con la regla (1) de que el término medio debe distribuirse onece, sabemos que el argumento no es válido, porque el término medio no está distribuido.
Ahora ves que es por eso que la lógica es tan importante para nuestros argumentos.