Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 58 vistas

    Unidad1 Presentacion II Parte Logica Formal - PPSX

    Cargado por

    alejandro escobar
    La lógica formal se refiere al estudio de argumentos racionales de forma estructurada y organizada. Incluye dimensiones como la teoría de conjuntos, la lógica proposicional y la teoría de compuertas. La lógica formal desarrolla relaciones abstractas entre ideas de manera formal y esquematizada, y puede generar argumentos complejos. No debe confundirse con la lógica matemática o simbólica, que son tipos de lógica dentro del campo de la lógica formal.

    Copyright:

    © All Rights Reserved
    Descargue como PPSX, PDF, TXT o lea en línea desde Scribd

    Unidad1 Presentacion II Parte Logica Formal - PPSX

    Cargado por

    alejandro escobar
    58 vistas11 páginas
    La lógica formal se refiere al estudio de argumentos racionales de forma estructurada y organizada. Incluye dimensiones como la teoría de conjuntos, la lógica proposicional y la teoría de compuertas. La lógica formal desarrolla relaciones abstractas entre ideas de manera formal y esquematizada, y puede generar argumentos complejos. No debe confundirse con la lógica matemática o simbólica, que son tipos de lógica dentro del campo de la lógica formal.

    Título original

    Unidad1_Presentacion_II_parte_Logica_Formal.ppsx

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPSX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    La lógica formal se refiere al estudio de argumentos racionales de forma estructurada y organizada. Incluye dimensiones como la teoría de conjuntos, la lógica proposicional y la teoría de compuertas. La lógica formal desarrolla relaciones abstractas entre ideas de manera formal y esquematizada, y puede generar argumentos complejos. No debe confundirse con la lógica matemática o simbólica, que son tipos de lógica dentro del campo de la lógica formal.

    Copyright:

    © All Rights Reserved
    Descargue como PPSX, PDF, TXT o lea en línea desde Scribd
    Descargar como ppsx, pdf o txt
    58 vistas11 páginas

    Unidad1 Presentacion II Parte Logica Formal - PPSX

    Cargado por

    alejandro escobar
    La lógica formal se refiere al estudio de argumentos racionales de forma estructurada y organizada. Incluye dimensiones como la teoría de conjuntos, la lógica proposicional y la teoría de compuertas. La lógica formal desarrolla relaciones abstractas entre ideas de manera formal y esquematizada, y puede generar argumentos complejos. No debe confundirse con la lógica matemática o simbólica, que son tipos de lógica dentro del campo de la lógica formal.

    Copyright:

    © All Rights Reserved
    Descargue como PPSX, PDF, TXT o lea en línea desde Scribd
    Descargar como ppsx, pdf o txt
    Está en la página 1de 11

    LOGICA FORMAL

    LOGICA SIMBOLICA
    LOGICA MATEMATICA
    Dimensiones del Lenguaje
    Teoría de Conjuntos
    Algebra Proposicional
    Teorí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 semiótica, lógica
    Logística. deóntica, modal
    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.

    ?
    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.
    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.
     
    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.
    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.

    También podría gustarte