El trabajo lógico 

_______________________________________________________________________________________

Autores:

Eduardo Ochoa Hernández
Dina Durán Carranza
Nicolás Zamudio Hernández
Gladys Juárez Cisneros
Lizbeth Guadalupe Villalon Magallan
Pedro Gallegos Facio
Gerardo Sánchez Fernández
Rogelio Ochoa Barragán
Martha Ivett Huerta Varela

Consiste en desenredar las formas lógicas para un análisis formal de la validez. La estructura de las sentencias y el patrón racional de la cadena de razonamiento (cláusula) no siempre es fácil de observar. Sí …entonces es una forma clásica de una forma lógica. Esto indica que la forma está hecha de constantes lógicas y sentencias. Está claro que la misma forma de un argumento podría ser aplicado semánticamente a varios contextos diferentes. La forma de los argumentos que dominamos determina en mucho nuestro estilo de razonamiento. Entre más formas de razonamiento dispongamos, esto nos hace más inteligentes para enfrentar los problemas. Una forma de argumento válida no refiere a hechos o sentencias parciales, sino a la estructura de sentencias y constantes lógicas que alcanzan una inferencia de conclusión.

Las formas lógicas se refieren a formas argumentales. Tales formas son realmente marcos de esquemas de razonamiento, es decir, patrones de inferencias con algunos propósitos particulares de alcanzar a decir verdad. Puesto que no importan las sentencias particulares involucradas en una forma dada, sería útil tener símbolos que solo marcaran los huecos o sentencias y se distinguieran más las constantes lógicas en una fórmula lógica. Esta notación nos ahorraría mucho en simplicidad para evaluar la validez dada por la forma lógica del argumento.

La fórmula lógica está hecha de variables, o llamadas proposiciones. Una proposición es una propuesta que se considera válida en un contexto particular. Una proposición es una variable lógica, como lo es X para el álgebra Arábiga. Las constantes lógicas son operadores +,x,… o, y, entonces…, que realizan una función de relación binaria o unaria sobre las proporciones.

Hablar de proposiciones en lugar de sentencias puede constituir una economía en la notación lógica formal. Una proposición es una variable crucial a tener en cuenta para marcar el lugar donde irá una sentencia en esa formulación. Según los lógicos formales, una forma lógica es válida sí y solo si, cada local particular en la forma lógica es válido. Por lo tanto, la formulación de un estilo de pensamiento válido es un patrón de argumentación dado solo por su forma, siempre debería llevarnos a argumentos válidos desde la forma, pero no siempre esto es así cuando se considera el contenido semántico parcelar de las premisas. Esto se conoce como el criterio de validez sustitucional, donde los huecos son definidos por proposiciones particulares en su semántica.

2 + 2= 4 argumento puro válido por su forma.

Dos manzanas y dos peras = dos manzanas y dos peras; es una instancia de sustitución de la forma anterior que no aplica, esta semántica se acomoda más en la forma:

X +Y = X+ Y

Algunos lógicos han argumentado que el criterio de sustitución es en última instancia incompleto, tal como está. Estos alegan que el criterio resulta sancionar como formas válidas determinadas casos obviamente inválidos. Debemos reconocer que la forma pura de un argumento válido plantea cuestiones fuera del ámbito de aplicación del contexto teórico conceptual definido por los hechos, si bien un argumento no es válido si la forma es invalida, el que sea válido por su forma no garantiza que será válido en su contenido semántico.

Como tal, la lógica es el estudio de la estructura y los principios del razonamiento, de la naturaleza del argumento sólido. Pero es importante señalar que los lógicos no siempre tienen que llegar a esos principios de inferencia deductiva que forman el objeto de su campo de estudio mediante las formas en que las personas realmente argumentan. La lógica es tradicionalmente descrita como el estudio de la ciencia del pensamiento. Sin embargo, la lógica es más un cuerpo teórico y no una ciencia empírica.

Una manera de resolver esto, es poner la lógica en el papel de las reglas que definen el juego de ajedrez, pero las personas en el juego real, utilizan su experiencia significativa: estrategias de juego. La lógica formal constituye un conjunto de reglas y normas, ideales de inferencia independientes del pensamiento particular real del individuo, que es desde donde este último realmente argumenta. La lógica es científica en la medida que proporciona estándares de argumentos normativos.

En resumen, la lógica formal se refiere fundamentalmente a la forma y estructura de los argumentos y no, a su contenido. Y es a partir de la lógica clásica que se generan las alternativas de otras lógicas, unas por extensión de sus constantes lógicas y otras por variación de la función lógica de las constantes.