La lógica como lenguaje formal
Concepto.
La Lógica como ciencia formal tiene por objeto el análisis de las estructuras formales del pensamiento( conceptos, juicios y razonamientos), las leyes que regulan lasrelaciones entre dichas estructuras y la investigación de las condiciones necesarias para obtener un razonamiento formalmente válido (correcto).
La lógica como lenguaje formal.
Se denomina lenguajeformal al lenguaje artificial que utiliza la lógica para formalizar un discurso utilizando una tabla de símbolos formales- cuyas reglas sintácticas permiten la operatividad y eficacia del cálculo.
Lalógica y la matemática son lenguajes formales, instrumentos imprescindibles para todas las demás ciencias.
El lenguaje formal, como el lógico, posee un conjunto de símbolos formales: las variableslógicas (signos que carecen de representación fija, como los números en matemática por ej.) y las constantes ( signos con sentido fijo, predeterminado, que sirven para enlazar entre sí los símbolos y sedenominan también operadores; por ejemplos los símbolos de sumar, restar o dividir en la matemática).
Formalizar un lenguaje significa eliminar, a través de un proceso de abstracción, todainformación empírica (es decir, el contenido, el aspecto semántico del lenguaje) sustituyéndolo por símbolos concretos que muestran o evidencian la estructura o forma de ese pensamiento (aspecto sintáctico dellenguaje).
Por ejemplo este razonamiento:
Si las ballenas son una especie en extinción, deberían haber
leyes que prohibieran su captura.Todos sabemos que las ballenas son una especie en extinción.
Por lo tanto: Las leyes deberían prohibir que se las capture.
Si sustituimos el contenido por símbolos (por ej.: X e Y quesustituyen a las proposiciones) su formalización se vería así:
Si X entonces Y.
_____X________
Por lo tanto: Y
Además del...
Regístrate para leer el documento completo.