Tipos de logica

Existen tipos de logica como:

Logica Natural.
La capacidas de los seres humanos para razonar, hacer algo en forma ordenada. Una coleccion de terminos y reglas que vienen con el lenguaje natural y que nos permite razonar y argumentar en el mismo.

Logica Materia.
Logica que es valida dentro de un universo de discurso o campo de aplicacion debido a ciertas propiedades peculiares de ese universo o contrastados sobre el terreno con la logica formal.

Logica Formal.
Es la disciplina que define las condiciones para que la estructura de pensamiento sea correcta utilizando reglas especificas para la formacion de diferentes estructuras de pensamiento.

Logica Informal.
Es el estudio de los argumentos en languaje natural y abarca diferentes habilidades no formales que necesitan para evaluar el razonamiento. Los dialogos de Plantón son un ejemplo de la logica informal.

Logica Simbolica.
Es el estudio de las abstraciones simbolicas que exponen las caracteristicas formales de la inferencia logica. La logica simbolica se divide en dos ramas: la logica proporcional y la logica de predicados.

Logica Matematica.
Es una rama de la logica simbolica en el area de matematicas en particular del estudio de la teoria de modelos de la teoria de la demostracion la teoria de conjuntos y la teoria de la recursividad.

Logica Inductiva.
Se aplica para las formas de razonamiento en las que se deduce a partir de los patrones observados para inferir que una conclusion dada es probable la teoria de conjunto y la teoria de la recursividad.

Logica Modal.
Trata con  las nociones de necesidad posibilidad imposibilidad y contingencia. Lo que puede ser o no ser.

Logica Dialectica.
Latarea de logica dialectica es investigar las formas logicas y las leyes de los conocimientos cientificos. La investigacion anterior debe basase en la historia de la filosofia y de todas las ciencias en la historia del desarrollo mental de los humanos y los animales y en la historia del lenguaje la psicologia y la fisiologia.

Logica Silogistica,
La logica silogistica es una forma de logica donde las conclusiones se deducen a partir de dos premisas.

Logica Clasica.
Identifica una clase de logica formal que se ha estudiado y utilizado mas ampliamente. Tambien se denomina a veces como logica estandar y se caracteriza por un numero de propiedades y leyes.

Logica No Clasica.
Las logicas no clasicas es el nombre dado a los sistemas formales que difieren en forma significativa de los sistemas estandar de logica como logica proporcional y de predicados.

Logica Cuantificacional.
Es la logica que maneja las cuantificaciones unidades que especifican la cantidad de muestras en el dominio del discurso que se aplican a una formula abierta.