lenguaje siimbOliiqo de la lOgiiqa prOfesiional

En la práctica, no es posible razonar directamente mediante conocimientos en un estado mental, sino por medio de representaciones simbólicas, que se expresan en objetos materiales perceptibles por medio de los sentidos, tales como palabras, signos, gráficos, fórmulas, etc.

El uso del lenguaje corriente lleva implícito un enfoque de sintaxis, que consiste en las relaciones formales entre los términos empleados; y un enfoque semántico, que consiste en el sentido de referencia que se atribuye a las palabras empleadas, su relación con los objetos y los conceptos de la realidad a que con su empleo se trata de aludir, y que es cierto modo es socialmente cambiante dentro de un mismo idioma, considerando distintos tiempos y lugares.

El lenguaje de uso corriente - tanto el coloquial como el culto, literario o el de ciertas disciplinas especializadas - resulta totalmente imperfecto en cuanto al rigor, claridad, abstracción y precisión requerido para la expresión de los conceptos y objetos en los estudios lógicos; especialmente considerando lo expuesto en cuanto a la prescindencia de los componentes de contenidos materiales de los procesos del razonamiento.

En función de ello, la lógica formal procura liberarse de la incidencia que, en cuanto al examen de las cuestiones formales del razonamiento, pueda tener el uso de términos de los lenguajes idiomáticos, creando para ser aplicado en el estudio y exposición de las leyes lógicas, un lenguaje simbólico propio, un lenguaje formal.

Este lenguaje simbólico propio de la lógica, tiene por otra parte la ventaja de su universalidad; en cuanto al prescindir del empleo de expresiones de un idioma real, permite su comprensión directa independientemente del idioma concreto de la persona que se aplique a su estudio.

Ese lenguaje simbólico es además lo que se denomina un metalenguaje, en el sentido de que se lo concibe como una forma de expresión que está “más allá” del uso mismo del lenguaje. En este sentido, se dice que el lenguaje-objeto es el que se utiliza, en tanto que el metalenguaje es aquel con el que se habla del otro; como cuando se aprende un idioma extranjero utilizando para ello el idioma propio.

Una expresión sencilla del lenguaje simbólico aplicable al análisis lógico puede ser similar al aplicado en matemáticas para representar una variable. De esta forma,

un silogismo simple como: Todos los hombres son mortales Sócrates es hombre, entonces Sócrates es mortal puede expresarse bajo la forma: Si A es B y C es A entonces C es B

De esta manera, la sustitución de una proposición por un síimbolo permite construir una teoría de las formas del razonamiento en las cuales intervengan componentes similares; de modo que sea posible reconocer facilmente en un proceso de razonamiento la presencia de una misma proposición, de un mismo concepto, o de una misma propiedad o atributo.

El símbolo que se emplea para representar una proposición se designa como variable proposicional; pero debe distinguirse muy cuidadosamente de lo que constituye un símbolo de variables en otras disciplinas, como el álgebra o los lenguajes informáticos de programación:

• Una variable algebraica de las que se emplean en las fórmulas matemáticas, físicas o de otras ciencias, es un símbolo de valor cuantitativo implícito; ya sea que se trate de despejarlo cuando constituye una incógnita o que se trate de examinar diversas situaciones en función de los distintos valores que puede asumir. De la misma forma, en programación informática, es un símbolo susceptible de tomar diversos valores (no necesariamente aritméticos o cuantitativos) con lo cuales el programa opera; y que pueden modificarse en el transcurso de su ejecución.

• Una variable proposicional, en cambio, representa una entidad lógica que se puede elegir o asignar con cierta libertad, dentro de un cierto ámbito conceptual - llamado “dominio de variación” de la variable - que se caracteriza por poseer ciertas propiedades comunes a todos sus miembros, pero sin que eso permita establecer qué otras propiedades podrán distinguir esa entidad, de otras pertenecientes al mismo dominio.