unidad1_presentacion_ii_parte_logica_formal.ppsx
TRANSCRIPT
LOGICA FORMAL
LOGICA SIMBOLICA
LOGICA MATEMATICADimensiones del LenguajeTeoría de ConjuntosAlgebra ProposicionalTeoría de Compuertas
¿Qué sentido tiene correr cuando estamos en la carretera equivocada?
Anónimo
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
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
?
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.
La lógica Formal
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.
La lógica Formal
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.
La lógica Formal
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.
La lógica Formal
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
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.
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