Universidad de San Carlos de Guatemala Facultad de Ciencias Econmicas Elementos de Lgica Formal y Lgica Dialctica II Unidad: LA LGICA FORMAL

1. Definicin e Importancia de la Lgica Formal.

Lgica Formal: estudio de las formas del pensamiento, desde el punto de vista de su estructura.

La importancia de la Lgica Formal: radica en que su conocimiento y el adiestramiento en el manejo de sus operaciones, nos coloca en situacin de poder actuar con mayor eficacia, de pensar con ms penetracin y objetividad, y de

2. LEYES FUNDAMENTALES DE LA LOGICA FORMAL

Ley: Es una concatenacin esencial, necesaria, general y reiterativa existe entre los fenmenos del mundo material que origina un curso rigurosamente determinado de los fenmenos.

Las leyes de la Lgica Formal son las concatenaciones del pensamiento que llevan siempre a afirmaciones de juicios verdaderos, cualquiera que sea la sustitucin que se haga de las variables lgicas con pensamientos de contenido concreto.

LEY DE CONTRADICCIN

A y no A

LEY DE 3ERO. EXCLUIDO

A 0 no A

LEY DE RAZON SUFICIENTE

LEIBNIZ

Constituyen las leyes ms universales y sirven de fundamento a las distintas operaciones lgicas, a los razonamientos y a las demostraciones. Son validas en relacin con el pensamiento formado fuera de sus transformaciones.

La ley de razn suficiente no es una ley rigurosamente formal y constituye la expresin ms general de los fines de cualquier demostracin para fundamentar la verdad. Cuando se infringen las leyes de la lgica, el pensamiento pierde su precisin, su valor demostrativo y se hace incoherente y contradictorio.

Constituyen un reflejo en la mente del hombre de determinadas relaciones entre los objetos o fenmenos.

ARISTOTELES

LEY DE IDENTIDAD

A ES A

LEYES DE LA LOGICA FORMAL LEY DE IDENTIDAD (A = A) A ES A Expresa que un pensamiento es idntico a si mismo si lo objetos que reflejan no se transforman en el momento en que los utilicemos. TODO PENSAMIENTO ENUNCIADO ES IDNTICO A SI MISMO SI SU EXTENSIN PERMANECE INVARIABLE. ARISTTELES LEY DE CONTRADICCION (A Y no A) A ES B Y A NO ES B Se refiere al contenido concreto de dos juicios, en uno de los cuales se afirma algo acerca del objeto del pensamiento y el otro se niega lo mismo. NO PUEDEN SER VERDADEDEROS A LA VEZ, CONSIDERADOS EN UN MISMO TIEMPO Y EN UNA MISMA RELACIN. LEY DE TERCERO EXCLUIDO (A O no A) A ES B O A NO ES B De dos juicios que se niegan uno es necesariamente verdadero, cualquiera que sea su contenido concreto, referido a un determinado lugar y tiempo. LEIBNIZ LEY DE RAZON SUFICIENTE NO SE PUEDE DETERMINAR UNA FORMULA ESPECIFICA Una proposicin es completamente cierta, si es demostrado con suficiente fundamento. El nico criterio suficiente para determinar la validez de un conocimiento consiste en su correspondencia con los procesos comprobados en la prctica.

FORMAN LA BASE PARA LA LEY DIALCTICA DE LA NEGACIN DE LA NEGACIN UNICAMENTE PODEMOS UTILIZAR ESTAS LEYES COMO DETERMINADAS REGLAS DEL MTODO, CUANDO AL ESTUDIAR UNA ESFERA DE LOS OBJETOS PODEMOS ABSTRAERLOS DE SUS TRANSFORMACIONES Y DESARROLLO. SU OBSERVACIN CONSTITUYE UNA CONDICICION NECESARIA DE LA EXACTITUD Y CLARIDAD EL PENSAMIENTO ASI COMO SU RIGOR LGICO Y CARCTER DE DEMOSTRACIN.