Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 277 vistas

    Lógica Moderna y Tradicional

    Cargado por

    Jose luis Picon lomas
    La lógica moderna se basa en el uso de símbolos y tablas de verdad para representar frases completas, clases, miembros de clases y relaciones. Se aleja de la lógica clásica al no asumir la existencia de todas las cosas mencionadas. La lógica tradicional usa constantes lógicas para representar operaciones sobre proposiciones y carece de cuantificadores. Ambos sistemas son decidibles y pueden determinar la verdad o falsedad de una proposición.

    Copyright:

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

    Lógica Moderna y Tradicional

    Cargado por

    Jose luis Picon lomas
    277 vistas4 páginas
    La lógica moderna se basa en el uso de símbolos y tablas de verdad para representar frases completas, clases, miembros de clases y relaciones. Se aleja de la lógica clásica al no asumir la existencia de todas las cosas mencionadas. La lógica tradicional usa constantes lógicas para representar operaciones sobre proposiciones y carece de cuantificadores. Ambos sistemas son decidibles y pueden determinar la verdad o falsedad de una proposición.

    Título original

    LÓGICA MODERNA Y TRADICIONAL

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

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

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    La lógica moderna se basa en el uso de símbolos y tablas de verdad para representar frases completas, clases, miembros de clases y relaciones. Se aleja de la lógica clásica al no asumir la existencia de todas las cosas mencionadas. La lógica tradicional usa constantes lógicas para representar operaciones sobre proposiciones y carece de cuantificadores. Ambos sistemas son decidibles y pueden determinar la verdad o falsedad de una proposición.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    277 vistas4 páginas

    Lógica Moderna y Tradicional

    Cargado por

    Jose luis Picon lomas
    La lógica moderna se basa en el uso de símbolos y tablas de verdad para representar frases completas, clases, miembros de clases y relaciones. Se aleja de la lógica clásica al no asumir la existencia de todas las cosas mencionadas. La lógica tradicional usa constantes lógicas para representar operaciones sobre proposiciones y carece de cuantificadores. Ambos sistemas son decidibles y pueden determinar la verdad o falsedad de una proposición.

    Copyright:

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

    LÓGICA MODERNA Y

    TRADICIONAL.
    Nombre del alumno: José Luis Picón Lomas.

    Ruta 2.
    LÓGICA MODERNA.
    También denominada lógica simbólica o matemática. A mediados del siglo XIX, los matemáticos británicos 
    George Boole y Augustus De Morgan abrieron el campo de la nueva lógica, que luego fue desarrollada por el
    matemático alemán Gottlob Frege, esta lógica se basa en la aplicación de símbolos por medio de tablas de verdad,
    que nos permiten ver lo verdadero o falso que son las versiones de una acción.

    Introduce símbolos para frases enteras y para las conjunciones que las unen, como “o”, “y”, “si... entonces...”. Cuenta
    con símbolos diferentes para el sujeto lógico y el predicado lógico de una frase; y adjudica símbolos para distinguir
    las clases, para los miembros de las clases y para las relaciones de la pertenencia a una clase y la inclusión en una
    clase. También se aleja de la lógica clásica en sus suposiciones de la existencia respecto a las cosas aludidas en sus
    afirmaciones universales. La afirmación “Todo A es B” significa en lógica moderna que “Si algo es A, entonces es B”;
    lo que, a diferencia de la lógica tradicional, no significa que todo A existe.

    Muy relacionadas con la lógica se encuentran la semántica o filosofía del lenguaje, que trata acerca del significado de
    las palabras y de las frases; la epistemología, o teoría del conocimiento, yo lo llamaría el estudio del proceso del
    conocimiento, que se ocupa de las condiciones bajo las cuales las afirmaciones son verdaderas; y la psicología del
    razonamiento, que se refiere a los procesos mentales que se siguen en el curso de un razonamiento.
    LÓGICA TRADICIONAL.

    Es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas
    conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
    ​
    Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que
    se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica
    proposicional incluyen además conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de
    proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.

    Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos que constituya
    una fórmula bien formada admite una valoración en la proposición es verdadera o falsa dependiendo del valor de verdad asignado a
    las proposiciones que la compongan. Esto implica que cualquier fórmula bien formada define una función proposicional. Por tanto,
    cualquier sistema lógico basado en la lógica proposicional es decidible y en un número finito de pasos se puede determinar la verdad
    o falsedad semántica de una proposición. Esto hace que la lógica proposicional sea completa y con una semántica muy sencilla.
    GRACIAS POR SU ATENCIÓN!

    También podría gustarte