El documento habla sobre diferentes tipos de lógica como la lógica formal, lógica simbólica, lógica matemática y lógica informal. Explica que la lógica formal se refiere al estudio de argumentos racionales de forma estructurada y puede desarrollar argumentos muy complejos. También indica que la lógica formal no debe confundirse con la lógica simbólica o matemática que son tipos de lógica dentro del campo de la lógica formal.

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

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

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

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 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. El uso de símbolos

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. La lógica tradicional es aquella que ha sido clásicamente cultivada desde Aristóteles a Kant. Lógica Tradicional 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. Lógica Simbólica