Logica Proposicional

La lógica, más que un simple conocimiento, un lenguaje formal.

Un simple pensamiento puede abrir todo un mundo de ideas, y aunque cada pensamiento es privado y solo nosotros mismos podemos acceder a ellos, el lenguaje es la herramienta que permite poder expresarnos e intentar compartir estos pensamientos. Ahora bien, para poder expresarnos de una forma disciplinada y correctamente es necesario una estructura, y esa estructura es provista por la lógica.

En este sentido, la lógica juega un papel importante en todos los seres humanos. Desde sus inicios hace más de dos mil quinientos años empezando por Aristóteles y evolucionando a mediados del siglo XIX con un gran pensador como Kant, nos ayuda a poder transmitir este montón de ideas en forma más nítida y clara de manera que nuestros pares las puedan entender ya sea en un lenguaje natural, o en algún lenguaje artificial.

 De lo anterior se pueden dar a conocer que existen dos tipos de lenguaje, que son el lenguaje natural y el lenguaje artificial. El lenguaje natural es propiamente el lenguaje que adquirimos a través de nuestras vivencias diarias, y no son el resultado de una invención de alguien, es por su parte el resultado de un proceso históricocultural, entran en esta categoría los lenguajes como el español, o el francés. Por otra parte, los lenguajes artificiales, son el futo de una construcción deliberada y sus usos son muy específicos, Por ejemplo, los lenguajes matemáticos, los lenguajes de programación, o el lenguaje de las ciencias de la química, entran en esta categoría. Cada uno de estos lenguajes ha sido diseñado para cumplir con una eficacia muy superior que los lenguajes naturales, para lograr propósitos fueras del alcance de estos.

Recalcando lo presentado anteriormente, la lógica ha venido evolucionado desde los tiempos de los Estoicos, hasta la actualidad, como un lenguaje mucho más preciso, pudiendo separarlas de la lógica tradicional, que transcendió a su matematización, logrando convertirse a la lógica simbólica, que es la que se estudia en la actualidad. Se habla de “matematización” de la lógica, o de lógica simbólica, porque igual que la matemática usa un simbolismo propio para desarrollar criterios formales. Y gracias a esto, se han podido elaborar técnicas más precisas para la elaboración de un razonamiento, con la implantación de nuevas reglas de razonamiento, que de otro modo no podrían ser fáciles de detectar. Aumentando sus funciones con el apoyo de la ciencia y de las tecnologías informáticas de la lógica simbólica.

Estas técnicas mencionadas anteriormente solo son un prefacio de las diversas herramientas que puede usar la lingüística para poder realizar su trabajo de forma segura y confiable. Como lo son, el lenguaje objeto y el metalenguaje, con relación a esto último, Badesa, Jané y Jansana, (1998) señalan que; Siempre que hablamos de un lenguaje, tanto si se trata de un lenguaje formal como de un lenguaje natural, se puede distinguir del lenguaje del que se habla y el lenguaje en el que se habla. Al primero se le llama lenguaje objeto y al segundo metalenguaje.

...