LOGICA FORMAL

LOGICA SIMBOLICA
LOGICA MATEMATICA
Dimensiones del Lenguaje
Teora de Conjuntos
Algebra Proposicional
Teora de Compuertas

Qu sentido tiene correr

cuando estamos en la
carretera equivocada?
Annimo

Clasificacin de la
Lgica

Lgica
Clsica

Moderna
Matemtica,
Simblica o
Logstica.

semitica, lgica
dentica, modal

La lgica Formal
La lgica formal se refiere al
estudio de argumentos racionales
en
forma
estrictamente
esquematizada y organizada. Parte
de la idea de que todos razonamos
bien
e
intentamos
mejorar
el
razonamiento a niveles superiores.

La lgica Formal

Forma relaciones altamente abstractas entre las

ideas.
La formal, no debe ser confundida con la lgica
matemtica o simblica, la cual es slo un tipo de
lgica que se encuentra dentro del campo de la
lgica formal.

La lgica Formal
La existencia de una gran cantidad de
concepciones distintas de la lgica, esto
implica que sta no es estudiada en el
vaco, sino que es usada en un contexto.

Es decir, que puede ser usada por las

otras ciencias.

La lgica, en cualquiera de sus formas,

se ha convertido en el pensamiento de la
ciencia por excelencia.

La lgica Formal
El uso de la lgica est al servicio de la
razn, diferencindose en dos tipos de
razonamientos posibles: Deductivo e Inductivo.
La lgica formal se dedica al estudio de
los razonamientos correctos, desarrollndolos de manera formal y esquematizada,
es decir de una forma no cotidiana.
Este tipo de lgica parte de los razonamientos correctos conocidos para desarrollar una teora lgica.

La lgica Formal
Puede desarrollar argumentos racionales
extremadamente complejos, y de gran
alcance.
Este tipo de lgica no debe ser
confundido con la lgica simblica ni con
la lgica matemtica, que son tipos de
lgica que se encuentran dentro del
campo de la lgica formal.

El uso de smbolos
El uso de smbolos ya comenz con los lgicos
griegos que simbolizaron nicamente las variables.
La simbolizacin matemtica tiene de nove-doso
precisamente el simbolizar las variables.
El uso de simbolismo permite as mismo ma-yor
seguridad en las formulaciones y en las le-yes que
se pronuncian.

Lgica Informal
La lgica informal, o lgica no formal,
es el estudio de los argumentos, tal
como se presentan en la vida diaria, en
oposicin al estudio de los argumentos
en una forma tcnica o artificial, que
corresponde a la lgica formal.

Lgica Tradicional
La lgica tradicional es aquella que ha
sido clsicamente cultivada desde
Aristteles a Kant.

Lgica Simblica
A la lgica formal en su actual proceso
de transformacin se le ha dado en
llamar lgica simblica, matemtica,
logstica
o
lgebra
lgica.