Este documento habla sobre los diferentes tipos de lógica formal, incluyendo la lógica simbólica y matemática. Explica que la lógica formal se refiere al estudio de argumentos racionales de forma estructurada y organizada, y que la lógica simbólica y matemática son tipos de lógica formal que utilizan símbolos. También discute brevemente sobre la lógica informal, tradicional y el uso de símbolos en la lógica.

1. LOGICA FORMAL
LOGICA SIMBOLICA
LOGICA MATEMATICA
Dimensiones del Lenguaje
Teoría de Conjuntos
Algebra Proposicional
Teoría de Compuertas

2. ¿Qué sentido tiene correr
cuando estamos en la
carretera equivocada?
Anónimo

3. Clasificación de la Lógica
Lógica
Clásica
Moderna
Matemática,
Simbólica o semiótica, lógica
Logística. deóntica, modal

4. La lógica Formal
La lógica 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.

5. Forma relaciones altamente abstractas entre las
ideas.
La formal, no debe ser confundida con la lógica
matemática o simbólica, la cual es sólo un tipo
de lógica que se encuentra dentro del campo de
la lógica formal.

6. La existencia de una gran cantidad de
concepciones distintas de la lógica, esto
implica que ésta no es estudiada en el
vacío, sino que es usada en un contexto.
Es decir, que puede ser usada por las otras
ciencias.
La lógica, en cualquiera de sus formas,
se ha convertido en el pensamiento de la
ciencia por excelencia.

7. El uso de la lógica está al servicio de la
razón, diferenciándose en dos tipos de
razonamientos posibles: Deductivo e In-
ductivo.
La lógica formal se dedica al estudio de
los razonamientos correctos, desarrollán-
dolos de manera formal y esquematizada,
es decir de una forma no cotidiana.
Este tipo de lógica parte de los razona-
mientos correctos conocidos para desa-
rrollar una teoría lógica.

8. Puede desarrollar argumentos racionales
extremadamente complejos, y de gran
alcance.
Este tipo de lógica no debe ser
confundido con la lógica simbólica ni con
la lógica matemática, que son tipos de
lógica que se encuentran dentro del
campo de la lógica formal.

9. El uso de símbolos
El uso de símbolos ya comenzó con los lógicos
griegos que simbolizaron únicamente las va-
riables.
La simbolización matemática 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.

10. Lógica Informal
La lógica informal, o lógica no formal,
es el estudio de los argumentos, tal
como se presentan en la vida diaria, en
oposición al estudio de los argumentos
en una forma técnica o artificial, que
corresponde a la lógica formal.

11. Lógica Tradicional
La lógica tradicional es aquella que ha
sido clásicamente cultivada desde
Aristóteles a Kant.
Lógica Simbólica
A la lógica formal en su actual proceso
de transformación se le ha dado en
llamar lógica simbólica, matemática,
logística o álgebra lógica.