APUNTES DE LOGICA

SEGUNDO TRIMESTRE
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 suscontenidos concretos. 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 seapliquen.
De tal manera, 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 serindependiente:
    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 unrazonamiento determinado, 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 conduzcael razonamiento:

    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.

    sien las premisas 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 sustituidapor 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 delobjeto de la premisa 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; porello, se trata de 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...