La lógica forma también denominada lógica teorética o lógica matemática
Utilizan los símbolos sin ambigüedad y de la forma más clara posible
Grandes Defensores de la lógica Alfred Tarski, KurtGödel, Bertrand Russell y Willard Van Orman Quine
Utiliza como objeto de estudio aspectos como el razonamiento, el concepto, los juicios y la demostración.
Es una ciencia que estudia la forma de la premisa, a diferencia de otros tipos de lógica que estudian solo lo material.
Se trata de una estructura sin materia.
Se establece bajo un subconjunto de sistemas formales.
Aplica métodos tan eficientes que a través de la lógica formal puede distinguirse lo incorrecto de lo correcto.
Las conclusiones del razonamiento correcto o con validez surgen debido a que se analiza la estructura de las premisas verdaderas.
Estudia y analiza a las personas para llegar directamente al pensamiento, y así poder establecer nuevos patrones en la mente de cada individuo.
Está relacionada con la gramática debido al estudio de la semántica.
Estudia las estructuras, motivo por el cual es comparada con las matemáticas.
Se relaciona con la psicología debido a que se enfoca en el estudio del pensamiento de cada individuo.
Tipos de lógica: Lógica deóntica Lógica bivalente Lógica plurivalente o polivalente
Ejemplo: A través de la lógica formal es posible agregar un valor de verdad o falsedad a un razonamiento específico.