Tipos De Logica
Enviado por Whatsupcristy • 12 de Febrero de 2014 • 332 Palabras (2 Páginas) • 941 Visitas
Los tipos de lógica fueron: clásica, no clásica y moderna y con el tiempo sufrieron cambios.
LOGICA FORMAL llamada también aristotélica, es llamada así por ser Aristóteles su creador. Formaliza distintas partes del lenguaje natural, ayuda a tomar decisiones de la manera más conveniente posible. Los tipos de lógica formal son: Lógica de enunciados, lógica de predicados, lógica de clases y lógica de relaciones. Está compuesta por el alfabeto o vocabulario, la gramática, axiomas, formulas e interpretación formal.
LOGICA INFORMAL cuando cumple una función de eficacia tiene su lógica en un argumento. La lógica tiene un pensamiento lateral que afirma coherentemente un contexto de una teoría o de evidencias. En la lógica formal esta tiene referencia lingüística. Entre las lógicas informales están: lógicas de mujeres, lógicas de deportes y lógicas del sentido común.
LOGICAS CLASICAS también llamada lógica bivalente o estandarizada. Son las más estudiadas y utilizadas pues no son como los demás tipos de lógica. Su objetivo es determinar si nuestros razonamientos son correctos o incorrectos. Son cálculos lógicos que reconocen dos valores de verdad (verdadero o falso) Los tipos de lógicas clásicas son: lógica proposicional, lógica de primer orden, lógica de segundo orden.
LOGICAS NO CLASICAS también llamadas lógicas divergentes. Rechazan varios principios de la lógica clásica. Los tipos de lógicas no clásicas son: lógica difusa, relevante, cuántica, no monotónica, intuicionista, polivalentes, combinatoria, modal, deóntica.
LOGICAS MODALES se ocupa de expresiones como “es posible que” o “es necesario que” y hablan de la verdad de los juicios. Los tipos de lógicas modales son: lógica modal, deóntica, temporal, epistémica, doxatica.
LOGICA DE CLASES También llamada “álgebra booleana”, relaciona conceptos con propiedades, estudia las implicaciones de unas clases con otras, las que son representadas gráficamente por círculos
La lógica pretende reducir el razonamiento humano a un cálculo exacto, para encontrar los modos validos de razonar.
La parte más importante de la lógica es el cálculo de proposiciones o enunciados, estudia las inferencias validas, determinando unos enunciados de otros pero sin estudiar su forma interna.
http://www.tuobra.unam.mx/publicadas/050707190037-Tipos.html
http://www.tuobra.unam.mx/publicadas/050707190037-Tipos.html
http://symploke.trujaman.org/index.php?title=L%F3gicas_no_cl%E1sicas
http://es.wikipedia.org/wiki/L%C3%B3gica_formal
...