Lógica formal: objeto de estudio, características y ejemplos
La lógica formal, también denominada lógica teorética o lógica matemática, determina cuáles son las formas válidas y correctas de los razonamientos. A través de esta práctica se busca diferenciar lo correcto de lo incorrecto.
En la lógica formal se utilizan los símbolos sin ambigüedad y de la forma más clara posible, de manera que no puedan ser manipulados. Gracias a esta práctica es posible que se desarrollen ideas propias.
La palabra “lógica” proviene del griego antiguo λογικήlogikḗ, que significa “dotada de razón intelectual, dialéctica, argumentativa”. La lógica es una de las ramas de la filosofía y las matemáticas, y se considera de gran utilidad para estas disciplinas.
En general, la lógica estudia la forma del pensamiento. Los primeros trabajos realizados con relación a la lógica se atribuyen al filósofo griego Aristóteles, motivo por el cual se le conoce como el padre fundador de esta área del pensar.
A lo largo de la historia varios filósofos, matemáticos y lógicos han defendido la lógica formal. Entre ellos podemos nombrar al matemático y lógico Alonzo Church; el filósofo, matemático y lógico Gottlob Frege; y el también matemático y filósofo Alfred North Whitehead.
También han sido grandes defensores Alfred Tarski, KurtGödel, Bertrand Russell y Willard Van Orman Quine, entre otros.
Índice del artículo
La lógica formal utiliza como objeto de estudio aspectos como el razonamiento, el concepto, los juicios y la demostración. A partir de estos elementos analiza y estudia todos los recursos del lenguaje y la semántica, para así poder llegar a una conclusión.
En este sentido, se establece que en la lógica formal se estudia el razonamiento desde el punto estructurado, desde su validez o invalidez.
La lógica formal no es un estudio empírico del proceso de razonamiento. Tampoco se debe confundir con la persuasión, ya que esta toma la estructura de los argumentos para obtener una conclusión.
Esta lógica también es conocida como lógica teórica o pura, y procura realizar un estudio abstracto de los contenidos o formas lógicas de los argumentos deductivos, declaraciones, proposiciones y oraciones asertivamente usadas.
Realizar un exhaustivo estudio de los patrones de lógica formal permitirá a cada individuo conocer con exactitud los procedimientos asociados su pensamiento.
A continuación se presentan las características más particulares que diferencian a la lógica formal de los otros tipos de lógica:
-Es una ciencia que estudia la forma de la premisa, a diferencia de otros tipos de lógica que estudian solo lo material.
-Se trata de una estructura sin materia.
-Se establece bajo un subconjunto de sistemas formales.
-Aplica métodos tan eficientes que a través de la lógica formal puede distinguirse lo incorrecto de lo correcto.
-Las conclusiones del razonamiento correcto o con validez surgen debido a que se analiza la estructura de las premisas verdaderas.
-Estudia y analiza a las personas para llegar directamente al pensamiento, y así poder establecer nuevos patrones en la mente de cada individuo.
-Se caracteriza por ser simbólica.
-Desde el punto de vista de una ciencia formal, juega un papel importante en las matemáticas, la filosofía, la informática y las estadísticas.
-Está relacionada con la gramática debido al estudio de la semántica.
-Estudia las estructuras, motivo por el cual es comparada con las matemáticas.
-También se relaciona con la psicología debido a que se enfoca en el estudio del pensamiento de cada individuo.
Proviene del griego antiguo δέον[τος] déon[tos] y significa “lo debido” o “lo necesario”. El lógico austriaco Alois Höffler es el percusor de este concepto, que se refiere al estudio y análisis de las normas.
Es el tipo de lógica que admite solo los valores de verdadero y falso. No cree en los matices, todo es negro o blanco; la escala de grises es imposible en este tipo de lógica.
Sus principios se basan en la lógica aristotélica, que son la identidad, la no contradicción y el tercero excluido.
Este tipo de lógica nació a raíz de los estudios realizados por los filósofos Jan Łukasiewicz y Emil Post, en los cuales exponen que se pueden admitir otros valores distintos de los ya comunes “verdadero” y “falso”, y que dichos valores pueden llegar prácticamente hasta el infinito.
En este sentido se diferencia de la lógica bivalente, que admite solo dos valores. Los estudios demuestran que la lógica plurivalente o polivalente maneja valores como la posibilidad, la necesidad, la no necesidad, la verdad, la falsedad y la imposibilidad.
Así mismo, este tipo de lógica formal también se encarga de estudiar los aspectos filosóficos y estructurales que tienen los argumentos.
A través de la lógica formal es posible agregar un valor de verdad o falsedad a un razonamiento específico.
Como hemos explicado anteriormente, la lógica formal no se enfoca en todas las posibilidades que pueden extraerse de un argumento; solo se centra en si este es verdadero o falso. En ese sentido, a continuación listamos algunos ejemplos basados en la lógica formal:
-Buenos Aires es la capital de Argentina; entonces, todos los nacidos en Buenos Aires son argentinos.
-Joao habla portugués. Joao nació en Portugal. Todos en Portugal hablan portugués.
-Las vacas dan leche. Las vacas son mamíferos. Todos los mamíferos dan leche.
-Pedro es blanco y María morena, por lo que existen personas blancas y morenas.
-María toca en la orquesta de rock. Los músicos son los que tocan en la orquesta de rock. María es músico.
-José tiene el cabello negro. Elena tiene el cabello marrón. La hija de ellos dos podría nacer con el cabello negro o marrón.
-El pie tiene cinco dedos. Los seres humanos tienen un pie derecho y uno izquierdo. Cada persona tiene diez dedos en los pies.
-España es un país. España queda en Europa. Todos los españoles son europeos.
– Ana es un ser vivo. Ana es mortal. Todos los seres vivos son mortales.
– José se mojó con agua. El agua moja.
– María comió su comida caliente. María se quemó al comer su comida caliente. La comida caliente quema.
– La Tierra es parte del universo. En el universo hay planetas. La Tierra es un planeta.
– La luz eléctrica ilumina. Hay luz eléctrica en las calles. La luz eléctrica ilumina las calles.
- “Formal logic” en New world encyclopedia. Recuperado en 21 Abril 2019 de New world encyclopedia: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes “Formal logic” en Recuperado en 21 abril 2019 de Britannica: britannica.com.
- “La Lógica y su clasificación” en Academia. Recuperado en 23 abril de 2019 de Academia: academia.edu.
- “Lógica Formal” en Diccionario Filosófico. Recuperado en 23 abril de 2019 de Diccionario Filosófico: filosofia.org.
- “Lógica polivalente” en Diccionario Filosófico. Recuperado en 23 abril de 2019 de Diccionario Filosófico: filosofia.org.
- “Aspectos generales de la lógica” en Club ensayos (18 Agosto 2013). Recuperado en 23 abril de 2019 de Club ensayos: clubensayos.com.
- “Lógica deóntica” en wikipedia. Recuperado en 23 abril de 2019 de Wikipedia: es.wikipedia.org.
- “Lógica polivalente” en wikipedia. Recuperado en 23 abril de 2019 de Wikipedia: es.wikipedia.org.
- “Lógica bivalente” en wikipedia. Recuperado en 23 abril de 2019 de Wikipedia: es.wikipedia.org