TIPOS DE

LGICA
LGICA
FORMAL
Es conocida tambin como
lgica clsica o aristotlica
, seimputa al filosofo aristoteles
ser el creador de la misma,
aunque ya existanantecedentes
en parmenides y zeleo.

LOGICA
PROPOSICIONAL
SEMIOTICA

Es la lgica de
los smbolos y se
divide en tres
partes:
sintaxis,semntic
a y pragmtica.
La primera trata
de las relaciones
de los smbolos
entresi,
prescindiendo de
su contenido.

LOGICA DEONTICA
Se formaliza a travs
de
conceptos
relacionados
con
eldeber. Este tipo de
lgica se utiliza en el
Derecho, infirindose
del
mismo,
ladenominada
lgica de las normas
.

LOGICA MODAL
Lo hace en los
conceptos
de
necesidad
y
posibilidad

LOGICA
CUANTIFICACIONAL
Que
estudia
de
manera
ms
detallada
los
predicadosa travs
del
uso
de
cuantificadores que
expresan cantidad

Analiza
los
razonamientos
formalmente
vlidospartiendo
de
proposiciones
y
conectivas
proposicionales
(operadores lgicos)

LOGICA SIMBOLICA
De la que nos estamos
refiriendo, emplea un
lenguajeartificial en la
que
simboliza
las
proposiciones
generalmente con las
letras p, q, r,