Numeracionl

Ciencia argumentativa y propedéutica
El término «lógica», se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado;3 De este modo laforma argumentativa responde al principio de conocimiento que supone que representa adecuadamente la realidad.4 Por ello, sin perder su condición de formalidad, no son formalistas y noacaban de desprenderse de las estructuras propias del lenguaje.2
Ciencia del pensar
Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en laconciencia, aportaron, a través del desarrollo del análisis como método científico del pensar,5 los temas que van a marcar el desarrollo de la lógica formal. Son de especial importancia la idea deDescartes de una Mathesis universalis6 y de Leibniz que, con su Characteristica Universalis supone la posibilidad de un lenguaje universal, especificado con precisión matemática sobre labase de que la sintaxis de las palabras debería estar en correspondencia con las entidades designadas como individuos o elementos metafísicos, lo que haría posible un cálculo o computaciónmediante algoritmo en el descubrimiento de la verdad.7 8
Ciencia formal
En el último tercio del siglo XIX la Lógica va a encontrar su transformación más profunda de la mano de lasinvestigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal.Lógica informal
En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo loscontenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.