Logica Matematica

¿Qué Es la Lógica?

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración (razonamiento con lógica valida que progresa apartir de hipótesis hasta obtener la veracidad de la tesis formulada) e inferencia valida (una evaluación que realiza la mente entre expresiones bien formadas de lenguaje que permitentrazar una línea lógica de condición o implicación lógica entre las diferentes expresiones).
La lógica examina la validez de los argumentos en términos de estructura (estructuralógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.
Elobjetivo de la lógica es estudiar los métodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto.
La lógica se divide en simples y complejas. Lasformas simples que son las formas elementales del pensamiento son el concepto, el juicio y el razonamiento. Cualquier pensamiento que se considere, por grande que sea su complejidad,puede reducirse, en ultima instancia a estas tres formas elementales. A la parte de la lógica que trata de las formas elementales del pensamiento se le designa generalmente con el nombrede lógica formal. La segunda parte, que se ocupa de las formas metódicas, que están constituidas, a su vez por combinaciones de las formas más simples.
El método inventivosuministra los procedimientos para la adquisición de nuevas verdades. El método sistemático provee las normas para la ordenación de los conocimientos existentes. Pero la labor de la lógicano se agota en estas dos tares. Mediante el pensamiento, que reviste, ya sea formas simples, ya sea formas complejas, se persigue otra finalidad, que es la búsqueda de la verdad.