logica

 por una parte en cuanto a la validez resultante de la propia corrección de la forma aplicada para el razonamiento;

 pero asimismo - y será seguramente lo más importante - al factor de verdad que afecte su sistema lógico en función de los valores de verdad que se asigne a sus premisas de partida, desde el punto de vista tanto filosófico, como de su correcto ajustamiento a su propiaestructura normativa o, en su caso, a la realidad material.

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.

Ellenguaje 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 losprocesos 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 laló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 usomismo 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. Deesta 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 BDe 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 seaposible 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 lenguajesinformá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...