Respuestas
Ciencia que estudia los actos del pensar –concepto, juicio, razonamiento, demostración– desde el punto de vista de su estructura o forma lógica, o sea, haciendo abstracción del contenido concreto de los pensamientos y tomando sólo el procedimiento general de conexión entre las partes del contenido dado. El objetivo básico de la lógica formal consiste en formular leyes y principios cuya observancia es condición necesaria para alcanzar verdaderos resultados en el proceso encaminado a proporcionar un saber inferido. La primera piedra de la lógica formal se encuentra en los trabajos de Aristóteles, quien elaboró la silogística. La ulterior aportación al progreso de la lógica formal se debe a los estoicos de la primera época, y en la Edad Media, a los escolásticos (Duns Escoto, Guillermo de Occam, Alberto de Sajonia, Ramón Llull o Lull [Raimundo Lulio] y otros). La multisecular tradición en el estudio de los problemas de la lógica deductiva se rompe cuando se investiga la inducción y se intenta formular las reglas de los razonamientos inductivos (Francis Bacon; más tarde, John Mill y otros). Sin embargo, únicamente en la segunda mitad del siglo XIX, al empezarse a estructurar la lógica matemática (simbólica), se registra un viraje a fondo en el desarrollo de la lógica formal. Esta lógica matemática representa la actual etapa en el desarrollo de la lógica formal.