Clasificación de la Lógica

Clasificación o división de la Lógica
La lógica se puede clasificar como lógica tradicional o no formal y lógica simbólica o formal:

La lógica formal es aquella cuyo objeto deestudio son las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticas formales. La lógica informal, por su parte, estudia sistemas derazonamiento y argumentación naturales a través del lenguaje y el pensamiento cotidiano.
En la lógica no formal o lógica tradicional se considera la destreza para interpretar y distinguir unrazonamiento correcto de un razonamiento incorrecto como un producto de la experiencia humana obtenida en la relación con el mundo circundante. En palabras de Galindo (1999), se consideran losprocesos psicobiológicos del pensamiento lógico.

La lógica como ciencia constituye la lógica formal o simbólica, la cual se encarga de investigar, desarrollar y establecer losprincipios fundamentales que siguen la validez de la inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas. [
En el pensamiento simbólico,las palabras se manipulan, según las reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.
Un sistema lógico está compuesto por:

1. Un conjunto desímbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas puedeninferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.