LOGICA

I.I Tipos de Lógica.
*I.II Lógica Formal.
La lógica Formal estudia las formas en que un juicio deriva de otros, la armazón y la estructura del conocimiento ya formado, a base de unas leyesdeterminadas. Estas leyes determinan el nexo preciso esencial que existe entre las ideas de un cierto razonamiento.
Ley de la identidad: Exige que toda noción empleada en el razonamiento tenga una sola ymisma significación. Un mismo término en un mismo razonamiento ha de emplearse en una misma significación. Si los términos de un razonamiento no tienen la misma significación, no puede haber ningúnvínculo entre los postulados del razonamiento y, por consiguiente, tampoco puede existir este.
Ley de la no contradicción: Si un juicio A del sistema de juicios que forman el razonamiento es verdadero, nopuede ser verdaderos en ese sistema un juicio que contradiga al juicio A, es decir, en un determinado sistema de juicios, que forman un razonamiento, no pueden ser verdaderos del juicio A y el juicioque lo contradice (no A). Esta ley no se refiere al contenido concreto de los juicios, no decide cual de los juicios contradictorios es verdadero. El razonamiento como forma de deducción de un juiciopartiendo de otros, puede existir y funcionar normalmente siempre que no se consideren verdaderos los juicios que se contradicen recíprocamente.
Ley del tercer excluido: Dos juicios en que uno niegaal otro no pueden ser falsos al mismo tiempo; si uno de ellos es falso, el otro es verdadero y viceversa.
Ley de la razón suficiente: Afirma que la veracidad de todo juicio ha de sersuficientemente argumentada.
La lógica formal, apoyándose en estas leyes, estudia las relaciones entre los juicios en el sistema de un razonamiento, pone de manifiesto las formas y las reglas que un juicio derivade otros anteriormente formados. La lógica formal estudia los conceptos y los juicios tan solo en la medida y en el aspecto que se precisa para comprender como se deducen unos de otros.
Al...