Ensayo

Lógica y verdad.

Como se ha expresado antes, la lógica formal o lógica pura, estudia las formas en que procede el raciocinio, en forma abstracta; es decir, prescindiendo de sus contenidosconcretos. Por ese camino, procura encontrar las leyes formales universales del pensamiento correcto; de tal manera que produzcan ese resultado cualquiera sean los contenidos a que se apliquen.

De talmanera, la lógica formal se atiene no al contenido sino a la validez de los razonamientos, no a su materia sino a su forma; por lo cual la forma de un razonamiento correcto debe ser independiente:tanto de los objetos de que trate,

como de las propiedades de esos objetos que puedan tomarse en consideración.

Como también se ha señalado antes, en el estudio del proceso de un razonamientodeterminado, hecho a partir de ciertas premisas, no es permitido acudir a elementos que no estén ya contenidos en esas premisas; de modo tal que para la validez de la conclusión a que conduzca elrazonamiento:

si los datos del objeto de que tratan las premisas han sido previamente constatados para él, deben darse por verificables en cualquier otro objeto de la misma categoría.

si en laspremisas se considera determinadas propiedades, el razonamiento válido para ella debe continuar siéndolo tanto en las premisas como en la conclusión, si alguna de esas propiedades es sustituída por otra.si el razonamiento correcto tiene una determinada validez en un determinado momento de cualquiera de ellos, debe mantener la misma validez en cualquier otro momento; tanto respecto del objeto de lapremisa como de sus propiedades.

La lógica clásica de las proposiciones, no admite más que dos posibilidades de validez del razonamiento, o valores de verdad: verdadero o falso; por ello, se tratade una lógica binaria.



No resulta admisible la existencia de un valor de verdad intermedio entre lo falso y lo verdadero, como podría ser lo “dudoso”; ni más débil que lo falso, como podría...