Por lo que hemos visto, podríamos decir que la lógica es la disciplina filosófica que tiene un carácter formal, ya que estudia la estructura o formas de pensamiento (tales como conceptos, proposiciones, razonamientos) con el objeto de establecer razonamientos o argumentos válidos o correctamente lógicos.

Además de estudiar las estructuras que conforman el pensamiento, a la lógica le interesa descubrir las leyes y los principios que permiten conducirnos con rigor, precisión y verdad hacia el conocimiento.

Una definición que nos puede ayudar a resumir los principales objetivos de la lógica es la que nos proporciona Gregorio Fingermann; para este autor la lógica es: "La ciencia de las leyes y de las formas del pensamiento, que nos da normas para la investigación científica y nos suministra un criterio de verdad". ¹

En las siguientes páginas, nos dedicamos a la tarea de investigar cuáles son estas leyes o principios que norman nuestro pensamiento, en qué consisten estas formas o estructuras del pensamiento mismo, así como la naturaleza de estos criterios que nos orientan hacia la verdad; un tipo de verdad formal que es la que le interesa estudiar a la lógica.

Ahora bien, esta definición, como otras muchas que encontramos en los textos, nos hace pensar que la lógica solamente incide en un pensamiento o en un conocimiento especializado, como el científico o el filosófico; sin embargo, esto no es así, pues además de que la lógica es un "instrumento" para la ciencia, lo es también para nuestra vida diaria, pues el ejercicio de razonar y de reflexionar no se reduce al ámbito científico, ya que es algo que a menudo llevamos a cabo a lo largo de pláticas, discusiones y decisiones que la vida misma nos plantea. Por ello, en la actualidad se habla, incluso, de una lógica informal que, a juicio del filósofo mexicano Alejandro Herrera, se propone examinar la estructura de los razonamientos sobre cuestiones de la vida diaria y tiene una doble vertiente analítica y evaluativa. Intenta superar el aspecto mecánico del estudio de la lógica, así como entender y evaluar los argumentos con sus ámbitos naturales, por ejemplo, el jurídico, el estético y el ético.²

Es preciso observar que la que te hemos proporcionado no es la única definición de lógica. De hecho, la historia de la lógica registra una serie de opiniones sobre lo que es en sí esta ciencia y sus temas y problemáticas. A manera de ejemplo, recordemos las siguientes:

a) "La lógica es la ciencia de la demostración, pues sólo se preocupa de formular reglas para alcanzar verdades a través de la demostración" (Aristóteles).
b) "La lógica o arte de razonar es la parte de la ciencia que enseña el método para alcanzar la verdad" (San Agustín).
c) "La lógica es la ciencia de las leyes necesarias del entendimiento y de la razón" (Kant).
d) "La lógica es la ciencia de la idea pura de la idea en el elemento abstracto del pensamiento" (Hegel).
e) "La lógica es la ciencia de las aspiraciones intelectuales que sirven para estimación de la prueba" (J. S. Mill).

Según las diferentes maneras de concebir o entender la lógica, ésta se ha venido caracterizando como:

a)  Una disciplina teórica. En cuanto que es considerada como una ciencia o un conocimiento "que investiga, desarrolla y establece los principios fundamentales proveyendo los métodos necesarios para distinguir el razonamiento correcto del incorrecto. A través de todos estos procesos, la lógica pretende encontrar la verdad".³

b)  Una disciplina práctica o normativa. En la medida en que entraña una técnica, un arte o una destreza que nos permite interpretar el razonamiento correcto y a la vez criticar el razonamiento incorrecto, de la manera como lo hizo Aristóteles en sus refutaciones sofísticas.

Así, muchas veces se dice que la utilidad de la lógica estriba en que nos enseña a pensar correctamente y que, por ello, más que una ciencia es un verdadero arte o entrenamiento de nuestras facultades cognoscitivas. Muchas veces se dice que la lógica es una "gimnasia" mental que nos entrena a usar correctamente nuestro intelecto.