¿Cuáles son las tres partes fundamentales de la lógica simbólica?
Respuestas a la pregunta
Para describir esta nueva ciencia vamos a dar una idea de ella sobre la base de sus cuatro características: formalismo, simbolización, cálculo y axiomatización.
Formalismo.
Consiste en entender exclusivamente la estructura del pensamiento y a sus conexiones y reglas de inferencia. Desde el momento en que se preside del contenido material de los pensamientos sometidos a esas reglas y estructuras, la Logística es apta para aplicarse en cualquier tipo de conocimiento científico, sea matemático, filosófico o aún lógico.
Simbolización.
La Logística usa símbolos semejantes a las Matemáticas. Los símbolos lógicos tienen un papel parecido a los símbolos algebraicos. En esta ciencia se pueden sustituir las literales por números concretos, y, en cualquier caso, las relaciones expresadas simbólicamente tienen que realizarse también en los contenidos sustituidos.
Ejemplos de símbolos son los seis conectores de la Lógica proposicional:
1- Negación: ~. Por ejemplo: ~p, se lee: “no p“.
2- Conjunción: \land . Por ejemplo: p\land q, se lee: “p y q”
3- Disyunción inclusiva: {\displaystyle \lor }. Por ejemplo: p {\displaystyle \lor }q, se lee: “p o q“
4- Disyunción exclusiva: ↔. Por ejemplo: p↔q, se lee: “si y sólo si p entonces q”
5- Condicional: →. Por ejemplo: p→q, se lee: “si p, entonces q”
6- Bicondicional: ≡. Por ejemplo: p≡q, se lee: “p si y sólo si q”
7- Paréntesis que unifican expresiones: [ (p→q)r ].
8. Por tanto: ∴ (se utiliza igual que en matemáticas).
Ahora podemos apreciar porque se ha llamado lógica matemática y también lógica simbólica a esta disciplina.
Cálculo.
Una vez establecido los símbolos y su significado, la Lógica realiza una serie de combinaciones y operaciones deductivas que se infieren a partir de los datos previamente aportados. Aquí reside justamente la utilidad de esta ciencia. Leibniz la anunció con su famosa frase: “Es preciso lograr que cualquier paralogismo no sea otra cosa que un error de cálculo…una vez conseguido, cuando surjan controversias, o tendremos más necesidad de discutir entre filósofos, que la que hay entre dos calculadores. En efecto, bastará tomar la pluma en la mano, sentarse a la mesa y decirse el uno al otro: calculemos”. (Escritos Filosóficos.)
Se llama calcular a la operación similar a la de las Matemáticas por la cual se obtiene de una manera unívoca, universal y necesaria, ciertas conclusiones que se derivan por transformación natural de los axiomas según las reglas establecidas. El resultado del cálculo es lo que hemos llamado pensamiento correcto. Un ejemplo de este calculo esta en las llamadas matrices o tablas de verdad de la Lógica proposicional.